Trace number 4446525

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2024-07-07? 3586.25 3597.11

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K143.opb
MD5SUM5b71eb3fc2b19671b5e391982561b6cd
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables17017
Total number of constraints17305
Number of constraints which are clauses17162
Number of constraints which are cardinality constraints (but not clauses)143
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint143
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 144
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-4446525-1721333300.opb>
0.00/0.07	c original problem has 17017 variables (17017 bin, 0 int, 0 impl, 0 cont) and 17305 constraints
0.00/0.07	c problem read in 0.07
0.00/0.07	c No objective function, only one solution is needed.
0.10/0.13	c presolving:
0.10/0.16	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, 1961 clqs
0.10/0.17	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, 1945 clqs
0.10/0.17	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, 1966 clqs
0.10/0.17	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, 1997 clqs
0.10/0.18	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, 2020 clqs
0.10/0.18	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, 2030 clqs
0.22/0.23	c    (0.2s) running MILP presolver
0.49/0.55	c    (0.5s) MILP presolver (4 rounds): 0 aggregations, 143 fixings, 0 bound changes
0.49/0.56	c (round 7, medium)     1325 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2041 clqs
0.49/0.57	c (round 8, fast)       1325 del vars, 778 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2044 clqs
0.49/0.59	c (round 9, exhaustive) 1325 del vars, 919 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2044 clqs
0.58/0.68	c (round 10, exhaustive) 1325 del vars, 919 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 16386 upgd conss, 0 impls, 2044 clqs
0.76/0.83	c (round 11, exhaustive) 1434 del vars, 919 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 16386 upgd conss, 0 impls, 2031 clqs
0.76/0.85	c (round 12, fast)       1543 del vars, 1028 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 16386 upgd conss, 0 impls, 2031 clqs
2.08/2.11	c (round 13, exhaustive) 1569 del vars, 1029 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 16386 upgd conss, 0 impls, 103312 clqs
2.08/2.12	c (round 14, fast)       1570 del vars, 1055 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 163 chg coeffs, 16386 upgd conss, 0 impls, 103329 clqs
2.97/3.06	c (round 15, exhaustive) 1595 del vars, 1055 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 163 chg coeffs, 16386 upgd conss, 0 impls, 103303 clqs
2.97/3.06	c (round 16, fast)       1595 del vars, 1080 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 216 chg coeffs, 16386 upgd conss, 0 impls, 103310 clqs
4.16/4.28	c (round 17, exhaustive) 1621 del vars, 1080 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 216 chg coeffs, 16386 upgd conss, 0 impls, 103305 clqs
4.16/4.28	c (round 18, fast)       1621 del vars, 1106 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 279 chg coeffs, 16386 upgd conss, 0 impls, 103316 clqs
4.85/4.92	c (round 19, exhaustive) 1647 del vars, 1106 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 279 chg coeffs, 16386 upgd conss, 0 impls, 103316 clqs
4.85/4.93	c (round 20, fast)       1648 del vars, 1132 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 343 chg coeffs, 16386 upgd conss, 0 impls, 103328 clqs
6.15/6.22	c (round 21, exhaustive) 1674 del vars, 1132 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 343 chg coeffs, 16386 upgd conss, 0 impls, 103339 clqs
6.15/6.23	c (round 22, fast)       1675 del vars, 1158 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 405 chg coeffs, 16386 upgd conss, 0 impls, 103353 clqs
6.35/6.45	c    (6.4s) probing: 1000/16023 (6.2%) - 129 fixings, 0 aggregations, 1088601 implications, 0 bound changes
6.55/6.64	c (round 23, exhaustive) 1701 del vars, 1158 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 405 chg coeffs, 16386 upgd conss, 0 impls, 103369 clqs
6.55/6.65	c (round 24, fast)       1702 del vars, 1184 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 470 chg coeffs, 16386 upgd conss, 0 impls, 103382 clqs
7.14/7.21	c (round 25, exhaustive) 1731 del vars, 1184 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 470 chg coeffs, 16386 upgd conss, 0 impls, 101853 clqs
7.14/7.22	c (round 26, fast)       1731 del vars, 1213 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 566 chg coeffs, 16386 upgd conss, 0 impls, 101878 clqs
10.54/10.69	c (round 27, exhaustive) 1756 del vars, 1213 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 566 chg coeffs, 16386 upgd conss, 0 impls, 102484 clqs
10.64/10.70	c (round 28, fast)       1756 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 646 chg coeffs, 16386 upgd conss, 0 impls, 102501 clqs
10.95/11.03	c (round 29, exhaustive) 1791 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 646 chg coeffs, 16386 upgd conss, 0 impls, 103363 clqs
10.95/11.03	c (round 30, fast)       1791 del vars, 1273 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 723 chg coeffs, 16386 upgd conss, 0 impls, 103374 clqs
11.44/11.55	c (round 31, exhaustive) 1816 del vars, 1273 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 724 chg coeffs, 16386 upgd conss, 0 impls, 103407 clqs
11.44/11.56	c (round 32, fast)       1816 del vars, 1298 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 783 chg coeffs, 16386 upgd conss, 0 impls, 103419 clqs
11.63/11.78	c (round 33, exhaustive) 1842 del vars, 1298 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 784 chg coeffs, 16386 upgd conss, 0 impls, 103409 clqs
11.63/11.78	c (round 34, fast)       1843 del vars, 1324 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 843 chg coeffs, 16386 upgd conss, 0 impls, 103418 clqs
11.83/11.99	c (round 35, exhaustive) 1870 del vars, 1324 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 843 chg coeffs, 16386 upgd conss, 0 impls, 103254 clqs
11.83/11.99	c (round 36, fast)       1872 del vars, 1351 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 874 chg coeffs, 16386 upgd conss, 0 impls, 103255 clqs
12.13/12.21	c (round 37, exhaustive) 1897 del vars, 1351 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 874 chg coeffs, 16386 upgd conss, 0 impls, 103078 clqs
12.13/12.21	c (round 38, fast)       1897 del vars, 1376 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 898 chg coeffs, 16386 upgd conss, 0 impls, 103078 clqs
12.33/12.42	c (round 39, exhaustive) 1922 del vars, 1376 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 898 chg coeffs, 16386 upgd conss, 0 impls, 102879 clqs
12.33/12.43	c (round 40, fast)       1922 del vars, 1401 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 921 chg coeffs, 16386 upgd conss, 0 impls, 102879 clqs
12.53/12.65	c (round 41, exhaustive) 1947 del vars, 1401 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 921 chg coeffs, 16386 upgd conss, 0 impls, 102750 clqs
12.53/12.66	c (round 42, fast)       1947 del vars, 1426 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 946 chg coeffs, 16386 upgd conss, 0 impls, 102750 clqs
12.83/12.98	c (round 43, exhaustive) 1972 del vars, 1426 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 946 chg coeffs, 16386 upgd conss, 0 impls, 102815 clqs
12.83/12.98	c (round 44, fast)       1972 del vars, 1451 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 973 chg coeffs, 16386 upgd conss, 0 impls, 102815 clqs
13.13/13.20	c (round 45, exhaustive) 1997 del vars, 1451 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 973 chg coeffs, 16386 upgd conss, 0 impls, 102713 clqs
13.13/13.21	c (round 46, fast)       1997 del vars, 1476 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 998 chg coeffs, 16386 upgd conss, 0 impls, 102713 clqs
13.94/14.01	c    (14.0s) probing: 2000/16023 (12.5%) - 443 fixings, 1 aggregations, 2437344 implications, 0 bound changes
18.21/18.34	c    (18.3s) probing: 3000/16023 (18.7%) - 445 fixings, 1 aggregations, 3662884 implications, 0 bound changes
22.19/22.35	c    (22.3s) probing: 4000/16023 (25.0%) - 449 fixings, 1 aggregations, 4752592 implications, 0 bound changes
25.68/25.89	c    (25.9s) probing: 5000/16023 (31.2%) - 460 fixings, 1 aggregations, 5672251 implications, 0 bound changes
26.48/26.60	c (round 47, exhaustive) 2022 del vars, 1476 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 998 chg coeffs, 16386 upgd conss, 0 impls, 103523 clqs
26.48/26.60	c (round 48, fast)       2022 del vars, 1501 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1049 chg coeffs, 16386 upgd conss, 0 impls, 103533 clqs
26.68/26.83	c (round 49, exhaustive) 2047 del vars, 1501 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1049 chg coeffs, 16386 upgd conss, 0 impls, 103529 clqs
26.68/26.84	c (round 50, fast)       2047 del vars, 1526 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1080 chg coeffs, 16386 upgd conss, 0 impls, 103529 clqs
29.47/29.66	c    (29.7s) probing: 6000/16023 (37.4%) - 506 fixings, 1 aggregations, 6532065 implications, 0 bound changes
33.05/33.23	c    (33.2s) probing: 7000/16023 (43.7%) - 508 fixings, 1 aggregations, 7457965 implications, 0 bound changes
35.24/35.46	c    (35.5s) probing: 7634/16023 (47.6%) - 508 fixings, 1 aggregations, 8045660 implications, 0 bound changes
35.24/35.46	c    (35.5s) probing aborted: 1000/1000 successive useless probings
35.24/35.46	c (round 51, exhaustive) 2066 del vars, 1526 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1080 chg coeffs, 16386 upgd conss, 0 impls, 103579 clqs
35.24/35.47	c (round 52, fast)       2066 del vars, 1545 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1106 chg coeffs, 16386 upgd conss, 0 impls, 103579 clqs
36.74/36.94	c    (36.9s) probing: 8000/16023 (49.9%) - 517 fixings, 1 aggregations, 8369321 implications, 0 bound changes
39.03/39.25	c    (39.2s) probing: 8652/16023 (54.0%) - 517 fixings, 1 aggregations, 8972496 implications, 0 bound changes
39.03/39.25	c    (39.2s) probing aborted: 1000/1000 successive useless probings
39.03/39.28	c    (39.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
39.13/39.37	c    (39.4s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
39.13/39.37	c dynamic symmetry handling statistics:
39.13/39.37	c    orbitopal reduction:       no components
39.13/39.37	c    orbital reduction:         no components
39.13/39.37	c    lexicographic reduction:    3 permutations with support sizes 1312, 548, 262
39.13/39.37	c handled 4 out of 4 symmetry components
39.13/39.39	c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
39.13/39.39	c  2078 deleted vars, 1554 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1117 changed coefficients
39.13/39.39	c  0 implications, 103599 cliques
39.13/39.39	c presolved problem has 15495 variables (15495 bin, 0 int, 0 impl, 0 cont) and 15752 constraints
39.13/39.39	c    1934 constraints of type <setppc>
39.13/39.39	c       1 constraints of type <orbitope>
39.13/39.39	c   13817 constraints of type <logicor>
39.13/39.39	c transformed objective value is always integral (scale: 1)
39.13/39.39	c Presolving Time: 39.27
39.13/39.39	c - non default parameters ----------------------------------------------------------------------
39.13/39.39	c # SCIP version 10.0.0
39.13/39.39	c 
39.13/39.39	c # maximal time in seconds to run
39.13/39.39	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
39.13/39.39	c limits/time = 3596.997024
39.13/39.39	c 
39.13/39.39	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
39.13/39.39	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
39.13/39.39	c limits/memory = 27900
39.13/39.39	c 
39.13/39.39	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
39.13/39.39	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
39.13/39.39	c limits/solutions = 1
39.13/39.39	c 
39.13/39.39	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.
39.13/39.39	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
39.13/39.39	c misc/usesymmetry = 3
39.13/39.39	c 
39.13/39.39	c # belongs reading time to solving time?
39.13/39.39	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
39.13/39.39	c timing/reading = TRUE
39.13/39.39	c 
39.13/39.39	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
39.13/39.39	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
39.13/39.39	c propagating/symmetry/detectdoublelex = FALSE
39.13/39.39	c 
39.13/39.39	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
39.13/39.39	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
39.13/39.39	c propagating/symmetry/detectsubgroups = FALSE
39.13/39.39	c 
39.13/39.39	c # Type of symmetries that shall be computed?
39.13/39.39	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
39.13/39.39	c propagating/symmetry/symtype = 1
39.13/39.39	c 
39.13/39.39	c # Should components consisting of a single full reflection be handled?
39.13/39.39	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
39.13/39.39	c propagating/symmetry/usesimplesgncomp = FALSE
39.13/39.39	c 
39.13/39.39	c -----------------------------------------------------------------------------------------------
39.13/39.39	c start solving
39.13/39.39	c 
54.98/55.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
54.98/55.21	c  55.2s|     1 |     0 | 16072 |     - |   209M |   0 |  15k|  15k|  15k|   0 |  0 | 138 |   0 | 0.000000e+00 |      --      |    Inf | unknown
226.58/227.42	c   227s|     1 |     0 |102673 |     - |   233M |   0 |  15k|  15k|  15k|   8 |  1 | 140 |   0 | 0.000000e+00 |      --      |    Inf | unknown
247.80/248.78	c   249s|     1 |     0 |113765 |     - |   239M |   0 |  15k|  15k|  15k|  16 |  2 | 144 |   0 | 0.000000e+00 |      --      |    Inf | unknown
269.42/270.43	c   270s|     1 |     0 |124587 |     - |   245M |   0 |  15k|  15k|  15k|  26 |  3 | 148 |   0 | 0.000000e+00 |      --      |    Inf | unknown
290.56/291.68	c   292s|     1 |     0 |135068 |     - |   248M |   0 |  15k|  15k|  15k|  32 |  4 | 150 |   0 | 0.000000e+00 |      --      |    Inf | unknown
314.47/315.66	c   316s|     1 |     0 |146525 |     - |   251M |   0 |  15k|  15k|  15k|  40 |  5 | 160 |   0 | 0.000000e+00 |      --      |    Inf | unknown
339.39/340.61	c   341s|     1 |     0 |158002 |     - |   254M |   0 |  15k|  15k|  15k|  48 |  6 | 161 |   0 | 0.000000e+00 |      --      |    Inf | unknown
366.59/367.97	c   368s|     1 |     0 |170638 |     - |   256M |   0 |  15k|  15k|  15k|  64 |  7 | 167 |   0 | 0.000000e+00 |      --      |    Inf | unknown
403.47/405.01	c   405s|     1 |     0 |187012 |     - |   258M |   0 |  15k|  15k|  15k|  86 |  8 | 169 |   0 | 0.000000e+00 |      --      |    Inf | unknown
427.88/429.45	c   429s|     1 |     0 |198582 |     - |   261M |   0 |  15k|  15k|  15k|  89 |  9 | 170 |   0 | 0.000000e+00 |      --      |    Inf | unknown
453.20/454.84	c   455s|     1 |     0 |209941 |     - |   263M |   0 |  15k|  15k|  15k|  93 | 10 | 171 |   0 | 0.000000e+00 |      --      |    Inf | unknown
480.31/482.11	c   482s|     1 |     0 |222187 |     - |   266M |   0 |  15k|  15k|  15k| 107 | 11 | 178 |   0 | 0.000000e+00 |      --      |    Inf | unknown
753.47/756.11	c   756s|     1 |     2 |368452 |     - |   273M |   0 |  15k|  15k|  15k| 107 | 11 | 232 |  21 | 0.000000e+00 |      --      |    Inf | unknown
3093.39/3103.07	c  3103s|   100 |    18 |  1944k|17392.1 |   294M |  38 |  15k|  15k|  15k| 123 |  1 | 300 |  21 | 0.000000e+00 |      --      |    Inf |   3.13%
3586.03/3597.00	c 
3586.03/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3586.03/3597.00	c Solving Time (sec) : 3597.00
3586.03/3597.00	c Solving Nodes      : 138
3586.03/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3586.03/3597.00	c Dual Bound         : +0.00000000000000e+00
3586.03/3597.00	c Gap                : infinite
3586.03/3597.00	s UNKNOWN
3586.03/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3586.03/3597.00	c Total Time         :    3597.00
3586.03/3597.00	c   solving          :    3597.00
3586.03/3597.00	c   presolving       :      39.27 (included in solving)
3586.03/3597.00	c   reading          :       0.07 (included in solving)
3586.03/3597.00	c   copying          :       0.10 (2 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3586.03/3597.00	c Original Problem   :
3586.03/3597.00	c   Problem name     : HOME/instance-4446525-1721333300.opb
3586.03/3597.00	c   Variables        : 17017 (17017 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.03/3597.00	c   Constraints      : 17305 initial, 17305 maximal
3586.03/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.03/3597.00	c Presolved Problem  :
3586.03/3597.00	c   Problem name     : t_HOME/instance-4446525-1721333300.opb
3586.03/3597.00	c   Variables        : 15495 (15495 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.03/3597.00	c   Constraints      : 15752 initial, 15962 maximal
3586.03/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.03/3597.00	c   Nonzeros         : 86090 constraint, 222412 clique table
3586.03/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.03/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   domcol           :       0.92       0.00     21          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   dualsparsify     :       0.03       0.00      1          0          0          0          0          0          9          0          0         11
3586.03/3597.00	c   gateextraction   :       0.20       0.00     22          0          0          0          0          0          1          0          0          0
3586.03/3597.00	c   implics          :       0.00       0.00     25          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   milp             :       0.37       0.00      1        143          0          0          0          0          0          0          0          0
3586.03/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   sparsify         :       0.43       0.00      4          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   trivial          :       0.02       0.00     53        556          0          0          0          0          0          0          0          0
3586.03/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   dualfix          :       0.02       0.00     53          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   probing          :      33.58       0.00     21        517          1          0          0          0          0          0          0          0
3586.03/3597.00	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   symmetry         :       0.09       0.00      1          3          0          0          0          0          0          1          0          0
3586.03/3597.00	c   vbounds          :       0.02       0.00      2          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   setppc           :       0.16       0.00     87          0          0          0          0          0        110          0          0          0
3586.03/3597.00	c   linear           :       0.15       0.01     12        302          0          0        302          0        919          0          0          0
3586.03/3597.00	c   orbitope         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   logicor          :       3.23       0.01     87        109          0          0          0          0        515          0          0       1106
3586.03/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3586.03/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.03/3597.00	c   benderslp        :          0          0          0          0         78          0          0         14          0          0          0          0          0          0          0
3586.03/3597.00	c   integral         :          0          0          0          0         78          0          0         14          0          0          0          0          0          0        156
3586.03/3597.00	c   setppc           :       1934+      2013         11     315904          0          0          0         10      92032        346      13600          0          0          0          0
3586.03/3597.00	c   linear           :          0+         1          0       5895          0          0          0          3          8          0          0          0          0          0          0
3586.03/3597.00	c   orbitope         :          1          1          0      18171          0          0          0          0          0          0         18          0          0          0          0
3586.03/3597.00	c   logicor          :      13817+     13948         11     140524          0          0          0          0     206880        114      32325          9          4          0          0
3586.03/3597.00	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.03/3597.00	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.03/3597.00	c   integral         :      29.49       0.00       0.00       0.00      29.49       0.00       0.00       0.00       0.00       0.00
3586.03/3597.00	c   setppc           :       3.14       0.00       0.00       3.00       0.00       0.00       0.00       0.00       0.03       0.11
3586.03/3597.00	c   linear           :       0.02       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.03/3597.00	c   orbitope         :       0.03       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3586.03/3597.00	c   logicor          :      11.11       0.01       0.03      10.94       0.00       0.00       0.00       0.00       0.09       0.05
3586.03/3597.00	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.03/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.03/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.03/3597.00	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.03/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.03/3597.00	c   dualfix          :          1          0          0          0
3586.03/3597.00	c   genvbounds       :          0          0          0          0
3586.03/3597.00	c   nlobbt           :          0          0          0          0
3586.03/3597.00	c   obbt             :          0          0          0          0
3586.03/3597.00	c   probing          :          0          0          0          0
3586.03/3597.00	c   pseudoobj        :          0          0          0          0
3586.03/3597.00	c   redcost          :          0          0          0          0
3586.03/3597.00	c   rootredcost      :          0          0          0          0
3586.03/3597.00	c   symmetry         :        512          0          0          5
3586.03/3597.00	c   vbounds          :       6053          0          0          0
3586.03/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.03/3597.00	c   dualfix          :       0.02       0.00       0.02       0.00       0.00       0.00
3586.03/3597.00	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3586.03/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.03/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.03/3597.00	c   probing          :      33.58       0.00      33.58       0.00       0.00       0.00
3586.03/3597.00	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
3586.03/3597.00	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3586.03/3597.00	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3586.03/3597.00	c   symmetry         :       0.11       0.00       0.09       0.02       0.00       0.00
3586.03/3597.00	c   vbounds          :       0.11       0.00       0.02       0.09       0.00       0.00
3586.03/3597.00	c Symmetry           :
3586.03/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3586.03/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3586.03/3597.00	c   lexicographic red:          5 reductions applied,          0 cutoffs
3586.03/3597.00	c   shadow tree time :       0.00 s
3586.03/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.03/3597.00	c   propagation      :       0.04        457        115          -        608      192.9          8        4.8          -          -          -
3586.03/3597.00	c   infeasible LP    :       0.73         53         37          -        569     1823.1          0        0.0          1     2318.0          0
3586.03/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.03/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.03/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.03/3597.00	c   applied globally :       0.01          -          -          0        310      246.0          -          -          1          -          -
3586.03/3597.00	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3586.03/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.03/3597.00	c   cut pool         :       0.00          -         36         21          -          -        173        204          -          -          -          -          -    (maximal pool size:        173)
3586.03/3597.00	c   aggregation      :       0.06       0.00         13         11          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.03/3597.00	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.03/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.03/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   clique           :       1.51       0.00         11         11          0          0         70         90          0         53         53          0          0
3586.03/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   gomory           :      14.45       0.00         12         10          0          0         64         22         42          2          1          1          0
3586.03/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -         11         21          2          1          1          -
3586.03/3597.00	c   > strongcg       :          -          -          -          -          -          -          -         11         21          0          0          0          -
3586.03/3597.00	c   impliedbounds    :       0.07       0.00         13         11          0          0         39         47          0         17         17          0          0
3586.03/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   multilinear      :       0.00       0.00         14         11          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   rlt              :       0.00       0.00         11         10          0          0          0          0          0          0          0          0          0
3586.03/3597.00	c   zerohalf         :      12.70       0.00         13         11          0          0         46         45          4         49         45          4          0
3586.03/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.03/3597.00	c   hybrid           :       0.00       0.00         21         11        125          0        134        107          0         72
3586.03/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.03/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.03/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.03/3597.00	c   problem variables:       0.00          -          0          0
3586.03/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.03/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.03/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.03/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.03/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.03/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.03/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.03/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.03/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.03/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.03/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.03/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.03/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.14/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.14/3597.01	c   relpscost        :      29.49       0.00         78          0          0          0          0          0          0        156
3586.14/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.14/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.14/3597.01	c   LP solutions     :       0.00          -          -          0          0
3586.14/3597.01	c   relax solutions  :       0.00          -          -          0          0
3586.14/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3586.14/3597.01	c   strong branching :       0.00          -          -          0          0
3586.14/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3586.14/3597.01	c   adaptivediving   :       0.00       0.00          0          0          0
3586.14/3597.01	c   alns             :       0.11       0.00          1          0          0
3586.14/3597.01	c   bound            :       0.00       0.00          0          0          0
3586.14/3597.01	c   clique           :       0.06       0.00          1          0          0
3586.14/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3586.14/3597.01	c   completesol      :       0.00       0.00          0          0          0
3586.14/3597.01	c   conflictdiving   :     244.18       0.00          1          0          0
3586.14/3597.01	c   crossover        :       0.00       0.00          0          0          0
3586.14/3597.01	c   dins             :       0.00       0.00          0          0          0
3586.14/3597.01	c   distributiondivin:       0.01       0.00          0          0          0
3586.14/3597.01	c   dps              :       0.00       0.00          0          0          0
3586.14/3597.01	c   dualval          :       0.00       0.00          0          0          0
3586.14/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3586.14/3597.01	c   feasjump         :       0.04       0.00          1          0          0
3586.14/3597.01	c   feaspump         :     154.53       0.00          1          0          0
3586.14/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3586.14/3597.01	c   fracdiving       :       0.00       0.00          0          0          0
3586.14/3597.01	c   gins             :       0.00       0.00          0          0          0
3586.14/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3586.14/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3586.14/3597.01	c   indicator        :       0.00       0.00          0          0          0
3586.14/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3586.14/3597.01	c   indoneopt        :       0.00       0.00          0          0          0
3586.14/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3586.14/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3586.14/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3586.14/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3586.14/3597.01	c   linesearchdiving :       0.00       0.00          0          0          0
3586.14/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3586.14/3597.01	c   locks            :       0.06       0.00          1          0          0
3586.14/3597.01	c   lpface           :       0.00       0.00          0          0          0
3586.14/3597.01	c   mpec             :       0.00       0.00          0          0          0
3586.14/3597.01	c   multistart       :       0.00       0.00          0          0          0
3586.14/3597.01	c   mutation         :       0.00       0.00          0          0          0
3586.14/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3586.14/3597.01	c   objpscostdiving  :       0.00       0.00          0          0          0
3586.14/3597.01	c   octane           :       0.00       0.00          0          0          0
3586.14/3597.01	c   ofins            :       0.00       0.00          0          0          0
3586.14/3597.01	c   oneopt           :       0.00       0.00          0          0          0
3586.14/3597.01	c   padm             :       0.00       0.00          0          0          0
3586.14/3597.01	c   proximity        :       0.00       0.00          0          0          0
3586.14/3597.01	c   pscostdiving     :     460.86       0.00          1          0          0
3586.14/3597.01	c   randrounding     :       0.16       0.00         19          0          0
3586.14/3597.01	c   rens             :       0.27       0.00          1          0          0
3586.14/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3586.14/3597.01	c   repair           :       0.00       0.00          0          0          0
3586.14/3597.01	c   rins             :       0.00       0.00          0          0          0
3586.14/3597.01	c   rootsoldiving    :       0.00       0.00          0          0          0
3586.14/3597.01	c   rounding         :       0.09       0.00         99          0          0
3586.14/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3586.14/3597.01	c   shiftandpropagate:       0.02       0.00          1          0          0
3586.14/3597.01	c   shifting         :       0.26       0.00         29          0          0
3586.14/3597.01	c   simplerounding   :       0.00       0.00          0          0          0
3586.14/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3586.14/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3586.14/3597.01	c   trivial          :       0.01       0.00          2          0          0
3586.14/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3586.14/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3586.14/3597.01	c   trysol           :       0.00       0.00          0          0          0
3586.14/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3586.14/3597.01	c   undercover       :       0.00       0.00          0          0          0
3586.14/3597.01	c   vbounds          :       0.10       0.00          1          0          0
3586.14/3597.01	c   veclendiving     :       0.00       0.00          0          0          0
3586.14/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3586.14/3597.01	c   zirounding       :       0.03       0.00         78          0          0
3586.14/3597.01	c   other solutions  :          -          -          -          0          -
3586.14/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
3586.14/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
3586.14/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
3586.14/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
3586.14/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
3586.14/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
3586.14/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
3586.14/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
3586.14/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
3586.14/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
3586.14/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.14/3597.01	c   primal LP        :       0.07          3          0       0.00       0.00       0.07          3
3586.14/3597.01	c   dual LP          :    2637.10        155    1967028   13290.73     745.91       0.84          7
3586.14/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3586.14/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.14/3597.01	c   resolve instable :      36.91          2      42641   21320.50    1155.28
3586.14/3597.01	c   diving/probing LP:     864.18         38     371736    9782.53     430.16
3586.14/3597.01	c   strong branching :      24.02         21      14526     691.71     604.79          -          -         25
3586.14/3597.01	c     (at root node) :          -         21      14526     691.71          -
3586.14/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3586.14/3597.01	c B&B Tree           :
3586.14/3597.01	c   number of runs   :          1
3586.14/3597.01	c   nodes            :        138 (78 internal, 60 leaves)
3586.14/3597.01	c   feasible leaves  :          0
3586.14/3597.01	c   infeas. leaves   :         59
3586.14/3597.01	c   objective leaves :          0
3586.14/3597.01	c   nodes (total)    :        138 (78 internal, 60 leaves)
3586.14/3597.01	c   nodes left       :         19
3586.14/3597.01	c   max depth        :         38
3586.14/3597.01	c   max depth (total):         38
3586.14/3597.01	c   backtracks       :          8 (5.8%)
3586.14/3597.01	c   early backtracks :          0 (0.0%)
3586.14/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3586.14/3597.01	c   delayed cutoffs  :          1
3586.14/3597.01	c   repropagations   :        296 (907 domain reductions, 1 cutoffs)
3586.14/3597.01	c   avg switch length:       5.41
3586.14/3597.01	c   switching time   :       0.17
3586.14/3597.01	c Root Node          :
3586.14/3597.01	c   First LP value   : +0.00000000000000e+00
3586.14/3597.01	c   First LP Iters   :      16072 (1034.96 Iter/sec)
3586.14/3597.01	c   First LP Time    :      15.53
3586.14/3597.01	c   Final Dual Bound : +0.00000000000000e+00
3586.14/3597.01	c   Final Root Iters :     222187
3586.14/3597.01	c   Root LP Estimate : +4.85726030834165e-04
3586.14/3597.01	c Solution           :
3586.14/3597.01	c   Solutions found  :          0 (0 improvements)
3586.14/3597.01	c   Primal Bound     :          -
3586.14/3597.01	c   Dual Bound       : +0.00000000000000e+00
3586.14/3597.01	c   Gap              :   infinite
3586.14/3597.01	c Integrals          :      Total       Avg%
3586.14/3597.01	c   primal-dual      :  359699.84     100.00
3586.14/3597.01	c   primal-ref       :          -          - (not evaluated)
3586.14/3597.01	c   dual-ref         :          -          - (not evaluated)
3586.14/3597.10	c Time complete: 3586.25.

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 (61046 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-4446525-1721333300/watcher-4446525-1721333300 -o /tmp/evaluation-result-4446525-1721333300/solver-4446525-1721333300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721329708-966736 --watchdog 3760 pbscip -f HOME/instance-4446525-1721333300.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=968807, runsolver pid=968804

[startup+0.100106 s]*
/proc/loadavg: 4.14 4.16 4.18 5/241 968808
/proc/meminfo: memFree=124059408/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=114648 memory=75380 CPUtime=0.1 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 15682 0 0 0 7 3 0 0 20 0 1 0 185489219 117399552 18845 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 28662 18845 3550 3540 0 16919 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 114648 KiB
Current children cumulated memory: 75380 KiB

[startup+0.213932 s]*
/proc/loadavg: 4.14 4.16 4.18 5/241 968808
/proc/meminfo: memFree=123967816/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=144212 memory=102336 CPUtime=0.22 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 21891 0 0 0 18 4 0 0 20 0 1 0 185489219 147673088 25584 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 36053 25584 3614 3540 0 24310 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 144212 KiB
Current children cumulated memory: 102336 KiB

[startup+0.314418 s]*
/proc/loadavg: 4.14 4.16 4.18 5/241 968808
/proc/meminfo: memFree=123891116/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=150136 memory=108184 CPUtime=0.3 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 25305 0 0 0 26 4 0 0 20 0 1 0 185489219 153739264 27046 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 37534 27046 3661 3540 0 25791 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 150136 KiB
Current children cumulated memory: 108184 KiB

[startup+0.700314 s]
/proc/loadavg: 4.14 4.16 4.18 6/241 968808
/proc/meminfo: memFree=123822360/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=159252 memory=117956 CPUtime=0.67 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 29312 0 0 0 62 5 0 0 20 0 1 0 185489219 163074048 29489 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 39813 29489 3725 3540 0 28070 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 159252 KiB
Current children cumulated memory: 117956 KiB

[startup+1.50038 s]
/proc/loadavg: 4.14 4.16 4.18 5/241 968808
/proc/meminfo: memFree=123796460/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=198904 memory=154440 CPUtime=1.47 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 37050 0 0 0 140 7 0 0 20 0 1 0 185489219 203677696 38610 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 49726 38610 3773 3540 0 37983 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 198904 KiB
Current children cumulated memory: 154440 KiB

[startup+3.11375 s]
/proc/loadavg: 4.14 4.16 4.18 5/241 968808
/proc/meminfo: memFree=123692880/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=201764 memory=157072 CPUtime=3.07 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 37696 0 0 0 300 7 0 0 20 0 1 0 185489219 206606336 39268 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 50441 39268 3773 3540 0 38698 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 201764 KiB
Current children cumulated memory: 157072 KiB

[startup+6.30034 s]
/proc/loadavg: 4.13 4.16 4.18 5/241 968808
/proc/meminfo: memFree=123689132/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=203876 memory=158652 CPUtime=6.25 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 38115 0 0 0 618 7 0 0 20 0 1 0 185489219 208769024 39663 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 50969 39663 3773 3540 0 39226 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 203876 KiB
Current children cumulated memory: 158652 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.15 4.18 5/241 968810
/proc/meminfo: memFree=123675836/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=207972 memory=162944 CPUtime=12.63 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 39183 0 0 0 1255 8 0 0 20 0 1 0 185489219 212963328 40736 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 51993 40736 3773 3540 0 40250 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 207972 KiB
Current children cumulated memory: 162944 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.14 4.17 5/241 968811
/proc/meminfo: memFree=123591408/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=209152 memory=163992 CPUtime=25.38 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 39461 0 0 0 2530 8 0 0 20 0 1 0 185489219 214171648 40998 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 52288 40998 3773 3540 0 40545 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 209152 KiB
Current children cumulated memory: 163992 KiB

[startup+51.1136 s]
/proc/loadavg: 4.12 4.15 4.17 5/242 968819
/proc/meminfo: memFree=123515216/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=294708 memory=225516 CPUtime=50.91 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 58213 0 0 0 5079 12 0 0 20 0 1 0 185489219 301780992 56379 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 73677 56379 3981 3540 0 61934 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 294708 KiB
Current children cumulated memory: 225516 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/242 968827
/proc/meminfo: memFree=123401428/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=296848 memory=228740 CPUtime=101.91 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 58992 0 0 0 10179 12 0 0 20 0 1 0 185489219 303972352 57185 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 74212 57185 3997 3540 0 62469 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 296848 KiB
Current children cumulated memory: 228740 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/245 968842
/proc/meminfo: memFree=123320124/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=300760 memory=232892 CPUtime=161.69 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 59493 0 0 0 16157 12 0 0 20 0 1 0 185489219 307978240 58223 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 75190 58223 3997 3540 0 63447 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 300760 KiB
Current children cumulated memory: 232892 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/245 968852
/proc/meminfo: memFree=123067124/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=359508 memory=288704 CPUtime=221.5 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 64790 0 0 0 22136 14 0 0 20 0 1 0 185489219 368136192 72176 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 89877 72176 3997 3540 0 78134 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 359508 KiB
Current children cumulated memory: 288704 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/245 968863
/proc/meminfo: memFree=122903168/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=377804 memory=304448 CPUtime=281.29 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 69089 0 0 0 28114 15 0 0 20 0 1 0 185489219 386871296 76112 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 94451 76112 3997 3540 0 82708 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 377804 KiB
Current children cumulated memory: 304448 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.16 5/244 968874
/proc/meminfo: memFree=122766776/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=385884 memory=310048 CPUtime=341.08 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 70549 0 0 0 34093 15 0 0 20 0 1 0 185489219 395145216 77512 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 96471 77512 3997 3540 0 84728 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 385884 KiB
Current children cumulated memory: 310048 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.10 4.15 5/244 968885
/proc/meminfo: memFree=122660108/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=396712 memory=319580 CPUtime=400.88 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 72474 0 0 0 40072 16 0 0 20 0 1 0 185489219 406233088 79895 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 99178 79895 3997 3540 0 87435 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 396712 KiB
Current children cumulated memory: 319580 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/241 968896
/proc/meminfo: memFree=122632068/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=398196 memory=319760 CPUtime=460.68 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 72523 0 0 0 46052 16 0 0 20 0 1 0 185489219 407752704 79940 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0

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

/proc/loadavg: 4.34 4.31 4.22 5/246 970564
/proc/meminfo: memFree=121934368/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3152.53 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 91963 0 0 0 315232 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3152.53 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.27 4.20 5/246 970574
/proc/meminfo: memFree=121934140/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3212.37 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92108 0 0 0 321216 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3212.37 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.23 4.19 5/246 970585
/proc/meminfo: memFree=121933756/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3272.23 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92249 0 0 0 327202 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3272.23 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.20 4.18 5/244 970596
/proc/meminfo: memFree=121933584/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3332.08 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92388 0 0 0 333187 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3332.08 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.21 4.18 5/244 970606
/proc/meminfo: memFree=121931204/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3391.93 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92531 0 0 0 339172 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3391.93 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/241 970617
/proc/meminfo: memFree=121931052/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3451.78 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92675 0 0 0 345157 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3451.78 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/241 970627
/proc/meminfo: memFree=121924608/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3511.63 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92818 0 0 0 351142 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3511.63 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/241 970637
/proc/meminfo: memFree=121912464/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3571.47 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92962 0 0 0 357126 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3571.47 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

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

# cumulated CPU time of all completed processes:  user=3586.03 s, system=0.21818 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.16 4.17 5/241 970637
/proc/meminfo: memFree=121912468/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3573.18 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 92963 0 0 0 357297 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121910328/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3579.55 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 93003 0 0 0 357934 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3579.55 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.16 4.17 4/239 970639
/proc/meminfo: memFree=123613452/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3582.74 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 93004 0 0 0 358253 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3582.74 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.15 4.17 5/241 970731
/proc/meminfo: memFree=123699772/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3584.34 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 93004 0 0 0 358413 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3584.34 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.15 4.17 5/241 970731
/proc/meminfo: memFree=123667444/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3585.15 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 93004 0 0 0 358494 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3585.15 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.15 4.17 5/241 970731
/proc/meminfo: memFree=123667444/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3585.93 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 93004 0 0 0 358572 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3585.93 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

[startup+3597 s]*
/proc/loadavg: 4.10 4.15 4.17 4/239 970731
/proc/meminfo: memFree=124213168/131655788 swapFree=131071996/131071996
[pid=968807] ppid=968804 vsize=465396 memory=411436 CPUtime=3586.14 cores=1,3
/proc/968807/stat : 968807 (pbscip) R 968804 968807 966724 0 -1 4194304 93049 0 0 0 358593 21 0 0 20 0 1 0 185489219 476565504 102859 134679101440 4194304 18693293 140724016765760 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 46665728 140724016768003 140724016768102 140724016768102 140724016775118 0
/proc/968807/statm: 116349 102859 4223 3540 0 104606 0
Current children cumulated CPU time: 3586.14 s
Current children cumulated vsize: 465396 KiB
Current children cumulated memory: 411436 KiB

Child status: 0

Real time (s): 3597.11
CPU time (s): 3586.25
CPU user time (s): 3586.03
CPU system time (s): 0.21818
CPU usage (%): 99.6981
Max. virtual memory (cumulated for all children) (KiB): 465396
Max. memory (cumulated for all children) (KiB): 411436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.03
system time used= 0.21818
maximum resident set size= 411436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93091
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= 31
involuntary context switches= 1195


# summary of solver processes directly reported to runsolver:
#   pid: 968807
#   total CPU time (s): 3586.25
#   total CPU user time (s): 3586.03
#   total CPU system time (s): 0.21818

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.569 second user time and 33.7464 second system time

The end

Launcher Data

Begin job on nodeC010 at 2024-07-18 22:08:31
IDJOB=4446525
IDBENCH=158274
IDSOLVER=3059
FILE ID=nodeC010/4446525-1721333300
RUNJOBID= nodeC010-1721329708-966736
SLURM_JOB_ID= 7542700
Free space on /tmp= 723716 MiB

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

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

MD5SUM BENCH= 5b71eb3fc2b19671b5e391982561b6cd
RANDOM SEED=622327970

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3654.986
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		: 3513.315
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.340
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.174
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		: 3582.772
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		: 1307.352
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.192
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:        124167672 kB
MemAvailable:   129100036 kB
Buffers:          506176 kB
Cached:          5206488 kB
SwapCached:            0 kB
Active:          1021160 kB
Inactive:        5789792 kB
Active(anon):       1456 kB
Inactive(anon):  1134272 kB
Active(file):    1019704 kB
Inactive(file):  4655520 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             85000 kB
Writeback:             4 kB
AnonPages:       1098100 kB
Mapped:           136628 kB
Shmem:             37704 kB
KReclaimable:     194344 kB
Slab:             309016 kB
SReclaimable:     194344 kB
SUnreclaim:       114672 kB
KernelStack:        3936 kB
PageTables:        11500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1515780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58656 kB
HardwareCorrupted:     0 kB
AnonHugePages:    333824 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= 723704 MiB
End job on nodeC010 at 2024-07-18 23:08:28