Trace number 4446825

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2024-07-07? 3588.19 3597.12

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K139.opb
MD5SUM89642dc5a75d3fc73d0ef8fe6dbde459
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16541
Total number of constraints16821
Number of constraints which are clauses16682
Number of constraints which are cardinality constraints (but not clauses)139
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint139
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 140
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.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4446825-1721336894.opb>
0.10/0.12	c original problem has 16541 variables (16541 bin, 0 int, 0 impl, 0 cont) and 16821 constraints
0.10/0.12	c problem read in 0.12
0.10/0.12	c No objective function, only one solution is needed.
0.10/0.22	c presolving:
0.22/0.28	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, 1905 clqs
0.22/0.29	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, 1889 clqs
0.22/0.30	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, 1910 clqs
0.22/0.31	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, 1941 clqs
0.22/0.32	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, 1964 clqs
0.32/0.32	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, 1974 clqs
0.41/0.43	c    (0.4s) running MILP presolver
0.68/0.78	c    (0.8s) MILP presolver (4 rounds): 0 aggregations, 138 fixings, 0 bound changes
0.68/0.79	c (round 7, medium)     1320 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1985 clqs
0.78/0.81	c (round 8, fast)       1320 del vars, 773 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1989 clqs
0.78/0.84	c (round 9, exhaustive) 1320 del vars, 910 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1989 clqs
0.88/0.95	c (round 10, exhaustive) 1320 del vars, 910 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 15911 upgd conss, 0 impls, 1989 clqs
1.09/1.16	c (round 11, exhaustive) 1429 del vars, 910 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 15911 upgd conss, 0 impls, 1976 clqs
1.09/1.17	c (round 12, fast)       1538 del vars, 1019 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 15911 upgd conss, 0 impls, 1976 clqs
2.78/2.81	c (round 13, exhaustive) 1564 del vars, 1020 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 15911 upgd conss, 0 impls, 100432 clqs
2.78/2.82	c (round 14, fast)       1565 del vars, 1046 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 163 chg coeffs, 15911 upgd conss, 0 impls, 100445 clqs
3.98/4.10	c (round 15, exhaustive) 1591 del vars, 1046 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 163 chg coeffs, 15911 upgd conss, 0 impls, 100409 clqs
3.98/4.11	c (round 16, fast)       1592 del vars, 1072 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 218 chg coeffs, 15911 upgd conss, 0 impls, 100418 clqs
4.77/4.85	c (round 17, exhaustive) 1617 del vars, 1072 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 218 chg coeffs, 15911 upgd conss, 0 impls, 100423 clqs
4.77/4.86	c (round 18, fast)       1617 del vars, 1097 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 281 chg coeffs, 15911 upgd conss, 0 impls, 100438 clqs
5.27/5.37	c (round 19, exhaustive) 1642 del vars, 1097 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 281 chg coeffs, 15911 upgd conss, 0 impls, 100399 clqs
5.27/5.38	c (round 20, fast)       1642 del vars, 1122 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 343 chg coeffs, 15911 upgd conss, 0 impls, 100414 clqs
6.66/6.70	c (round 21, exhaustive) 1668 del vars, 1122 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 343 chg coeffs, 15911 upgd conss, 0 impls, 100441 clqs
6.66/6.70	c (round 22, fast)       1668 del vars, 1148 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 407 chg coeffs, 15911 upgd conss, 0 impls, 100457 clqs
6.86/6.92	c (round 23, exhaustive) 1693 del vars, 1148 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 407 chg coeffs, 15911 upgd conss, 0 impls, 100481 clqs
6.86/6.92	c (round 24, fast)       1693 del vars, 1173 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 461 chg coeffs, 15911 upgd conss, 0 impls, 100489 clqs
7.07/7.17	c    (7.2s) probing: 1000/15552 (6.4%) - 160 fixings, 0 aggregations, 1069673 implications, 0 bound changes
7.16/7.26	c (round 25, exhaustive) 1720 del vars, 1173 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 461 chg coeffs, 15911 upgd conss, 0 impls, 100445 clqs
7.16/7.27	c (round 26, fast)       1722 del vars, 1200 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 523 chg coeffs, 15911 upgd conss, 0 impls, 100456 clqs
8.16/8.23	c (round 27, exhaustive) 1747 del vars, 1200 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 523 chg coeffs, 15911 upgd conss, 0 impls, 98917 clqs
8.16/8.24	c (round 28, fast)       1747 del vars, 1225 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 607 chg coeffs, 15911 upgd conss, 0 impls, 98936 clqs
8.45/8.59	c (round 29, exhaustive) 1773 del vars, 1225 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 607 chg coeffs, 15911 upgd conss, 0 impls, 100491 clqs
8.55/8.60	c (round 30, fast)       1774 del vars, 1251 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 665 chg coeffs, 15911 upgd conss, 0 impls, 100500 clqs
11.06/11.18	c (round 31, exhaustive) 1800 del vars, 1251 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 666 chg coeffs, 15911 upgd conss, 0 impls, 99732 clqs
11.06/11.18	c (round 32, fast)       1801 del vars, 1277 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 744 chg coeffs, 15911 upgd conss, 0 impls, 99752 clqs
11.34/11.41	c (round 33, exhaustive) 1827 del vars, 1277 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 744 chg coeffs, 15911 upgd conss, 0 impls, 100496 clqs
11.34/11.42	c (round 34, fast)       1827 del vars, 1303 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 798 chg coeffs, 15911 upgd conss, 0 impls, 100500 clqs
12.05/12.11	c (round 35, exhaustive) 1852 del vars, 1303 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 800 chg coeffs, 15911 upgd conss, 0 impls, 100496 clqs
12.05/12.12	c (round 36, fast)       1852 del vars, 1328 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 846 chg coeffs, 15911 upgd conss, 0 impls, 100502 clqs
12.24/12.33	c (round 37, exhaustive) 1880 del vars, 1328 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 846 chg coeffs, 15911 upgd conss, 0 impls, 100432 clqs
12.24/12.34	c (round 38, fast)       1884 del vars, 1357 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 889 chg coeffs, 15911 upgd conss, 0 impls, 100431 clqs
12.44/12.55	c (round 39, exhaustive) 1909 del vars, 1357 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 890 chg coeffs, 15911 upgd conss, 0 impls, 100218 clqs
12.44/12.56	c (round 40, fast)       1909 del vars, 1382 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 913 chg coeffs, 15911 upgd conss, 0 impls, 100218 clqs
12.64/12.76	c (round 41, exhaustive) 1934 del vars, 1382 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 913 chg coeffs, 15911 upgd conss, 0 impls, 100022 clqs
12.64/12.77	c (round 42, fast)       1934 del vars, 1407 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 937 chg coeffs, 15911 upgd conss, 0 impls, 100022 clqs
14.13/14.20	c    (14.2s) probing: 2000/15552 (12.9%) - 393 fixings, 1 aggregations, 2474526 implications, 0 bound changes
18.52/18.69	c    (18.7s) probing: 3000/15552 (19.3%) - 399 fixings, 1 aggregations, 3690758 implications, 0 bound changes
19.61/19.71	c (round 43, exhaustive) 1959 del vars, 1407 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 937 chg coeffs, 15911 upgd conss, 0 impls, 100497 clqs
19.61/19.71	c (round 44, fast)       1959 del vars, 1432 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 963 chg coeffs, 15911 upgd conss, 0 impls, 100497 clqs
19.81/19.92	c (round 45, exhaustive) 1985 del vars, 1432 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 963 chg coeffs, 15911 upgd conss, 0 impls, 100450 clqs
19.81/19.93	c (round 46, fast)       1986 del vars, 1458 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 991 chg coeffs, 15911 upgd conss, 0 impls, 100450 clqs
21.21/21.36	c (round 47, exhaustive) 2011 del vars, 1458 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 991 chg coeffs, 15911 upgd conss, 0 impls, 100544 clqs
21.21/21.37	c (round 48, fast)       2011 del vars, 1483 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1023 chg coeffs, 15911 upgd conss, 0 impls, 100548 clqs
21.41/21.58	c (round 49, exhaustive) 2036 del vars, 1483 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1023 chg coeffs, 15911 upgd conss, 0 impls, 100556 clqs
21.41/21.58	c (round 50, fast)       2036 del vars, 1508 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1053 chg coeffs, 15911 upgd conss, 0 impls, 100557 clqs
23.10/23.20	c    (23.2s) probing: 4000/15552 (25.7%) - 488 fixings, 1 aggregations, 4636890 implications, 0 bound changes
26.80/26.90	c    (26.9s) probing: 5000/15552 (32.2%) - 492 fixings, 1 aggregations, 5560438 implications, 0 bound changes
29.29/29.47	c    (29.5s) probing: 5697/15552 (36.6%) - 492 fixings, 1 aggregations, 6198964 implications, 0 bound changes
29.29/29.47	c    (29.5s) probing aborted: 1000/1000 successive useless probings
29.29/29.47	c (round 51, exhaustive) 2052 del vars, 1508 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1053 chg coeffs, 15911 upgd conss, 0 impls, 100640 clqs
29.29/29.47	c (round 52, fast)       2052 del vars, 1524 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1074 chg coeffs, 15911 upgd conss, 0 impls, 100641 clqs
30.48/30.66	c    (30.6s) probing: 6000/15552 (38.6%) - 511 fixings, 1 aggregations, 6443835 implications, 0 bound changes
33.16/33.36	c    (33.4s) probing: 6723/15552 (43.2%) - 511 fixings, 1 aggregations, 7115632 implications, 0 bound changes
33.16/33.36	c    (33.4s) probing aborted: 1000/1000 successive useless probings
33.16/33.36	c (round 53, exhaustive) 2071 del vars, 1524 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1074 chg coeffs, 15911 upgd conss, 0 impls, 100636 clqs
33.16/33.37	c (round 54, fast)       2071 del vars, 1543 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1096 chg coeffs, 15911 upgd conss, 0 impls, 100636 clqs
34.36/34.59	c    (34.6s) probing: 7000/15552 (45.0%) - 514 fixings, 1 aggregations, 7370504 implications, 0 bound changes
37.05/37.28	c    (37.3s) probing: 7727/15552 (49.7%) - 514 fixings, 1 aggregations, 8042057 implications, 0 bound changes
37.05/37.28	c    (37.3s) probing aborted: 1000/1000 successive useless probings
37.15/37.31	c    (37.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
37.15/37.39	c    (37.4s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
37.15/37.39	c dynamic symmetry handling statistics:
37.15/37.39	c    orbitopal reduction:       no components
37.15/37.39	c    orbital reduction:         no components
37.15/37.39	c    lexicographic reduction:    3 permutations with support sizes 1272, 532, 254
37.15/37.39	c handled 4 out of 4 symmetry components
37.25/37.41	c presolving (55 rounds: 55 fast, 26 medium, 25 exhaustive):
37.25/37.41	c  2077 deleted vars, 1546 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1100 changed coefficients
37.25/37.41	c  0 implications, 100710 cliques
37.25/37.41	c presolved problem has 15023 variables (15023 bin, 0 int, 0 impl, 0 cont) and 15276 constraints
37.25/37.41	c    1878 constraints of type <setppc>
37.25/37.41	c       1 constraints of type <orbitope>
37.25/37.41	c   13397 constraints of type <logicor>
37.25/37.41	c transformed objective value is always integral (scale: 1)
37.25/37.41	c Presolving Time: 37.21
37.25/37.41	c - non default parameters ----------------------------------------------------------------------
37.25/37.41	c # SCIP version 10.0.0
37.25/37.41	c 
37.25/37.41	c # maximal time in seconds to run
37.25/37.41	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
37.25/37.41	c limits/time = 3596.994111
37.25/37.41	c 
37.25/37.41	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
37.25/37.41	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
37.25/37.41	c limits/memory = 27900
37.25/37.41	c 
37.25/37.41	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
37.25/37.41	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
37.25/37.41	c limits/solutions = 1
37.25/37.41	c 
37.25/37.41	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.
37.25/37.41	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
37.25/37.41	c misc/usesymmetry = 3
37.25/37.41	c 
37.25/37.41	c # belongs reading time to solving time?
37.25/37.41	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
37.25/37.41	c timing/reading = TRUE
37.25/37.41	c 
37.25/37.41	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
37.25/37.41	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
37.25/37.41	c propagating/symmetry/detectdoublelex = FALSE
37.25/37.41	c 
37.25/37.41	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
37.25/37.41	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
37.25/37.41	c propagating/symmetry/detectsubgroups = FALSE
37.25/37.41	c 
37.25/37.41	c # Type of symmetries that shall be computed?
37.25/37.41	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
37.25/37.41	c propagating/symmetry/symtype = 1
37.25/37.41	c 
37.25/37.41	c # Should components consisting of a single full reflection be handled?
37.25/37.41	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
37.25/37.41	c propagating/symmetry/usesimplesgncomp = FALSE
37.25/37.41	c 
37.25/37.41	c -----------------------------------------------------------------------------------------------
37.25/37.41	c start solving
37.25/37.42	c 
51.59/51.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
51.59/51.89	c  51.9s|     1 |     0 | 15762 |     - |   201M |   0 |  15k|  15k|  15k|   0 |  0 | 138 |   0 | 0.000000e+00 |      --      |    Inf | unknown
181.73/182.41	c   182s|     1 |     0 |101445 |     - |   225M |   0 |  15k|  15k|  15k|   6 |  1 | 148 |   0 | 0.000000e+00 |      --      |    Inf | unknown
202.86/203.69	c   204s|     1 |     0 |113107 |     - |   232M |   0 |  15k|  15k|  15k|  18 |  2 | 153 |   0 | 0.000000e+00 |      --      |    Inf | unknown
226.90/227.75	c   228s|     1 |     0 |125495 |     - |   237M |   0 |  15k|  15k|  15k|  34 |  3 | 159 |   0 | 0.000000e+00 |      --      |    Inf | unknown
256.80/257.73	c   258s|     1 |     0 |140430 |     - |   240M |   0 |  15k|  15k|  15k|  48 |  4 | 161 |   0 | 0.000000e+00 |      --      |    Inf | unknown
282.04/283.03	c   283s|     1 |     0 |152818 |     - |   245M |   0 |  15k|  15k|  15k|  64 |  5 | 162 |   0 | 0.000000e+00 |      --      |    Inf | unknown
305.36/306.41	c   306s|     1 |     0 |163968 |     - |   247M |   0 |  15k|  15k|  15k|  71 |  6 | 169 |   0 | 0.000000e+00 |      --      |    Inf | unknown
334.49/335.65	c   336s|     1 |     0 |177450 |     - |   252M |   0 |  15k|  15k|  15k|  88 |  7 | 173 |   0 | 0.000000e+00 |      --      |    Inf | unknown
369.93/371.11	c   371s|     1 |     0 |193295 |     - |   254M |   0 |  15k|  15k|  15k| 109 |  8 | 174 |   0 | 0.000000e+00 |      --      |    Inf | unknown
399.04/400.35	c   400s|     1 |     0 |206568 |     - |   258M |   0 |  15k|  15k|  15k| 126 |  9 | 179 |   0 | 0.000000e+00 |      --      |    Inf | unknown
427.08/428.49	c   428s|     1 |     0 |219431 |     - |   260M |   0 |  15k|  15k|  15k| 132 | 10 | 189 |   0 | 0.000000e+00 |      --      |    Inf | unknown
455.62/457.03	c   457s|     1 |     0 |232528 |     - |   262M |   0 |  15k|  15k|  15k| 149 | 11 | 191 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1087.08/1090.10	c  1090s|     1 |     2 |638228 |     - |   267M |   0 |  15k|  15k|  15k| 149 | 11 | 217 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3587.96/3597.00	c 
3587.96/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.96/3597.00	c Solving Time (sec) : 3597.00
3587.96/3597.00	c Solving Nodes      : 77
3587.96/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.96/3597.00	c Dual Bound         : +0.00000000000000e+00
3587.96/3597.00	c Gap                : infinite
3587.96/3597.00	s UNKNOWN
3587.96/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.96/3597.00	c Total Time         :    3597.00
3587.96/3597.00	c   solving          :    3597.00
3587.96/3597.00	c   presolving       :      37.21 (included in solving)
3587.96/3597.00	c   reading          :       0.12 (included in solving)
3587.96/3597.00	c   copying          :       0.15 (4 #copies) (minimal 0.04, maximal 0.04, average 0.04)
3587.96/3597.00	c Original Problem   :
3587.96/3597.00	c   Problem name     : HOME/instance-4446825-1721336894.opb
3587.96/3597.00	c   Variables        : 16541 (16541 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.96/3597.00	c   Constraints      : 16821 initial, 16821 maximal
3587.96/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.96/3597.00	c Presolved Problem  :
3587.96/3597.00	c   Problem name     : t_HOME/instance-4446825-1721336894.opb
3587.96/3597.00	c   Variables        : 15023 (15023 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.96/3597.00	c   Constraints      : 15276 initial, 15496 maximal
3587.96/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.96/3597.00	c   Nonzeros         : 83464 constraint, 216170 clique table
3587.96/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.96/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   domcol           :       0.96       0.00     22          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   dualsparsify     :       0.03       0.00      1          0          0          0          0          0          3          0          0          4
3587.96/3597.00	c   gateextraction   :       0.22       0.00     23          0          0          0          0          0          1          0          0          0
3587.96/3597.00	c   implics          :       0.00       0.00     26          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   milp             :       0.45       0.00      1        138          0          0          0          0          0          0          0          0
3587.96/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   sparsify         :       0.47       0.00      4          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   trivial          :       0.02       0.00     55        559          0          0          0          0          0          0          0          0
3587.96/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   dualfix          :       0.02       0.00     55          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   probing          :      31.15       0.00     22        514          1          0          0          0          0          0          0          0
3587.96/3597.00	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   symmetry         :       0.09       0.00      1          3          0          0          0          0          0          1          0          0
3587.96/3597.00	c   vbounds          :       0.03       0.00      2          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   setppc           :       0.16       0.00     91          0          0          0          0          0        111          0          0          0
3587.96/3597.00	c   linear           :       0.23       0.02     12        302          0          0        302          0        910          0          0          0
3587.96/3597.00	c   orbitope         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   logicor          :       3.31       0.01     91        110          0          0          0          0        521          0          0       1096
3587.96/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.96/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.96/3597.00	c   benderslp        :          0          0          0          0         47          0          0         11          0          0          0          0          0          0          0
3587.96/3597.00	c   integral         :          0          0          0          0         47          0          0         11          0          0          0          0          0          0         94
3587.96/3597.00	c   setppc           :       1878+      1955         11     260135          0          0          0          7      38045        346       9985          2          0          0          0
3587.96/3597.00	c   linear           :          0+        12          0        650          0          0          0          3        112          1       1095          0          0          0          0
3587.96/3597.00	c   orbitope         :          1          1          0       8555          0          0          0          0        262          0         27          0          0          0          0
3587.96/3597.00	c   logicor          :      13397+     13528         11     121448          0          0          0          0      87028         97      24936         17          7          0          0
3587.96/3597.00	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.96/3597.00	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.96/3597.00	c   integral         :      46.86       0.00       0.00       0.00      46.86       0.00       0.00       0.00       0.00       0.00
3587.96/3597.00	c   setppc           :       2.86       0.00       0.00       2.77       0.00       0.00       0.00       0.00       0.01       0.07
3587.96/3597.00	c   linear           :       0.04       0.02       0.00       0.01       0.00       0.00       0.00       0.01       0.00       0.00
3587.96/3597.00	c   orbitope         :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3587.96/3597.00	c   logicor          :       9.99       0.01       0.03       9.90       0.00       0.00       0.00       0.00       0.03       0.03
3587.96/3597.00	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.96/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.96/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.96/3597.00	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.96/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.96/3597.00	c   dualfix          :          1          0          0          0
3587.96/3597.00	c   genvbounds       :          0          0          0          0
3587.96/3597.00	c   nlobbt           :          0          0          0          0
3587.96/3597.00	c   obbt             :          0          0          0          0
3587.96/3597.00	c   probing          :          0          0          0          0
3587.96/3597.00	c   pseudoobj        :          0          0          0          0
3587.96/3597.00	c   redcost          :          0          0          0          0
3587.96/3597.00	c   rootredcost      :          0          0          0          0
3587.96/3597.00	c   symmetry         :        795          0          0          3
3587.96/3597.00	c   vbounds          :       5129          0          0          0
3587.96/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.96/3597.00	c   dualfix          :       0.02       0.00       0.02       0.00       0.00       0.00
3587.96/3597.00	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3587.96/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.96/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.96/3597.00	c   probing          :      31.16       0.00      31.15       0.00       0.00       0.00
3587.96/3597.00	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
3587.96/3597.00	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3587.96/3597.00	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3587.96/3597.00	c   symmetry         :       0.10       0.00       0.09       0.01       0.00       0.00
3587.96/3597.00	c   vbounds          :       0.08       0.00       0.03       0.05       0.00       0.00
3587.96/3597.00	c Symmetry           :
3587.96/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.96/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.96/3597.00	c   lexicographic red:          3 reductions applied,          0 cutoffs
3587.96/3597.00	c   shadow tree time :       0.00 s
3587.96/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.96/3597.00	c   propagation      :       0.03        440        103          -        464       69.1          0        0.0          -          -          -
3587.96/3597.00	c   infeasible LP    :       0.19         25         23          -        250      816.4          0        0.0         12     1144.0          0
3587.96/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.96/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.96/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.96/3597.00	c   applied globally :       0.01          -          -          0        303      189.2          -          -         12          -          -
3587.96/3597.00	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.96/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.96/3597.00	c   cut pool         :       0.00          -         31         21          -          -        263        334          -          -          -          -          -    (maximal pool size:        263)
3587.96/3597.00	c   aggregation      :       0.06       0.00         15         11          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.96/3597.00	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.96/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.96/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   clique           :       1.48       0.00         11         11          0          0         85        138          0         24         24          0          0
3587.96/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   gomory           :      17.25       0.00         14         10          0          0         38         38          0          1          1          0          0
3587.96/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -         19          0          1          1          0          -
3587.96/3597.00	c   > strongcg       :          -          -          -          -          -          -          -         19          0          0          0          0          -
3587.96/3597.00	c   impliedbounds    :       0.07       0.00         15         11          0          0         34         43          0         21         21          0          0
3587.96/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   multilinear      :       0.00       0.00         14         11          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   rlt              :       0.00       0.00         12         10          0          0          0          0          0          0          0          0          0
3587.96/3597.00	c   zerohalf         :      14.57       0.00         15         11          0          0        137        115         31        140        109         31          0
3587.96/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.96/3597.00	c   hybrid           :       0.00       0.00         17         11        193          0        191        149          0        153
3587.96/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.96/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.96/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.96/3597.00	c   problem variables:       0.00          -          0          0
3587.96/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.96/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3588.07/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3588.07/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3588.07/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3588.07/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.07/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.07/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.07/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.07/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.07/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.07/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.07/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.07/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.07/3597.01	c   relpscost        :      46.86       0.00         47          0          0          0          0          0          0         94
3588.07/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3588.07/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3588.07/3597.01	c   LP solutions     :       0.00          -          -          0          0
3588.07/3597.01	c   relax solutions  :       0.00          -          -          0          0
3588.07/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3588.07/3597.01	c   strong branching :       0.00          -          -          0          0
3588.07/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3588.07/3597.01	c   adaptivediving   :       0.00       0.00          0          0          0
3588.07/3597.01	c   alns             :       0.56       0.00          3          0          0
3588.07/3597.01	c   bound            :       0.00       0.00          0          0          0
3588.07/3597.01	c   clique           :       0.07       0.00          1          0          0
3588.07/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3588.07/3597.01	c   completesol      :       0.00       0.00          0          0          0
3588.07/3597.01	c   conflictdiving   :     585.98       0.00          1          0          0
3588.07/3597.01	c   crossover        :       0.00       0.00          0          0          0
3588.07/3597.01	c   dins             :       0.00       0.00          0          0          0
3588.07/3597.01	c   distributiondivin:       0.01       0.00          0          0          0
3588.07/3597.01	c   dps              :       0.00       0.00          0          0          0
3588.07/3597.01	c   dualval          :       0.00       0.00          0          0          0
3588.07/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3588.07/3597.01	c   feasjump         :       0.05       0.00          1          0          0
3588.07/3597.01	c   feaspump         :     110.05       0.00          1          0          0
3588.07/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3588.07/3597.01	c   fracdiving       :       0.00       0.00          0          0          0
3588.07/3597.01	c   gins             :       0.00       0.00          0          0          0
3588.07/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3588.07/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3588.07/3597.01	c   indicator        :       0.00       0.00          0          0          0
3588.07/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3588.07/3597.01	c   indoneopt        :       0.00       0.00          0          0          0
3588.07/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3588.07/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3588.07/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3588.07/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3588.07/3597.01	c   linesearchdiving :       0.00       0.00          0          0          0
3588.07/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3588.07/3597.01	c   locks            :       0.06       0.00          1          0          0
3588.07/3597.01	c   lpface           :       0.00       0.00          0          0          0
3588.07/3597.01	c   mpec             :       0.00       0.00          0          0          0
3588.07/3597.01	c   multistart       :       0.00       0.00          0          0          0
3588.07/3597.01	c   mutation         :       0.00       0.00          0          0          0
3588.07/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3588.07/3597.01	c   objpscostdiving  :       0.00       0.00          0          0          0
3588.07/3597.01	c   octane           :       0.00       0.00          0          0          0
3588.07/3597.01	c   ofins            :       0.00       0.00          0          0          0
3588.07/3597.01	c   oneopt           :       0.00       0.00          0          0          0
3588.07/3597.01	c   padm             :       0.00       0.00          0          0          0
3588.07/3597.01	c   proximity        :       0.00       0.00          0          0          0
3588.07/3597.01	c   pscostdiving     :     174.89       0.00          1          0          0
3588.07/3597.01	c   randrounding     :       0.16       0.00         16          0          0
3588.07/3597.01	c   rens             :       0.14       0.00          1          0          0
3588.07/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3588.07/3597.01	c   repair           :       0.00       0.00          0          0          0
3588.07/3597.01	c   rins             :       0.00       0.00          0          0          0
3588.07/3597.01	c   rootsoldiving    :       0.00       0.00          0          0          0
3588.07/3597.01	c   rounding         :       0.05       0.00         64          0          0
3588.07/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3588.07/3597.01	c   shiftandpropagate:       0.02       0.00          1          0          0
3588.07/3597.01	c   shifting         :       0.19       0.00         22          0          0
3588.07/3597.01	c   simplerounding   :       0.00       0.00          0          0          0
3588.07/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3588.07/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3588.07/3597.01	c   trivial          :       0.02       0.00          2          0          0
3588.07/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3588.07/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3588.07/3597.01	c   trysol           :       0.00       0.00          0          0          0
3588.07/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3588.07/3597.01	c   undercover       :       0.00       0.00          0          0          0
3588.07/3597.01	c   vbounds          :       0.11       0.00          1          0          0
3588.07/3597.01	c   veclendiving     :       0.00       0.00          0          0          0
3588.07/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3588.07/3597.01	c   zirounding       :       0.01       0.00         47          0          0
3588.07/3597.01	c   other solutions  :          -          -          -          0          -
3588.07/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3588.07/3597.01	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.07/3597.01	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.07/3597.01	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.07/3597.01	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.07/3597.01	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.07/3597.01	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.07/3597.01	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.07/3597.01	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3588.07/3597.01	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3588.07/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3588.07/3597.01	c   primal LP        :       0.07          3          0       0.00       0.00       0.07          3
3588.07/3597.01	c   dual LP          :    2606.27         98    1904752   21163.91     730.83       0.02          8
3588.07/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3588.07/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3588.07/3597.01	c   resolve instable :     669.48          2     533848  266924.00     797.41
3588.07/3597.01	c   diving/probing LP:     887.98         20     526990   26349.50     593.47
3588.07/3597.01	c   strong branching :      29.31         22      21268     966.73     725.57          -          -         41
3588.07/3597.01	c     (at root node) :          -         22      21268     966.73          -
3588.07/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3588.07/3597.01	c B&B Tree           :
3588.07/3597.01	c   number of runs   :          1
3588.07/3597.01	c   nodes            :         77 (47 internal, 30 leaves)
3588.07/3597.01	c   feasible leaves  :          0
3588.07/3597.01	c   infeas. leaves   :         29
3588.07/3597.01	c   objective leaves :          0
3588.07/3597.01	c   nodes (total)    :         77 (47 internal, 30 leaves)
3588.07/3597.01	c   nodes left       :         19
3588.07/3597.01	c   max depth        :         45
3588.07/3597.01	c   max depth (total):         45
3588.07/3597.01	c   backtracks       :          3 (3.9%)
3588.07/3597.01	c   early backtracks :          0 (0.0%)
3588.07/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3588.07/3597.01	c   delayed cutoffs  :          0
3588.07/3597.01	c   repropagations   :        172 (40 domain reductions, 0 cutoffs)
3588.07/3597.01	c   avg switch length:       5.19
3588.07/3597.01	c   switching time   :       0.12
3588.07/3597.01	c Root Node          :
3588.07/3597.01	c   First LP value   : +0.00000000000000e+00
3588.07/3597.01	c   First LP Iters   :      15762 (1114.13 Iter/sec)
3588.07/3597.01	c   First LP Time    :      14.15
3588.07/3597.01	c   Final Dual Bound : +0.00000000000000e+00
3588.07/3597.01	c   Final Root Iters :     232528
3588.07/3597.01	c   Root LP Estimate : +1.19756877142129e-03
3588.07/3597.01	c Solution           :
3588.07/3597.01	c   Solutions found  :          0 (0 improvements)
3588.07/3597.01	c   Primal Bound     :          -
3588.07/3597.01	c   Dual Bound       : +0.00000000000000e+00
3588.07/3597.01	c   Gap              :   infinite
3588.07/3597.01	c Integrals          :      Total       Avg%
3588.07/3597.01	c   primal-dual      :  359699.59     100.00
3588.07/3597.01	c   primal-ref       :          -          - (not evaluated)
3588.07/3597.01	c   dual-ref         :          -          - (not evaluated)
3588.07/3597.11	c Time complete: 3588.18.

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=970730, runsolver pid=970727

[startup+0.100709 s]*
/proc/loadavg: 4.10 4.16 4.17 5/241 970731
/proc/meminfo: memFree=123862556/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=81228 memory=40792 CPUtime=0.1 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 7275 0 0 0 9 1 0 0 20 0 1 0 185848578 83177472 10198 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 20307 10198 3263 3540 0 8564 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 81228 KiB
Current children cumulated memory: 40792 KiB

[startup+0.212948 s]*
/proc/loadavg: 4.10 4.16 4.17 5/241 970731
/proc/meminfo: memFree=123803080/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=125912 memory=83940 CPUtime=0.22 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 17837 0 0 0 18 4 0 0 20 0 1 0 185848578 128933888 20985 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 31478 20985 3583 3540 0 19735 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 125912 KiB
Current children cumulated memory: 83940 KiB

[startup+0.313202 s]*
/proc/loadavg: 4.10 4.16 4.17 5/241 970731
/proc/meminfo: memFree=123785656/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=126452 memory=84792 CPUtime=0.32 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 17976 0 0 0 28 4 0 0 20 0 1 0 185848578 129486848 21198 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 31613 21198 3599 3540 0 19870 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 126452 KiB
Current children cumulated memory: 84792 KiB

[startup+0.700337 s]
/proc/loadavg: 4.10 4.16 4.17 5/241 970731
/proc/meminfo: memFree=123770768/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=147100 memory=105488 CPUtime=0.68 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 25568 0 0 0 62 6 0 0 20 0 1 0 185848578 150630400 26372 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 36775 26372 3662 3540 0 25032 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 147100 KiB
Current children cumulated memory: 105488 KiB

[startup+1.50033 s]
/proc/loadavg: 4.10 4.15 4.17 5/241 970731
/proc/meminfo: memFree=123743636/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=181340 memory=137020 CPUtime=1.48 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 34593 0 0 0 140 8 0 0 20 0 1 0 185848578 185692160 34255 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 45335 34255 3758 3540 0 33592 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 181340 KiB
Current children cumulated memory: 137020 KiB

[startup+3.11277 s]
/proc/loadavg: 4.10 4.15 4.17 5/241 970731
/proc/meminfo: memFree=123666976/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=193644 memory=149212 CPUtime=3.09 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 37641 0 0 0 300 9 0 0 20 0 1 0 185848578 198291456 37303 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 48411 37303 3774 3540 0 36668 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 193644 KiB
Current children cumulated memory: 149212 KiB

[startup+6.3003 s]
/proc/loadavg: 4.09 4.15 4.17 5/241 970824
/proc/meminfo: memFree=124271664/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=196952 memory=151844 CPUtime=6.26 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 38342 0 0 0 617 9 0 0 20 0 1 0 185848578 201678848 37961 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 49238 37961 3774 3540 0 37495 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 196952 KiB
Current children cumulated memory: 151844 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.15 4.17 5/241 970824
/proc/meminfo: memFree=124246428/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=201120 memory=156164 CPUtime=12.64 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 39429 0 0 0 1255 9 0 0 20 0 1 0 185848578 205946880 39041 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 50280 39041 3774 3540 0 38537 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 201120 KiB
Current children cumulated memory: 156164 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.16 4.17 5/241 970826
/proc/meminfo: memFree=124234512/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=201400 memory=156424 CPUtime=25.39 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 39493 0 0 0 2530 9 0 0 20 0 1 0 185848578 206233600 39106 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 50350 39106 3774 3540 0 38607 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 201400 KiB
Current children cumulated memory: 156424 KiB

[startup+51.1127 s]
/proc/loadavg: 4.08 4.14 4.16 5/241 970832
/proc/meminfo: memFree=124094048/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=284484 memory=218288 CPUtime=50.91 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 57178 0 0 0 5077 14 0 0 20 0 1 0 185848578 291311616 54572 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 71121 54572 3982 3540 0 59378 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 284484 KiB
Current children cumulated memory: 218288 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/241 970840
/proc/meminfo: memFree=123916068/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=291384 memory=224684 CPUtime=101.91 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 58745 0 0 0 10175 16 0 0 20 0 1 0 185848578 298377216 56171 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 72846 56171 3998 3540 0 61103 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 291384 KiB
Current children cumulated memory: 224684 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/243 970854
/proc/meminfo: memFree=123907144/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=291384 memory=224948 CPUtime=161.7 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 58818 0 0 0 16151 19 0 0 20 0 1 0 185848578 298377216 56237 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 72846 56237 3998 3540 0 61103 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 291384 KiB
Current children cumulated memory: 224948 KiB

[startup+222.3 s]
/proc/loadavg: 4.23 4.15 4.16 5/243 970864
/proc/meminfo: memFree=123829260/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=361644 memory=296960 CPUtime=221.52 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 68036 0 0 0 22130 22 0 0 20 0 1 0 185848578 370323456 74240 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 90411 74240 3998 3540 0 78668 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 361644 KiB
Current children cumulated memory: 296960 KiB

[startup+282.3 s]
/proc/loadavg: 4.74 4.32 4.22 5/243 970875
/proc/meminfo: memFree=123661572/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=370320 memory=312828 CPUtime=281.32 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 70326 0 0 0 28110 22 0 0 20 0 1 0 185848578 379207680 78207 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 92580 78207 3998 3540 0 80837 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 370320 KiB
Current children cumulated memory: 312828 KiB

[startup+342.3 s]
/proc/loadavg: 4.75 4.37 4.24 5/243 970885
/proc/meminfo: memFree=123528432/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=380184 memory=325928 CPUtime=341.18 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 72373 0 0 0 34096 22 0 0 20 0 1 0 185848578 389308416 81482 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 95046 81482 3998 3540 0 83303 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 380184 KiB
Current children cumulated memory: 325928 KiB

[startup+402.3 s]
/proc/loadavg: 4.74 4.45 4.28 5/243 970896
/proc/meminfo: memFree=123492944/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=391440 memory=334264 CPUtime=401.04 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 73583 0 0 0 40081 23 0 0 20 0 1 0 185848578 400834560 83566 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 97860 83566 3998 3540 0 86117 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 391440 KiB
Current children cumulated memory: 334264 KiB

[startup+462.3 s]
/proc/loadavg: 4.41 4.40 4.27 5/241 970908
/proc/meminfo: memFree=123468480/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=394500 memory=337296 CPUtime=460.89 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 74400 0 0 0 46066 23 0 0 20 0 1 0 185848578 403968000 84324 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 98625 84324 3998 3540 0 86882 0

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

/proc/loadavg: 4.10 4.11 4.15 5/244 972579
/proc/meminfo: memFree=123002540/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3154.35 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 97321 0 0 0 315406 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3154.35 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.12 4.15 5/244 972590
/proc/meminfo: memFree=123002524/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3214.21 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 97371 0 0 0 321392 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3214.21 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/244 972600
/proc/meminfo: memFree=123002104/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3274.08 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 97511 0 0 0 327379 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3274.08 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/243 972610
/proc/meminfo: memFree=123001908/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3333.94 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 97650 0 0 0 333365 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3333.94 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/243 972622
/proc/meminfo: memFree=123001628/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3393.81 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 97707 0 0 0 339352 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3393.81 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/241 972632
/proc/meminfo: memFree=123001388/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3453.67 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 97847 0 0 0 345338 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3453.67 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.13 5/241 972642
/proc/meminfo: memFree=123001108/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3513.53 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 97896 0 0 0 351324 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3513.53 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/243 972667
/proc/meminfo: memFree=122987628/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3573.4 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 97945 0 0 0 357311 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3573.4 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

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

# cumulated CPU time of all completed processes:  user=3587.89 s, system=0.300417 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.10 4.12 5/243 972667
/proc/meminfo: memFree=122987684/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3575.1 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 97945 0 0 0 357481 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3575.1 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.10 4.12 5/243 972668
/proc/meminfo: memFree=122987728/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3581.48 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 97991 0 0 0 358119 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3581.48 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.09 4.12 5/243 972668
/proc/meminfo: memFree=122987720/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3584.67 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 97992 0 0 0 358438 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3584.67 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.09 4.12 5/243 972668
/proc/meminfo: memFree=122987756/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3586.27 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 97992 0 0 0 358598 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3586.27 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.09 4.12 5/243 972670
/proc/meminfo: memFree=122987700/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3587.08 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 97992 0 0 0 358679 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3587.08 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.09 4.12 5/243 972670
/proc/meminfo: memFree=122987700/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3587.86 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 97992 0 0 0 358757 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3587.86 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

[startup+3597 s]*
/proc/loadavg: 4.09 4.09 4.12 5/243 972670
/proc/meminfo: memFree=122987700/131655788 swapFree=131071996/131071996
[pid=970730] ppid=970727 vsize=475784 memory=422628 CPUtime=3588.07 cores=4,6
/proc/970730/stat : 970730 (pbscip) R 970727 970730 966724 0 -1 4194304 98044 0 0 0 358778 29 0 0 20 0 1 0 185848578 487202816 105657 134679101440 4194304 18693293 140721839192208 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 45322240 140721839195139 140721839195238 140721839195238 140721839202254 0
/proc/970730/statm: 118946 105657 4204 3540 0 107203 0
Current children cumulated CPU time: 3588.07 s
Current children cumulated vsize: 475784 KiB
Current children cumulated memory: 422628 KiB

Child status: 0

Real time (s): 3597.12
CPU time (s): 3588.19
CPU user time (s): 3587.89
CPU system time (s): 0.300417
CPU usage (%): 99.7516
Max. virtual memory (cumulated for all children) (KiB): 475784
Max. memory (cumulated for all children) (KiB): 422628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.89
system time used= 0.300417
maximum resident set size= 422628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98094
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= 56
involuntary context switches= 2052


# summary of solver processes directly reported to runsolver:
#   pid: 970730
#   total CPU time (s): 3588.19
#   total CPU user time (s): 3587.89
#   total CPU system time (s): 0.300417

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4223 second user time and 33.6783 second system time

The end

Launcher Data

Begin job on nodeC010 at 2024-07-18 23:08:25
IDJOB=4446825
IDBENCH=158320
IDSOLVER=3059
FILE ID=nodeC010/4446825-1721336894
RUNJOBID= nodeC010-1721329708-966735
SLURM_JOB_ID= 7542700
Free space on /tmp= 723724 MiB

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

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

MD5SUM BENCH= 89642dc5a75d3fc73d0ef8fe6dbde459
RANDOM SEED=284713794

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123944056 kB
MemAvailable:   128890320 kB
Buffers:          508140 kB
Cached:          5218688 kB
SwapCached:            0 kB
Active:          1017560 kB
Inactive:        6016000 kB
Active(anon):       1440 kB
Inactive(anon):  1343028 kB
Active(file):    1016120 kB
Inactive(file):  4672972 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             40112 kB
Writeback:             0 kB
AnonPages:       1304992 kB
Mapped:           138792 kB
Shmem:             37704 kB
KReclaimable:     194408 kB
Slab:             309680 kB
SReclaimable:     194408 kB
SUnreclaim:       115272 kB
KernelStack:        3872 kB
PageTables:        12028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1692804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58752 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1101824 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      295752 kB
DirectMap2M:    35260416 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 723704 MiB
End job on nodeC010 at 2024-07-19 00:08:22