Trace number 4446615

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? 3591.55 3601.36

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K157.opb
MD5SUM1aa29222329f307e3e004dcb472df849
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 benchmark2164.15
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18683
Total number of constraints18999
Number of constraints which are clauses18842
Number of constraints which are cardinality constraints (but not clauses)157
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint157
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 158
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-4446615-1721334296.opb>
0.00/0.07	c original problem has 18683 variables (18683 bin, 0 int, 0 impl, 0 cont) and 18999 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.11/0.14	c presolving:
0.11/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, 2157 clqs
0.11/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, 2141 clqs
0.11/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, 2162 clqs
0.11/0.18	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, 2193 clqs
0.11/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, 2216 clqs
0.11/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, 2226 clqs
0.21/0.24	c    (0.2s) running MILP presolver
0.42/0.45	c    (0.5s) MILP presolver (4 rounds): 0 aggregations, 156 fixings, 0 bound changes
0.42/0.46	c (round 7, medium)     1338 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2237 clqs
0.42/0.48	c (round 8, fast)       1338 del vars, 791 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2239 clqs
0.42/0.50	c (round 9, exhaustive) 1338 del vars, 946 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2239 clqs
0.52/0.59	c (round 10, exhaustive) 1338 del vars, 946 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 18053 upgd conss, 0 impls, 2239 clqs
0.69/0.76	c (round 11, exhaustive) 1447 del vars, 946 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18053 upgd conss, 0 impls, 2226 clqs
0.69/0.77	c (round 12, fast)       1556 del vars, 1055 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18053 upgd conss, 0 impls, 2226 clqs
2.18/2.27	c (round 13, exhaustive) 1581 del vars, 1056 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18053 upgd conss, 0 impls, 113428 clqs
2.18/2.27	c (round 14, fast)       1581 del vars, 1081 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 161 chg coeffs, 18053 upgd conss, 0 impls, 113441 clqs
3.77/3.84	c (round 15, exhaustive) 1607 del vars, 1081 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 161 chg coeffs, 18053 upgd conss, 0 impls, 113406 clqs
3.77/3.85	c (round 16, fast)       1607 del vars, 1107 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 216 chg coeffs, 18053 upgd conss, 0 impls, 113416 clqs
4.27/4.33	c (round 17, exhaustive) 1633 del vars, 1107 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 216 chg coeffs, 18053 upgd conss, 0 impls, 113389 clqs
4.27/4.33	c (round 18, fast)       1634 del vars, 1133 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 278 chg coeffs, 18053 upgd conss, 0 impls, 113401 clqs
6.27/6.31	c (round 19, exhaustive) 1660 del vars, 1133 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 278 chg coeffs, 18053 upgd conss, 0 impls, 113417 clqs
6.27/6.32	c (round 20, fast)       1661 del vars, 1159 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 339 chg coeffs, 18053 upgd conss, 0 impls, 113431 clqs
6.47/6.58	c    (6.6s) probing: 1000/17676 (5.7%) - 121 fixings, 0 aggregations, 1097490 implications, 0 bound changes
6.67/6.76	c (round 21, exhaustive) 1687 del vars, 1159 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 339 chg coeffs, 18053 upgd conss, 0 impls, 113456 clqs
6.67/6.77	c (round 22, fast)       1689 del vars, 1186 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 404 chg coeffs, 18053 upgd conss, 0 impls, 113462 clqs
7.57/7.61	c (round 23, exhaustive) 1729 del vars, 1186 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 405 chg coeffs, 18053 upgd conss, 0 impls, 111351 clqs
7.57/7.62	c (round 24, fast)       1729 del vars, 1226 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 528 chg coeffs, 18053 upgd conss, 0 impls, 111387 clqs
7.77/7.87	c (round 25, exhaustive) 1754 del vars, 1226 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 528 chg coeffs, 18053 upgd conss, 0 impls, 113481 clqs
7.77/7.88	c (round 26, fast)       1754 del vars, 1251 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 583 chg coeffs, 18053 upgd conss, 0 impls, 113489 clqs
8.08/8.17	c (round 27, exhaustive) 1781 del vars, 1251 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 583 chg coeffs, 18053 upgd conss, 0 impls, 113458 clqs
8.08/8.18	c (round 28, fast)       1783 del vars, 1278 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 647 chg coeffs, 18053 upgd conss, 0 impls, 113469 clqs
11.56/11.64	c (round 29, exhaustive) 1808 del vars, 1278 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 648 chg coeffs, 18053 upgd conss, 0 impls, 112954 clqs
11.56/11.64	c (round 30, fast)       1808 del vars, 1303 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 718 chg coeffs, 18053 upgd conss, 0 impls, 112968 clqs
11.86/11.91	c (round 31, exhaustive) 1835 del vars, 1303 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 719 chg coeffs, 18053 upgd conss, 0 impls, 113486 clqs
11.86/11.92	c (round 32, fast)       1835 del vars, 1330 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 775 chg coeffs, 18053 upgd conss, 0 impls, 113492 clqs
13.55/13.69	c (round 33, exhaustive) 1860 del vars, 1330 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 775 chg coeffs, 18053 upgd conss, 0 impls, 113489 clqs
13.65/13.70	c (round 34, fast)       1860 del vars, 1355 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 819 chg coeffs, 18053 upgd conss, 0 impls, 113495 clqs
13.85/13.95	c (round 35, exhaustive) 1888 del vars, 1355 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 819 chg coeffs, 18053 upgd conss, 0 impls, 113465 clqs
13.85/13.95	c (round 36, fast)       1892 del vars, 1384 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 867 chg coeffs, 18053 upgd conss, 0 impls, 113467 clqs
14.06/14.20	c (round 37, exhaustive) 1917 del vars, 1384 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 868 chg coeffs, 18053 upgd conss, 0 impls, 113263 clqs
14.15/14.20	c (round 38, fast)       1917 del vars, 1409 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 892 chg coeffs, 18053 upgd conss, 0 impls, 113263 clqs
14.35/14.45	c (round 39, exhaustive) 1942 del vars, 1409 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 892 chg coeffs, 18053 upgd conss, 0 impls, 113063 clqs
14.35/14.45	c (round 40, fast)       1942 del vars, 1434 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 917 chg coeffs, 18053 upgd conss, 0 impls, 113063 clqs
14.96/15.02	c    (15.0s) probing: 2000/17676 (11.3%) - 386 fixings, 1 aggregations, 2705755 implications, 0 bound changes
18.73/18.89	c (round 41, exhaustive) 1967 del vars, 1434 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 917 chg coeffs, 18053 upgd conss, 0 impls, 113516 clqs
18.83/18.90	c (round 42, fast)       1967 del vars, 1459 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 944 chg coeffs, 18053 upgd conss, 0 impls, 113516 clqs
19.13/19.26	c (round 43, exhaustive) 1992 del vars, 1459 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 944 chg coeffs, 18053 upgd conss, 0 impls, 113517 clqs
19.13/19.27	c (round 44, fast)       1992 del vars, 1484 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 971 chg coeffs, 18053 upgd conss, 0 impls, 113517 clqs
19.73/19.87	c (round 45, exhaustive) 2017 del vars, 1484 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 971 chg coeffs, 18053 upgd conss, 0 impls, 113590 clqs
19.73/19.88	c (round 46, fast)       2017 del vars, 1509 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 996 chg coeffs, 18053 upgd conss, 0 impls, 113590 clqs
20.04/20.12	c (round 47, exhaustive) 2042 del vars, 1509 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 996 chg coeffs, 18053 upgd conss, 0 impls, 113452 clqs
20.04/20.13	c (round 48, fast)       2042 del vars, 1534 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1021 chg coeffs, 18053 upgd conss, 0 impls, 113452 clqs
20.73/20.80	c    (20.8s) probing: 3000/17676 (17.0%) - 476 fixings, 1 aggregations, 3837442 implications, 0 bound changes
25.61/25.70	c    (25.7s) probing: 4000/17676 (22.6%) - 478 fixings, 1 aggregations, 5026764 implications, 0 bound changes
29.60/29.71	c    (29.7s) probing: 5000/17676 (28.3%) - 483 fixings, 1 aggregations, 5972383 implications, 0 bound changes
33.59/33.74	c    (33.7s) probing: 6000/17676 (33.9%) - 487 fixings, 1 aggregations, 6911782 implications, 0 bound changes
37.59/37.79	c    (37.8s) probing: 7000/17676 (39.6%) - 491 fixings, 1 aggregations, 7849777 implications, 0 bound changes
40.28/40.46	c (round 49, exhaustive) 2067 del vars, 1534 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1021 chg coeffs, 18053 upgd conss, 0 impls, 113599 clqs
40.28/40.47	c (round 50, fast)       2068 del vars, 1560 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1064 chg coeffs, 18053 upgd conss, 0 impls, 113594 clqs
41.77/41.92	c    (41.9s) probing: 8000/17676 (45.3%) - 508 fixings, 1 aggregations, 8744055 implications, 0 bound changes
44.47/44.68	c    (44.7s) probing: 8689/17676 (49.2%) - 508 fixings, 1 aggregations, 9381915 implications, 0 bound changes
44.47/44.68	c    (44.7s) probing aborted: 1000/1000 successive useless probings
44.47/44.68	c (round 51, exhaustive) 2084 del vars, 1560 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1065 chg coeffs, 18053 upgd conss, 0 impls, 113650 clqs
44.47/44.69	c (round 52, fast)       2084 del vars, 1576 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1081 chg coeffs, 18053 upgd conss, 0 impls, 113650 clqs
45.76/45.91	c    (45.9s) probing: 9000/17676 (50.9%) - 513 fixings, 1 aggregations, 9661595 implications, 0 bound changes
48.16/48.36	c    (48.4s) probing: 9694/17676 (54.8%) - 513 fixings, 1 aggregations, 10321308 implications, 0 bound changes
48.16/48.36	c    (48.4s) probing aborted: 1000/1000 successive useless probings
48.16/48.40	c    (48.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
48.26/48.49	c    (48.5s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
48.26/48.49	c dynamic symmetry handling statistics:
48.26/48.49	c    orbitopal reduction:       no components
48.26/48.49	c    orbital reduction:         no components
48.26/48.49	c    lexicographic reduction:    3 permutations with support sizes 1452, 604, 290
48.26/48.49	c handled 4 out of 4 symmetry components
48.36/48.51	c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
48.36/48.51	c  2092 deleted vars, 1581 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1086 changed coefficients
48.36/48.51	c  0 implications, 113706 cliques
48.36/48.51	c presolved problem has 17148 variables (17148 bin, 0 int, 0 impl, 0 cont) and 17419 constraints
48.36/48.51	c    2130 constraints of type <setppc>
48.36/48.51	c       1 constraints of type <orbitope>
48.36/48.51	c   15288 constraints of type <logicor>
48.36/48.51	c transformed objective value is always integral (scale: 1)
48.36/48.51	c Presolving Time: 48.38
48.36/48.51	c - non default parameters ----------------------------------------------------------------------
48.36/48.51	c # SCIP version 10.0.0
48.36/48.51	c 
48.36/48.51	c # maximal time in seconds to run
48.36/48.51	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
48.36/48.51	c limits/time = 3596.997035
48.36/48.51	c 
48.36/48.51	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
48.36/48.51	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
48.36/48.51	c limits/memory = 27900
48.36/48.51	c 
48.36/48.51	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
48.36/48.51	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
48.36/48.51	c limits/solutions = 1
48.36/48.51	c 
48.36/48.51	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.
48.36/48.51	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
48.36/48.51	c misc/usesymmetry = 3
48.36/48.51	c 
48.36/48.51	c # belongs reading time to solving time?
48.36/48.51	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
48.36/48.51	c timing/reading = TRUE
48.36/48.51	c 
48.36/48.51	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
48.36/48.51	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
48.36/48.51	c propagating/symmetry/detectdoublelex = FALSE
48.36/48.51	c 
48.36/48.51	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
48.36/48.51	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
48.36/48.51	c propagating/symmetry/detectsubgroups = FALSE
48.36/48.51	c 
48.36/48.51	c # Type of symmetries that shall be computed?
48.36/48.51	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
48.36/48.51	c propagating/symmetry/symtype = 1
48.36/48.51	c 
48.36/48.51	c # Should components consisting of a single full reflection be handled?
48.36/48.51	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
48.36/48.51	c propagating/symmetry/usesimplesgncomp = FALSE
48.36/48.51	c 
48.36/48.51	c -----------------------------------------------------------------------------------------------
48.36/48.51	c start solving
48.36/48.51	c 
66.60/66.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
66.60/66.89	c  66.9s|     1 |     0 | 17445 |     - |   230M |   0 |  17k|  17k|  17k|   0 |  0 | 179 |   0 | 0.000000e+00 |      --      |    Inf | unknown
249.21/249.98	c   250s|     1 |     0 |110604 |     - |   253M |   0 |  17k|  17k|  17k|  14 |  1 | 182 |   0 | 0.000000e+00 |      --      |    Inf | unknown
274.83/275.64	c   276s|     1 |     0 |122846 |     - |   260M |   0 |  17k|  17k|  17k|  22 |  2 | 187 |   0 | 0.000000e+00 |      --      |    Inf | unknown
300.18/301.09	c   301s|     1 |     0 |134494 |     - |   263M |   0 |  17k|  17k|  17k|  39 |  3 | 197 |   0 | 0.000000e+00 |      --      |    Inf | unknown
325.90/326.89	c   327s|     1 |     0 |145804 |     - |   270M |   0 |  17k|  17k|  17k|  47 |  4 | 198 |   0 | 0.000000e+00 |      --      |    Inf | unknown
356.22/357.23	c   357s|     1 |     0 |158568 |     - |   275M |   0 |  17k|  17k|  17k|  62 |  5 | 199 |   0 | 0.000000e+00 |      --      |    Inf | unknown
379.55/380.64	c   381s|     1 |     0 |168719 |     - |   277M |   0 |  17k|  17k|  17k|  67 |  6 | 203 |   0 | 0.000000e+00 |      --      |    Inf | unknown
409.47/410.65	c   411s|     1 |     0 |180844 |     - |   280M |   0 |  17k|  17k|  17k|  78 |  7 | 213 |   0 | 0.000000e+00 |      --      |    Inf | unknown
452.77/454.07	c   454s|     1 |     0 |198104 |     - |   282M |   0 |  17k|  17k|  17k|  91 |  8 | 214 |   0 | 0.000000e+00 |      --      |    Inf | unknown
480.19/481.55	c   482s|     1 |     0 |209496 |     - |   285M |   0 |  17k|  17k|  17k|  95 |  9 | 217 |   0 | 0.000000e+00 |      --      |    Inf | unknown
514.60/516.11	c   516s|     1 |     0 |223446 |     - |   287M |   0 |  17k|  17k|  17k| 107 | 10 | 221 |   0 | 0.000000e+00 |      --      |    Inf | unknown
547.80/549.36	c   549s|     1 |     0 |237312 |     - |   288M |   0 |  17k|  17k|  17k| 122 | 11 | 223 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1337.89/1341.65	c  1342s|     1 |     2 |632938 |     - |   293M |   0 |  17k|  17k|  17k| 122 | 11 | 240 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3591.38/3601.25	c 
3591.38/3601.25	c SCIP Status        : solving was interrupted [time limit reached]
3591.38/3601.25	c Solving Time (sec) : 3601.25
3591.38/3601.25	c Solving Nodes      : 13
3591.38/3601.25	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3591.38/3601.25	c Dual Bound         : +0.00000000000000e+00
3591.38/3601.25	c Gap                : infinite
3591.38/3601.25	s UNKNOWN
3591.38/3601.25	c SCIP Status        : solving was interrupted [time limit reached]
3591.38/3601.25	c Total Time         :    3601.25
3591.38/3601.25	c   solving          :    3601.25
3591.38/3601.25	c   presolving       :      48.38 (included in solving)
3591.38/3601.25	c   reading          :       0.07 (included in solving)
3591.38/3601.25	c   copying          :       0.09 (2 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3591.38/3601.25	c Original Problem   :
3591.38/3601.25	c   Problem name     : HOME/instance-4446615-1721334296.opb
3591.38/3601.25	c   Variables        : 18683 (18683 binary, 0 integer, 0 implicit integer, 0 continuous)
3591.38/3601.25	c   Constraints      : 18999 initial, 18999 maximal
3591.38/3601.25	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3591.38/3601.25	c Presolved Problem  :
3591.38/3601.25	c   Problem name     : t_HOME/instance-4446615-1721334296.opb
3591.38/3601.25	c   Variables        : 17148 (17148 binary, 0 integer, 0 implicit integer, 0 continuous)
3591.38/3601.25	c   Constraints      : 17419 initial, 17688 maximal
3591.38/3601.25	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3591.38/3601.25	c   Nonzeros         : 95294 constraint, 244251 clique table
3591.38/3601.25	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3591.38/3601.25	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   domcol           :       1.02       0.00     21          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   dualsparsify     :       0.03       0.00      1          0          0          0          0          0          5          0          0          5
3591.38/3601.25	c   gateextraction   :       0.24       0.00     22          0          0          0          0          0          1          0          0          0
3591.38/3601.25	c   implics          :       0.00       0.00     25          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   milp             :       0.26       0.00      1        156          0          0          0          0          0          0          0          0
3591.38/3601.25	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   sparsify         :       0.48       0.00      4          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   trivial          :       0.02       0.00     53        557          0          0          0          0          0          0          0          0
3591.38/3601.25	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   dualfix          :       0.02       0.00     53          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   probing          :      42.22       0.00     21        513          1          0          0          0          0          0          0          0
3591.38/3601.25	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   symmetry         :       0.09       0.00      1          3          0          0          0          0          0          1          0          0
3591.38/3601.25	c   vbounds          :       0.03       0.00      2          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   setppc           :       0.16       0.00     87          0          0          0          0          0        109          0          0          0
3591.38/3601.25	c   linear           :       0.15       0.01     12        302          0          0        302          0        946          0          0          0
3591.38/3601.25	c   orbitope         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   logicor          :       3.59       0.01     87        112          0          0          0          0        520          0          0       1081
3591.38/3601.25	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3591.38/3601.25	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3591.38/3601.25	c   benderslp        :          0          0          0          0         13          0          0          7          0          0          0          0          0          0          0
3591.38/3601.25	c   integral         :          0          0          0          0         13          0          0          7          0          0          0          0          0          0         26
3591.38/3601.25	c   setppc           :       2130+      2235         11     507042          0          0          0          3      29009        347        312          0          0          0          0
3591.38/3601.25	c   orbitope         :          1          1          0      13145          0          0          0          0         88          0          6          0          0          0          0
3591.38/3601.25	c   logicor          :      15288+     15452         11     156020          0          0          0          0      78946        129        547         11          5          0          0
3591.38/3601.25	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3591.38/3601.25	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3591.38/3601.25	c   integral         :      36.05       0.00       0.00       0.00      36.05       0.00       0.00       0.00       0.00       0.00
3591.38/3601.25	c   setppc           :       3.81       0.00       0.01       3.73       0.00       0.00       0.00       0.00       0.01       0.07
3591.38/3601.25	c   orbitope         :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3591.38/3601.25	c   logicor          :      12.55       0.01       0.03      12.45       0.00       0.00       0.00       0.00       0.03       0.03
3591.38/3601.25	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3591.38/3601.25	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3591.38/3601.25	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3591.38/3601.25	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3591.38/3601.25	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3591.38/3601.25	c   dualfix          :          1          0          0          0
3591.38/3601.25	c   genvbounds       :          0          0          0          0
3591.38/3601.25	c   nlobbt           :          0          0          0          0
3591.38/3601.25	c   obbt             :          0          0          0          0
3591.38/3601.25	c   probing          :          0          0          0          0
3591.38/3601.25	c   pseudoobj        :          0          0          0          0
3591.38/3601.25	c   redcost          :          0          0          0          0
3591.38/3601.25	c   rootredcost      :          0          0          0          0
3591.38/3601.25	c   symmetry         :          0          0          0          0
3591.38/3601.25	c   vbounds          :       5792          0          0          0
3591.38/3601.25	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3591.38/3601.25	c   dualfix          :       0.02       0.00       0.02       0.00       0.00       0.00
3591.38/3601.25	c   genvbounds       :       0.02       0.00       0.00       0.02       0.00       0.00
3591.38/3601.25	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3591.38/3601.25	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3591.38/3601.25	c   probing          :      42.22       0.00      42.22       0.00       0.00       0.00
3591.38/3601.25	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00       0.00
3591.38/3601.25	c   redcost          :       0.02       0.00       0.00       0.02       0.00       0.00
3591.38/3601.25	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00       0.00
3591.38/3601.25	c   symmetry         :       0.11       0.00       0.09       0.02       0.00       0.00
3591.38/3601.25	c   vbounds          :       0.05       0.00       0.03       0.03       0.00       0.00
3591.38/3601.25	c Symmetry           :
3591.38/3601.25	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3591.38/3601.25	c   orbital reduction:          0 reductions applied,          0 cutoffs
3591.38/3601.25	c   lexicographic red:          0 reductions applied,          0 cutoffs
3591.38/3601.25	c   shadow tree time :       0.00 s
3591.38/3601.25	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3591.38/3601.25	c   propagation      :       0.03        473        129          -        680      131.9          1       13.0          -          -          -
3591.38/3601.25	c   infeasible LP    :       0.22         10          9          -        258     2850.1          1       13.0          0        0.0          0
3591.38/3601.25	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3591.38/3601.25	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3591.38/3601.25	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3591.38/3601.25	c   applied globally :       0.01          -          -          0        321      251.0          -          -          0          -          -
3591.38/3601.25	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3591.38/3601.25	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3591.38/3601.25	c   cut pool         :       0.00          -         21         21          -          -        181        224          -          -          -          -          -    (maximal pool size:        181)
3591.38/3601.25	c   aggregation      :       0.05       0.00         11         11          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3591.38/3601.25	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3591.38/3601.25	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3591.38/3601.25	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   clique           :       1.74       0.00         11         11          0          0         82        113          0         34         34          0          0
3591.38/3601.25	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   gomory           :      17.84       0.00         10         10          0          0          3          4          0          1          1          0          0
3591.38/3601.25	c   > gomorymi       :          -          -          -          -          -          -          -          2          0          0          0          0          -
3591.38/3601.25	c   > strongcg       :          -          -          -          -          -          -          -          2          0          1          1          0          -
3591.38/3601.25	c   impliedbounds    :       0.06       0.00         11         11          0          0         26         36          0         12         12          0          0
3591.38/3601.25	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   multilinear      :       0.00       0.00         16         11          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3591.38/3601.25	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
3591.38/3601.26	c   zerohalf         :      12.13       0.00         11         11          0          0         70         71          0         70         70          0          0
3591.38/3601.26	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3591.38/3601.26	c   hybrid           :       0.00       0.00         11         11        122          0        113        122          0        113
3591.38/3601.26	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3591.38/3601.26	c   problem variables:       0.00          -          0          0
3591.38/3601.26	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3591.38/3601.26	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c   relpscost        :      36.05       0.00         13          0          0          0          0          0          0         26
3591.38/3601.26	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3591.38/3601.26	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3591.38/3601.26	c   LP solutions     :       0.00          -          -          0          0
3591.38/3601.26	c   relax solutions  :       0.00          -          -          0          0
3591.38/3601.26	c   pseudo solutions :       0.00          -          -          0          0
3591.38/3601.26	c   strong branching :       0.00          -          -          0          0
3591.38/3601.26	c   actconsdiving    :       0.00       0.00          0          0          0
3591.38/3601.26	c   adaptivediving   :     146.35       0.00          1          0          0
3591.38/3601.26	c   alns             :       0.11       0.00          1          0          0
3591.38/3601.26	c   bound            :       0.00       0.00          0          0          0
3591.38/3601.26	c   clique           :       0.07       0.00          1          0          0
3591.38/3601.26	c   coefdiving       :       0.00       0.00          0          0          0
3591.38/3601.26	c   completesol      :       0.00       0.00          0          0          0
3591.38/3601.26	c   conflictdiving   :     755.60       0.00          1          0          0
3591.38/3601.26	c   crossover        :       0.00       0.00          0          0          0
3591.38/3601.26	c   dins             :       0.00       0.00          0          0          0
3591.38/3601.26	c   distributiondivin:     245.35       0.00          1          0          0
3591.38/3601.26	c   dps              :       0.00       0.00          0          0          0
3591.38/3601.26	c   dualval          :       0.00       0.00          0          0          0
3591.38/3601.26	c   farkasdiving     :       0.00       0.00          0          0          0
3591.38/3601.26	c   feasjump         :       0.03       0.00          1          0          0
3591.38/3601.26	c   feaspump         :     159.47       0.00          1          0          0
3591.38/3601.26	c   fixandinfer      :       0.00       0.00          0          0          0
3591.38/3601.26	c   fracdiving       :     175.26       0.00          1          0          0
3591.38/3601.26	c   gins             :       0.00       0.00          0          0          0
3591.38/3601.26	c   guideddiving     :       0.00       0.00          0          0          0
3591.38/3601.26	c   indcoefdiving    :       0.00       0.00          0          0          0
3591.38/3601.26	c   indicator        :       0.00       0.00          0          0          0
3591.38/3601.26	c   indicatordiving  :       0.00       0.00          0          0          0
3591.38/3601.26	c   indoneopt        :       0.00       0.00          0          0          0
3591.38/3601.26	c   indrounding      :       0.00       0.00          0          0          0
3591.38/3601.26	c   indtwoopt        :       0.00       0.00          0          0          0
3591.38/3601.26	c   intdiving        :       0.00       0.00          0          0          0
3591.38/3601.26	c   intshifting      :       0.00       0.00          0          0          0
3591.38/3601.26	c   linesearchdiving :       0.00       0.00          0          0          0
3591.38/3601.26	c   localbranching   :       0.00       0.00          0          0          0
3591.38/3601.26	c   locks            :       0.07       0.00          1          0          0
3591.38/3601.26	c   lpface           :       0.00       0.00          0          0          0
3591.38/3601.26	c   mpec             :       0.00       0.00          0          0          0
3591.38/3601.26	c   multistart       :       0.00       0.00          0          0          0
3591.38/3601.26	c   mutation         :       0.00       0.00          0          0          0
3591.38/3601.26	c   nlpdiving        :       0.00       0.00          0          0          0
3591.38/3601.26	c   objpscostdiving  :     957.70       0.00          1          0          0
3591.38/3601.26	c   octane           :       0.00       0.00          0          0          0
3591.38/3601.26	c   ofins            :       0.00       0.00          0          0          0
3591.38/3601.26	c   oneopt           :       0.00       0.00          0          0          0
3591.38/3601.26	c   padm             :       0.00       0.00          0          0          0
3591.38/3601.26	c   proximity        :       0.00       0.00          0          0          0
3591.38/3601.26	c   pscostdiving     :     248.13       0.00          1          0          0
3591.38/3601.26	c   randrounding     :       0.17       0.00         12          0          0
3591.38/3601.26	c   rens             :       0.51       0.00          1          0          0
3591.38/3601.26	c   reoptsols        :       0.00       0.00          0          0          0
3591.38/3601.26	c   repair           :       0.00       0.00          0          0          0
3591.38/3601.26	c   rins             :       0.00       0.00          0          0          0
3591.38/3601.26	c   rootsoldiving    :       0.00       0.00          0          0          0
3591.38/3601.26	c   rounding         :       0.03       0.00         24          0          0
3591.38/3601.26	c   scheduler        :       0.00       0.00          0          0          0
3591.38/3601.26	c   shiftandpropagate:       0.03       0.00          1          0          0
3591.38/3601.26	c   shifting         :       0.14       0.00         12          0          0
3591.38/3601.26	c   simplerounding   :       0.00       0.00          0          0          0
3591.38/3601.26	c   smallcard        :       0.00       0.00          0          0          0
3591.38/3601.26	c   subnlp           :       0.00       0.00          0          0          0
3591.38/3601.26	c   trivial          :       0.01       0.00          2          0          0
3591.38/3601.26	c   trivialnegation  :       0.00       0.00          0          0          0
3591.38/3601.26	c   trustregion      :       0.00       0.00          0          0          0
3591.38/3601.26	c   trysol           :       0.00       0.00          0          0          0
3591.38/3601.26	c   twoopt           :       0.00       0.00          0          0          0
3591.38/3601.26	c   undercover       :       0.00       0.00          0          0          0
3591.38/3601.26	c   vbounds          :       0.04       0.00          1          0          0
3591.38/3601.26	c   veclendiving     :     277.96       0.00          1          0          0
3591.38/3601.26	c   zeroobj          :       0.00       0.00          0          0          0
3591.38/3601.26	c   zirounding       :       0.01       0.00         12          0          0
3591.38/3601.26	c   other solutions  :          -          -          -          0          -
3591.38/3601.26	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3591.38/3601.26	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
3591.38/3601.26	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
3591.38/3601.26	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
3591.38/3601.26	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
3591.38/3601.26	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
3591.38/3601.26	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
3591.38/3601.26	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
3591.38/3601.26	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
3591.38/3601.26	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
3591.38/3601.26	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3591.38/3601.26	c   primal LP        :       0.03          1          0       0.00       0.00       0.03          1
3591.38/3601.26	c   dual LP          :     517.63         24     273053   11377.21     527.51       0.00          0
3591.38/3601.26	c   lex dual LP      :       0.00          0          0       0.00          -
3591.38/3601.26	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3591.38/3601.26	c   resolve instable :     122.07         26       2770     106.54      22.69
3591.38/3601.26	c   diving/probing LP:    2969.36        268     883338    3296.04     297.48
3591.38/3601.26	c   strong branching :      30.20         19      18414     969.16     609.65          -          -         36
3591.38/3601.26	c     (at root node) :          -         19      18414     969.16          -
3591.38/3601.26	c   conflict analysis:       0.00          0          0       0.00          -
3591.38/3601.26	c B&B Tree           :
3591.38/3601.26	c   number of runs   :          1
3591.38/3601.26	c   nodes            :         13 (13 internal, 0 leaves)
3591.38/3601.26	c   feasible leaves  :          0
3591.38/3601.26	c   infeas. leaves   :          0
3591.38/3601.26	c   objective leaves :          0
3591.38/3601.26	c   nodes (total)    :         13 (13 internal, 0 leaves)
3591.38/3601.26	c   nodes left       :         14
3591.38/3601.26	c   max depth        :          6
3591.38/3601.26	c   max depth (total):          6
3591.38/3601.26	c   backtracks       :          5 (38.5%)
3591.38/3601.26	c   early backtracks :          0 (0.0%)
3591.38/3601.26	c   nodes exc. ref.  :          0 (0.0%)
3591.38/3601.26	c   delayed cutoffs  :          0
3591.38/3601.26	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3591.38/3601.26	c   avg switch length:       1.92
3591.38/3601.26	c   switching time   :       0.03
3591.38/3601.26	c Root Node          :
3591.38/3601.26	c   First LP value   : +0.00000000000000e+00
3591.38/3601.26	c   First LP Iters   :      17445 (962.88 Iter/sec)
3591.38/3601.26	c   First LP Time    :      18.12
3591.38/3601.26	c   Final Dual Bound : +0.00000000000000e+00
3591.38/3601.26	c   Final Root Iters :     237312
3591.38/3601.26	c   Root LP Estimate : +1.29207028198982e-03
3591.38/3601.26	c Solution           :
3591.38/3601.26	c   Solutions found  :          0 (0 improvements)
3591.38/3601.26	c   Primal Bound     :          -
3591.38/3601.26	c   Dual Bound       : +0.00000000000000e+00
3591.38/3601.26	c   Gap              :   infinite
3591.38/3601.26	c Integrals          :      Total       Avg%
3591.38/3601.26	c   primal-dual      :  360125.24     100.00
3591.38/3601.26	c   primal-ref       :          -          - (not evaluated)
3591.38/3601.26	c   dual-ref         :          -          - (not evaluated)
3591.48/3601.35	c Time complete: 3591.55.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=968502, runsolver pid=968499

[startup+0.100108 s]*
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=119109268/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=118276 memory=78840 CPUtime=0.11 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 16571 0 0 0 9 2 0 0 20 0 1 0 185586255 121114624 19710 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 29569 19710 3536 3540 0 17826 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 118276 KiB
Current children cumulated memory: 78840 KiB

[startup+0.213313 s]*
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=119080640/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=145016 memory=101316 CPUtime=0.21 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 22198 0 0 0 19 2 0 0 20 0 1 0 185586255 148496384 25329 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 36254 25329 3584 3540 0 24511 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 145016 KiB
Current children cumulated memory: 101316 KiB

[startup+0.313168 s]*
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=119072720/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=158936 memory=117012 CPUtime=0.32 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 27704 0 0 0 28 4 0 0 20 0 1 0 185586255 162750464 29253 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 39734 29253 3663 3540 0 27991 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 158936 KiB
Current children cumulated memory: 117012 KiB

[startup+0.700347 s]
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=119451676/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=172856 memory=129928 CPUtime=0.69 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 33756 0 0 0 64 5 0 0 20 0 1 0 185586255 177004544 32482 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 43214 32482 3711 3540 0 31471 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 172856 KiB
Current children cumulated memory: 129928 KiB

[startup+1.50031 s]
/proc/loadavg: 4.15 4.13 4.15 5/244 968503
/proc/meminfo: memFree=123843348/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=212596 memory=167244 CPUtime=1.48 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 40543 0 0 0 142 6 0 0 20 0 1 0 185586255 217698304 41811 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 53149 41811 3759 3540 0 41406 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 212596 KiB
Current children cumulated memory: 167244 KiB

[startup+3.11299 s]
/proc/loadavg: 4.15 4.13 4.15 5/244 968549
/proc/meminfo: memFree=125157920/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=212596 memory=167244 CPUtime=3.09 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 40548 0 0 0 303 6 0 0 20 0 1 0 185586255 217698304 41811 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 53149 41811 3759 3540 0 41406 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 212596 KiB
Current children cumulated memory: 167244 KiB

[startup+6.30029 s]
/proc/loadavg: 4.14 4.13 4.15 5/244 968549
/proc/meminfo: memFree=125149376/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=214716 memory=168804 CPUtime=6.27 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 40983 0 0 0 621 6 0 0 20 0 1 0 185586255 219869184 42201 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 53679 42201 3759 3540 0 41936 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 214716 KiB
Current children cumulated memory: 168804 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.13 4.15 5/244 968550
/proc/meminfo: memFree=125139040/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=219604 memory=173596 CPUtime=12.65 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 42209 0 0 0 1258 7 0 0 20 0 1 0 185586255 224874496 43399 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 54901 43399 3759 3540 0 43158 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 219604 KiB
Current children cumulated memory: 173596 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.14 4.15 5/244 968935
/proc/meminfo: memFree=125135284/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=220880 memory=174908 CPUtime=25.42 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 42548 0 0 0 2535 7 0 0 20 0 1 0 185586255 226181120 43727 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 55220 43727 3759 3540 0 43477 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 220880 KiB
Current children cumulated memory: 174908 KiB

[startup+51.1128 s]
/proc/loadavg: 4.11 4.12 4.15 5/244 968940
/proc/meminfo: memFree=124953108/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=311872 memory=242404 CPUtime=50.96 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 61381 0 0 0 5086 10 0 0 20 0 1 0 185586255 319356928 60601 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 77968 60601 3967 3540 0 66225 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 311872 KiB
Current children cumulated memory: 242404 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/244 968949
/proc/meminfo: memFree=124928060/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=319800 memory=249832 CPUtime=102 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 63196 0 0 0 10188 12 0 0 20 0 1 0 185586255 327475200 62458 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 79950 62458 3983 3540 0 68207 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 319800 KiB
Current children cumulated memory: 249832 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 968959
/proc/meminfo: memFree=124917404/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=321320 memory=251664 CPUtime=161.85 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 63684 0 0 0 16172 13 0 0 20 0 1 0 185586255 329031680 62916 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 80330 62916 3983 3540 0 68587 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 321320 KiB
Current children cumulated memory: 251664 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/246 969139
/proc/meminfo: memFree=124786780/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=321320 memory=251664 CPUtime=221.68 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 63684 0 0 0 22155 13 0 0 20 0 1 0 185586255 329031680 62916 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 80330 62916 3983 3540 0 68587 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 321320 KiB
Current children cumulated memory: 251664 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.15 4.15 5/246 969150
/proc/meminfo: memFree=124676976/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=401320 memory=326852 CPUtime=281.52 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 72913 0 0 0 28137 15 0 0 20 0 1 0 185586255 410951680 81713 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 100330 81713 3983 3540 0 88587 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 401320 KiB
Current children cumulated memory: 326852 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/246 969217
/proc/meminfo: memFree=124647724/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=418168 memory=340248 CPUtime=341.36 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 75297 0 0 0 34120 16 0 0 20 0 1 0 185586255 428204032 85062 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 104542 85062 3983 3540 0 92799 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 418168 KiB
Current children cumulated memory: 340248 KiB

[startup+402.3 s]
/proc/loadavg: 4.32 4.19 4.16 5/246 969227
/proc/meminfo: memFree=124625960/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=423704 memory=344284 CPUtime=401.19 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 76327 0 0 0 40103 16 0 0 20 0 1 0 185586255 433872896 86071 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 105926 86071 3983 3540 0 94183 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 423704 KiB
Current children cumulated memory: 344284 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.17 4.15 5/246 969238
/proc/meminfo: memFree=124601840/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=429300 memory=349156 CPUtime=461.04 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 77607 0 0 0 46087 17 0 0 20 0 1 0 185586255 439603200 87289 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 107325 87289 3983 3540 0 95582 0

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

/proc/loadavg: 4.16 4.13 4.11 5/243 970356
/proc/meminfo: memFree=125371164/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3213.45 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 98952 0 0 0 321314 31 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/243 970367
/proc/meminfo: memFree=125370892/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3273.29 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99052 0 0 0 327298 31 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/246 970382
/proc/meminfo: memFree=125370420/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3333.14 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99153 0 0 0 333283 31 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/246 970392
/proc/meminfo: memFree=125370168/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3392.98 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99252 0 0 0 339267 31 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3392.98 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/245 970403
/proc/meminfo: memFree=125369920/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3452.84 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99349 0 0 0 345252 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/246 970414
/proc/meminfo: memFree=125369640/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3512.68 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99454 0 0 0 351236 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3512.68 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/246 970425
/proc/meminfo: memFree=125369276/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3572.52 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99553 0 0 0 357220 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB

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

# cumulated CPU time of all completed processes:  user=3591.22 s, system=0.332227 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.09 5/246 970426
/proc/meminfo: memFree=125369304/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3574.23 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99553 0 0 0 357391 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3574.23 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/246 970427
/proc/meminfo: memFree=125369304/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3580.6 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99573 0 0 0 358028 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3580.6 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.12 4.09 4/239 970458
/proc/meminfo: memFree=125806216/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3586.99 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99573 0 0 0 358667 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3586.99 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB

[startup+3598.4 s]
/proc/loadavg: 4.14 4.12 4.09 4/239 970460
/proc/meminfo: memFree=125806232/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3588.58 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99574 0 0 0 358826 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3588.58 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB

[startup+3600 s]*
/proc/loadavg: 3.97 4.08 4.08 3/232 970491
/proc/meminfo: memFree=126262416/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3590.19 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99574 0 0 0 358987 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3590.19 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB

[startup+3600.8 s]
/proc/loadavg: 3.97 4.08 4.08 3/232 970491
/proc/meminfo: memFree=126262416/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3590.98 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99574 0 0 0 359066 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3590.98 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB

[startup+3601.2 s]
/proc/loadavg: 3.97 4.08 4.08 4/232 970491
/proc/meminfo: memFree=126262444/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=501832 memory=445144 CPUtime=3591.38 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99574 0 0 0 359106 32 0 0 20 0 1 0 185586255 513875968 111286 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 125458 111286 4198 3540 0 113715 0
Current children cumulated CPU time: 3591.38 s
Current children cumulated vsize: 501832 KiB
Current children cumulated memory: 445144 KiB

[startup+3601.3 s]
/proc/loadavg: 3.97 4.08 4.08 4/232 970491
/proc/meminfo: memFree=126262444/131655788 swapFree=131071996/131071996
[pid=968502] ppid=968499 vsize=458616 memory=401928 CPUtime=3591.48 cores=5,7
/proc/968502/stat : 968502 (pbscip) R 968499 968502 963708 0 -1 4194304 99606 0 0 0 359116 32 0 0 20 0 1 0 185586255 469622784 100482 134679101440 4194304 18693293 140734992712432 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 38330368 140734992716803 140734992716902 140734992716902 140734992723918 0
/proc/968502/statm: 114654 100482 4198 3540 0 102911 0
Current children cumulated CPU time: 3591.48 s
Current children cumulated vsize: 458616 KiB
Current children cumulated memory: 401928 KiB

Child status: 0

Real time (s): 3601.36
CPU time (s): 3591.55
CPU user time (s): 3591.22
CPU system time (s): 0.332227
CPU usage (%): 99.7276
Max. virtual memory (cumulated for all children) (KiB): 501832
Max. memory (cumulated for all children) (KiB): 445144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.22
system time used= 0.332227
maximum resident set size= 445144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99631
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= 36
involuntary context switches= 1280


# summary of solver processes directly reported to runsolver:
#   pid: 968502
#   total CPU time (s): 3591.55
#   total CPU user time (s): 3591.22
#   total CPU system time (s): 0.332227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1023 second user time and 34.1733 second system time

The end

Launcher Data

Begin job on nodeC007 at 2024-07-18 22:25:08
IDJOB=4446615
IDBENCH=158283
IDSOLVER=3059
FILE ID=nodeC007/4446615-1721334296
RUNJOBID= nodeC007-1721327100-963759
SLURM_JOB_ID= 7542682
Free space on /tmp= 723660 MiB

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

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

MD5SUM BENCH= 1aa29222329f307e3e004dcb472df849
RANDOM SEED=888604757

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3671.481
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3494.020
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.291
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.263
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3536.915
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.652
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.384
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.130
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        119168328 kB
MemAvailable:   122032344 kB
Buffers:          507956 kB
Cached:          3186712 kB
SwapCached:            0 kB
Active:          1122312 kB
Inactive:       10786340 kB
Active(anon):       1460 kB
Inactive(anon):  8250252 kB
Active(file):    1120852 kB
Inactive(file):  2536088 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19844 kB
Writeback:            24 kB
AnonPages:       8214028 kB
Mapped:           139808 kB
Shmem:             37704 kB
KReclaimable:      94216 kB
Slab:             196356 kB
SReclaimable:      94216 kB
SUnreclaim:       102140 kB
KernelStack:        3888 kB
PageTables:        26036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   10321340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58272 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3155968 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

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