Trace number 4450625

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? 3587.27 3597.06

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-9.opb
MD5SUMbf1757ad4e21f2473915004abf7b1376
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 variables4288
Total number of constraints9504
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)416
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4450625-1721415749.opb>
0.00/0.02	c original problem has 4288 variables (4288 bin, 0 int, 0 impl, 0 cont) and 9504 constraints
0.00/0.02	c problem read in 0.02
0.00/0.02	c No objective function, only one solution is needed.
0.00/0.04	c presolving:
0.00/0.05	c (round 1, fast)       593 del vars, 1004 del conss, 681 add conss, 520 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 321 clqs
0.00/0.06	c (round 2, fast)       890 del vars, 1724 del conss, 778 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 442 clqs
0.00/0.06	c (round 3, fast)       890 del vars, 1727 del conss, 800 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 465 clqs
0.00/0.07	c    (0.1s) running MILP presolver
0.00/0.09	c    (0.1s) MILP presolver (4 rounds): 63 aggregations, 2 fixings, 0 bound changes
0.00/0.09	c (round 4, medium)     955 del vars, 1727 del conss, 800 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 336 clqs
0.00/0.09	c (round 5, fast)       955 del vars, 1813 del conss, 857 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 356 clqs
0.00/0.10	c (round 6, exhaustive) 955 del vars, 2508 del conss, 857 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 356 clqs
0.10/0.12	c (round 7, exhaustive) 955 del vars, 2508 del conss, 857 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 6455 upgd conss, 0 impls, 356 clqs
0.10/0.13	c (round 8, exhaustive) 955 del vars, 2604 del conss, 889 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 6455 upgd conss, 0 impls, 356 clqs
0.10/0.15	c (round 9, exhaustive) 955 del vars, 2604 del conss, 889 add conss, 679 chg bounds, 60 chg sides, 0 chg coeffs, 6455 upgd conss, 0 impls, 356 clqs
0.10/0.16	c (round 10, exhaustive) 955 del vars, 2604 del conss, 889 add conss, 679 chg bounds, 60 chg sides, 0 chg coeffs, 6512 upgd conss, 0 impls, 356 clqs
0.19/0.28	c    (0.3s) probing: 1000/3388 (29.5%) - 0 fixings, 1 aggregations, 316 implications, 0 bound changes
0.19/0.29	c    (0.3s) probing: 1107/3388 (32.7%) - 0 fixings, 1 aggregations, 332 implications, 0 bound changes
0.19/0.29	c    (0.3s) probing aborted: 50/50 successive totally useless probings
0.19/0.29	c    (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.29/0.31	c    (0.3s) no symmetry present (symcode time: 0.00)
0.29/0.32	c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.29/0.32	c  956 deleted vars, 2604 deleted constraints, 889 added constraints, 679 tightened bounds, 0 added holes, 60 changed sides, 33 changed coefficients
0.29/0.32	c  0 implications, 682 cliques
0.29/0.32	c presolved problem has 3387 variables (3387 bin, 0 int, 0 impl, 0 cont) and 7789 constraints
0.29/0.32	c      32 constraints of type <and>
0.29/0.32	c    1341 constraints of type <linear>
0.29/0.32	c    6416 constraints of type <logicor>
0.29/0.32	c transformed objective value is always integral (scale: 1)
0.29/0.32	c Presolving Time: 0.28
0.29/0.32	c - non default parameters ----------------------------------------------------------------------
0.29/0.32	c # SCIP version 10.0.0
0.29/0.32	c 
0.29/0.32	c # maximal time in seconds to run
0.29/0.32	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.29/0.32	c limits/time = 3596.997011
0.29/0.32	c 
0.29/0.32	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.32	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.29/0.32	c limits/memory = 27900
0.29/0.32	c 
0.29/0.32	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.29/0.32	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.29/0.32	c limits/solutions = 1
0.29/0.32	c 
0.29/0.32	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.
0.29/0.32	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.29/0.32	c misc/usesymmetry = 3
0.29/0.32	c 
0.29/0.32	c # belongs reading time to solving time?
0.29/0.32	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32	c timing/reading = TRUE
0.29/0.32	c 
0.29/0.32	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.29/0.32	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.32	c propagating/symmetry/detectdoublelex = FALSE
0.29/0.32	c 
0.29/0.32	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.29/0.32	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.32	c propagating/symmetry/detectsubgroups = FALSE
0.29/0.32	c 
0.29/0.32	c # Type of symmetries that shall be computed?
0.29/0.32	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.29/0.32	c propagating/symmetry/symtype = 1
0.29/0.32	c 
0.29/0.32	c # Should components consisting of a single full reflection be handled?
0.29/0.32	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.32	c propagating/symmetry/usesimplesgncomp = FALSE
0.29/0.32	c 
0.29/0.32	c -----------------------------------------------------------------------------------------------
0.29/0.32	c start solving
0.29/0.32	c 
0.39/0.44	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.39/0.44	c   0.4s|     1 |     0 |   946 |     - |    62M |   0 |3387 |7863 |7821 |   0 |  0 |  73 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.89/0.94	c   0.9s|     1 |     0 |  2742 |     - |    67M |   0 |3387 |7863 |8105 | 284 |  1 |  73 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1.99/2.10	c   2.1s|     1 |     0 |  4903 |     - |    71M |   0 |3387 |7863 |8392 | 571 |  2 |  74 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.88/3.99	c   4.0s|     1 |     0 |  8084 |     - |    74M |   0 |3387 |7864 |8682 | 861 |  3 |  75 |   0 | 0.000000e+00 |      --      |    Inf | unknown
5.98/6.02	c   6.0s|     1 |     0 | 11344 |     - |    76M |   0 |3387 |7864 |8972 |1151 |  4 |  75 |   0 | 0.000000e+00 |      --      |    Inf | unknown
7.87/7.91	c   7.9s|     1 |     0 | 14113 |     - |    78M |   0 |3387 |7864 |9163 |1342 |  5 |  75 |   0 | 0.000000e+00 |      --      |    Inf | unknown
9.97/10.10	c  10.1s|     1 |     0 | 17362 |     - |    82M |   0 |3387 |7864 |9438 |1617 |  6 |  75 |   0 | 0.000000e+00 |      --      |    Inf | unknown
13.06/13.20	c  13.2s|     1 |     0 | 22589 |     - |    83M |   0 |3387 |7865 |9708 |1887 |  7 |  76 |   0 | 0.000000e+00 |      --      |    Inf | unknown
16.25/16.36	c  16.4s|     1 |     0 | 27471 |     - |    86M |   0 |3387 |7866 |9985 |2164 |  8 |  77 |   0 | 0.000000e+00 |      --      |    Inf | unknown
19.44/19.53	c  19.5s|     1 |     0 | 31800 |     - |    89M |   0 |3387 |7866 |  10k|2393 |  9 |  77 |   0 | 0.000000e+00 |      --      |    Inf | unknown
22.93/23.03	c  23.0s|     1 |     0 | 36565 |     - |    91M |   0 |3387 |7865 |  10k|2520 | 10 |  77 |   0 | 0.000000e+00 |      --      |    Inf | unknown
25.32/25.45	c  25.4s|     1 |     0 | 41321 |     - |    92M |   0 |3387 |7865 |  10k|2627 | 11 |  77 |   0 | 0.000000e+00 |      --      |    Inf | unknown
39.59/39.73	c  39.7s|     1 |     2 | 50813 |     - |    92M |   0 |3387 |7857 |  10k|2627 | 11 |  77 |  11 | 0.000000e+00 |      --      |    Inf | unknown
354.78/355.73	c   356s|   100 |   101 |321335 |2828.4 |    94M |  15 |3387 |7853 |8003 |4436 |  1 | 116 |  11 | 0.000000e+00 |      --      |    Inf | unknown
378.13/379.10	c   379s|   200 |   201 |362788 |1615.4 |    95M |  17 |3387 |7854 |8083 |4848 |  2 | 120 |  11 | 0.000000e+00 |      --      |    Inf | unknown
446.84/448.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
446.84/448.08	c   448s|   300 |   301 |522477 |1609.2 |    96M |  23 |3387 |7866 |8308 |8851 |  1 | 142 |  11 | 0.000000e+00 |      --      |    Inf | unknown
487.24/488.57	c   489s|   400 |   401 |597539 |1394.0 |    96M |  23 |3387 |7871 |8086 |  11k|  1 | 156 |  11 | 0.000000e+00 |      --      |    Inf | unknown
522.45/523.84	c   524s|   500 |   501 |666011 |1251.9 |    96M |  23 |3387 |7894 |8156 |  13k|  1 | 183 |  11 | 0.000000e+00 |      --      |    Inf | unknown
548.48/549.99	c   550s|   600 |   601 |718494 |1130.5 |    97M |  27 |3387 |7904 |8163 |  14k|  1 | 194 |  11 | 0.000000e+00 |      --      |    Inf | unknown
562.24/563.76	c   564s|   700 |   701 |748574 |1011.8 |    98M |  27 |3387 |7905 |8159 |  15k|  1 | 196 |  11 | 0.000000e+00 |      --      |    Inf | unknown
577.70/579.24	c   579s|   800 |   801 |780162 | 924.7 |    98M |  27 |3387 |7914 |8102 |  16k|  1 | 209 |  11 | 0.000000e+00 |      --      |    Inf | unknown
626.36/628.01	c   628s|   900 |   901 |887637 | 941.4 |    98M |  27 |3387 |7905 |8161 |  18k|  1 | 212 |  11 | 0.000000e+00 |      --      |    Inf | unknown
641.72/643.42	c   643s|  1000 |  1001 |919750 | 879.3 |    98M |  27 |3387 |7896 |8156 |  19k|  1 | 213 |  11 | 0.000000e+00 |      --      |    Inf | unknown
652.08/653.88	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
652.08/653.88	c (run 1, node 1049) performing user restart
652.08/653.88	c 
652.08/653.88	c (restart) converted 861 cuts from the global cut pool into linear constraints
652.08/653.88	c 
652.08/653.89	c presolving:
652.19/653.90	c (round 1, fast)       0 del vars, 3 del conss, 621 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 691 clqs
652.19/653.91	c (round 2, exhaustive) 0 del vars, 46 del conss, 621 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 691 clqs
652.19/653.92	c (round 3, exhaustive) 0 del vars, 46 del conss, 621 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 1393 upgd conss, 0 impls, 691 clqs
652.19/653.92	c (round 4, fast)       0 del vars, 578 del conss, 621 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 1393 upgd conss, 0 impls, 691 clqs
652.19/653.93	c (round 5, exhaustive) 0 del vars, 580 del conss, 624 add conss, 0 chg bounds, 47 chg sides, 3 chg coeffs, 1393 upgd conss, 0 impls, 691 clqs
652.19/653.94	c (round 6, exhaustive) 0 del vars, 580 del conss, 624 add conss, 0 chg bounds, 47 chg sides, 3 chg coeffs, 1439 upgd conss, 0 impls, 691 clqs
652.19/653.94	c (round 7, fast)       0 del vars, 626 del conss, 624 add conss, 0 chg bounds, 47 chg sides, 3 chg coeffs, 1439 upgd conss, 0 impls, 691 clqs
652.19/653.96	c presolving (8 rounds: 8 fast, 5 medium, 5 exhaustive):
652.19/653.96	c  0 deleted vars, 627 deleted constraints, 624 added constraints, 0 tightened bounds, 0 added holes, 47 changed sides, 4 changed coefficients
652.19/653.96	c  0 implications, 691 cliques
652.19/653.96	c presolved problem has 3387 variables (3387 bin, 0 int, 0 impl, 0 cont) and 8750 constraints
652.19/653.96	c      60 constraints of type <knapsack>
652.19/653.96	c     120 constraints of type <setppc>
652.19/653.96	c      32 constraints of type <and>
652.19/653.96	c    1345 constraints of type <linear>
652.19/653.96	c    7193 constraints of type <logicor>
652.19/653.96	c transformed objective value is always integral (scale: 1)
652.19/653.96	c Presolving Time: 0.35
652.19/653.96	c 
652.39/654.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
652.39/654.18	c   654s|     1 |     0 |941736 |     - |    97M |   0 |3387 |8750 |8683 |   0 |  0 | 214 |  11 | 0.000000e+00 |      --      |    Inf | unknown
654.59/656.38	c   656s|     1 |     0 |945712 |     - |    99M |   0 |3387 |8750 |8973 | 290 |  1 | 214 |  11 | 0.000000e+00 |      --      |    Inf | unknown
657.48/659.23	c   659s|     1 |     0 |950512 |     - |   100M |   0 |3387 |8750 |9252 | 569 |  2 | 214 |  11 | 0.000000e+00 |      --      |    Inf | unknown
660.47/662.27	c   662s|     1 |     0 |955549 |     - |   102M |   0 |3387 |8750 |9543 | 860 |  3 | 214 |  11 | 0.000000e+00 |      --      |    Inf | unknown
663.27/665.10	c   665s|     1 |     0 |959996 |     - |   103M |   0 |3387 |8750 |9811 |1128 |  4 | 214 |  11 | 0.000000e+00 |      --      |    Inf | unknown
666.65/668.49	c   668s|     1 |     0 |965080 |     - |   104M |   0 |3387 |8751 |  10k|1400 |  5 | 215 |  11 | 0.000000e+00 |      --      |    Inf | unknown
669.94/671.78	c   672s|     1 |     0 |969690 |     - |   105M |   0 |3387 |8751 |  10k|1558 |  6 | 215 |  11 | 0.000000e+00 |      --      |    Inf | unknown
672.84/674.66	c   675s|     1 |     0 |973603 |     - |   106M |   0 |3387 |8751 |  10k|1683 |  7 | 215 |  11 | 0.000000e+00 |      --      |    Inf | unknown
677.03/678.81	c   679s|     1 |     0 |979535 |     - |   107M |   0 |3387 |8751 |  10k|1892 |  8 | 215 |  11 | 0.000000e+00 |      --      |    Inf | unknown
680.72/682.50	c   683s|     1 |     0 |984690 |     - |   109M |   0 |3387 |8751 |  10k|2054 |  9 | 215 |  11 | 0.000000e+00 |      --      |    Inf | unknown
684.31/686.12	c   686s|     1 |     0 |989463 |     - |   110M |   0 |3387 |8752 |  10k|2153 | 10 | 216 |  11 | 0.000000e+00 |      --      |    Inf | unknown
686.40/688.29	c   688s|     1 |     0 |993488 |     - |   112M |   0 |3387 |8752 |  10k|2242 | 11 | 216 |  11 | 0.000000e+00 |      --      |    Inf | unknown
694.48/696.30	c   696s|     1 |     2 |993704 |     - |   112M |   0 |3387 |8755 |  10k|2242 | 11 | 219 |  22 | 0.000000e+00 |      --      |    Inf | unknown
766.49/768.55	c   769s|   100 |   101 |  1131k| 903.0 |   113M |  33 |3387 |8790 |8434 |5220 |  1 | 256 |  22 | 0.000000e+00 |      --      |    Inf | unknown
802.49/804.69	c   805s|   200 |   201 |  1207k| 891.7 |   116M |  44 |3387 |8815 |8582 |8550 |  2 | 283 |  22 | 0.000000e+00 |      --      |    Inf | unknown
844.18/846.45	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
844.18/846.45	c   846s|   300 |   301 |  1299k| 894.1 |   117M |  55 |3387 |8820 |8671 |  11k|  1 | 293 |  22 | 0.000000e+00 |      --      |    Inf | unknown
869.81/872.16	c   872s|   400 |   397 |  1356k| 871.2 |   118M |  55 |3387 |8849 |8572 |  13k|  2 | 322 |  22 | 0.000000e+00 |      --      |    Inf | unknown
888.45/890.80	c   891s|   500 |   487 |  1404k| 846.0 |   118M |  65 |3387 |8848 |   0 |  15k|  0 | 325 |  22 | 0.000000e+00 |      --      |    Inf | unknown
900.02/902.45	c   902s|   600 |   587 |  1427k| 808.5 |   118M | 144 |3387 |8855 |8823 |  15k|  1 | 333 |  22 | 0.000000e+00 |      --      |    Inf | unknown
910.79/913.25	c   913s|   700 |   681 |  1461k| 782.1 |   124M | 166 |3387 |8868 |8948 |  16k|  1 | 346 |  22 | 0.000000e+00 |      --      |    Inf | unknown
940.90/943.44	c   943s|   800 |   773 |  1549k| 787.3 |   134M | 167 |3387 |8883 |9069 |  18k|  1 | 361 |  22 | 0.000000e+00 |      --      |    Inf | unknown
952.48/955.01	c   955s|   900 |   871 |  1586k| 766.0 |   138M | 172 |3387 |8895 |8966 |  20k|  2 | 374 |  22 | 0.000000e+00 |      --      |    Inf | unknown
983.09/985.76	c   986s|  1000 |   969 |  1669k| 769.0 |   143M | 172 |3387 |8901 |8820 |  22k|  1 | 380 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1003.34/1006.06	c  1006s|  1100 |  1061 |  1725k| 759.4 |   144M | 175 |3387 |8898 |8816 |  24k|  1 | 384 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1023.67/1026.41	c  1026s|  1200 |  1157 |  1781k| 750.5 |   146M | 175 |3387 |8913 |9086 |  26k|  1 | 405 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1048.41/1051.20	c  1051s|  1300 |  1253 |  1850k| 748.0 |   147M | 175 |3387 |8954 |8976 |  28k|  1 | 450 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1068.45/1071.31	c  1071s|  1400 |  1335 |  1909k| 741.5 |   148M | 176 |3387 |8988 |8820 |  30k|  1 | 487 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1091.78/1094.71	c  1095s|  1500 |  1427 |  1977k| 739.1 |   151M | 185 |3387 |8971 |9176 |  32k|  1 | 491 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1112.83/1115.81	c  1116s|  1600 |  1515 |  2047k| 737.6 |   151M | 188 |3387 |8971 |9159 |  33k|  1 | 494 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1135.56/1138.60	c  1139s|  1700 |  1597 |  2114k| 734.9 |   152M | 188 |3387 |9011 |8968 |  35k|  1 | 555 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1162.39/1165.57	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1162.39/1165.57	c  1166s|  1800 |  1693 |  2193k| 736.8 |   152M | 198 |3387 |9076 |9090 |  37k|  1 | 629 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1186.92/1190.15	c  1190s|  1900 |  1782 |  2263k| 735.6 |   153M | 198 |3387 |9061 |8818 |  38k|  1 | 665 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1206.56/1209.84	c  1210s|  2000 |  1882 |  2326k| 732.1 |   155M | 198 |3387 |9054 |9158 |  40k|  2 | 683 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1230.39/1233.71	c  1234s|  2100 |  1982 |  2401k| 732.7 |   157M | 198 |3387 |9062 |9020 |  42k|  2 | 709 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1379.00/1382.71	c  1383s|  2200 |  2076 |  2643k| 784.7 |   157M | 198 |3387 |9064 |8968 |  44k|  1 | 727 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1397.65/1401.48	c  1401s|  2300 |  2174 |  2696k| 777.3 |   157M | 198 |3387 |9062 |9131 |  46k|  2 | 748 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1423.68/1427.52	c  1428s|  2400 |  2274 |  2766k| 774.8 |   159M | 198 |3387 |9060 |9102 |  47k|  1 | 782 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1442.93/1446.88	c  1447s|  2500 |  2372 |  2822k| 768.9 |   159M | 198 |3387 |9078 |9061 |  49k|  1 | 822 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1463.37/1467.37	c  1467s|  2600 |  2470 |  2881k| 763.9 |   160M | 198 |3387 |9086 |8973 |  51k|  1 | 851 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1494.58/1498.68	c  1499s|  2700 |  2568 |  2969k| 767.1 |   161M | 198 |3387 |9051 |9106 |  53k|  1 | 863 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1515.83/1519.98	c  1520s|  2800 |  2666 |  3031k| 763.3 |   163M | 198 |3387 |9060 |8972 |  55k|  1 | 909 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1534.88/1539.06	c  1539s|  2900 |  2760 |  3089k| 758.6 |   163M | 198 |3387 |9058 |8976 |  57k|  1 | 937 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1555.52/1559.72	c  1560s|  3000 |  2860 |  3148k| 754.4 |   164M | 198 |3387 |9061 |8801 |  59k|  1 | 953 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1579.25/1583.50	c  1583s|  3100 |  2955 |  3214k| 752.2 |   164M | 198 |3387 |9029 |8973 |  61k|  1 | 970 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1605.98/1610.39	c  1610s|  3200 |  3053 |  3295k| 753.5 |   164M | 198 |3387 |9023 |8968 |  63k|  1 | 978 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1632.11/1636.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1632.11/1636.59	c  1637s|  3300 |  3149 |  3375k| 754.7 |   164M | 198 |3387 |9025 |8904 |  64k|  2 | 987 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1661.23/1665.70	c  1666s|  3400 |  3247 |  3462k| 757.2 |   166M | 198 |3387 |9039 |8953 |  66k|  2 |1012 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1681.17/1685.79	c  1686s|  3500 |  3345 |  3526k| 754.6 |   166M | 199 |3387 |9084 |8820 |  68k|  1 |1065 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1701.52/1706.11	c  1706s|  3600 |  3439 |  3585k| 751.0 |   168M | 199 |3387 |9103 |9101 |  70k|  1 |1096 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1725.06/1729.77	c  1730s|  3700 |  3535 |  3650k| 748.8 |   170M | 199 |3387 |9117 |9104 |  72k|  1 |1124 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1746.01/1750.70	c  1751s|  3800 |  3627 |  3711k| 746.0 |   171M | 199 |3387 |9108 |9171 |  74k|  1 |1152 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1766.15/1770.93	c  1771s|  3900 |  3723 |  3773k| 743.4 |   172M | 199 |3387 |9109 |9193 |  75k|  1 |1191 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1787.99/1792.86	c  1793s|  4000 |  3817 |  3837k| 741.5 |   173M | 199 |3387 |9115 |9205 |  77k|  1 |1210 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1811.23/1816.14	c  1816s|  4100 |  3913 |  3905k| 740.3 |   173M | 199 |3387 |9099 |9019 |  79k|  2 |1232 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1840.05/1845.05	c  1845s|  4200 |  4011 |  3989k| 742.1 |   173M | 199 |3387 |9072 |8818 |  81k|  1 |1244 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1858.30/1863.37	c  1863s|  4300 |  4107 |  4047k| 739.2 |   174M | 206 |3387 |9093 |9306 |  82k|  1 |1275 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1885.22/1890.38	c  1890s|  4400 |  4201 |  4124k| 739.8 |   175M | 207 |3387 |9117 |9216 |  84k|  1 |1316 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1912.95/1918.13	c  1918s|  4500 |  4299 |  4215k| 742.9 |   175M | 207 |3387 |9109 |9207 |  86k|  2 |1332 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1935.17/1940.42	c  1940s|  4600 |  4389 |  4279k| 740.9 |   176M | 207 |3387 |9118 |9250 |  87k|  1 |1357 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1964.07/1969.41	c  1969s|  4700 |  4484 |  4376k| 745.0 |   177M | 207 |3387 |9151 |8971 |  89k|  1 |1406 |  22 | 0.000000e+00 |      --      |    Inf | unknown
1991.27/1996.75	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1991.27/1996.75	c  1997s|  4800 |  4584 |  4455k| 745.7 |   180M | 207 |3387 |9145 |9113 |  91k|  1 |1425 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2009.51/2015.08	c  2015s|  4900 |  4684 |  4512k| 742.7 |   180M | 207 |3387 |9154 |9237 |  93k|  1 |1450 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2030.82/2036.41	c  2036s|  5000 |  4780 |  4574k| 740.7 |   181M | 209 |3387 |9136 |8963 |  94k|  2 |1469 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2051.75/2057.41	c  2057s|  5100 |  4878 |  4635k| 738.6 |   182M | 209 |3387 |9142 |9204 |  96k|  1 |1499 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2081.94/2087.79	c  2088s|  5200 |  4974 |  4731k| 742.2 |   183M | 209 |3387 |9148 |9158 |  98k|  1 |1513 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2107.35/2113.25	c  2113s|  5300 |  5072 |  4809k| 742.7 |   183M | 209 |3387 |9123 |9167 | 100k|  2 |1513 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2127.08/2133.06	c  2133s|  5400 |  5168 |  4871k| 740.8 |   183M | 209 |3387 |9107 |8972 | 101k|  1 |1519 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2144.51/2150.57	c  2151s|  5500 |  5266 |  4927k| 738.1 |   184M | 209 |3387 |9135 |9184 | 103k|  1 |1553 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2167.62/2173.76	c  2174s|  5600 |  5366 |  4996k| 737.4 |   184M | 209 |3387 |9135 |9044 | 104k|  1 |1564 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2191.34/2197.57	c  2198s|  5700 |  5466 |  5067k| 736.9 |   184M | 209 |3387 |9156 |9104 | 106k|  1 |1599 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2216.15/2222.46	c  2222s|  5800 |  5566 |  5151k| 738.4 |   186M | 209 |3387 |9169 |9088 | 108k|  1 |1622 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2241.48/2247.87	c  2248s|  5900 |  5660 |  5228k| 738.9 |   188M | 209 |3387 |9160 |9098 | 110k|  1 |1625 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2271.50/2277.90	c  2278s|  6000 |  5760 |  5315k| 740.7 |   188M | 209 |3387 |9140 |8966 | 112k|  1 |1639 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2292.34/2298.81	c  2299s|  6100 |  5854 |  5375k| 738.7 |   189M | 209 |3387 |9118 |9310 | 114k|  2 |1649 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2310.49/2317.08	c  2317s|  6200 |  5950 |  5432k| 736.5 |   192M | 210 |3387 |9114 |8985 | 116k|  1 |1667 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2328.93/2335.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2328.93/2335.58	c  2336s|  6300 |  6044 |  5491k| 734.4 |   192M | 210 |3387 |9118 |9115 | 118k|  1 |1679 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2363.83/2370.58	c  2371s|  6400 |  6138 |  5609k| 740.4 |   194M | 210 |3387 |9126 |9266 | 119k|  1 |1697 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2386.28/2393.03	c  2393s|  6500 |  6220 |  5680k| 740.0 |   194M | 210 |3387 |9155 |9120 | 121k|  2 |1730 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2406.22/2413.04	c  2413s|  6600 |  6312 |  5743k| 738.6 |   195M | 210 |3387 |9148 |9319 | 123k|  1 |1730 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2431.75/2438.65	c  2439s|  6700 |  6402 |  5824k| 739.5 |   196M | 210 |3387 |9174 |9093 | 124k|  1 |1766 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2449.51/2456.46	c  2456s|  6800 |  6492 |  5882k| 737.5 |   196M | 210 |3387 |9175 |   0 | 126k|  0 |1775 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2468.46/2475.40	c  2475s|  6900 |  6588 |  5938k| 735.3 |   196M | 210 |3387 |9198 |9278 | 127k|  1 |1815 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2496.18/2503.25	c  2503s|  7000 |  6680 |  6026k| 737.0 |   197M | 210 |3387 |9221 |9200 | 129k|  1 |1851 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2513.94/2521.09	c  2521s|  7100 |  6776 |  6080k| 734.6 |   198M | 210 |3387 |9218 |9298 | 131k|  1 |1854 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2534.08/2541.20	c  2541s|  7200 |  6868 |  6143k| 733.3 |   199M | 210 |3387 |9221 |9290 | 132k|  2 |1862 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2553.93/2561.16	c  2561s|  7300 |  6950 |  6203k| 731.8 |   199M | 210 |3387 |9245 |9164 | 133k|  1 |1901 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2577.36/2584.62	c  2585s|  7400 |  7038 |  6277k| 731.9 |   200M | 210 |3387 |9268 |9104 | 135k|  1 |1933 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2598.20/2605.56	c  2606s|  7500 |  7127 |  6345k| 731.2 |   200M | 221 |3387 |9269 |9263 | 136k|  2 |1952 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2617.54/2624.98	c  2625s|  7600 |  7225 |  6402k| 729.4 |   202M | 221 |3387 |9252 |9224 | 138k|  1 |1957 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2638.99/2646.40	c  2646s|  7700 |  7318 |  6466k| 728.4 |   203M | 221 |3387 |9275 |9221 | 140k|  1 |1997 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2667.91/2675.49	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2667.91/2675.49	c  2675s|  7800 |  7410 |  6547k| 729.3 |   205M | 221 |3387 |9266 |   0 | 142k|  0 |2022 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2690.66/2698.21	c  2698s|  7900 |  7506 |  6615k| 728.8 |   205M | 221 |3387 |9231 |9092 | 144k|  2 |2027 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2712.90/2720.53	c  2721s|  8000 |  7606 |  6689k| 728.9 |   208M | 221 |3387 |9241 |9114 | 145k|  1 |2058 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2732.36/2740.02	c  2740s|  8100 |  7692 |  6751k| 727.6 |   208M | 221 |3387 |9254 |9301 | 147k|  1 |2101 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2758.19/2765.99	c  2766s|  8200 |  7790 |  6832k| 728.6 |   215M | 221 |3387 |9288 |9358 | 148k|  1 |2149 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2783.93/2791.76	c  2792s|  8300 |  7888 |  6918k| 730.0 |   216M | 221 |3387 |9265 |9314 | 150k|  2 |2155 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2798.39/2806.29	c  2806s|  8400 |  7986 |  6970k| 727.7 |   218M | 221 |3387 |9268 |8982 | 151k|  1 |2183 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2820.34/2828.20	c  2828s|  8500 |  8082 |  7043k| 727.8 |   218M | 221 |3387 |9241 |9111 | 153k|  1 |2198 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2840.29/2848.27	c  2848s|  8600 |  8180 |  7106k| 726.7 |   218M | 221 |3387 |9258 |9176 | 155k|  1 |2226 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2866.32/2874.32	c  2874s|  8700 |  8276 |  7192k| 728.1 |   218M | 221 |3387 |9253 |9110 | 156k|  1 |2232 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2886.57/2894.60	c  2895s|  8800 |  8376 |  7257k| 727.3 |   219M | 221 |3387 |9276 |9370 | 158k|  1 |2264 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2903.73/2911.85	c  2912s|  8900 |  8476 |  7310k| 725.3 |   219M | 221 |3387 |9264 |9354 | 159k|  1 |2269 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2932.55/2940.77	c  2941s|  9000 |  8573 |  7406k| 727.7 |   220M | 221 |3387 |9282 |9261 | 161k|  2 |2314 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2955.59/2963.80	c  2964s|  9100 |  8669 |  7479k| 727.7 |   221M | 221 |3387 |9256 |9099 | 162k|  1 |2317 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2977.44/2985.77	c  2986s|  9200 |  8769 |  7549k| 727.4 |   222M | 221 |3387 |9273 |9357 | 164k|  1 |2354 |  22 | 0.000000e+00 |      --      |    Inf | unknown
2998.58/3006.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2998.58/3006.96	c  3007s|  9300 |  8869 |  7619k| 727.2 |   223M | 221 |3387 |9288 |9177 | 165k|  1 |2385 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3017.93/3026.38	c  3026s|  9400 |  8969 |  7677k| 725.8 |   223M | 221 |3387 |9276 |9222 | 167k|  1 |2390 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3040.28/3048.71	c  3049s|  9500 |  9069 |  7743k| 725.1 |   223M | 221 |3387 |9299 |9039 | 169k|  1 |2429 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3067.21/3075.74	c  3076s|  9600 |  9167 |  7817k| 725.2 |   223M | 221 |3387 |9279 |9359 | 170k|  1 |2440 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3094.24/3102.85	c  3103s|  9700 |  9259 |  7903k| 726.5 |   223M | 221 |3387 |9279 |8977 | 172k|  2 |2469 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3129.16/3137.83	c  3138s|  9800 |  9357 |  8006k| 729.4 |   223M | 221 |3387 |9275 |9104 | 173k|  1 |2492 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3150.90/3159.69	c  3160s|  9900 |  9454 |  8090k| 730.3 |   223M | 221 |3387 |9259 |9213 | 175k|  1 |2496 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3178.53/3187.36	c  3187s| 10000 |  9554 |  8182k| 732.0 |   225M | 221 |3387 |9275 |9288 | 177k|  1 |2537 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3199.08/3207.94	c  3208s| 10100 |  9644 |  8243k| 731.0 |   226M | 221 |3387 |9268 |8818 | 178k|  1 |2544 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3219.43/3228.30	c  3228s| 10200 |  9728 |  8307k| 730.2 |   227M | 221 |3387 |9272 |9131 | 180k|  1 |2558 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3238.48/3247.47	c  3247s| 10300 |  9822 |  8364k| 728.7 |   227M | 221 |3387 |9271 |9159 | 182k|  2 |2568 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3256.64/3265.62	c  3266s| 10400 |  9922 |  8417k| 727.0 |   227M | 221 |3387 |9299 |9041 | 183k|  1 |2612 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3278.48/3287.52	c  3288s| 10500 | 10020 |  8479k| 726.1 |   228M | 221 |3387 |9302 |9174 | 185k|  1 |2634 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3301.52/3310.69	c  3311s| 10600 | 10118 |  8551k| 726.0 |   229M | 221 |3387 |9304 |9271 | 187k|  1 |2656 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3320.58/3329.78	c  3330s| 10700 | 10212 |  8610k| 724.9 |   229M | 221 |3387 |9304 |9119 | 188k|  1 |2672 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3339.83/3349.03	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3339.83/3349.03	c  3349s| 10800 | 10308 |  8673k| 724.1 |   230M | 221 |3387 |9302 |9310 | 190k|  1 |2700 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3366.76/3376.06	c  3376s| 10900 | 10404 |  8754k| 724.8 |   231M | 221 |3387 |9300 |8965 | 192k|  2 |2725 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3392.19/3401.57	c  3402s| 11000 | 10502 |  8829k| 725.0 |   234M | 221 |3387 |9318 |9131 | 194k|  1 |2762 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3414.64/3424.04	c  3424s| 11100 | 10600 |  8889k| 724.0 |   234M | 221 |3387 |9302 |9368 | 195k|  1 |2770 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3434.69/3444.13	c  3444s| 11200 | 10696 |  8949k| 723.0 |   234M | 221 |3387 |9293 |9290 | 197k|  1 |2774 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3459.12/3468.69	c  3469s| 11300 | 10794 |  9026k| 723.3 |   234M | 221 |3387 |9304 |9110 | 199k|  1 |2810 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3487.86/3497.41	c  3497s| 11400 | 10890 |  9106k| 724.0 |   235M | 221 |3387 |9298 |9392 | 200k|  2 |2820 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3509.20/3518.89	c  3519s| 11500 | 10986 |  9175k| 723.7 |   236M | 221 |3387 |9284 |9227 | 202k|  1 |2820 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3530.65/3540.35	c  3540s| 11600 | 11080 |  9254k| 724.2 |   237M | 221 |3387 |9322 |9316 | 204k|  1 |2863 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3554.79/3564.50	c  3564s| 11700 | 11176 |  9326k| 724.2 |   237M | 221 |3387 |9344 |9159 | 205k|  1 |2905 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3573.54/3583.30	c  3583s| 11800 | 11267 |  9386k| 723.2 |   239M | 221 |3387 |9336 |9020 | 207k|  2 |2915 |  22 | 0.000000e+00 |      --      |    Inf | unknown
3587.10/3597.00	c 
3587.10/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.10/3597.00	c Solving Time (sec) : 3597.00
3587.10/3597.00	c Solving Nodes      : 11868 (total of 12917 nodes in 2 runs)
3587.10/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.10/3597.00	c Dual Bound         : +0.00000000000000e+00
3587.10/3597.00	c Gap                : infinite
3587.10/3597.00	s UNKNOWN
3587.10/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.10/3597.00	c Total Time         :    3597.00
3587.10/3597.00	c   solving          :    3597.00
3587.10/3597.00	c   presolving       :       0.35 (included in solving)
3587.10/3597.00	c   reading          :       0.02 (included in solving)
3587.10/3597.00	c   copying          :       0.38 (27 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3587.10/3597.00	c Original Problem   :
3587.10/3597.00	c   Problem name     : HOME/instance-4450625-1721415749.opb
3587.10/3597.00	c   Variables        : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.10/3597.00	c   Constraints      : 9504 initial, 9504 maximal
3587.10/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.10/3597.00	c Presolved Problem  :
3587.10/3597.00	c   Problem name     : t_HOME/instance-4450625-1721415749.opb
3587.10/3597.00	c   Variables        : 3387 (3387 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.10/3597.00	c   Constraints      : 8750 initial, 9375 maximal
3587.10/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.10/3597.00	c   Nonzeros         : 41028 constraint, 1390 clique table
3587.10/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.10/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   domcol           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   gateextraction   :       0.01       0.00      4          0          0          0          0          0         96         32          0          0
3587.10/3597.00	c   implics          :       0.00       0.00     12          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   milp             :       0.03       0.00      1          2         63          0          0          0          0          0          0          0
3587.10/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   trivial          :       0.00       0.00     19         55          0          0          0          0          0          0          0          0
3587.10/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   dualfix          :       0.00       0.00     19          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   probing          :       0.12       0.00      1          0          1          0          0          0          0          0          0          0
3587.10/3597.00	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   vbounds          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   knapsack         :       0.00       0.00     18          0          0          0          0          0          1          3          1          3
3587.10/3597.00	c   setppc           :       0.00       0.00     13          0          0          0          0          0          1          0          0          0
3587.10/3597.00	c   and              :       0.00       0.00     19          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   linear           :       0.09       0.00     29        679        101          0        679          0       2551       1478        106          0
3587.10/3597.00	c   logicor          :       0.05       0.01     23          0          0          0          0          0        582          0          0         34
3587.10/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   components       :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.10/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.10/3597.00	c   benderslp        :          0          0          0          0      12653          0          0       2018          0          0          0          0          0          0          0
3587.10/3597.00	c   integral         :          0          0          0          0      12653          0          0       2018          0          0          0          0          0          0      25306
3587.10/3597.00	c   knapsack         :         60+        67         11     348353          0          0          0          0        546         27       1739         85         12          0          0
3587.10/3597.00	c   setppc           :        120+       127         11     302751          0          0          0          0       1341         16       1550          0          0          0          0
3587.10/3597.00	c   and              :         32         32      12986     346040          0          0          0       2013       1080          2       1621        732        662          0          0
3587.10/3597.00	c   linear           :       1345+      1356         22     364902          0          0          0        204      46526       3381      69347          0          0          0          0
3587.10/3597.00	c   logicor          :       7193+      7808         22     229974          0          0          0          0      11513        216      17614          9          6          0          0
3587.10/3597.00	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.10/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.10/3597.00	c   benderslp        :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.10/3597.00	c   integral         :      19.00       0.00       0.00       0.00      19.00       0.00       0.00       0.00       0.00       0.00
3587.10/3597.00	c   knapsack         :       0.10       0.00       0.00       0.10       0.00       0.00       0.00       0.00       0.00       0.00
3587.10/3597.00	c   setppc           :       0.03       0.00       0.00       0.03       0.00       0.00       0.00       0.00       0.00       0.00
3587.10/3597.00	c   and              :       0.14       0.00       0.05       0.07       0.00       0.00       0.00       0.01       0.00       0.00
3587.10/3597.00	c   linear           :       1.34       0.00       0.00       1.30       0.00       0.00       0.00       0.00       0.03       0.00
3587.21/3597.00	c   logicor          :       1.16       0.01       0.02       1.13       0.00       0.00       0.00       0.00       0.01       0.00
3587.21/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.21/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.21/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.21/3597.00	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3587.21/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.21/3597.00	c   dualfix          :          2          0          0          0
3587.21/3597.00	c   genvbounds       :          0          0          0          0
3587.21/3597.00	c   nlobbt           :          0          0          0          0
3587.21/3597.00	c   obbt             :          0          0          0          0
3587.21/3597.00	c   probing          :          0          0          0          0
3587.21/3597.00	c   pseudoobj        :          0          0          0          0
3587.21/3597.00	c   redcost          :          0          0          0          0
3587.21/3597.00	c   rootredcost      :          0          0          0          0
3587.21/3597.00	c   symmetry         :          0          0          0          0
3587.21/3597.00	c   vbounds          :      69864          0          0          0
3587.21/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.21/3597.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.21/3597.00	c   genvbounds       :       0.02       0.00       0.00       0.02       0.00       0.00
3587.21/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.21/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.21/3597.00	c   probing          :       0.12       0.00       0.12       0.00       0.00       0.00
3587.21/3597.00	c   pseudoobj        :       0.03       0.00       0.00       0.03       0.00       0.00
3587.21/3597.00	c   redcost          :       0.02       0.00       0.00       0.02       0.00       0.00
3587.21/3597.00	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3587.21/3597.00	c   symmetry         :       0.07       0.00       0.02       0.05       0.00       0.00
3587.21/3597.00	c   vbounds          :       0.09       0.00       0.00       0.09       0.00       0.00
3587.21/3597.00	c Symmetry           :
3587.21/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.21/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.21/3597.00	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.21/3597.00	c   shadow tree time :       0.00 s
3587.21/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.21/3597.00	c   propagation      :       0.11        525        524          -       6384      159.3        374        8.8          -          -          -
3587.21/3597.00	c   infeasible LP    :       0.10         67         65          -       2126      303.2         41        7.5         60      122.0          0
3587.21/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.21/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.21/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.21/3597.00	c   applied globally :       0.01          -          -          0       2907       50.4          -          -         60          -          -
3587.21/3597.00	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.21/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.21/3597.00	c   cut pool         :       1.33          -       2711         42          -          -      15914     802088          -          -          -          -          -    (maximal pool size:       5397)
3587.21/3597.00	c   aggregation      :       0.47       0.00         90         22          0          0      10302     428088        385     139071     138799        272          0
3587.21/3597.00	c   > cmir           :          -          -          -          -          -          -          -     178695          0      39421      39421          0          -
3587.21/3597.00	c   > flowcover      :          -          -          -          -          -          -          -     147331          0      55478      55478          0          -
3587.21/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -     102062        385      44172      43900        272          -
3587.21/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.21/3597.00	c   clique           :       0.03       0.00         22         22          0          0         10        146          0         49         49          0          0
3587.21/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.21/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.21/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.21/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.21/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.21/3597.00	c   gomory           :      16.70       0.00         89         20          0          0       4531     226980        142      17946      17930         16          0
3587.21/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -     106835         71      12775      12762         13          -
3587.21/3597.00	c   > strongcg       :          -          -          -          -          -          -          -     120145         71       5171       5168          3          -
3587.21/3597.00	c   impliedbounds    :       0.01       0.00         91         22          0          0        779      25969          0      12433      12433          0          0
3587.21/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.21/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.21/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.21/3597.00	c   mcf              :       0.01       0.00          2          2          0          0          0          0          0          0          0          0          0
3587.21/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.21/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.21/3597.00	c   multilinear      :       0.00       0.00        151         22          0          0          0          0          0          0          0          0          0
3587.21/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.21/3597.00	c   rapidlearning    :       2.59       0.00         23          2          0         20          0          0          0          0          0          0         22
3587.21/3597.00	c   rlt              :       1.30       0.00         76         20          0          0         18         27          3         10         10          0          0
3587.21/3597.00	c   zerohalf         :       1.47       0.00         86         22          0          0       1260     120878        457      57524      57109        415          0
3587.21/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.21/3597.00	c   hybrid           :       1.83       0.00       3207         22     227713          0     576188       4869          0       7693
3587.21/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.21/3597.00	c   problem variables:       0.00          -          0          0
3587.21/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.21/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c   relpscost        :      18.98       0.00      12653          0          0          0          0          0          0      25306
3587.21/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.21/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.21/3597.00	c   LP solutions     :       0.00          -          -          0          0
3587.21/3597.00	c   relax solutions  :       0.00          -          -          0          0
3587.21/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3587.21/3597.00	c   strong branching :       0.00          -          -          0          0
3587.21/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3587.21/3597.00	c   adaptivediving   :      28.20       0.00         15          0          0
3587.21/3597.00	c   alns             :       0.13       0.00          4          0          0
3587.21/3597.00	c   bound            :       0.00       0.00          0          0          0
3587.21/3597.00	c   clique           :       0.02       0.00          1          0          0
3587.21/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3587.21/3597.00	c   completesol      :       0.00       0.00          0          0          0
3587.21/3597.00	c   conflictdiving   :     368.49       0.00        229          0          0
3587.21/3597.00	c   crossover        :       0.00       0.00          0          0          0
3587.21/3597.00	c   dins             :       0.00       0.00          0          0          0
3587.21/3597.00	c   distributiondivin:     185.67       0.00         67          0          0
3587.21/3597.00	c   dps              :       0.00       0.00          0          0          0
3587.21/3597.00	c   dualval          :       0.00       0.00          0          0          0
3587.21/3597.00	c   farkasdiving     :       0.00       0.00          0          0          0
3587.21/3597.00	c   feasjump         :       0.03       0.00          2          0          0
3587.21/3597.00	c   feaspump         :      42.23       0.00         11          0          0
3587.21/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3587.21/3597.00	c   fracdiving       :     189.90       0.00         69          0          0
3587.21/3597.00	c   gins             :       0.00       0.00          0          0          0
3587.21/3597.00	c   guideddiving     :       0.00       0.00          0          0          0
3587.21/3597.00	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.21/3597.00	c   indicator        :       0.01       0.00          0          0          0
3587.21/3597.00	c   indicatordiving  :       0.00       0.00          0          0          0
3587.21/3597.00	c   indoneopt        :       0.00       0.00          0          0          0
3587.21/3597.00	c   indrounding      :       0.00       0.00          0          0          0
3587.21/3597.00	c   indtwoopt        :       0.00       0.00          0          0          0
3587.21/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3587.21/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3587.21/3597.00	c   linesearchdiving :     191.45       0.00         63          0          0
3587.21/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3587.21/3597.00	c   locks            :       0.04       0.00          1          0          0
3587.21/3597.00	c   lpface           :       0.05       0.00          0          0          0
3587.21/3597.00	c   mpec             :       0.00       0.00          0          0          0
3587.21/3597.00	c   multistart       :       0.00       0.00          0          0          0
3587.21/3597.00	c   mutation         :       0.00       0.00          0          0          0
3587.21/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3587.21/3597.00	c   objpscostdiving  :     335.58       0.00          2          0          0
3587.21/3597.00	c   octane           :       0.00       0.00          0          0          0
3587.21/3597.00	c   ofins            :       0.00       0.00          0          0          0
3587.21/3597.00	c   oneopt           :       0.01       0.00          0          0          0
3587.21/3597.00	c   padm             :       0.00       0.00          0          0          0
3587.21/3597.00	c   proximity        :       0.00       0.00          0          0          0
3587.21/3597.00	c   pscostdiving     :     207.58       0.00         37          0          0
3587.21/3597.00	c   randrounding     :       0.52       0.00       2028          0          0
3587.21/3597.00	c   rens             :       0.00       0.00          0          0          0
3587.21/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3587.21/3597.00	c   repair           :       0.00       0.00          0          0          0
3587.21/3597.00	c   rins             :       0.00       0.00          0          0          0
3587.21/3597.00	c   rootsoldiving    :      27.28       0.00         12          0          0
3587.21/3597.00	c   rounding         :       0.38       0.00       1736          0          0
3587.21/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3587.21/3597.00	c   shiftandpropagate:       0.04       0.00          2          0          0
3587.21/3597.00	c   shifting         :       1.04       0.00        818          0          0
3587.21/3597.00	c   simplerounding   :       0.01       0.00          0          0          0
3587.21/3597.00	c   smallcard        :       0.00       0.00          0          0          0
3587.21/3597.00	c   subnlp           :       0.01       0.00          0          0          0
3587.21/3597.00	c   trivial          :       0.00       0.00          4          0          0
3587.21/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3587.21/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3587.21/3597.00	c   trysol           :       0.00       0.00          0          0          0
3587.21/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3587.21/3597.00	c   undercover       :       0.00       0.00          1          0          0
3587.21/3597.00	c   vbounds          :       0.00       0.00          0          0          0
3587.21/3597.00	c   veclendiving     :     201.47       0.00        147          0          0
3587.21/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3587.21/3597.00	c   zirounding       :       0.25       0.00       1000          0          0
3587.21/3597.00	c   other solutions  :          -          -          -          0          -
3587.21/3597.00	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.21/3597.00	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
3587.21/3597.00	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
3587.21/3597.00	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
3587.21/3597.00	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
3587.21/3597.00	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
3587.21/3597.00	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
3587.21/3597.00	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
3587.21/3597.00	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
3587.21/3597.00	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
3587.21/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.21/3597.00	c   primal LP        :       1.54       1297          0       0.00       0.00       1.54       1297
3587.21/3597.00	c   dual LP          :    1747.95      15868    6162586     388.46    3525.62       0.01          4
3587.21/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3587.21/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.21/3597.00	c   resolve instable :       0.00          0          0       0.00          -
3587.21/3597.00	c   diving/probing LP:    1761.63       3613    3266197     904.01    1854.08
3587.21/3597.00	c   strong branching :      12.46         22      21343     970.14    1713.42          -          -         42
3587.21/3597.00	c     (at root node) :          -         22      21343     970.14          -
3587.21/3597.00	c   conflict analysis:       0.00          0          0       0.00          -
3587.21/3597.00	c B&B Tree           :
3587.21/3597.00	c   number of runs   :          2
3587.21/3597.00	c   nodes            :      11868 (11604 internal, 264 leaves)
3587.21/3597.00	c   feasible leaves  :          0
3587.21/3597.00	c   infeas. leaves   :        263
3587.21/3597.00	c   objective leaves :          0
3587.21/3597.00	c   nodes (total)    :      12917 (12653 internal, 264 leaves)
3587.21/3597.00	c   nodes left       :      11334
3587.21/3597.00	c   max depth        :        221
3587.21/3597.00	c   max depth (total):        221
3587.21/3597.00	c   backtracks       :        629 (5.3%)
3587.21/3597.00	c   early backtracks :          0 (0.0%)
3587.21/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3587.21/3597.00	c   delayed cutoffs  :          8
3587.21/3597.00	c   repropagations   :       1322 (404 domain reductions, 1 cutoffs)
3587.21/3597.00	c   avg switch length:       3.54
3587.21/3597.00	c   switching time   :       3.44
3587.21/3597.00	c Root Node          :
3587.21/3597.00	c   First LP value   : +0.00000000000000e+00
3587.21/3597.00	c   First LP Iters   :        946 (30070.89 Iter/sec)
3587.21/3597.00	c   First LP Time    :       0.03
3587.21/3597.00	c   Final Dual Bound : +0.00000000000000e+00
3587.21/3597.00	c   Final Root Iters :      94626
3587.21/3597.00	c   Root LP Estimate : +3.18231910585099e-01
3587.21/3597.00	c Solution           :
3587.21/3597.00	c   Solutions found  :          0 (0 improvements)
3587.21/3597.00	c   Primal Bound     :          -
3587.21/3597.00	c   Dual Bound       : +0.00000000000000e+00
3587.21/3597.00	c   Gap              :   infinite
3587.21/3597.00	c Integrals          :      Total       Avg%
3587.21/3597.00	c   primal-dual      :  359699.74     100.00
3587.21/3597.00	c   primal-ref       :          -          - (not evaluated)
3587.21/3597.00	c   dual-ref         :          -          - (not evaluated)
3587.21/3597.05	c Time complete: 3587.26.

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: 63968 MiB (61552 MiB free)
  memory of node 1: 64473 MiB (61854 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1028489, runsolver pid=1028486

[startup+0.107199 s]*
/proc/loadavg: 4.30 4.17 4.11 5/255 1028490
/proc/meminfo: memFree=126335460/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=87136 memory=47796 CPUtime=0.1 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 9926 0 0 0 9 1 0 0 20 0 1 0 193745790 89227264 11949 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 21784 11949 3761 3540 0 10041 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 87136 KiB
Current children cumulated memory: 47796 KiB

[startup+0.205967 s]*
/proc/loadavg: 4.30 4.17 4.11 5/255 1028490
/proc/meminfo: memFree=126330684/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=91908 memory=52868 CPUtime=0.19 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 11139 0 0 0 18 1 0 0 20 0 1 0 193745790 94113792 13217 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 22977 13217 3777 3540 0 11234 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 52868 KiB

[startup+0.305858 s]*
/proc/loadavg: 4.30 4.17 4.11 5/255 1028490
/proc/meminfo: memFree=126327184/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=100696 memory=57128 CPUtime=0.29 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 12197 0 0 0 28 1 0 0 20 0 1 0 193745790 103112704 14282 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 25174 14282 3793 3540 0 13431 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100696 KiB
Current children cumulated memory: 57128 KiB

[startup+0.70021 s]
/proc/loadavg: 4.30 4.17 4.11 5/255 1028490
/proc/meminfo: memFree=126302068/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=161828 memory=116664 CPUtime=0.69 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 27753 0 0 0 65 4 0 0 20 0 1 0 193745790 165711872 29166 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 40457 29166 4001 3540 0 28714 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 161828 KiB
Current children cumulated memory: 116664 KiB

[startup+1.50019 s]
/proc/loadavg: 4.30 4.17 4.11 5/255 1028490
/proc/meminfo: memFree=126270792/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=157644 memory=113120 CPUtime=1.49 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 27976 0 0 0 145 4 0 0 20 0 1 0 193745790 161427456 28280 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 39411 28280 4032 3540 0 27668 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 157644 KiB
Current children cumulated memory: 113120 KiB

[startup+3.10493 s]
/proc/loadavg: 4.30 4.17 4.11 5/255 1028490
/proc/meminfo: memFree=126270792/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=157644 memory=113120 CPUtime=3.09 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 27990 0 0 0 305 4 0 0 20 0 1 0 193745790 161427456 28280 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 39411 28280 4032 3540 0 27668 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 157644 KiB
Current children cumulated memory: 113120 KiB

[startup+6.30015 s]
/proc/loadavg: 4.36 4.18 4.11 5/255 1028490
/proc/meminfo: memFree=126270820/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=157644 memory=113344 CPUtime=6.27 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 27995 0 0 0 623 4 0 0 20 0 1 0 193745790 161427456 28336 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 39411 28336 4032 3540 0 27668 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 157644 KiB
Current children cumulated memory: 113344 KiB

[startup+12.7002 s]
/proc/loadavg: 4.33 4.18 4.11 5/255 1028492
/proc/meminfo: memFree=126270540/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=157644 memory=113344 CPUtime=12.66 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 28025 0 0 0 1262 4 0 0 20 0 1 0 193745790 161427456 28336 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 39411 28336 4032 3540 0 27668 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 157644 KiB
Current children cumulated memory: 113344 KiB

[startup+25.5002 s]
/proc/loadavg: 4.26 4.17 4.11 5/255 1028493
/proc/meminfo: memFree=126268244/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=161252 memory=116248 CPUtime=25.42 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 28718 0 0 0 2538 4 0 0 20 0 1 0 193745790 165122048 29062 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 40313 29062 4032 3540 0 28570 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 161252 KiB
Current children cumulated memory: 116248 KiB

[startup+51.1049 s]
/proc/loadavg: 4.25 4.17 4.11 5/255 1028498
/proc/meminfo: memFree=126235524/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=194732 memory=147676 CPUtime=50.95 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 37992 0 0 0 5090 5 0 0 20 0 1 0 193745790 199405568 36919 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 48683 36919 4032 3540 0 36940 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 194732 KiB
Current children cumulated memory: 147676 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.17 4.11 5/255 1028507
/proc/meminfo: memFree=126234752/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=194732 memory=147676 CPUtime=102.03 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 37992 0 0 0 10197 6 0 0 20 0 1 0 193745790 199405568 36919 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 48683 36919 4032 3540 0 36940 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 194732 KiB
Current children cumulated memory: 147676 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/254 1028517
/proc/meminfo: memFree=126233968/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=194732 memory=147676 CPUtime=161.88 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 37992 0 0 0 16181 7 0 0 20 0 1 0 193745790 199405568 36919 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 48683 36919 4032 3540 0 36940 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 194732 KiB
Current children cumulated memory: 147676 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/254 1028527
/proc/meminfo: memFree=126232872/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=194732 memory=147676 CPUtime=221.73 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 37992 0 0 0 22166 7 0 0 20 0 1 0 193745790 199405568 36919 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 48683 36919 4032 3540 0 36940 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 194732 KiB
Current children cumulated memory: 147676 KiB

[startup+282.3 s]
/proc/loadavg: 4.44 4.21 4.12 5/254 1028537
/proc/meminfo: memFree=126237076/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=187568 memory=142724 CPUtime=281.58 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 39494 0 0 0 28150 8 0 0 20 0 1 0 193745790 192069632 35681 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 46892 35681 4032 3540 0 35149 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 187568 KiB
Current children cumulated memory: 142724 KiB

[startup+342.3 s]
/proc/loadavg: 4.88 4.37 4.18 5/254 1028548
/proc/meminfo: memFree=126234800/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=187568 memory=142724 CPUtime=341.42 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 39494 0 0 0 34134 8 0 0 20 0 1 0 193745790 192069632 35681 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 46892 35681 4032 3540 0 35149 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 187568 KiB
Current children cumulated memory: 142724 KiB

[startup+402.3 s]
/proc/loadavg: 4.72 4.41 4.21 5/254 1028558
/proc/meminfo: memFree=126228320/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=193244 memory=148400 CPUtime=401.27 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 46291 0 0 0 40117 10 0 0 20 0 1 0 193745790 197881856 37100 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 48311 37100 4032 3540 0 36568 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 193244 KiB
Current children cumulated memory: 148400 KiB

[startup+462.3 s]
/proc/loadavg: 4.46 4.40 4.21 5/256 1028572
/proc/meminfo: memFree=126224908/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=196184 memory=150820 CPUtime=461.11 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 49219 0 0 0 46100 11 0 0 20 0 1 0 193745790 200892416 37705 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 49046 37705 4048 3540 0 37303 0

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

/proc/loadavg: 4.15 4.18 4.18 5/258 1030199
/proc/meminfo: memFree=126219064/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=290332 memory=251800 CPUtime=3153.59 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 79615 0 0 0 315342 17 0 0 20 0 1 0 193745790 297299968 62950 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 72583 62950 4048 3540 0 60840 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 290332 KiB
Current children cumulated memory: 251800 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/257 1030210
/proc/meminfo: memFree=126213752/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=293384 memory=254084 CPUtime=3213.44 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 80325 0 0 0 321327 17 0 0 20 0 1 0 193745790 300425216 63521 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 73346 63521 4048 3540 0 61603 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 293384 KiB
Current children cumulated memory: 254084 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.17 4.18 5/257 1030221
/proc/meminfo: memFree=126207512/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=294892 memory=255784 CPUtime=3273.29 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 80814 0 0 0 327312 17 0 0 20 0 1 0 193745790 301969408 63946 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 73723 63946 4048 3540 0 61980 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 294892 KiB
Current children cumulated memory: 255784 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.19 4.18 5/259 1030402
/proc/meminfo: memFree=126169044/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=295468 memory=256440 CPUtime=3333.14 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 81081 0 0 0 333297 17 0 0 20 0 1 0 193745790 302559232 64110 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 73867 64110 4048 3540 0 62124 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 295468 KiB
Current children cumulated memory: 256440 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/259 1030412
/proc/meminfo: memFree=126142712/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=300336 memory=259464 CPUtime=3392.99 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 81953 0 0 0 339282 17 0 0 20 0 1 0 193745790 307544064 64866 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 75084 64866 4048 3540 0 63341 0
Current children cumulated CPU time: 3392.99 s
Current children cumulated vsize: 300336 KiB
Current children cumulated memory: 259464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/259 1030426
/proc/meminfo: memFree=126112444/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=300724 memory=261328 CPUtime=3452.84 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 82172 0 0 0 345267 17 0 0 20 0 1 0 193745790 307941376 65332 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 75181 65332 4048 3540 0 63438 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 300724 KiB
Current children cumulated memory: 261328 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/258 1030449
/proc/meminfo: memFree=126096212/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=303700 memory=264148 CPUtime=3512.69 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 82998 0 0 0 351251 18 0 0 20 0 1 0 193745790 310988800 66037 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 75925 66037 4048 3540 0 64182 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 303700 KiB
Current children cumulated memory: 264148 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.17 5/259 1030461
/proc/meminfo: memFree=126091380/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=304400 memory=265020 CPUtime=3572.54 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83323 0 0 0 357236 18 0 0 20 0 1 0 193745790 311705600 66255 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76100 66255 4048 3540 0 64357 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 304400 KiB
Current children cumulated memory: 265020 KiB

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

# cumulated CPU time of all completed processes:  user=3587.08 s, system=0.185466 s

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

[startup+3584 s]*
/proc/loadavg: 4.15 4.15 4.17 5/259 1030461
/proc/meminfo: memFree=126090456/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=305304 memory=265812 CPUtime=3574.24 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83554 0 0 0 357406 18 0 0 20 0 1 0 193745790 312631296 66453 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76326 66453 4048 3540 0 64583 0
Current children cumulated CPU time: 3574.24 s
Current children cumulated vsize: 305304 KiB
Current children cumulated memory: 265812 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.15 4.17 5/259 1030463
/proc/meminfo: memFree=126090268/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=305304 memory=265968 CPUtime=3580.62 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83666 0 0 0 358044 18 0 0 20 0 1 0 193745790 312631296 66492 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76326 66492 4048 3540 0 64583 0
Current children cumulated CPU time: 3580.62 s
Current children cumulated vsize: 305304 KiB
Current children cumulated memory: 265968 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.14 4.17 5/259 1030463
/proc/meminfo: memFree=126089128/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=306584 memory=266960 CPUtime=3583.81 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83959 0 0 0 358363 18 0 0 20 0 1 0 193745790 313942016 66740 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76646 66740 4048 3540 0 64903 0
Current children cumulated CPU time: 3583.81 s
Current children cumulated vsize: 306584 KiB
Current children cumulated memory: 266960 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.14 4.17 5/259 1030463
/proc/meminfo: memFree=126089128/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=306584 memory=266960 CPUtime=3585.41 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83961 0 0 0 358523 18 0 0 20 0 1 0 193745790 313942016 66740 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76646 66740 4048 3540 0 64903 0
Current children cumulated CPU time: 3585.41 s
Current children cumulated vsize: 306584 KiB
Current children cumulated memory: 266960 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.14 4.17 5/259 1030463
/proc/meminfo: memFree=126089128/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=306584 memory=266960 CPUtime=3586.21 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83961 0 0 0 358603 18 0 0 20 0 1 0 193745790 313942016 66740 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76646 66740 4048 3540 0 64903 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 306584 KiB
Current children cumulated memory: 266960 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.14 4.17 5/259 1030463
/proc/meminfo: memFree=126089128/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=306584 memory=266960 CPUtime=3587 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83961 0 0 0 358682 18 0 0 20 0 1 0 193745790 313942016 66740 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76646 66740 4048 3540 0 64903 0
Current children cumulated CPU time: 3587 s
Current children cumulated vsize: 306584 KiB
Current children cumulated memory: 266960 KiB

[startup+3597 s]*
/proc/loadavg: 4.12 4.14 4.17 5/259 1030463
/proc/meminfo: memFree=126089128/131524600 swapFree=131071996/131071996
[pid=1028489] ppid=1028486 vsize=306584 memory=266960 CPUtime=3587.21 cores=1,3
/proc/1028489/stat : 1028489 (pbscip) R 1028486 1028489 1025265 0 -1 4194304 83961 0 0 0 358703 18 0 0 20 0 1 0 193745790 313942016 66740 134679101440 4194304 18693293 140730762125520 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 28622848 140730762134530 140730762134629 140730762134629 140730762141646 0
/proc/1028489/statm: 76646 66740 4048 3540 0 64903 0
Current children cumulated CPU time: 3587.21 s
Current children cumulated vsize: 306584 KiB
Current children cumulated memory: 266960 KiB

Child status: 0

Real time (s): 3597.06
CPU time (s): 3587.27
CPU user time (s): 3587.08
CPU system time (s): 0.185466
CPU usage (%): 99.7278
Max. virtual memory (cumulated for all children) (KiB): 306584
Max. memory (cumulated for all children) (KiB): 266960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.08
system time used= 0.185466
maximum resident set size= 266960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83998
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= 46
involuntary context switches= 3431


# summary of solver processes directly reported to runsolver:
#   pid: 1028489
#   total CPU time (s): 3587.27
#   total CPU user time (s): 3587.08
#   total CPU system time (s): 0.185466

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.70439 second user time and 13.9406 second system time

The end

Launcher Data

Begin job on nodeC035 at 2024-07-19 21:02:42
IDJOB=4450625
IDBENCH=162177
IDSOLVER=3059
FILE ID=nodeC035/4450625-1721415749
RUNJOBID= nodeC035-1721410880-1025277
SLURM_JOB_ID= 7545474
Free space on /tmp= 890012 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round23-9.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-4450625-1721415749/watcher-4450625-1721415749 -o /tmp/evaluation-result-4450625-1721415749/solver-4450625-1721415749 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721410880-1025277 --watchdog 3760  pbscip -f HOME/instance-4450625-1721415749.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= bf1757ad4e21f2473915004abf7b1376
RANDOM SEED=328421314

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126369484 kB
MemAvailable:   129045916 kB
Buffers:          543160 kB
Cached:          2951620 kB
SwapCached:            0 kB
Active:          1015224 kB
Inactive:        3467504 kB
Active(anon):       1536 kB
Inactive(anon):  1032320 kB
Active(file):    1013688 kB
Inactive(file):  2435184 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19544 kB
Writeback:             0 kB
AnonPages:        987952 kB
Mapped:           142672 kB
Shmem:             45916 kB
KReclaimable:     134764 kB
Slab:             251664 kB
SReclaimable:     134764 kB
SUnreclaim:       116900 kB
KernelStack:        4032 kB
PageTables:        11496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1247372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72832 kB
HardwareCorrupted:     0 kB
AnonHugePages:    833536 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:      207572 kB
DirectMap2M:    19488768 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC035 at 2024-07-19 22:02:39