Trace number 4446705

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? 3585.41 3597.13

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K162.opb
MD5SUM3691972eca5819945d0aaf6ae8165cd0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark3001.01
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19278
Total number of constraints19604
Number of constraints which are clauses19442
Number of constraints which are cardinality constraints (but not clauses)162
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint162
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 163
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-4446705-1721335962.opb>
0.00/0.07	c original problem has 19278 variables (19278 bin, 0 int, 0 impl, 0 cont) and 19604 constraints
0.00/0.07	c problem read in 0.07
0.00/0.07	c No objective function, only one solution is needed.
0.09/0.14	c presolving:
0.09/0.17	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, 2227 clqs
0.09/0.18	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, 2211 clqs
0.09/0.18	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, 2232 clqs
0.09/0.19	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, 2263 clqs
0.09/0.19	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, 2286 clqs
0.09/0.19	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, 2296 clqs
0.20/0.25	c    (0.2s) running MILP presolver
0.40/0.43	c    (0.4s) MILP presolver (4 rounds): 0 aggregations, 167 fixings, 0 bound changes
0.40/0.44	c (round 7, medium)     1349 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2305 clqs
0.40/0.45	c (round 8, fast)       1349 del vars, 802 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2312 clqs
0.40/0.47	c (round 9, exhaustive) 1349 del vars, 962 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2312 clqs
0.50/0.56	c (round 10, exhaustive) 1349 del vars, 962 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 18642 upgd conss, 0 impls, 2312 clqs
0.69/0.73	c (round 11, exhaustive) 1457 del vars, 962 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18642 upgd conss, 0 impls, 2299 clqs
0.69/0.74	c (round 12, fast)       1565 del vars, 1070 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18642 upgd conss, 0 impls, 2299 clqs
2.47/2.52	c (round 13, exhaustive) 1591 del vars, 1071 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18642 upgd conss, 0 impls, 117053 clqs
2.47/2.53	c (round 14, fast)       1592 del vars, 1097 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 167 chg coeffs, 18642 upgd conss, 0 impls, 117068 clqs
3.88/3.92	c (round 15, exhaustive) 1618 del vars, 1097 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 167 chg coeffs, 18642 upgd conss, 0 impls, 117050 clqs
3.88/3.93	c (round 16, fast)       1619 del vars, 1123 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 221 chg coeffs, 18642 upgd conss, 0 impls, 117061 clqs
4.87/4.95	c (round 17, exhaustive) 1645 del vars, 1123 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 221 chg coeffs, 18642 upgd conss, 0 impls, 117050 clqs
4.87/4.96	c (round 18, fast)       1646 del vars, 1149 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 284 chg coeffs, 18642 upgd conss, 0 impls, 117066 clqs
5.77/5.83	c (round 19, exhaustive) 1671 del vars, 1149 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 284 chg coeffs, 18642 upgd conss, 0 impls, 117082 clqs
5.77/5.83	c (round 20, fast)       1671 del vars, 1174 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 343 chg coeffs, 18642 upgd conss, 0 impls, 117093 clqs
6.26/6.36	c (round 21, exhaustive) 1697 del vars, 1174 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 343 chg coeffs, 18642 upgd conss, 0 impls, 116365 clqs
6.26/6.37	c (round 22, fast)       1698 del vars, 1200 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 412 chg coeffs, 18642 upgd conss, 0 impls, 116378 clqs
6.86/6.98	c    (7.0s) probing: 1000/18261 (5.5%) - 132 fixings, 0 aggregations, 1089739 implications, 0 bound changes
7.36/7.43	c (round 23, exhaustive) 1724 del vars, 1200 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 412 chg coeffs, 18642 upgd conss, 0 impls, 117084 clqs
7.36/7.44	c (round 24, fast)       1725 del vars, 1226 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 473 chg coeffs, 18642 upgd conss, 0 impls, 117098 clqs
7.66/7.70	c (round 25, exhaustive) 1751 del vars, 1226 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 473 chg coeffs, 18642 upgd conss, 0 impls, 117118 clqs
7.66/7.71	c (round 26, fast)       1752 del vars, 1252 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 524 chg coeffs, 18642 upgd conss, 0 impls, 117121 clqs
8.36/8.42	c (round 27, exhaustive) 1778 del vars, 1252 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 524 chg coeffs, 18642 upgd conss, 0 impls, 117117 clqs
8.36/8.43	c (round 28, fast)       1778 del vars, 1278 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 587 chg coeffs, 18642 upgd conss, 0 impls, 117133 clqs
8.76/8.81	c (round 29, exhaustive) 1805 del vars, 1278 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 587 chg coeffs, 18642 upgd conss, 0 impls, 117151 clqs
8.76/8.82	c (round 30, fast)       1808 del vars, 1306 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 647 chg coeffs, 18642 upgd conss, 0 impls, 117156 clqs
10.95/11.04	c (round 31, exhaustive) 1833 del vars, 1306 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 648 chg coeffs, 18642 upgd conss, 0 impls, 115626 clqs
10.95/11.04	c (round 32, fast)       1833 del vars, 1331 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 726 chg coeffs, 18642 upgd conss, 0 impls, 115646 clqs
11.44/11.51	c (round 33, exhaustive) 1859 del vars, 1331 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 727 chg coeffs, 18642 upgd conss, 0 impls, 117158 clqs
11.44/11.51	c (round 34, fast)       1859 del vars, 1357 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 785 chg coeffs, 18642 upgd conss, 0 impls, 117166 clqs
14.43/14.53	c (round 35, exhaustive) 1884 del vars, 1357 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 787 chg coeffs, 18642 upgd conss, 0 impls, 116676 clqs
14.43/14.54	c (round 36, fast)       1884 del vars, 1382 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 848 chg coeffs, 18642 upgd conss, 0 impls, 116686 clqs
14.73/14.81	c (round 37, exhaustive) 1910 del vars, 1382 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 848 chg coeffs, 18642 upgd conss, 0 impls, 117095 clqs
14.73/14.82	c (round 38, fast)       1912 del vars, 1409 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 899 chg coeffs, 18642 upgd conss, 0 impls, 117095 clqs
14.94/15.06	c (round 39, exhaustive) 1937 del vars, 1409 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 900 chg coeffs, 18642 upgd conss, 0 impls, 116878 clqs
14.94/15.07	c (round 40, fast)       1937 del vars, 1434 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 923 chg coeffs, 18642 upgd conss, 0 impls, 116878 clqs
15.24/15.33	c (round 41, exhaustive) 1962 del vars, 1434 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 923 chg coeffs, 18642 upgd conss, 0 impls, 116686 clqs
15.24/15.33	c (round 42, fast)       1962 del vars, 1459 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 947 chg coeffs, 18642 upgd conss, 0 impls, 116686 clqs
15.54/15.69	c (round 43, exhaustive) 1987 del vars, 1459 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 947 chg coeffs, 18642 upgd conss, 0 impls, 116511 clqs
15.64/15.70	c (round 44, fast)       1987 del vars, 1484 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 972 chg coeffs, 18642 upgd conss, 0 impls, 116511 clqs
15.84/15.94	c    (15.9s) probing: 2000/18261 (11.0%) - 402 fixings, 1 aggregations, 2761777 implications, 0 bound changes
15.84/15.96	c (round 45, exhaustive) 2013 del vars, 1484 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 972 chg coeffs, 18642 upgd conss, 0 impls, 117180 clqs
15.84/15.97	c (round 46, fast)       2014 del vars, 1510 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1001 chg coeffs, 18642 upgd conss, 0 impls, 117181 clqs
20.62/20.73	c    (20.7s) probing: 3000/18261 (16.4%) - 447 fixings, 1 aggregations, 3942262 implications, 0 bound changes
24.90/25.05	c (round 47, exhaustive) 2039 del vars, 1510 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1001 chg coeffs, 18642 upgd conss, 0 impls, 117209 clqs
24.90/25.05	c (round 48, fast)       2039 del vars, 1535 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1028 chg coeffs, 18642 upgd conss, 0 impls, 117209 clqs
25.20/25.31	c (round 49, exhaustive) 2064 del vars, 1535 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1028 chg coeffs, 18642 upgd conss, 0 impls, 117041 clqs
25.20/25.31	c (round 50, fast)       2064 del vars, 1560 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1053 chg coeffs, 18642 upgd conss, 0 impls, 117041 clqs
25.70/25.83	c    (25.8s) probing: 4000/18261 (21.9%) - 482 fixings, 1 aggregations, 5132694 implications, 0 bound changes
29.48/29.64	c    (29.6s) probing: 5000/18261 (27.4%) - 485 fixings, 1 aggregations, 6067093 implications, 0 bound changes
32.97/33.17	c    (33.2s) probing: 6000/18261 (32.9%) - 487 fixings, 1 aggregations, 6999677 implications, 0 bound changes
33.67/33.82	c    (33.8s) probing: 6174/18261 (33.8%) - 487 fixings, 1 aggregations, 7164008 implications, 0 bound changes
33.67/33.82	c    (33.8s) probing aborted: 1000/1000 successive useless probings
33.67/33.86	c    (33.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
33.77/33.95	c    (34.0s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
33.77/33.96	c dynamic symmetry handling statistics:
33.77/33.96	c    orbitopal reduction:       no components
33.77/33.96	c    orbital reduction:         no components
33.77/33.96	c    lexicographic reduction:    3 permutations with support sizes 1502, 624, 302
33.77/33.96	c handled 4 out of 4 symmetry components
33.77/33.98	c presolving (51 rounds: 51 fast, 24 medium, 23 exhaustive):
33.77/33.98	c  2078 deleted vars, 1571 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1067 changed coefficients
33.77/33.98	c  0 implications, 117269 cliques
33.77/33.98	c presolved problem has 17758 variables (17758 bin, 0 int, 0 impl, 0 cont) and 18034 constraints
33.77/33.98	c    2200 constraints of type <setppc>
33.77/33.98	c       1 constraints of type <orbitope>
33.77/33.98	c   15833 constraints of type <logicor>
33.77/33.98	c transformed objective value is always integral (scale: 1)
33.77/33.98	c Presolving Time: 33.85
33.77/33.98	c - non default parameters ----------------------------------------------------------------------
33.77/33.98	c # SCIP version 10.0.0
33.77/33.98	c 
33.77/33.98	c # maximal time in seconds to run
33.77/33.98	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
33.77/33.98	c limits/time = 3596.997053
33.77/33.98	c 
33.77/33.98	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
33.77/33.98	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
33.77/33.98	c limits/memory = 27900
33.77/33.98	c 
33.77/33.98	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
33.77/33.98	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
33.77/33.98	c limits/solutions = 1
33.77/33.98	c 
33.77/33.98	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
33.77/33.98	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
33.77/33.98	c misc/usesymmetry = 3
33.77/33.98	c 
33.77/33.98	c # belongs reading time to solving time?
33.77/33.98	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
33.77/33.98	c timing/reading = TRUE
33.77/33.98	c 
33.77/33.98	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
33.77/33.98	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
33.77/33.98	c propagating/symmetry/detectdoublelex = FALSE
33.77/33.98	c 
33.77/33.98	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
33.77/33.98	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
33.77/33.98	c propagating/symmetry/detectsubgroups = FALSE
33.77/33.98	c 
33.77/33.98	c # Type of symmetries that shall be computed?
33.77/33.98	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
33.77/33.98	c propagating/symmetry/symtype = 1
33.77/33.98	c 
33.77/33.98	c # Should components consisting of a single full reflection be handled?
33.77/33.98	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
33.77/33.98	c propagating/symmetry/usesimplesgncomp = FALSE
33.77/33.98	c 
33.77/33.98	c -----------------------------------------------------------------------------------------------
33.77/33.98	c start solving
33.77/33.98	c 
53.69/53.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
53.69/53.91	c  53.9s|     1 |     0 | 16558 |     - |   236M |   0 |  17k|  18k|  18k|   0 |  0 | 132 |   0 | 0.000000e+00 |      --      |    Inf | unknown
242.50/243.40	c   243s|     1 |     0 |106220 |     - |   264M |   0 |  17k|  18k|  18k|   8 |  1 | 133 |   0 | 0.000000e+00 |      --      |    Inf | unknown
276.89/277.91	c   278s|     1 |     0 |120965 |     - |   267M |   0 |  17k|  18k|  18k|  26 |  2 | 135 |   0 | 0.000000e+00 |      --      |    Inf | unknown
303.19/304.38	c   304s|     1 |     0 |132048 |     - |   276M |   0 |  17k|  18k|  18k|  30 |  3 | 143 |   0 | 0.000000e+00 |      --      |    Inf | unknown
321.84/323.02	c   323s|     1 |     0 |139633 |     - |   280M |   0 |  17k|  18k|  18k|  35 |  4 | 146 |   0 | 0.000000e+00 |      --      |    Inf | unknown
349.63/350.91	c   351s|     1 |     0 |152582 |     - |   283M |   0 |  17k|  18k|  18k|  47 |  5 | 156 |   0 | 0.000000e+00 |      --      |    Inf | unknown
376.65/378.10	c   378s|     1 |     0 |164075 |     - |   285M |   0 |  17k|  18k|  18k|  51 |  6 | 166 |   0 | 0.000000e+00 |      --      |    Inf | unknown
410.64/412.11	c   412s|     1 |     0 |177415 |     - |   289M |   0 |  17k|  18k|  18k|  64 |  7 | 170 |   0 | 0.000000e+00 |      --      |    Inf | unknown
442.63/444.20	c   444s|     1 |     0 |189759 |     - |   290M |   0 |  17k|  18k|  18k|  72 |  8 | 172 |   0 | 0.000000e+00 |      --      |    Inf | unknown
470.43/472.13	c   472s|     1 |     0 |200578 |     - |   292M |   0 |  17k|  18k|  18k|  77 |  9 | 174 |   0 | 0.000000e+00 |      --      |    Inf | unknown
505.32/507.15	c   507s|     1 |     0 |213752 |     - |   296M |   0 |  17k|  18k|  18k|  94 | 10 | 177 |   0 | 0.000000e+00 |      --      |    Inf | unknown
537.31/539.21	c   539s|     1 |     0 |226324 |     - |   299M |   0 |  17k|  18k|  18k| 101 | 11 | 187 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1321.41/1326.24	c  1326s|     1 |     2 |607127 |     - |   306M |   0 |  17k|  18k|  18k| 101 | 11 | 209 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3585.27/3597.01	c 
3585.27/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3585.27/3597.01	c Solving Time (sec) : 3597.00
3585.27/3597.01	c Solving Nodes      : 19
3585.27/3597.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3585.27/3597.01	c Dual Bound         : +0.00000000000000e+00
3585.27/3597.01	c Gap                : infinite
3585.27/3597.01	s UNKNOWN
3585.27/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3585.27/3597.01	c Total Time         :    3597.00
3585.27/3597.01	c   solving          :    3597.00
3585.27/3597.01	c   presolving       :      33.85 (included in solving)
3585.27/3597.01	c   reading          :       0.07 (included in solving)
3585.27/3597.01	c   copying          :       0.10 (2 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3585.27/3597.01	c Original Problem   :
3585.27/3597.01	c   Problem name     : HOME/instance-4446705-1721335962.opb
3585.27/3597.01	c   Variables        : 19278 (19278 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.27/3597.01	c   Constraints      : 19604 initial, 19604 maximal
3585.27/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.27/3597.01	c Presolved Problem  :
3585.27/3597.01	c   Problem name     : t_HOME/instance-4446705-1721335962.opb
3585.27/3597.01	c   Variables        : 17758 (17758 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.27/3597.01	c   Constraints      : 18034 initial, 18331 maximal
3585.27/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.27/3597.01	c   Nonzeros         : 98683 constraint, 251977 clique table
3585.27/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3585.27/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   domcol           :       1.01       0.00     20          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   dualsparsify     :       0.04       0.00      1          0          0          0          0          0         11          0          0         14
3585.27/3597.01	c   gateextraction   :       0.23       0.00     21          0          0          0          0          0          1          0          0          0
3585.27/3597.01	c   implics          :       0.00       0.00     24          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   milp             :       0.23       0.00      1        167          0          0          0          0          0          0          0          0
3585.27/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   sparsify         :       0.48       0.00      4          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   trivial          :       0.03       0.00     51        558          0          0          0          0          0          0          0          0
3585.27/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   dualfix          :       0.02       0.00     51          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   probing          :      27.77       0.00     20        487          1          0          0          0          0          0          0          0
3585.27/3597.01	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   symmetry         :       0.10       0.00      1          3          0          0          0          0          0          1          0          0
3585.27/3597.01	c   vbounds          :       0.03       0.00      2          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   setppc           :       0.18       0.00     83          0          0          0          0          0        112          0          0          0
3585.27/3597.01	c   linear           :       0.15       0.01     12        302          0          0        302          0        962          0          0          0
3585.27/3597.01	c   orbitope         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   logicor          :       3.53       0.01     83        110          0          0          0          0        485          0          0       1053
3585.27/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3585.27/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3585.27/3597.01	c   benderslp        :          0          0          0          0         19          0          0          7          0          0          0          0          0          0          0
3585.27/3597.01	c   integral         :          0          0          0          0         19          0          0          7          0          0          0          0          0          0         38
3585.27/3597.01	c   setppc           :       2200+      2294         11     365699          0          0          0          3      27837        316       1506          1          1          0          0
3585.27/3597.01	c   orbitope         :          1          1          0      25108          0          0          0          0          3          0          3          0          0          0          0
3585.27/3597.01	c   logicor          :      15833+     16036         11     114856          0          0          0          0      87349        126       5255          4          3          0          0
3585.27/3597.01	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3585.27/3597.01	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.27/3597.01	c   integral         :      38.48       0.00       0.00       0.00      38.48       0.00       0.00       0.00       0.00       0.00
3585.27/3597.01	c   setppc           :       3.00       0.00       0.01       2.98       0.00       0.00       0.00       0.00       0.01       0.01
3585.27/3597.01	c   orbitope         :       0.04       0.00       0.00       0.04       0.00       0.00       0.00       0.00       0.00       0.00
3585.27/3597.01	c   logicor          :       8.27       0.01       0.04       8.17       0.00       0.00       0.00       0.00       0.04       0.02
3585.27/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.27/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.27/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.27/3597.01	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.27/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3585.27/3597.01	c   dualfix          :          1          0          0          0
3585.27/3597.01	c   genvbounds       :          0          0          0          0
3585.27/3597.01	c   nlobbt           :          0          0          0          0
3585.27/3597.01	c   obbt             :          0          0          0          0
3585.27/3597.01	c   probing          :          0          0          0          0
3585.27/3597.01	c   pseudoobj        :          0          0          0          0
3585.27/3597.01	c   redcost          :          0          0          0          0
3585.27/3597.01	c   rootredcost      :          0          0          0          0
3585.27/3597.01	c   symmetry         :          0          0          0          0
3585.27/3597.01	c   vbounds          :       6997          0          0          0
3585.27/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3585.27/3597.01	c   dualfix          :       0.02       0.00       0.02       0.00       0.00       0.00
3585.27/3597.01	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3585.27/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3585.27/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3585.27/3597.01	c   probing          :      27.77       0.00      27.77       0.00       0.00       0.00
3585.27/3597.01	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
3585.27/3597.01	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3585.27/3597.01	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3585.27/3597.01	c   symmetry         :       0.12       0.00       0.10       0.02       0.00       0.00
3585.27/3597.01	c   vbounds          :       0.05       0.00       0.03       0.02       0.00       0.00
3585.27/3597.01	c Symmetry           :
3585.27/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3585.27/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3585.27/3597.01	c   lexicographic red:          0 reductions applied,          0 cutoffs
3585.27/3597.01	c   shadow tree time :       0.00 s
3585.27/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3585.27/3597.01	c   propagation      :       0.04        440        132          -        637      127.9         26       12.1          -          -          -
3585.27/3597.01	c   infeasible LP    :       0.32         14          7          -        238     2718.0          1       10.0          0        0.0          0
3585.27/3597.01	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3585.27/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3585.27/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3585.27/3597.01	c   applied globally :       0.02          -          -          0        363      205.0          -          -          0          -          -
3585.27/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3585.27/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3585.27/3597.01	c   cut pool         :       0.00          -         21         21          -          -        169        236          -          -          -          -          -    (maximal pool size:        169)
3585.27/3597.01	c   aggregation      :       0.06       0.00         11         11          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.27/3597.01	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.27/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.27/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   clique           :       1.83       0.00         11         11          0          0         89        149          0         32         32          0          0
3585.27/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   gomory           :      17.67       0.00         10         10          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.27/3597.01	c   > strongcg       :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.27/3597.01	c   impliedbounds    :       0.07       0.00         11         11          0          0         26         31          0         12         12          0          0
3585.27/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   multilinear      :       0.00       0.00         14         11          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
3585.27/3597.01	c   zerohalf         :      12.47       0.00         11         11          0          0         54         56          0         53         53          0          0
3585.27/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3585.27/3597.01	c   hybrid           :       0.00       0.00         11         11        101          0        140        101          0        140
3585.27/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3585.27/3597.01	c   problem variables:       0.00          -          0          0
3585.27/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3585.27/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c   relpscost        :      38.48       0.00         19          0          0          0          0          0          0         38
3585.27/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3585.27/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3585.27/3597.01	c   LP solutions     :       0.00          -          -          0          0
3585.27/3597.01	c   relax solutions  :       0.00          -          -          0          0
3585.27/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3585.27/3597.01	c   strong branching :       0.00          -          -          0          0
3585.27/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3585.27/3597.01	c   adaptivediving   :     113.61       0.00          1          0          0
3585.27/3597.01	c   alns             :       0.12       0.00          1          0          0
3585.27/3597.01	c   bound            :       0.00       0.00          0          0          0
3585.27/3597.01	c   clique           :       0.06       0.00          1          0          0
3585.27/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3585.27/3597.01	c   completesol      :       0.00       0.00          0          0          0
3585.27/3597.01	c   conflictdiving   :     748.16       0.00          1          0          0
3585.27/3597.01	c   crossover        :       0.00       0.00          0          0          0
3585.27/3597.01	c   dins             :       0.00       0.00          0          0          0
3585.27/3597.01	c   distributiondivin:     221.29       0.00          1          0          0
3585.27/3597.01	c   dps              :       0.00       0.00          0          0          0
3585.27/3597.01	c   dualval          :       0.00       0.00          0          0          0
3585.27/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3585.27/3597.01	c   feasjump         :       0.05       0.00          1          0          0
3585.27/3597.01	c   feaspump         :     163.17       0.00          1          0          0
3585.27/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3585.27/3597.01	c   fracdiving       :     135.92       0.00          1          0          0
3585.27/3597.01	c   gins             :       0.00       0.00          0          0          0
3585.27/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3585.27/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3585.27/3597.01	c   indicator        :       0.00       0.00          0          0          0
3585.27/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3585.27/3597.01	c   indoneopt        :       0.00       0.00          0          0          0
3585.27/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3585.27/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3585.27/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3585.27/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3585.27/3597.01	c   linesearchdiving :       0.00       0.00          0          0          0
3585.27/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3585.27/3597.01	c   locks            :       0.07       0.00          1          0          0
3585.27/3597.01	c   lpface           :       0.00       0.00          0          0          0
3585.27/3597.01	c   mpec             :       0.00       0.00          0          0          0
3585.27/3597.01	c   multistart       :       0.00       0.00          0          0          0
3585.27/3597.01	c   mutation         :       0.00       0.00          0          0          0
3585.27/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3585.27/3597.01	c   objpscostdiving  :    1091.44       0.00          1          0          0
3585.27/3597.01	c   octane           :       0.00       0.00          0          0          0
3585.27/3597.01	c   ofins            :       0.00       0.00          0          0          0
3585.27/3597.01	c   oneopt           :       0.00       0.00          0          0          0
3585.27/3597.01	c   padm             :       0.00       0.00          0          0          0
3585.27/3597.01	c   proximity        :       0.00       0.00          0          0          0
3585.27/3597.01	c   pscostdiving     :     268.60       0.00          1          0          0
3585.27/3597.01	c   randrounding     :       0.21       0.00         12          0          0
3585.27/3597.01	c   rens             :       0.27       0.00          1          0          0
3585.27/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3585.27/3597.01	c   repair           :       0.00       0.00          0          0          0
3585.27/3597.01	c   rins             :       0.00       0.00          0          0          0
3585.27/3597.01	c   rootsoldiving    :       0.00       0.00          0          0          0
3585.27/3597.01	c   rounding         :       0.04       0.00         30          0          0
3585.27/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3585.27/3597.01	c   shiftandpropagate:       0.02       0.00          1          0          0
3585.27/3597.01	c   shifting         :       0.14       0.00         12          0          0
3585.27/3597.01	c   simplerounding   :       0.00       0.00          0          0          0
3585.27/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3585.27/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3585.27/3597.01	c   trivial          :       0.01       0.00          2          0          0
3585.27/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3585.27/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3585.27/3597.01	c   trysol           :       0.00       0.00          0          0          0
3585.27/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3585.27/3597.01	c   undercover       :       0.00       0.00          0          0          0
3585.27/3597.01	c   vbounds          :       0.11       0.00          1          0          0
3585.27/3597.01	c   veclendiving     :     165.34       0.00          1          0          0
3585.27/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3585.27/3597.01	c   zirounding       :       0.01       0.00         18          0          0
3585.27/3597.01	c   other solutions  :          -          -          -          0          -
3585.27/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3585.27/3597.01	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.27/3597.01	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.27/3597.01	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.27/3597.01	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.27/3597.01	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.27/3597.01	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.27/3597.01	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.27/3597.01	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3585.27/3597.01	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3585.27/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3585.27/3597.01	c   primal LP        :       0.03          1          0       0.00       0.00       0.03          1
3585.27/3597.01	c   dual LP          :     583.56         30     299625    9987.50     513.44       0.00          0
3585.27/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3585.27/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3585.27/3597.01	c   resolve instable :      49.21         19       1647      86.68      33.47
3585.27/3597.01	c   diving/probing LP:    2910.56        452     976229    2159.80     335.41
3585.27/3597.01	c   strong branching :      32.17         19      18147     955.11     564.07          -          -         36
3585.27/3597.01	c     (at root node) :          -         19      18147     955.11          -
3585.27/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3585.27/3597.01	c B&B Tree           :
3585.27/3597.01	c   number of runs   :          1
3585.27/3597.01	c   nodes            :         19 (19 internal, 0 leaves)
3585.27/3597.01	c   feasible leaves  :          0
3585.27/3597.01	c   infeas. leaves   :          0
3585.27/3597.01	c   objective leaves :          0
3585.27/3597.01	c   nodes (total)    :         19 (19 internal, 0 leaves)
3585.27/3597.01	c   nodes left       :         20
3585.27/3597.01	c   max depth        :          8
3585.27/3597.01	c   max depth (total):          8
3585.27/3597.01	c   backtracks       :          5 (26.3%)
3585.27/3597.01	c   early backtracks :          0 (0.0%)
3585.27/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3585.27/3597.01	c   delayed cutoffs  :          0
3585.27/3597.01	c   repropagations   :          7 (3 domain reductions, 0 cutoffs)
3585.27/3597.01	c   avg switch length:       2.58
3585.27/3597.01	c   switching time   :       0.05
3585.27/3597.01	c Root Node          :
3585.27/3597.01	c   First LP value   : +0.00000000000000e+00
3585.27/3597.01	c   First LP Iters   :      16558 (844.47 Iter/sec)
3585.27/3597.01	c   First LP Time    :      19.61
3585.27/3597.01	c   Final Dual Bound : +0.00000000000000e+00
3585.27/3597.01	c   Final Root Iters :     226324
3585.27/3597.01	c   Root LP Estimate : +2.71548271524056e-03
3585.27/3597.01	c Solution           :
3585.27/3597.01	c   Solutions found  :          0 (0 improvements)
3585.27/3597.01	c   Primal Bound     :          -
3585.27/3597.01	c   Dual Bound       : +0.00000000000000e+00
3585.27/3597.01	c   Gap              :   infinite
3585.27/3597.01	c Integrals          :      Total       Avg%
3585.27/3597.01	c   primal-dual      :  359700.44     100.00
3585.27/3597.01	c   primal-ref       :          -          - (not evaluated)
3585.27/3597.01	c   dual-ref         :          -          - (not evaluated)
3585.37/3597.12	c Time complete: 3585.4.

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=977312, runsolver pid=977309

[startup+0.100064 s]*
/proc/loadavg: 4.40 4.17 4.11 5/256 977313
/proc/meminfo: memFree=122182072/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=113400 memory=74612 CPUtime=0.09 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 15511 0 0 0 7 2 0 0 20 0 1 0 185756375 116121600 18653 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 28350 18653 3533 3540 0 16607 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 113400 KiB
Current children cumulated memory: 74612 KiB

[startup+0.205588 s]*
/proc/loadavg: 4.40 4.17 4.11 5/256 977313
/proc/meminfo: memFree=122159384/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=140684 memory=96032 CPUtime=0.2 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 20882 0 0 0 17 3 0 0 20 0 1 0 185756375 144060416 24008 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 35171 24008 3581 3540 0 23428 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 140684 KiB
Current children cumulated memory: 96032 KiB

[startup+0.305557 s]*
/proc/loadavg: 4.40 4.17 4.11 5/256 977313
/proc/meminfo: memFree=122136812/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=159988 memory=117724 CPUtime=0.3 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 28045 0 0 0 26 4 0 0 20 0 1 0 185756375 163827712 29431 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 39997 29431 3644 3540 0 28254 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 159988 KiB
Current children cumulated memory: 117724 KiB

[startup+0.700232 s]
/proc/loadavg: 4.40 4.17 4.11 5/256 977313
/proc/meminfo: memFree=122143292/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=175556 memory=132476 CPUtime=0.69 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 34558 0 0 0 64 5 0 0 20 0 1 0 185756375 179769344 33119 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 43889 33119 3708 3540 0 32146 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 175556 KiB
Current children cumulated memory: 132476 KiB

[startup+1.50023 s]
/proc/loadavg: 4.40 4.17 4.11 5/256 977313
/proc/meminfo: memFree=122099276/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=214004 memory=168120 CPUtime=1.48 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 42557 0 0 0 142 6 0 0 20 0 1 0 185756375 219140096 42030 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 53501 42030 3756 3540 0 41758 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 214004 KiB
Current children cumulated memory: 168120 KiB

[startup+3.10564 s]
/proc/loadavg: 4.45 4.19 4.12 5/256 977313
/proc/meminfo: memFree=122143576/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=215864 memory=169968 CPUtime=3.09 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 42984 0 0 0 302 7 0 0 20 0 1 0 185756375 221044736 42492 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 53966 42492 3756 3540 0 42223 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 215864 KiB
Current children cumulated memory: 169968 KiB

[startup+6.30021 s]
/proc/loadavg: 4.45 4.19 4.12 5/256 977359
/proc/meminfo: memFree=126520296/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=221772 memory=175364 CPUtime=6.26 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 44349 0 0 0 619 7 0 0 20 0 1 0 185756375 227094528 43841 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 55443 43841 3756 3540 0 43700 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 221772 KiB
Current children cumulated memory: 175364 KiB

[startup+12.7002 s]
/proc/loadavg: 4.49 4.20 4.12 5/256 977361
/proc/meminfo: memFree=126510936/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=222904 memory=176624 CPUtime=12.64 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 44678 0 0 0 1257 7 0 0 20 0 1 0 185756375 228253696 44156 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 55726 44156 3756 3540 0 43983 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 222904 KiB
Current children cumulated memory: 176624 KiB

[startup+25.5002 s]
/proc/loadavg: 4.38 4.19 4.12 5/257 977363
/proc/meminfo: memFree=126503356/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=224344 memory=177940 CPUtime=25.4 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 45033 0 0 0 2532 8 0 0 20 0 1 0 185756375 229728256 44485 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 56086 44485 3756 3540 0 44343 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 224344 KiB
Current children cumulated memory: 177940 KiB

[startup+51.1057 s]
/proc/loadavg: 4.25 4.17 4.12 5/257 977414
/proc/meminfo: memFree=127289788/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=324304 memory=251020 CPUtime=50.9 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 66180 0 0 0 5078 12 0 0 20 0 1 0 185756375 332087296 62755 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 81076 62755 3964 3540 0 69333 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 324304 KiB
Current children cumulated memory: 251020 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/257 977424
/proc/meminfo: memFree=127194644/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=329812 memory=255828 CPUtime=101.91 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 67350 0 0 0 10177 14 0 0 20 0 1 0 185756375 337727488 63957 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 82453 63957 3980 3540 0 70710 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 329812 KiB
Current children cumulated memory: 255828 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/257 977818
/proc/meminfo: memFree=127179128/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=329812 memory=256092 CPUtime=161.69 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 67429 0 0 0 16153 16 0 0 20 0 1 0 185756375 337727488 64023 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 82453 64023 3980 3540 0 70710 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 329812 KiB
Current children cumulated memory: 256092 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/257 977828
/proc/meminfo: memFree=127088920/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=402192 memory=325608 CPUtime=221.48 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 73582 0 0 0 22128 20 0 0 20 0 1 0 185756375 411844608 81402 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 100548 81402 3980 3540 0 88805 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 402192 KiB
Current children cumulated memory: 325608 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/257 977840
/proc/meminfo: memFree=126883932/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=420860 memory=342972 CPUtime=281.27 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 77445 0 0 0 28105 22 0 0 20 0 1 0 185756375 430960640 85743 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 105215 85743 3980 3540 0 93472 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 420860 KiB
Current children cumulated memory: 342972 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/256 978018
/proc/meminfo: memFree=126848292/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=430420 memory=352032 CPUtime=341.06 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 79805 0 0 0 34083 23 0 0 20 0 1 0 185756375 440750080 88008 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 107605 88008 3980 3540 0 95862 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 430420 KiB
Current children cumulated memory: 352032 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/256 978029
/proc/meminfo: memFree=126827368/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=438592 memory=361176 CPUtime=400.87 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 81470 0 0 0 40064 23 0 0 20 0 1 0 185756375 449118208 90294 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 109648 90294 3980 3540 0 97905 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 438592 KiB
Current children cumulated memory: 361176 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/257 978044
/proc/meminfo: memFree=126813496/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=439632 memory=365096 CPUtime=460.66 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 81841 0 0 0 46043 23 0 0 20 0 1 0 185756375 450183168 91274 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 109908 91274 3980 3540 0 98165 0

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

/proc/loadavg: 4.14 4.16 4.16 5/254 979222
/proc/meminfo: memFree=126831992/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3211.63 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 105980 0 0 0 321135 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3211.63 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/254 979233
/proc/meminfo: memFree=126824312/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3271.46 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106079 0 0 0 327118 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3271.46 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/254 979243
/proc/meminfo: memFree=126823660/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3331.29 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106180 0 0 0 333101 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3331.29 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/254 979253
/proc/meminfo: memFree=126823088/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3391.12 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106280 0 0 0 339084 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3391.12 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/257 979268
/proc/meminfo: memFree=126812192/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3450.95 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106381 0 0 0 345067 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3450.95 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/258 979281
/proc/meminfo: memFree=126810904/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3510.78 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106480 0 0 0 351050 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3510.78 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/258 979292
/proc/meminfo: memFree=126804344/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3570.61 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106579 0 0 0 357033 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3570.61 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB

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

# cumulated CPU time of all completed processes:  user=3585.12 s, system=0.286536 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.13 4.15 5/258 979293
/proc/meminfo: memFree=126804240/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3572.31 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106579 0 0 0 357203 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3572.31 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.14 4.15 5/258 979294
/proc/meminfo: memFree=126804232/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3578.69 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106597 0 0 0 357841 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3578.69 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.14 4.15 5/258 979294
/proc/meminfo: memFree=126804276/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3581.88 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106597 0 0 0 358160 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3581.88 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB

[startup+3595.2 s]
/proc/loadavg: 4.22 4.15 4.16 5/258 979294
/proc/meminfo: memFree=126804236/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3583.47 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106597 0 0 0 358319 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3583.47 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB

[startup+3596 s]*
/proc/loadavg: 4.22 4.15 4.16 5/258 979294
/proc/meminfo: memFree=126804276/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3584.28 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106597 0 0 0 358400 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3584.28 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB

[startup+3596.8 s]
/proc/loadavg: 4.22 4.15 4.16 5/258 979294
/proc/meminfo: memFree=126804276/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3585.07 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106597 0 0 0 358479 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3585.07 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB

[startup+3597 s]*
/proc/loadavg: 4.22 4.15 4.16 5/258 979294
/proc/meminfo: memFree=126804292/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=520128 memory=461728 CPUtime=3585.27 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106597 0 0 0 358499 28 0 0 20 0 1 0 185756375 532611072 115432 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 130032 115432 4224 3540 0 118289 0
Current children cumulated CPU time: 3585.27 s
Current children cumulated vsize: 520128 KiB
Current children cumulated memory: 461728 KiB

[startup+3597.11 s]
/proc/loadavg: 4.22 4.15 4.16 5/258 979294
/proc/meminfo: memFree=126804292/131524600 swapFree=131071996/131071996
[pid=977312] ppid=977309 vsize=472776 memory=414376 CPUtime=3585.37 cores=0,2
/proc/977312/stat : 977312 (pbscip) R 977309 977312 973095 0 -1 4194304 106636 0 0 0 358509 28 0 0 20 0 1 0 185756375 484122624 103594 134679101440 4194304 18693293 140733075155376 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 32321536 140733075158019 140733075158118 140733075158118 140733075165134 0
/proc/977312/statm: 118194 103594 4224 3540 0 106451 0
Current children cumulated CPU time: 3585.37 s
Current children cumulated vsize: 472776 KiB
Current children cumulated memory: 414376 KiB

Child status: 0

Real time (s): 3597.13
CPU time (s): 3585.41
CPU user time (s): 3585.12
CPU system time (s): 0.286536
CPU usage (%): 99.6741
Max. virtual memory (cumulated for all children) (KiB): 520128
Max. memory (cumulated for all children) (KiB): 461728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.12
system time used= 0.286536
maximum resident set size= 461728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 24564


# summary of solver processes directly reported to runsolver:
#   pid: 977312
#   total CPU time (s): 3585.41
#   total CPU user time (s): 3585.12
#   total CPU system time (s): 0.286536

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62716 second user time and 15.6448 second system time

The end

Launcher Data

Begin job on nodeC015 at 2024-07-18 22:52:54
IDJOB=4446705
IDBENCH=158293
IDSOLVER=3059
FILE ID=nodeC015/4446705-1721335962
RUNJOBID= nodeC015-1721328778-973105
SLURM_JOB_ID= 7542690
Free space on /tmp= 889984 MiB

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

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

MD5SUM BENCH= 3691972eca5819945d0aaf6ae8165cd0
RANDOM SEED=1583078636

nodeC015.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	: 0xb00002a
cpu MHz		: 3663.048
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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	: 0xb00002a
cpu MHz		: 3686.277
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.25
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	: 0xb00002a
cpu MHz		: 3652.713
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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	: 0xb00002a
cpu MHz		: 3600.011
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.25
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	: 0xb00002a
cpu MHz		: 3660.499
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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	: 0xb00002a
cpu MHz		: 3686.286
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.25
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	: 0xb00002a
cpu MHz		: 3604.182
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
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	: 0xb00002a
cpu MHz		: 3599.958
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122240972 kB
MemAvailable:   123448744 kB
Buffers:          504188 kB
Cached:          1530236 kB
SwapCached:            0 kB
Active:          1655036 kB
Inactive:        6982364 kB
Active(anon):       1572 kB
Inactive(anon):  6638792 kB
Active(file):    1653464 kB
Inactive(file):   343572 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19784 kB
Writeback:             0 kB
AnonPages:       6600936 kB
Mapped:           141568 kB
Shmem:             37720 kB
KReclaimable:     100768 kB
Slab:             213212 kB
SReclaimable:     100768 kB
SUnreclaim:       112444 kB
KernelStack:        4124 kB
PageTables:        22504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8527836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68224 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3872768 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:      291540 kB
DirectMap2M:    38279168 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC015 at 2024-07-18 23:52:51