Trace number 4446585

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? 3590.1 3599.2

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K151.opb
MD5SUMabcade21393c5164863b40206a5f4f64
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 variables17969
Total number of constraints18273
Number of constraints which are clauses18122
Number of constraints which are cardinality constraints (but not clauses)151
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint151
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 152
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-4446585-1721334291.opb>
0.00/0.08	c original problem has 17969 variables (17969 bin, 0 int, 0 impl, 0 cont) and 18273 constraints
0.00/0.08	c problem read in 0.08
0.00/0.08	c No objective function, only one solution is needed.
0.10/0.17	c presolving:
0.21/0.23	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, 2073 clqs
0.21/0.24	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, 2057 clqs
0.21/0.25	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, 2078 clqs
0.21/0.25	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, 2109 clqs
0.21/0.26	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, 2132 clqs
0.21/0.26	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, 2142 clqs
0.31/0.35	c    (0.3s) running MILP presolver
0.60/0.63	c    (0.6s) MILP presolver (4 rounds): 0 aggregations, 154 fixings, 0 bound changes
0.60/0.64	c (round 7, medium)     1336 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2153 clqs
0.60/0.66	c (round 8, fast)       1336 del vars, 789 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2155 clqs
0.60/0.69	c (round 9, exhaustive) 1336 del vars, 938 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2155 clqs
0.78/0.80	c (round 10, exhaustive) 1336 del vars, 938 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 17335 upgd conss, 0 impls, 2155 clqs
0.99/1.01	c (round 11, exhaustive) 1443 del vars, 938 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 106 chg coeffs, 17335 upgd conss, 0 impls, 2142 clqs
0.99/1.02	c (round 12, fast)       1550 del vars, 1045 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 106 chg coeffs, 17335 upgd conss, 0 impls, 2142 clqs
2.68/2.70	c (round 13, exhaustive) 1576 del vars, 1046 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 106 chg coeffs, 17335 upgd conss, 0 impls, 109072 clqs
2.68/2.70	c (round 14, fast)       1577 del vars, 1072 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 161 chg coeffs, 17335 upgd conss, 0 impls, 109086 clqs
4.08/4.17	c (round 15, exhaustive) 1603 del vars, 1072 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 161 chg coeffs, 17335 upgd conss, 0 impls, 109067 clqs
4.08/4.17	c (round 16, fast)       1604 del vars, 1098 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 223 chg coeffs, 17335 upgd conss, 0 impls, 109079 clqs
4.98/5.05	c (round 17, exhaustive) 1629 del vars, 1098 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 223 chg coeffs, 17335 upgd conss, 0 impls, 109059 clqs
4.98/5.06	c (round 18, fast)       1629 del vars, 1123 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 284 chg coeffs, 17335 upgd conss, 0 impls, 109074 clqs
6.08/6.18	c (round 19, exhaustive) 1655 del vars, 1123 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 284 chg coeffs, 17335 upgd conss, 0 impls, 109054 clqs
6.08/6.19	c (round 20, fast)       1656 del vars, 1149 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 345 chg coeffs, 17335 upgd conss, 0 impls, 109068 clqs
6.87/6.92	c (round 21, exhaustive) 1681 del vars, 1149 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 345 chg coeffs, 17335 upgd conss, 0 impls, 109084 clqs
6.87/6.93	c (round 22, fast)       1681 del vars, 1174 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 407 chg coeffs, 17335 upgd conss, 0 impls, 109100 clqs
7.98/8.08	c    (8.1s) probing: 1000/16966 (5.9%) - 145 fixings, 0 aggregations, 1084450 implications, 0 bound changes
8.46/8.54	c (round 23, exhaustive) 1706 del vars, 1174 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 407 chg coeffs, 17335 upgd conss, 0 impls, 109114 clqs
8.46/8.55	c (round 24, fast)       1706 del vars, 1199 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 471 chg coeffs, 17335 upgd conss, 0 impls, 109128 clqs
8.76/8.86	c (round 25, exhaustive) 1733 del vars, 1199 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 471 chg coeffs, 17335 upgd conss, 0 impls, 108667 clqs
8.76/8.87	c (round 26, fast)       1735 del vars, 1226 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 538 chg coeffs, 17335 upgd conss, 0 impls, 108676 clqs
9.35/9.40	c (round 27, exhaustive) 1760 del vars, 1226 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 538 chg coeffs, 17335 upgd conss, 0 impls, 108460 clqs
9.35/9.41	c (round 28, fast)       1760 del vars, 1251 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 609 chg coeffs, 17335 upgd conss, 0 impls, 108475 clqs
12.84/12.91	c (round 29, exhaustive) 1787 del vars, 1251 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 609 chg coeffs, 17335 upgd conss, 0 impls, 107791 clqs
12.84/12.92	c (round 30, fast)       1789 del vars, 1278 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 701 chg coeffs, 17335 upgd conss, 0 impls, 107816 clqs
13.05/13.14	c (round 31, exhaustive) 1818 del vars, 1278 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 701 chg coeffs, 17335 upgd conss, 0 impls, 107933 clqs
13.05/13.15	c (round 32, fast)       1822 del vars, 1307 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 764 chg coeffs, 17335 upgd conss, 0 impls, 107942 clqs
14.53/14.61	c (round 33, exhaustive) 1847 del vars, 1307 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 765 chg coeffs, 17335 upgd conss, 0 impls, 109147 clqs
14.53/14.62	c (round 34, fast)       1847 del vars, 1332 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 817 chg coeffs, 17335 upgd conss, 0 impls, 109151 clqs
14.73/14.86	c (round 35, exhaustive) 1872 del vars, 1332 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 817 chg coeffs, 17335 upgd conss, 0 impls, 109125 clqs
14.73/14.87	c (round 36, fast)       1872 del vars, 1357 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 867 chg coeffs, 17335 upgd conss, 0 impls, 109135 clqs
15.04/15.11	c (round 37, exhaustive) 1897 del vars, 1357 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 868 chg coeffs, 17335 upgd conss, 0 impls, 108898 clqs
15.04/15.12	c (round 38, fast)       1897 del vars, 1382 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 892 chg coeffs, 17335 upgd conss, 0 impls, 108899 clqs
15.23/15.35	c (round 39, exhaustive) 1922 del vars, 1382 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 892 chg coeffs, 17335 upgd conss, 0 impls, 108680 clqs
15.23/15.36	c (round 40, fast)       1922 del vars, 1407 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 917 chg coeffs, 17335 upgd conss, 0 impls, 108680 clqs
15.53/15.60	c (round 41, exhaustive) 1947 del vars, 1407 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 917 chg coeffs, 17335 upgd conss, 0 impls, 108433 clqs
15.53/15.61	c (round 42, fast)       1947 del vars, 1432 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 941 chg coeffs, 17335 upgd conss, 0 impls, 108433 clqs
15.83/15.95	c (round 43, exhaustive) 1973 del vars, 1432 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 941 chg coeffs, 17335 upgd conss, 0 impls, 108881 clqs
15.83/15.96	c (round 44, fast)       1974 del vars, 1458 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 971 chg coeffs, 17335 upgd conss, 0 impls, 108881 clqs
16.04/16.19	c (round 45, exhaustive) 1999 del vars, 1458 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 971 chg coeffs, 17335 upgd conss, 0 impls, 108669 clqs
16.13/16.20	c (round 46, fast)       1999 del vars, 1483 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 996 chg coeffs, 17335 upgd conss, 0 impls, 108669 clqs
16.62/16.76	c    (16.8s) probing: 2000/16966 (11.8%) - 424 fixings, 1 aggregations, 2555478 implications, 0 bound changes
21.41/21.58	c    (21.6s) probing: 3000/16966 (17.7%) - 432 fixings, 1 aggregations, 3768129 implications, 0 bound changes
26.39/26.51	c    (26.5s) probing: 4000/16966 (23.6%) - 442 fixings, 1 aggregations, 4923012 implications, 0 bound changes
29.68/29.89	c (round 47, exhaustive) 2024 del vars, 1483 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 996 chg coeffs, 17335 upgd conss, 0 impls, 109194 clqs
29.78/29.90	c (round 48, fast)       2024 del vars, 1508 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1039 chg coeffs, 17335 upgd conss, 0 impls, 109201 clqs
29.99/30.15	c (round 49, exhaustive) 2049 del vars, 1508 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1039 chg coeffs, 17335 upgd conss, 0 impls, 109180 clqs
29.99/30.16	c (round 50, fast)       2049 del vars, 1533 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1071 chg coeffs, 17335 upgd conss, 0 impls, 109182 clqs
31.37/31.59	c    (31.6s) probing: 5000/16966 (29.5%) - 489 fixings, 1 aggregations, 5797425 implications, 0 bound changes
36.05/36.28	c    (36.3s) probing: 6000/16966 (35.4%) - 493 fixings, 1 aggregations, 6734741 implications, 0 bound changes
39.34/39.50	c    (39.5s) probing: 7000/16966 (41.3%) - 496 fixings, 1 aggregations, 7654939 implications, 0 bound changes
41.03/41.21	c (round 51, exhaustive) 2074 del vars, 1533 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1071 chg coeffs, 17335 upgd conss, 0 impls, 109232 clqs
41.03/41.22	c (round 52, fast)       2074 del vars, 1558 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1107 chg coeffs, 17335 upgd conss, 0 impls, 109234 clqs
43.02/43.26	c    (43.3s) probing: 8000/16966 (47.2%) - 511 fixings, 1 aggregations, 8561745 implications, 0 bound changes
45.41/45.62	c    (45.6s) probing: 8523/16966 (50.2%) - 511 fixings, 1 aggregations, 9041724 implications, 0 bound changes
45.41/45.62	c    (45.6s) probing aborted: 1000/1000 successive useless probings
45.41/45.66	c    (45.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
45.51/45.75	c    (45.7s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
45.51/45.75	c dynamic symmetry handling statistics:
45.51/45.75	c    orbitopal reduction:       no components
45.51/45.75	c    orbital reduction:         no components
45.51/45.75	c    lexicographic reduction:    3 permutations with support sizes 1392, 580, 278
45.51/45.75	c handled 4 out of 4 symmetry components
45.51/45.75	c (round 53, exhaustive) 2089 del vars, 1570 del conss, 1 add conss, 302 chg bounds, 0 chg sides, 1122 chg coeffs, 17335 upgd conss, 0 impls, 109291 clqs
46.11/46.38	c    (46.4s) probing: 8623/16966 (50.8%) - 511 fixings, 1 aggregations, 9130609 implications, 0 bound changes
46.11/46.38	c    (46.4s) probing aborted: 1000/1000 successive useless probings
46.21/46.40	c presolving (54 rounds: 54 fast, 26 medium, 25 exhaustive):
46.21/46.40	c  2089 deleted vars, 1573 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1128 changed coefficients
46.21/46.40	c  0 implications, 109438 cliques
46.21/46.40	c presolved problem has 16439 variables (16439 bin, 0 int, 0 impl, 0 cont) and 16701 constraints
46.21/46.40	c    2043 constraints of type <setppc>
46.21/46.40	c       1 constraints of type <orbitope>
46.21/46.40	c   14657 constraints of type <logicor>
46.21/46.40	c transformed objective value is always integral (scale: 1)
46.21/46.40	c Presolving Time: 46.24
46.21/46.40	c - non default parameters ----------------------------------------------------------------------
46.21/46.40	c # SCIP version 10.0.0
46.21/46.40	c 
46.21/46.40	c # maximal time in seconds to run
46.21/46.40	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
46.21/46.40	c limits/time = 3596.997027
46.21/46.40	c 
46.21/46.40	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
46.21/46.40	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
46.21/46.40	c limits/memory = 27900
46.21/46.40	c 
46.21/46.40	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
46.21/46.40	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
46.21/46.40	c limits/solutions = 1
46.21/46.40	c 
46.21/46.40	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.
46.21/46.40	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
46.21/46.40	c misc/usesymmetry = 3
46.21/46.40	c 
46.21/46.40	c # belongs reading time to solving time?
46.21/46.40	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
46.21/46.40	c timing/reading = TRUE
46.21/46.40	c 
46.21/46.40	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
46.21/46.40	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
46.21/46.40	c propagating/symmetry/detectdoublelex = FALSE
46.21/46.40	c 
46.21/46.40	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
46.21/46.40	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
46.21/46.40	c propagating/symmetry/detectsubgroups = FALSE
46.21/46.40	c 
46.21/46.40	c # Type of symmetries that shall be computed?
46.21/46.40	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
46.21/46.40	c propagating/symmetry/symtype = 1
46.21/46.40	c 
46.21/46.40	c # Should components consisting of a single full reflection be handled?
46.21/46.40	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
46.21/46.40	c propagating/symmetry/usesimplesgncomp = FALSE
46.21/46.40	c 
46.21/46.40	c -----------------------------------------------------------------------------------------------
46.21/46.40	c start solving
46.21/46.40	c 
64.54/64.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
64.54/64.87	c  64.9s|     1 |     0 | 16824 |     - |   219M |   0 |  16k|  16k|  16k|   0 |  0 | 172 |   0 | 0.000000e+00 |      --      |    Inf | unknown
226.16/227.08	c   227s|     1 |     0 |106570 |     - |   245M |   0 |  16k|  16k|  16k|  15 |  1 | 173 |   0 | 0.000000e+00 |      --      |    Inf | unknown
260.32/261.31	c   261s|     1 |     0 |122451 |     - |   253M |   0 |  16k|  16k|  16k|  37 |  2 | 174 |   0 | 0.000000e+00 |      --      |    Inf | unknown
283.84/284.98	c   285s|     1 |     0 |133366 |     - |   256M |   0 |  16k|  16k|  16k|  45 |  3 | 182 |   0 | 0.000000e+00 |      --      |    Inf | unknown
306.26/307.46	c   307s|     1 |     0 |143795 |     - |   259M |   0 |  16k|  16k|  16k|  52 |  4 | 187 |   0 | 0.000000e+00 |      --      |    Inf | unknown
333.56/334.88	c   335s|     1 |     0 |155115 |     - |   264M |   0 |  16k|  16k|  16k|  62 |  5 | 191 |   0 | 0.000000e+00 |      --      |    Inf | unknown
362.46/363.89	c   364s|     1 |     0 |167403 |     - |   269M |   0 |  16k|  16k|  16k|  80 |  6 | 194 |   0 | 0.000000e+00 |      --      |    Inf | unknown
389.18/390.65	c   391s|     1 |     0 |178707 |     - |   271M |   0 |  16k|  16k|  16k|  92 |  7 | 200 |   0 | 0.000000e+00 |      --      |    Inf | unknown
418.67/420.27	c   420s|     1 |     0 |190613 |     - |   278M |   0 |  16k|  16k|  16k| 102 |  8 | 202 |   0 | 0.000000e+00 |      --      |    Inf | unknown
453.46/455.15	c   455s|     1 |     0 |204607 |     - |   280M |   0 |  16k|  16k|  16k| 118 |  9 | 207 |   0 | 0.000000e+00 |      --      |    Inf | unknown
486.23/488.05	c   488s|     1 |     0 |217524 |     - |   281M |   0 |  16k|  16k|  16k| 132 | 10 | 208 |   0 | 0.000000e+00 |      --      |    Inf | unknown
515.73/517.64	c   518s|     1 |     0 |230422 |     - |   284M |   0 |  16k|  16k|  16k| 148 | 11 | 212 |   0 | 0.000000e+00 |      --      |    Inf | unknown
717.35/720.00	c   720s|     1 |     2 |284447 |     - |   286M |   0 |  16k|  16k|  16k| 148 | 11 | 224 |  21 | 0.000000e+00 |      --      |    Inf | unknown
3589.90/3599.09	c 
3589.90/3599.09	c SCIP Status        : solving was interrupted [time limit reached]
3589.90/3599.09	c Solving Time (sec) : 3599.09
3589.90/3599.09	c Solving Nodes      : 27
3589.90/3599.09	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3589.90/3599.09	c Dual Bound         : +0.00000000000000e+00
3589.90/3599.09	c Gap                : infinite
3589.90/3599.09	s UNKNOWN
3589.90/3599.09	c SCIP Status        : solving was interrupted [time limit reached]
3589.90/3599.09	c Total Time         :    3599.09
3589.90/3599.09	c   solving          :    3599.09
3589.90/3599.09	c   presolving       :      46.24 (included in solving)
3589.90/3599.09	c   reading          :       0.08 (included in solving)
3589.90/3599.09	c   copying          :       0.10 (2 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3589.90/3599.09	c Original Problem   :
3589.90/3599.09	c   Problem name     : HOME/instance-4446585-1721334291.opb
3589.90/3599.09	c   Variables        : 17969 (17969 binary, 0 integer, 0 implicit integer, 0 continuous)
3589.90/3599.09	c   Constraints      : 18273 initial, 18273 maximal
3589.90/3599.09	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3589.90/3599.09	c Presolved Problem  :
3589.90/3599.09	c   Problem name     : t_HOME/instance-4446585-1721334291.opb
3589.90/3599.09	c   Variables        : 16439 (16439 binary, 0 integer, 0 implicit integer, 0 continuous)
3589.90/3599.09	c   Constraints      : 16701 initial, 16946 maximal
3589.90/3599.09	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3589.90/3599.09	c   Nonzeros         : 91345 constraint, 235018 clique table
3589.90/3599.09	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3589.90/3599.09	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   domcol           :       1.02       0.00     22          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   dualsparsify     :       0.04       0.00      1          0          0          0          0          0         12          0          0         15
3589.90/3599.09	c   gateextraction   :       0.26       0.00     23          0          0          0          0          0          1          0          0          0
3589.90/3599.09	c   implics          :       0.00       0.00     26          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   milp             :       0.37       0.00      1        154          0          0          0          0          0          0          0          0
3589.90/3599.09	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   sparsify         :       0.49       0.00      4          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   trivial          :       0.03       0.00     54        559          0          0          0          0          0          0          0          0
3589.90/3599.09	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   dualfix          :       0.02       0.00     54          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   probing          :      39.56       0.00     22        511          1          0          0          0          0          0          0          0
3589.90/3599.09	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   symmetry         :       0.10       0.00      1          3          0          0          0          0          0          1          0          0
3589.90/3599.09	c   vbounds          :       0.03       0.00      2          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   setppc           :       0.20       0.00     90          0          0          0          0          0        112          0          0          0
3589.90/3599.09	c   linear           :       0.21       0.02     12        302          0          0        302          0        938          0          0          0
3589.90/3599.09	c   orbitope         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   logicor          :       3.85       0.01     90        107          0          0          0          0        510          0          0       1113
3589.90/3599.09	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3589.90/3599.09	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3589.90/3599.09	c   benderslp        :          0          0          0          0         27          0          0          7          0          0          0          0          0          0          0
3589.90/3599.09	c   integral         :          0          0          0          0         27          0          0          7          0          0          0          0          0          0         54
3589.90/3599.09	c   setppc           :       2043+      2136         11     398242          0          0          0          3      28390        335       3239          0          0          0          0
3589.90/3599.09	c   linear           :          0+         2          0       9162          0          0          0          3          0          1          0          0          0          0          0
3589.90/3599.09	c   orbitope         :          1          1          0      18481          0          0          0          0         41          0          9          0          0          0          0
3589.90/3599.09	c   logicor          :      14657+     14807         11     140531          0          0          0          0      63191        113       3576         18         10          0          0
3589.90/3599.09	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3589.90/3599.09	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3589.90/3599.09	c   integral         :      40.11       0.00       0.00       0.00      40.11       0.00       0.00       0.00       0.00       0.00
3589.90/3599.09	c   setppc           :       3.64       0.00       0.01       3.55       0.00       0.00       0.00       0.00       0.01       0.07
3589.90/3599.09	c   linear           :       0.03       0.02       0.00       0.00       0.00       0.00       0.00       0.01       0.00       0.00
3589.90/3599.09	c   orbitope         :       0.03       0.00       0.00       0.03       0.00       0.00       0.00       0.00       0.00       0.00
3589.90/3599.09	c   logicor          :      11.76       0.01       0.04      11.65       0.00       0.00       0.00       0.00       0.03       0.03
3589.90/3599.09	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3589.90/3599.09	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3589.90/3599.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3589.90/3599.09	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3589.90/3599.09	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3589.90/3599.09	c   dualfix          :          1          0          0          0
3589.90/3599.09	c   genvbounds       :          0          0          0          0
3589.90/3599.09	c   nlobbt           :          0          0          0          0
3589.90/3599.09	c   obbt             :          0          0          0          0
3589.90/3599.09	c   probing          :          0          0          0          0
3589.90/3599.09	c   pseudoobj        :          0          0          0          0
3589.90/3599.09	c   redcost          :          0          0          0          0
3589.90/3599.09	c   rootredcost      :          0          0          0          0
3589.90/3599.09	c   symmetry         :          0          0          0          0
3589.90/3599.09	c   vbounds          :       6094          0          0          0
3589.90/3599.09	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3589.90/3599.09	c   dualfix          :       0.02       0.00       0.02       0.00       0.00       0.00
3589.90/3599.09	c   genvbounds       :       0.02       0.00       0.00       0.02       0.00       0.00
3589.90/3599.09	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3589.90/3599.09	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3589.90/3599.09	c   probing          :      39.56       0.00      39.56       0.00       0.00       0.00
3589.90/3599.09	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
3589.90/3599.09	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3589.90/3599.09	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3589.90/3599.09	c   symmetry         :       0.12       0.00       0.10       0.02       0.00       0.00
3589.90/3599.09	c   vbounds          :       0.06       0.00       0.03       0.02       0.00       0.00
3589.90/3599.09	c Symmetry           :
3589.90/3599.09	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3589.90/3599.09	c   orbital reduction:          0 reductions applied,          0 cutoffs
3589.90/3599.09	c   lexicographic red:          0 reductions applied,          0 cutoffs
3589.90/3599.09	c   shadow tree time :       0.00 s
3589.90/3599.09	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3589.90/3599.09	c   propagation      :       0.03        444        116          -        595       92.3          5       55.0          -          -          -
3589.90/3599.09	c   infeasible LP    :       0.22         12         11          -        485     2258.2          8        6.2          3     2037.7          0
3589.90/3599.09	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3589.90/3599.09	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3589.90/3599.09	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3589.90/3599.09	c   applied globally :       0.01          -          -          0        327      325.9          -          -          3          -          -
3589.90/3599.09	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3589.90/3599.09	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3589.90/3599.09	c   cut pool         :       0.00          -         27         21          -          -        221        307          -          -          -          -          -    (maximal pool size:        221)
3589.90/3599.09	c   aggregation      :       0.07       0.00         15         11          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3589.90/3599.09	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3589.90/3599.09	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3589.90/3599.09	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   clique           :       1.71       0.00         11         11          0          0         78        146          0         30         30          0          0
3589.90/3599.09	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   gomory           :      20.76       0.00         14         10          0          0         50          0         50          1          0          1          0
3589.90/3599.09	c   > gomorymi       :          -          -          -          -          -          -          -          0         25          1          0          1          -
3589.90/3599.09	c   > strongcg       :          -          -          -          -          -          -          -          0         25          0          0          0          -
3589.90/3599.09	c   impliedbounds    :       0.08       0.00         15         11          0          0         62         75          0         41         41          0          0
3589.90/3599.09	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   multilinear      :       0.00       0.00         14         11          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   rlt              :       0.00       0.00         12         10          0          0          0          0          0          0          0          0          0
3589.90/3599.09	c   zerohalf         :      15.79       0.00         15         11          0          0         88         86          7         85         79          6          0
3589.90/3599.09	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3589.90/3599.09	c   hybrid           :       0.00       0.00         15         11        167          0        215        148          0        161
3589.90/3599.09	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3589.90/3599.09	c   problem variables:       0.00          -          0          0
3589.90/3599.09	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3589.90/3599.09	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c   relpscost        :      40.11       0.00         27          0          0          0          0          0          0         54
3589.90/3599.09	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3589.90/3599.09	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3589.90/3599.09	c   LP solutions     :       0.00          -          -          0          0
3589.90/3599.09	c   relax solutions  :       0.00          -          -          0          0
3589.90/3599.09	c   pseudo solutions :       0.00          -          -          0          0
3589.90/3599.09	c   strong branching :       0.00          -          -          0          0
3589.90/3599.09	c   actconsdiving    :       0.00       0.00          0          0          0
3589.90/3599.09	c   adaptivediving   :     104.99       0.00          1          0          0
3589.90/3599.09	c   alns             :       0.11       0.00          1          0          0
3589.90/3599.09	c   bound            :       0.00       0.00          0          0          0
3589.90/3599.09	c   clique           :       0.07       0.00          1          0          0
3589.90/3599.09	c   coefdiving       :       0.00       0.00          0          0          0
3589.90/3599.09	c   completesol      :       0.00       0.00          0          0          0
3589.90/3599.09	c   conflictdiving   :     161.80       0.00          1          0          0
3589.90/3599.09	c   crossover        :       0.00       0.00          0          0          0
3589.90/3599.09	c   dins             :       0.00       0.00          0          0          0
3589.90/3599.09	c   distributiondivin:     438.85       0.00          1          0          0
3589.90/3599.09	c   dps              :       0.00       0.00          0          0          0
3589.90/3599.09	c   dualval          :       0.00       0.00          0          0          0
3589.90/3599.09	c   farkasdiving     :       0.00       0.00          0          0          0
3589.90/3599.09	c   feasjump         :       0.04       0.00          1          0          0
3589.90/3599.09	c   feaspump         :     140.30       0.00          1          0          0
3589.90/3599.09	c   fixandinfer      :       0.00       0.00          0          0          0
3589.90/3599.09	c   fracdiving       :     237.53       0.00          1          0          0
3589.90/3599.09	c   gins             :       0.00       0.00          0          0          0
3589.90/3599.09	c   guideddiving     :       0.00       0.00          0          0          0
3589.90/3599.09	c   indcoefdiving    :       0.00       0.00          0          0          0
3589.90/3599.09	c   indicator        :       0.00       0.00          0          0          0
3589.90/3599.09	c   indicatordiving  :       0.00       0.00          0          0          0
3589.90/3599.09	c   indoneopt        :       0.00       0.00          0          0          0
3589.90/3599.09	c   indrounding      :       0.00       0.00          0          0          0
3589.90/3599.09	c   indtwoopt        :       0.00       0.00          0          0          0
3589.90/3599.09	c   intdiving        :       0.00       0.00          0          0          0
3589.90/3599.09	c   intshifting      :       0.00       0.00          0          0          0
3589.90/3599.09	c   linesearchdiving :       0.00       0.00          0          0          0
3589.90/3599.09	c   localbranching   :       0.00       0.00          0          0          0
3589.90/3599.09	c   locks            :       0.07       0.00          1          0          0
3589.90/3599.09	c   lpface           :       0.00       0.00          0          0          0
3589.90/3599.09	c   mpec             :       0.00       0.00          0          0          0
3589.90/3599.09	c   multistart       :       0.00       0.00          0          0          0
3589.90/3599.09	c   mutation         :       0.00       0.00          0          0          0
3589.90/3599.09	c   nlpdiving        :       0.00       0.00          0          0          0
3589.90/3599.09	c   objpscostdiving  :    1104.87       0.00          1          0          0
3589.90/3599.09	c   octane           :       0.00       0.00          0          0          0
3589.90/3599.09	c   ofins            :       0.00       0.00          0          0          0
3589.90/3599.09	c   oneopt           :       0.00       0.00          0          0          0
3589.90/3599.09	c   padm             :       0.00       0.00          0          0          0
3589.90/3599.09	c   proximity        :       0.00       0.00          0          0          0
3589.90/3599.09	c   pscostdiving     :     286.19       0.00          1          0          0
3589.90/3599.09	c   randrounding     :       0.21       0.00         12          0          0
3589.90/3599.09	c   rens             :       0.37       0.00          1          0          0
3589.90/3599.09	c   reoptsols        :       0.00       0.00          0          0          0
3589.90/3599.09	c   repair           :       0.00       0.00          0          0          0
3589.90/3599.09	c   rins             :       0.00       0.00          0          0          0
3589.90/3599.09	c   rootsoldiving    :       0.00       0.00          0          0          0
3589.90/3599.09	c   rounding         :       0.05       0.00         42          0          0
3589.90/3599.09	c   scheduler        :       0.00       0.00          0          0          0
3589.90/3599.09	c   shiftandpropagate:       0.02       0.00          1          0          0
3589.90/3599.09	c   shifting         :       0.21       0.00         18          0          0
3589.90/3599.09	c   simplerounding   :       0.00       0.00          0          0          0
3589.90/3599.09	c   smallcard        :       0.00       0.00          0          0          0
3589.90/3599.09	c   subnlp           :       0.00       0.00          0          0          0
3589.90/3599.09	c   trivial          :       0.02       0.00          2          0          0
3589.90/3599.09	c   trivialnegation  :       0.00       0.00          0          0          0
3589.90/3599.09	c   trustregion      :       0.00       0.00          0          0          0
3589.90/3599.09	c   trysol           :       0.00       0.00          0          0          0
3589.90/3599.09	c   twoopt           :       0.00       0.00          0          0          0
3589.90/3599.09	c   undercover       :       0.00       0.00          0          0          0
3589.90/3599.09	c   vbounds          :       0.15       0.00          1          0          0
3589.90/3599.09	c   veclendiving     :     123.45       0.00          1          0          0
3589.90/3599.09	c   zeroobj          :       0.00       0.00          0          0          0
3589.90/3599.09	c   zirounding       :       0.02       0.00         26          0          0
3589.90/3599.09	c   other solutions  :          -          -          -          0          -
3589.90/3599.09	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3589.90/3599.09	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
3589.90/3599.09	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
3589.90/3599.09	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
3589.90/3599.09	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
3589.90/3599.09	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
3589.90/3599.09	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
3589.90/3599.09	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
3589.90/3599.09	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
3589.90/3599.09	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
3589.90/3599.09	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3589.90/3599.09	c   primal LP        :       0.10          3          0       0.00       0.00       0.10          3
3589.90/3599.09	c   dual LP          :     874.51         42     484146   11527.29     553.62       0.00          0
3589.90/3599.09	c   lex dual LP      :       0.00          0          0       0.00          -
3589.90/3599.09	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3589.90/3599.09	c   resolve instable :     271.59         46     102139    2220.41     376.08
3589.90/3599.09	c   diving/probing LP:    2601.12        455     804044    1767.13     309.11
3589.90/3599.09	c   strong branching :      34.52         21      21000    1000.00     608.33          -          -         42
3589.90/3599.09	c     (at root node) :          -         21      21000    1000.00          -
3589.90/3599.09	c   conflict analysis:       0.00          0          0       0.00          -
3589.90/3599.09	c B&B Tree           :
3589.90/3599.09	c   number of runs   :          1
3589.90/3599.09	c   nodes            :         27 (27 internal, 0 leaves)
3589.90/3599.09	c   feasible leaves  :          0
3589.90/3599.09	c   infeas. leaves   :          0
3589.90/3599.09	c   objective leaves :          0
3589.90/3599.09	c   nodes (total)    :         27 (27 internal, 0 leaves)
3589.90/3599.09	c   nodes left       :         28
3589.90/3599.09	c   max depth        :         14
3589.90/3599.09	c   max depth (total):         14
3589.90/3599.09	c   backtracks       :          5 (18.5%)
3589.90/3599.09	c   early backtracks :          0 (0.0%)
3589.90/3599.09	c   nodes exc. ref.  :          0 (0.0%)
3589.90/3599.09	c   delayed cutoffs  :          0
3589.90/3599.09	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3589.90/3599.09	c   avg switch length:       1.70
3589.90/3599.09	c   switching time   :       0.12
3589.90/3599.09	c Root Node          :
3589.90/3599.09	c   First LP value   : +0.00000000000000e+00
3589.90/3599.09	c   First LP Iters   :      16824 (929.02 Iter/sec)
3589.90/3599.09	c   First LP Time    :      18.11
3589.90/3599.09	c   Final Dual Bound : +0.00000000000000e+00
3589.90/3599.09	c   Final Root Iters :     230422
3589.90/3599.09	c   Root LP Estimate : +1.18437860398419e-03
3589.90/3599.09	c Solution           :
3589.90/3599.09	c   Solutions found  :          0 (0 improvements)
3589.90/3599.09	c   Primal Bound     :          -
3589.90/3599.09	c   Dual Bound       : +0.00000000000000e+00
3589.90/3599.09	c   Gap              :   infinite
3589.90/3599.09	c Integrals          :      Total       Avg%
3589.90/3599.09	c   primal-dual      :  359908.96     100.00
3589.90/3599.09	c   primal-ref       :          -          - (not evaluated)
3589.90/3599.09	c   dual-ref         :          -          - (not evaluated)
3590.08/3599.20	c Time complete: 3590.09.

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=968454, runsolver pid=968451

[startup+0.100104 s]*
/proc/loadavg: 4.16 4.13 4.15 5/244 968455
/proc/meminfo: memFree=117949624/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=105240 memory=66332 CPUtime=0.1 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 13483 0 0 0 9 1 0 0 20 0 1 0 185585727 107765760 16583 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 26310 16583 3530 3540 0 14567 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 105240 KiB
Current children cumulated memory: 66332 KiB

[startup+0.213615 s]*
/proc/loadavg: 4.16 4.13 4.15 5/244 968455
/proc/meminfo: memFree=117918544/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=131736 memory=89744 CPUtime=0.21 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 19274 0 0 0 18 3 0 0 20 0 1 0 185585727 134897664 22436 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 32934 22436 3578 3540 0 21191 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 131736 KiB
Current children cumulated memory: 89744 KiB

[startup+0.313308 s]*
/proc/loadavg: 4.16 4.13 4.15 5/244 968455
/proc/meminfo: memFree=117909692/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=141464 memory=98508 CPUtime=0.31 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 20962 0 0 0 28 3 0 0 20 0 1 0 185585727 144859136 24627 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 35366 24627 3578 3540 0 23623 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 141464 KiB
Current children cumulated memory: 98508 KiB

[startup+0.700301 s]
/proc/loadavg: 4.16 4.13 4.15 5/244 968455
/proc/meminfo: memFree=117894744/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=147988 memory=106564 CPUtime=0.69 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 27220 0 0 0 64 5 0 0 20 0 1 0 185585727 151539712 26641 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 36997 26641 3705 3540 0 25254 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 147988 KiB
Current children cumulated memory: 106564 KiB

[startup+1.50036 s]
/proc/loadavg: 4.16 4.13 4.15 5/244 968455
/proc/meminfo: memFree=117880968/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=197404 memory=153044 CPUtime=1.48 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 37780 0 0 0 142 6 0 0 20 0 1 0 185585727 202141696 38261 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 49351 38261 3753 3540 0 37608 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 197404 KiB
Current children cumulated memory: 153044 KiB

[startup+3.11318 s]
/proc/loadavg: 4.16 4.13 4.15 5/244 968457
/proc/meminfo: memFree=117843644/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=208820 memory=164392 CPUtime=3.09 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 40585 0 0 0 302 7 0 0 20 0 1 0 185585727 213831680 41098 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 52205 41098 3753 3540 0 40462 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 208820 KiB
Current children cumulated memory: 164392 KiB

[startup+6.30033 s]
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=119666260/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=211096 memory=165972 CPUtime=6.26 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 41026 0 0 0 619 7 0 0 20 0 1 0 185585727 216162304 41493 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 52774 41493 3753 3540 0 41031 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 211096 KiB
Current children cumulated memory: 165972 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.13 4.15 5/244 968550
/proc/meminfo: memFree=125149112/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=215776 memory=170792 CPUtime=12.64 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 42244 0 0 0 1256 8 0 0 20 0 1 0 185585727 220954624 42698 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 53944 42698 3753 3540 0 42201 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 215776 KiB
Current children cumulated memory: 170792 KiB

[startup+25.5004 s]
/proc/loadavg: 4.18 4.14 4.15 5/245 968935
/proc/meminfo: memFree=125135180/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=217436 memory=172360 CPUtime=25.4 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 42643 0 0 0 2531 9 0 0 20 0 1 0 185585727 222654464 43090 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 54359 43090 3753 3540 0 42616 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 217436 KiB
Current children cumulated memory: 172360 KiB

[startup+51.1131 s]
/proc/loadavg: 4.12 4.13 4.15 5/244 968939
/proc/meminfo: memFree=125022592/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=300956 memory=231280 CPUtime=50.91 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 61431 0 0 0 5078 13 0 0 20 0 1 0 185585727 308178944 57820 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 75239 57820 3961 3540 0 63496 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 300956 KiB
Current children cumulated memory: 231280 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/244 968949
/proc/meminfo: memFree=124928020/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=309568 memory=239436 CPUtime=101.91 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 62952 0 0 0 10177 14 0 0 20 0 1 0 185585727 316997632 59859 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 77392 59859 3977 3540 0 65649 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 309568 KiB
Current children cumulated memory: 239436 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/244 968959
/proc/meminfo: memFree=124917668/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=309568 memory=239436 CPUtime=161.68 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 62955 0 0 0 16154 14 0 0 20 0 1 0 185585727 316997632 59859 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 77392 59859 3977 3540 0 65649 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 309568 KiB
Current children cumulated memory: 239436 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/246 969139
/proc/meminfo: memFree=124787024/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=376920 memory=304116 CPUtime=221.46 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 69437 0 0 0 22129 17 0 0 20 0 1 0 185585727 385966080 76029 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 94230 76029 3977 3540 0 82487 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 376920 KiB
Current children cumulated memory: 304116 KiB

[startup+282.3 s]
/proc/loadavg: 4.23 4.15 4.15 5/246 969150
/proc/meminfo: memFree=124678452/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=395192 memory=320784 CPUtime=281.25 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 73107 0 0 0 28107 18 0 0 20 0 1 0 185585727 404676608 80196 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 98798 80196 3977 3540 0 87055 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 395192 KiB
Current children cumulated memory: 320784 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.14 4.14 5/246 969217
/proc/meminfo: memFree=124648944/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=405332 memory=328176 CPUtime=341.04 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 74985 0 0 0 34086 18 0 0 20 0 1 0 185585727 415059968 82044 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 101333 82044 3977 3540 0 89590 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 405332 KiB
Current children cumulated memory: 328176 KiB

[startup+402.3 s]
/proc/loadavg: 4.26 4.17 4.16 5/246 969227
/proc/meminfo: memFree=124627836/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=417796 memory=337860 CPUtime=400.84 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 77405 0 0 0 40065 19 0 0 20 0 1 0 185585727 427823104 84465 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 104449 84465 3977 3540 0 92706 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 417796 KiB
Current children cumulated memory: 337860 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.17 4.16 5/246 969238
/proc/meminfo: memFree=124605140/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=420564 memory=340956 CPUtime=460.62 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 78166 0 0 0 46043 19 0 0 20 0 1 0 185585727 430657536 85239 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0

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

/proc/loadavg: 4.07 4.10 4.10 5/243 970346
/proc/meminfo: memFree=125371652/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=486932 memory=430820 CPUtime=3154.09 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 98936 0 0 0 315384 25 0 0 20 0 1 0 185585727 498618368 107705 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 121733 107705 4206 3540 0 109990 0
Current children cumulated CPU time: 3154.09 s
Current children cumulated vsize: 486932 KiB
Current children cumulated memory: 430820 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.13 4.11 5/243 970356
/proc/meminfo: memFree=125371168/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=486932 memory=430820 CPUtime=3213.97 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 99030 0 0 0 321372 25 0 0 20 0 1 0 185585727 498618368 107705 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 121733 107705 4206 3540 0 109990 0
Current children cumulated CPU time: 3213.97 s
Current children cumulated vsize: 486932 KiB
Current children cumulated memory: 430820 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/243 970367
/proc/meminfo: memFree=125370948/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=486932 memory=430820 CPUtime=3273.84 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 99124 0 0 0 327359 25 0 0 20 0 1 0 185585727 498618368 107705 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 121733 107705 4206 3540 0 109990 0
Current children cumulated CPU time: 3273.84 s
Current children cumulated vsize: 486932 KiB
Current children cumulated memory: 430820 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/246 970382
/proc/meminfo: memFree=125370468/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=486932 memory=430820 CPUtime=3333.72 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 99219 0 0 0 333347 25 0 0 20 0 1 0 185585727 498618368 107705 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 121733 107705 4206 3540 0 109990 0
Current children cumulated CPU time: 3333.72 s
Current children cumulated vsize: 486932 KiB
Current children cumulated memory: 430820 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/246 970392
/proc/meminfo: memFree=125370168/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=486932 memory=430820 CPUtime=3393.59 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 99314 0 0 0 339334 25 0 0 20 0 1 0 185585727 498618368 107705 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 121733 107705 4206 3540 0 109990 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 486932 KiB
Current children cumulated memory: 430820 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/245 970403
/proc/meminfo: memFree=125369924/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=486932 memory=430820 CPUtime=3453.47 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 99409 0 0 0 345322 25 0 0 20 0 1 0 185585727 498618368 107705 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 121733 107705 4206 3540 0 109990 0
Current children cumulated CPU time: 3453.47 s
Current children cumulated vsize: 486932 KiB
Current children cumulated memory: 430820 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/246 970414
/proc/meminfo: memFree=125369640/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=486932 memory=430820 CPUtime=3513.34 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 99505 0 0 0 351309 25 0 0 20 0 1 0 185585727 498618368 107705 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 121733 107705 4206 3540 0 109990 0
Current children cumulated CPU time: 3513.34 s
Current children cumulated vsize: 486932 KiB
Current children cumulated memory: 430820 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/246 970425
/proc/meminfo: memFree=125369388/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=486932 memory=430820 CPUtime=3573.22 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 99601 0 0 0 357297 25 0 0 20 0 1 0 185585727 498618368 107705 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 121733 107705 4206 3540 0 109990 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 486932 KiB
Current children cumulated memory: 430820 KiB

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

# cumulated CPU time of all completed processes:  user=3589.84 s, system=0.257791 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.09 5/246 970425
/proc/meminfo: memFree=125369276/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=486932 memory=430820 CPUtime=3574.93 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 99601 0 0 0 357468 25 0 0 20 0 1 0 185585727 498618368 107705 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 121733 107705 4206 3540 0 109990 0
Current children cumulated CPU time: 3574.93 s
Current children cumulated vsize: 486932 KiB
Current children cumulated memory: 430820 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/246 970426
/proc/meminfo: memFree=125369304/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=486932 memory=430820 CPUtime=3581.3 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 99616 0 0 0 358105 25 0 0 20 0 1 0 185585727 498618368 107705 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 121733 107705 4206 3540 0 109990 0
Current children cumulated CPU time: 3581.3 s
Current children cumulated vsize: 486932 KiB
Current children cumulated memory: 430820 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/246 970427
/proc/meminfo: memFree=125369304/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=486932 memory=430820 CPUtime=3584.5 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 99616 0 0 0 358425 25 0 0 20 0 1 0 185585727 498618368 107705 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 121733 107705 4206 3540 0 109990 0
Current children cumulated CPU time: 3584.5 s
Current children cumulated vsize: 486932 KiB
Current children cumulated memory: 430820 KiB

[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/246 970427
/proc/meminfo: memFree=125369304/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=486932 memory=430820 CPUtime=3587.69 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 99616 0 0 0 358744 25 0 0 20 0 1 0 185585727 498618368 107705 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 121733 107705 4206 3540 0 109990 0
Current children cumulated CPU time: 3587.69 s
Current children cumulated vsize: 486932 KiB
Current children cumulated memory: 430820 KiB

[startup+3598.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/246 970427
/proc/meminfo: memFree=125369304/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=486932 memory=430820 CPUtime=3589.29 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 99616 0 0 0 358904 25 0 0 20 0 1 0 185585727 498618368 107705 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 121733 107705 4206 3540 0 109990 0
Current children cumulated CPU time: 3589.29 s
Current children cumulated vsize: 486932 KiB
Current children cumulated memory: 430820 KiB

[startup+3598.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/246 970427
/proc/meminfo: memFree=125369304/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=486932 memory=430820 CPUtime=3589.68 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 99616 0 0 0 358943 25 0 0 20 0 1 0 185585727 498618368 107705 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 121733 107705 4206 3540 0 109990 0
Current children cumulated CPU time: 3589.68 s
Current children cumulated vsize: 486932 KiB
Current children cumulated memory: 430820 KiB

[startup+3599.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/246 970427
/proc/meminfo: memFree=125369288/131655788 swapFree=131071996/131071996
[pid=968454] ppid=968451 vsize=397924 memory=341840 CPUtime=3590.08 cores=4,6
/proc/968454/stat : 968454 (pbscip) R 968451 968454 963708 0 -1 4194304 99660 0 0 0 358983 25 0 0 20 0 1 0 185585727 407474176 85460 134679101440 4194304 18693293 140736746219296 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 51716096 140736746226691 140736746226790 140736746226790 140736746233806 0
/proc/968454/statm: 99481 85460 4206 3540 0 87738 0
Current children cumulated CPU time: 3590.08 s
Current children cumulated vsize: 397924 KiB
Current children cumulated memory: 341840 KiB

Child status: 0

Real time (s): 3599.2
CPU time (s): 3590.1
CPU user time (s): 3589.84
CPU system time (s): 0.257791
CPU usage (%): 99.747
Max. virtual memory (cumulated for all children) (KiB): 486932
Max. memory (cumulated for all children) (KiB): 430820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.84
system time used= 0.257791
maximum resident set size= 430820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99680
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= 37
involuntary context switches= 1749


# summary of solver processes directly reported to runsolver:
#   pid: 968454
#   total CPU time (s): 3590.1
#   total CPU user time (s): 3589.84
#   total CPU system time (s): 0.257791

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.645 second user time and 33.1245 second system time

The end

Launcher Data

Begin job on nodeC007 at 2024-07-18 22:25:03
IDJOB=4446585
IDBENCH=158279
IDSOLVER=3059
FILE ID=nodeC007/4446585-1721334291
RUNJOBID= nodeC007-1721327100-963757
SLURM_JOB_ID= 7542682
Free space on /tmp= 723652 MiB

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

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

MD5SUM BENCH= abcade21393c5164863b40206a5f4f64
RANDOM SEED=1124825658

nodeC007.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		: 3665.686
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.25
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		: 3598.030
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.30
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.302
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.25
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.345
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.652
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.25
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		: 3662.236
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.30
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.131
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.25
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.225
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        117995044 kB
MemAvailable:   120865628 kB
Buffers:          507944 kB
Cached:          3193268 kB
SwapCached:            0 kB
Active:          1129276 kB
Inactive:       11950364 kB
Active(anon):       1460 kB
Inactive(anon):  9414656 kB
Active(file):    1127816 kB
Inactive(file):  2535708 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19768 kB
Writeback:            60 kB
AnonPages:       9376612 kB
Mapped:           140864 kB
Shmem:             37704 kB
KReclaimable:      94184 kB
Slab:             196216 kB
SReclaimable:      94184 kB
SUnreclaim:       102032 kB
KernelStack:        3888 kB
PageTables:        28480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   12094832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58272 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3565568 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723704 MiB
End job on nodeC007 at 2024-07-18 23:25:03