Trace number 4450745

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2024-07-07? 3588.45 3597.05

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round21-1.opb
MD5SUM24b841e180e6c10fba8d79de5f0eab8c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark6.02162
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3968
Total number of constraints7936
Number of constraints which are clauses6656
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints832
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-4450745-1721419347.opb>
0.00/0.02	c original problem has 3968 variables (3968 bin, 0 int, 0 impl, 0 cont) and 7936 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.03	c presolving:
0.00/0.04	c (round 1, fast)       646 del vars, 1036 del conss, 617 add conss, 552 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 289 clqs
0.00/0.05	c (round 2, fast)       991 del vars, 1751 del conss, 719 add conss, 820 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 497 clqs
0.00/0.05	c (round 3, fast)       1020 del vars, 1833 del conss, 729 add conss, 842 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 527 clqs
0.00/0.06	c    (0.1s) running MILP presolver
0.00/0.07	c    (0.1s) MILP presolver (4 rounds): 92 aggregations, 2 fixings, 0 bound changes
0.00/0.08	c (round 4, medium)     1114 del vars, 1833 del conss, 729 add conss, 842 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 340 clqs
0.00/0.08	c (round 5, fast)       1114 del vars, 2016 del conss, 788 add conss, 842 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 380 clqs
0.00/0.08	c (round 6, exhaustive) 1114 del vars, 2564 del conss, 788 add conss, 842 chg bounds, 2 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 380 clqs
0.00/0.10	c (round 7, exhaustive) 1114 del vars, 2564 del conss, 788 add conss, 842 chg bounds, 2 chg sides, 0 chg coeffs, 4959 upgd conss, 0 impls, 380 clqs
0.10/0.10	c (round 8, exhaustive) 1114 del vars, 2660 del conss, 820 add conss, 842 chg bounds, 2 chg sides, 0 chg coeffs, 4959 upgd conss, 0 impls, 380 clqs
0.10/0.12	c (round 9, exhaustive) 1114 del vars, 2660 del conss, 820 add conss, 842 chg bounds, 68 chg sides, 0 chg coeffs, 4959 upgd conss, 0 impls, 380 clqs
0.10/0.12	c (round 10, exhaustive) 1114 del vars, 2660 del conss, 820 add conss, 842 chg bounds, 68 chg sides, 0 chg coeffs, 5025 upgd conss, 0 impls, 380 clqs
0.20/0.23	c    (0.2s) probing: 969/2930 (33.1%) - 0 fixings, 1 aggregations, 489 implications, 0 bound changes
0.20/0.23	c    (0.2s) probing aborted: 50/50 successive totally useless probings
0.20/0.23	c    (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.20/0.25	c    (0.2s) no symmetry present (symcode time: 0.00)
0.20/0.25	c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.20/0.25	c  1115 deleted vars, 2660 deleted constraints, 820 added constraints, 842 tightened bounds, 0 added holes, 68 changed sides, 33 changed coefficients
0.20/0.25	c  0 implications, 850 cliques
0.20/0.25	c presolved problem has 2929 variables (2929 bin, 0 int, 0 impl, 0 cont) and 6096 constraints
0.20/0.25	c      32 constraints of type <and>
0.20/0.25	c       1 constraints of type <xor>
0.20/0.25	c    1135 constraints of type <linear>
0.20/0.25	c    4928 constraints of type <logicor>
0.20/0.25	c transformed objective value is always integral (scale: 1)
0.20/0.25	c Presolving Time: 0.22
0.20/0.25	c - non default parameters ----------------------------------------------------------------------
0.20/0.25	c # SCIP version 10.0.0
0.20/0.25	c 
0.20/0.25	c # maximal time in seconds to run
0.20/0.25	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.20/0.25	c limits/time = 3596.997038
0.20/0.25	c 
0.20/0.25	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.20/0.25	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.20/0.25	c limits/memory = 27900
0.20/0.25	c 
0.20/0.25	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.20/0.25	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.20/0.25	c limits/solutions = 1
0.20/0.25	c 
0.20/0.25	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.20/0.25	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.20/0.25	c misc/usesymmetry = 3
0.20/0.25	c 
0.20/0.25	c # belongs reading time to solving time?
0.20/0.25	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.20/0.25	c timing/reading = TRUE
0.20/0.25	c 
0.20/0.25	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.20/0.25	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.20/0.25	c propagating/symmetry/detectdoublelex = FALSE
0.20/0.25	c 
0.20/0.25	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.20/0.25	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.20/0.25	c propagating/symmetry/detectsubgroups = FALSE
0.20/0.25	c 
0.20/0.25	c # Type of symmetries that shall be computed?
0.20/0.25	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.20/0.25	c propagating/symmetry/symtype = 1
0.20/0.25	c 
0.20/0.25	c # Should components consisting of a single full reflection be handled?
0.20/0.25	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.20/0.25	c propagating/symmetry/usesimplesgncomp = FALSE
0.20/0.25	c 
0.20/0.25	c -----------------------------------------------------------------------------------------------
0.20/0.25	c start solving
0.20/0.25	c 
0.30/0.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.30/0.32	c   0.3s|     1 |     0 |   818 |     - |    47M |   0 |2929 |6103 |6128 |   0 |  0 |   6 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.68/0.79	c   0.8s|     1 |     0 |  2653 |     - |    51M |   0 |2929 |6103 |6428 | 300 |  1 |   6 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1.78/1.82	c   1.8s|     1 |     0 |  4843 |     - |    53M |   0 |2929 |6103 |6719 | 591 |  2 |   6 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3.37/3.46	c   3.5s|     1 |     0 |  8179 |     - |    55M |   0 |2929 |6102 |7014 | 886 |  3 |   6 |   0 | 0.000000e+00 |      --      |    Inf | unknown
5.47/5.51	c   5.5s|     1 |     0 | 12012 |     - |    58M |   0 |2929 |6102 |7288 |1160 |  4 |   6 |   0 | 0.000000e+00 |      --      |    Inf | unknown
7.47/7.54	c   7.5s|     1 |     0 | 15849 |     - |    61M |   0 |2929 |6102 |7573 |1445 |  5 |   6 |   0 | 0.000000e+00 |      --      |    Inf | unknown
9.57/9.63	c   9.6s|     1 |     0 | 19492 |     - |    64M |   0 |2929 |6102 |7826 |1698 |  6 |   6 |   0 | 0.000000e+00 |      --      |    Inf | unknown
12.06/12.13	c  12.1s|     1 |     0 | 23908 |     - |    64M |   0 |2929 |6102 |7987 |1859 |  7 |   6 |   0 | 0.000000e+00 |      --      |    Inf | unknown
14.45/14.52	c  14.5s|     1 |     0 | 27883 |     - |    66M |   0 |2929 |6102 |8194 |2066 |  8 |   6 |   0 | 0.000000e+00 |      --      |    Inf | unknown
16.65/16.76	c  16.8s|     1 |     0 | 31293 |     - |    67M |   0 |2929 |6102 |8308 |2180 |  9 |   6 |   0 | 0.000000e+00 |      --      |    Inf | unknown
18.95/19.03	c  19.0s|     1 |     0 | 34621 |     - |    68M |   0 |2929 |6102 |8465 |2337 | 10 |   6 |   0 | 0.000000e+00 |      --      |    Inf | unknown
20.04/20.14	c  20.1s|     1 |     0 | 37173 |     - |    69M |   0 |2929 |6102 |8563 |2435 | 11 |   6 |   0 | 0.000000e+00 |      --      |    Inf | unknown
30.11/30.22	c  30.2s|     1 |     2 | 44173 |     - |    69M |   0 |2929 |6104 |8563 |2435 | 11 |   8 |  11 | 0.000000e+00 |      --      |    Inf | unknown
248.66/249.31	c   249s|   100 |   101 |288027 |2533.9 |    71M |  15 |2929 |6168 |6343 |4271 |  1 |  78 |  11 | 0.000000e+00 |      --      |    Inf | unknown
281.08/281.80	c   282s|   200 |   201 |376384 |1704.6 |    72M |  22 |2929 |6165 |6653 |6891 |  2 |  82 |  11 | 0.000000e+00 |      --      |    Inf | unknown
335.35/336.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
335.35/336.27	c   336s|   300 |   301 |512319 |1589.1 |    72M |  24 |2929 |6167 |6649 |9909 |  1 | 100 |  11 | 0.000000e+00 |      --      |    Inf | unknown
365.87/366.82	c   367s|   400 |   401 |588046 |1380.6 |    74M |  26 |2929 |6171 |6656 |  12k|  1 | 107 |  11 | 0.000000e+00 |      --      |    Inf | unknown
377.24/378.23	c   378s|   500 |   501 |617125 |1162.2 |    74M |  26 |2929 |6164 |6489 |  13k|  1 | 109 |  11 | 0.000000e+00 |      --      |    Inf | unknown
398.79/399.80	c   400s|   600 |   601 |668798 |1054.5 |    74M |  26 |2929 |6172 |6484 |  14k|  2 | 119 |  11 | 0.000000e+00 |      --      |    Inf | unknown
437.99/439.13	c   439s|   700 |   701 |762087 |1037.1 |    75M |  26 |2929 |6182 |6344 |  17k|  1 | 133 |  11 | 0.000000e+00 |      --      |    Inf | unknown
451.76/452.99	c   453s|   800 |   801 |798951 | 953.4 |    75M |  26 |2929 |6180 |6546 |  19k|  2 | 133 |  11 | 0.000000e+00 |      --      |    Inf | unknown
473.41/474.65	c   475s|   900 |   901 |846598 | 900.4 |    75M |  26 |2929 |6186 |6641 |  20k|  1 | 148 |  11 | 0.000000e+00 |      --      |    Inf | unknown
499.64/500.91	c   501s|  1000 |   997 |919738 | 883.4 |    76M |  27 |2929 |6185 |6633 |  22k|  1 | 150 |  11 | 0.000000e+00 |      --      |    Inf | unknown
521.59/522.97	c   523s|  1100 |  1087 |972812 | 851.4 |    76M |  29 |2929 |6177 |6651 |  23k|  1 | 151 |  11 | 0.000000e+00 |      --      |    Inf | unknown
543.43/544.80	c   545s|  1200 |  1177 |  1022k| 821.6 |    77M |  30 |2929 |6178 |6657 |  25k|  1 | 164 |  11 | 0.000000e+00 |      --      |    Inf | unknown
566.47/567.94	c   568s|  1300 |  1273 |  1093k| 812.8 |    77M |  30 |2929 |6195 |6657 |  27k|  1 | 185 |  11 | 0.000000e+00 |      --      |    Inf | unknown
729.38/731.26	c   731s|  1400 |  1369 |  1313k| 912.5 |    78M |  30 |2929 |6207 |6493 |  29k|  1 | 203 |  11 | 0.000000e+00 |      --      |    Inf | unknown
756.31/758.23	c   758s|  1500 |  1467 |  1382k| 897.7 |    78M |  34 |2929 |6204 |6655 |  31k|  1 | 207 |  11 | 0.000000e+00 |      --      |    Inf | unknown
781.06/783.09	c   783s|  1600 |  1567 |  1449k| 883.5 |    80M |  34 |2929 |6208 |6499 |  34k|  1 | 234 |  11 | 0.000000e+00 |      --      |    Inf | unknown
793.92/795.94	c   796s|  1700 |  1661 |  1479k| 849.0 |    80M |  34 |2929 |6209 |6493 |  34k|  1 | 241 |  11 | 0.000000e+00 |      --      |    Inf | unknown
805.79/807.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
805.79/807.87	c   808s|  1800 |  1759 |  1513k| 820.5 |    81M |  34 |2929 |6207 |6652 |  36k|  1 | 242 |  11 | 0.000000e+00 |      --      |    Inf | unknown
823.95/826.07	c   826s|  1900 |  1857 |  1557k| 800.6 |    81M |  34 |2929 |6200 |6344 |  37k|  1 | 244 |  11 | 0.000000e+00 |      --      |    Inf | unknown
841.79/843.94	c   844s|  2000 |  1955 |  1605k| 784.5 |    82M |  34 |2929 |6211 |6654 |  38k|  1 | 255 |  11 | 0.000000e+00 |      --      |    Inf | unknown
849.78/852.00	c   852s|  2100 |  2055 |  1628k| 758.3 |    82M |  34 |2929 |6211 |6432 |  39k|  1 | 257 |  11 | 0.000000e+00 |      --      |    Inf | unknown
868.53/870.73	c   871s|  2200 |  2153 |  1675k| 745.0 |    82M |  34 |2929 |6219 |6501 |  41k|  2 | 273 |  11 | 0.000000e+00 |      --      |    Inf | unknown
878.41/880.63	c   881s|  2300 |  2251 |  1711k| 728.1 |    83M |  34 |2929 |6218 |6431 |  42k|  1 | 273 |  11 | 0.000000e+00 |      --      |    Inf | unknown
895.07/897.32	c   897s|  2400 |  2349 |  1746k| 712.3 |    84M |  34 |2929 |6213 |6645 |  42k|  1 | 281 |  11 | 0.000000e+00 |      --      |    Inf | unknown
903.15/905.49	c   905s|  2500 |  2449 |  1770k| 693.6 |    84M |  34 |2929 |6211 |6653 |  43k|  1 | 281 |  11 | 0.000000e+00 |      --      |    Inf | unknown
917.82/920.15	c   920s|  2600 |  2547 |  1808k| 681.5 |    84M |  34 |2929 |6210 |6651 |  45k|  1 | 283 |  11 | 0.000000e+00 |      --      |    Inf | unknown
931.58/933.93	c   934s|  2700 |  2647 |  1843k| 669.3 |    84M |  38 |2929 |6211 |6493 |  46k|  1 | 294 |  11 | 0.000000e+00 |      --      |    Inf | unknown
943.54/945.95	c   946s|  2800 |  2745 |  1878k| 657.8 |    84M |  38 |2929 |6211 |6483 |  48k|  1 | 300 |  11 | 0.000000e+00 |      --      |    Inf | unknown
973.37/975.89	c   976s|  2900 |  2845 |  1949k| 659.6 |    85M |  38 |2929 |6215 |6660 |  50k|  1 | 317 |  11 | 0.000000e+00 |      --      |    Inf | unknown
998.20/1000.76	c  1001s|  3000 |  2945 |  2024k| 662.8 |    85M |  38 |2929 |6219 |6657 |  52k|  1 | 333 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1017.26/1019.81	c  1020s|  3100 |  3043 |  2078k| 658.6 |    87M |  41 |2929 |6214 |6656 |  54k|  1 | 339 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1044.59/1047.24	c  1047s|  3200 |  3143 |  2151k| 660.8 |    89M |  41 |2929 |6213 |6646 |  57k|  2 | 345 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1078.71/1081.46	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1078.71/1081.46	c  1081s|  3300 |  3243 |  2233k| 665.8 |    91M |  43 |2929 |6230 |6490 |  59k|  1 | 374 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1100.65/1103.45	c  1103s|  3400 |  3343 |  2298k| 665.3 |    92M |  43 |2929 |6227 |6974 |  62k|  2 | 379 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1131.08/1133.98	c  1134s|  3500 |  3443 |  2382k| 670.1 |    92M |  44 |2929 |6223 |6644 |  65k|  2 | 395 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1165.49/1168.45	c  1168s|  3600 |  3543 |  2481k| 679.2 |    92M |  44 |2929 |6210 |6493 |  68k|  1 | 402 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1189.93/1192.96	c  1193s|  3700 |  3643 |  2547k| 678.6 |    93M |  44 |2929 |6213 |6854 |  70k|  2 | 413 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1213.77/1216.86	c  1217s|  3800 |  3743 |  2611k| 677.6 |    93M |  44 |2929 |6213 |6656 |  72k|  1 | 423 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1237.81/1240.99	c  1241s|  3900 |  3843 |  2673k| 676.3 |    93M |  44 |2929 |6223 |6652 |  75k|  1 | 438 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1264.44/1267.64	c  1268s|  4000 |  3943 |  2744k| 677.0 |    93M |  44 |2929 |6225 |6774 |  77k|  1 | 448 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1282.10/1285.30	c  1285s|  4100 |  4043 |  2795k| 672.9 |    94M |  44 |2929 |6226 |6661 |  79k|  1 | 454 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1305.94/1309.27	c  1309s|  4200 |  4143 |  2857k| 671.7 |    94M |  44 |2929 |6222 |6633 |  81k|  1 | 458 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1341.05/1344.46	c  1344s|  4300 |  4242 |  2958k| 679.6 |    94M |  44 |2929 |6224 |6651 |  84k|  1 | 471 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1366.09/1369.51	c  1370s|  4400 |  4342 |  3023k| 678.8 |    95M |  44 |2929 |6223 |6840 |  86k|  2 | 477 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1391.43/1394.92	c  1395s|  4500 |  4442 |  3091k| 678.8 |    95M |  44 |2929 |6227 |6775 |  89k|  2 | 484 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1417.36/1420.99	c  1421s|  4600 |  4542 |  3155k| 678.0 |    95M |  44 |2929 |6237 |6500 |  90k|  1 | 501 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1435.32/1438.98	c  1439s|  4700 |  4642 |  3205k| 674.3 |    95M |  44 |2929 |6234 |6754 |  93k|  1 | 503 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1463.45/1467.11	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1463.45/1467.11	c  1467s|  4800 |  4741 |  3282k| 676.2 |    97M |  44 |2929 |6243 |6639 |  95k|  1 | 516 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1482.50/1486.27	c  1486s|  4900 |  4841 |  3329k| 672.1 |    99M |  44 |2929 |6229 |6499 |  97k|  1 | 516 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1517.22/1521.08	c  1521s|  5000 |  4939 |  3414k| 675.7 |   101M |  44 |2929 |6255 |6633 | 100k|  1 | 546 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1536.37/1540.24	c  1540s|  5100 |  5039 |  3469k| 673.2 |   102M |  44 |2929 |6254 |6645 | 102k|  1 | 550 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1554.02/1557.91	c  1558s|  5200 |  5137 |  3519k| 669.8 |   102M |  44 |2929 |6240 |6699 | 104k|  2 | 550 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1581.55/1585.57	c  1586s|  5300 |  5237 |  3587k| 670.1 |   102M |  44 |2929 |6240 |6482 | 107k|  1 | 555 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1606.49/1610.59	c  1611s|  5400 |  5337 |  3653k| 669.8 |   104M |  44 |2929 |6246 |6700 | 109k|  2 | 568 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1622.06/1626.11	c  1626s|  5500 |  5436 |  3700k| 666.3 |   104M |  44 |2929 |6262 |6634 | 111k|  1 | 594 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1658.46/1662.65	c  1663s|  5600 |  5536 |  3784k| 669.3 |   104M |  44 |2929 |6261 |6700 | 113k|  2 | 606 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1684.80/1689.06	c  1689s|  5700 |  5636 |  3858k| 670.5 |   104M |  44 |2929 |6248 |6855 | 116k|  2 | 612 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1716.82/1721.14	c  1721s|  5800 |  5736 |  3938k| 672.8 |   104M |  44 |2929 |6259 |6849 | 118k|  2 | 626 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1740.45/1744.82	c  1745s|  5900 |  5836 |  4009k| 673.4 |   104M |  44 |2929 |6266 |6654 | 121k|  1 | 635 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1772.37/1776.86	c  1777s|  6000 |  5934 |  4097k| 676.8 |   104M |  44 |2929 |6286 |6684 | 124k|  2 | 661 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1807.79/1812.33	c  1812s|  6100 |  6034 |  4203k| 683.1 |   104M |  44 |2929 |6271 |6649 | 127k|  1 | 664 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1832.72/1837.37	c  1837s|  6200 |  6134 |  4274k| 683.5 |   105M |  44 |2929 |6284 |6805 | 130k|  1 | 682 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1863.15/1867.80	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1863.15/1867.80	c  1868s|  6300 |  6234 |  4352k| 685.1 |   106M |  44 |2929 |6269 |6493 | 132k|  1 | 686 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1889.08/1893.82	c  1894s|  6400 |  6334 |  4424k| 685.7 |   106M |  44 |2929 |6257 |6649 | 135k|  1 | 692 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1914.52/1919.31	c  1919s|  6500 |  6434 |  4493k| 685.6 |   108M |  44 |2929 |6254 |6774 | 137k|  1 | 693 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1939.16/1944.08	c  1944s|  6600 |  6534 |  4557k| 684.9 |   108M |  44 |2929 |6248 |6500 | 140k|  2 | 693 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1958.01/1962.99	c  1963s|  6700 |  6634 |  4604k| 681.8 |   110M |  44 |2929 |6266 |6819 | 141k|  1 | 720 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1973.27/1978.29	c  1978s|  6800 |  6734 |  4648k| 678.3 |   110M |  44 |2929 |6282 |6580 | 142k|  2 | 739 |  11 | 0.000000e+00 |      --      |    Inf | unknown
1999.20/2004.23	c  2004s|  6900 |  6832 |  4716k| 678.3 |   110M |  44 |2929 |6286 |6852 | 145k|  2 | 749 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2026.33/2031.46	c  2031s|  7000 |  6932 |  4783k| 678.2 |   111M |  44 |2929 |6269 |6484 | 147k|  1 | 755 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2059.15/2064.39	c  2064s|  7100 |  7032 |  4869k| 680.7 |   112M |  44 |2929 |6265 |6658 | 151k|  1 | 763 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2087.48/2092.75	c  2093s|  7200 |  7132 |  4945k| 681.8 |   112M |  44 |2929 |6267 |6808 | 154k|  1 | 776 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2111.72/2117.07	c  2117s|  7300 |  7232 |  5011k| 681.5 |   113M |  44 |2929 |6260 |6858 | 157k|  2 | 779 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2141.04/2146.46	c  2146s|  7400 |  7330 |  5093k| 683.4 |   115M |  44 |2929 |6273 |6639 | 160k|  1 | 800 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2162.99/2168.47	c  2168s|  7500 |  7430 |  5158k| 682.9 |   115M |  44 |2929 |6262 |6653 | 162k|  2 | 803 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2200.10/2205.65	c  2206s|  7600 |  7530 |  5255k| 686.7 |   115M |  44 |2929 |6286 |6861 | 166k|  2 | 830 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2228.13/2233.73	c  2234s|  7700 |  7630 |  5326k| 687.0 |   116M |  44 |2929 |6290 |6484 | 169k|  1 | 842 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2250.88/2256.57	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2250.88/2256.57	c  2257s|  7800 |  7730 |  5388k| 686.2 |   116M |  44 |2929 |6284 |6659 | 171k|  1 | 845 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2274.92/2280.61	c  2281s|  7900 |  7824 |  5459k| 686.4 |   116M |  44 |2929 |6281 |6760 | 173k|  1 | 850 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2302.95/2308.71	c  2309s|  8000 |  7924 |  5530k| 686.7 |   116M |  44 |2929 |6283 |6800 | 176k|  1 | 863 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2325.20/2331.08	c  2331s|  8100 |  8022 |  5592k| 686.0 |   116M |  44 |2929 |6302 |6640 | 178k|  1 | 890 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2356.72/2362.64	c  2363s|  8200 |  8122 |  5679k| 688.2 |   117M |  44 |2929 |6302 |6482 | 181k|  1 | 898 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2391.05/2397.07	c  2397s|  8300 |  8222 |  5765k| 690.2 |   118M |  44 |2929 |6299 |6801 | 185k|  2 | 914 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2415.88/2421.99	c  2422s|  8400 |  8322 |  5830k| 689.8 |   119M |  44 |2929 |6292 |6493 | 187k|  1 | 924 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2437.23/2443.33	c  2443s|  8500 |  8422 |  5890k| 688.7 |   119M |  44 |2929 |6282 |6489 | 190k|  1 | 925 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2467.37/2473.52	c  2474s|  8600 |  8522 |  5963k| 689.2 |   119M |  44 |2929 |6277 |6716 | 192k|  1 | 939 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2488.52/2494.79	c  2495s|  8700 |  8620 |  6019k| 687.7 |   119M |  44 |2929 |6282 |6796 | 195k|  2 | 951 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2510.47/2516.78	c  2517s|  8800 |  8720 |  6081k| 686.9 |   121M |  46 |2929 |6299 |6694 | 197k|  2 | 974 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2542.99/2549.38	c  2549s|  8900 |  8820 |  6166k| 688.8 |   121M |  46 |2929 |6292 |6759 | 200k|  1 | 983 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2562.55/2568.98	c  2569s|  9000 |  8920 |  6223k| 687.5 |   122M |  46 |2929 |6306 |6635 | 202k|  1 |1005 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2575.22/2581.62	c  2582s|  9100 |  9020 |  6260k| 683.9 |   122M |  46 |2929 |6304 |6657 | 204k|  1 |1005 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2596.57/2603.09	c  2603s|  9200 |  9120 |  6316k| 682.6 |   122M |  47 |2929 |6311 |6657 | 206k|  1 |1014 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2621.60/2628.16	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2621.60/2628.16	c  2628s|  9300 |  9219 |  6382k| 682.4 |   122M |  47 |2929 |6290 |6920 | 209k|  2 |1018 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2646.64/2653.29	c  2653s|  9400 |  9319 |  6461k| 683.5 |   122M |  47 |2929 |6298 |6656 | 211k|  1 |1027 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2670.58/2677.20	c  2677s|  9500 |  9419 |  6526k| 683.1 |   122M |  47 |2929 |6325 |6800 | 214k|  1 |1056 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2702.81/2709.55	c  2710s|  9600 |  9519 |  6609k| 684.7 |   122M |  47 |2929 |6330 |6761 | 217k|  1 |1070 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2722.17/2729.00	c  2729s|  9700 |  9619 |  6666k| 683.5 |   122M |  47 |2929 |6330 |6658 | 220k|  1 |1072 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2751.61/2758.43	c  2758s|  9800 |  9719 |  6742k| 684.3 |   124M |  47 |2929 |6322 |6765 | 223k|  1 |1081 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2767.67/2774.56	c  2775s|  9900 |  9819 |  6789k| 682.1 |   125M |  47 |2929 |6318 |6765 | 225k|  1 |1081 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2786.33/2793.27	c  2793s| 10000 |  9918 |  6836k| 680.0 |   125M |  47 |2929 |6312 |6761 | 227k|  1 |1083 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2809.28/2816.21	c  2816s| 10100 | 10018 |  6893k| 678.9 |   125M |  47 |2929 |6303 |6652 | 229k|  1 |1087 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2831.53/2838.57	c  2839s| 10200 | 10118 |  6954k| 678.2 |   125M |  47 |2929 |6306 |6974 | 232k|  2 |1099 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2856.88/2863.92	c  2864s| 10300 | 10218 |  7025k| 678.5 |   125M |  47 |2929 |6309 |6922 | 235k|  1 |1107 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2878.13/2885.20	c  2885s| 10400 | 10318 |  7088k| 678.1 |   126M |  47 |2929 |6303 |6661 | 238k|  1 |1111 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2905.67/2912.80	c  2913s| 10500 | 10418 |  7160k| 678.5 |   126M |  47 |2929 |6309 |6645 | 240k|  1 |1118 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2929.82/2937.02	c  2937s| 10600 | 10518 |  7232k| 678.9 |   126M |  47 |2929 |6306 |6838 | 243k|  2 |1123 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2953.47/2960.74	c  2961s| 10700 | 10618 |  7296k| 678.5 |   127M |  47 |2929 |6300 |6924 | 245k|  1 |1126 |  11 | 0.000000e+00 |      --      |    Inf | unknown
2983.10/2990.43	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2983.10/2990.43	c  2990s| 10800 | 10718 |  7368k| 678.9 |   127M |  47 |2929 |6301 |6501 | 248k|  1 |1132 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3004.85/3012.21	c  3012s| 10900 | 10818 |  7426k| 678.0 |   127M |  47 |2929 |6311 |6696 | 251k|  2 |1147 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3026.11/3033.57	c  3034s| 11000 | 10918 |  7484k| 677.1 |   127M |  49 |2929 |6311 |6756 | 253k|  1 |1156 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3042.47/3049.92	c  3050s| 11100 | 11018 |  7534k| 675.5 |   127M |  49 |2929 |6306 |6858 | 255k|  2 |1160 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3207.73/3215.59	c  3216s| 11200 | 11118 |  7682k| 682.7 |   128M |  49 |2929 |6321 |6787 | 257k|  1 |1176 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3228.68/3236.59	c  3237s| 11300 | 11218 |  7741k| 681.9 |   130M |  49 |2929 |6319 |6854 | 260k|  2 |1183 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3255.03/3262.96	c  3263s| 11400 | 11318 |  7805k| 681.5 |   130M |  49 |2929 |6315 |6632 | 262k|  1 |1185 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3275.38/3283.38	c  3283s| 11500 | 11418 |  7864k| 680.7 |   131M |  49 |2929 |6322 |6650 | 264k|  1 |1196 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3300.72/3308.76	c  3309s| 11600 | 11518 |  7952k| 682.4 |   132M |  49 |2929 |6335 |6650 | 267k|  1 |1216 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3316.10/3324.15	c  3324s| 11700 | 11618 |  7990k| 679.8 |   133M |  49 |2929 |6322 |6749 | 268k|  1 |1216 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3329.76/3337.89	c  3338s| 11800 | 11718 |  8031k| 677.6 |   133M |  49 |2929 |6307 |6803 | 270k|  1 |1216 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3355.91/3364.06	c  3364s| 11900 | 11815 |  8090k| 676.8 |   133M |  49 |2929 |6302 |6811 | 272k|  1 |1220 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3380.35/3388.58	c  3389s| 12000 | 11915 |  8158k| 676.9 |   134M |  49 |2929 |6289 |6652 | 275k|  1 |1220 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3400.41/3408.61	c  3409s| 12100 | 12015 |  8218k| 676.2 |   134M |  49 |2929 |6290 |6925 | 278k|  1 |1228 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3429.85/3438.11	c  3438s| 12200 | 12115 |  8290k| 676.5 |   135M |  49 |2929 |6304 |6917 | 280k|  1 |1258 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3446.11/3454.43	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3446.11/3454.43	c  3454s| 12300 | 12215 |  8338k| 675.0 |   135M |  49 |2929 |6310 |6770 | 282k|  1 |1266 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3474.75/3483.14	c  3483s| 12400 | 12315 |  8420k| 676.1 |   135M |  49 |2929 |6315 |6590 | 285k|  1 |1275 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3495.60/3504.03	c  3504s| 12500 | 12415 |  8470k| 674.8 |   135M |  49 |2929 |6314 |6633 | 287k|  1 |1286 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3512.86/3521.30	c  3521s| 12600 | 12515 |  8520k| 673.3 |   136M |  55 |2929 |6318 |6771 | 289k|  1 |1295 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3535.91/3544.48	c  3544s| 12700 | 12615 |  8583k| 673.0 |   136M |  55 |2929 |6324 |6914 | 292k|  2 |1314 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3548.28/3556.88	c  3557s| 12800 | 12715 |  8622k| 670.8 |   137M |  95 |2929 |6322 |7178 | 293k|  1 |1316 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3553.27/3561.85	c  3562s| 12900 | 12813 |  8638k| 666.8 |   137M | 150 |2929 |6338 |7235 | 293k|  2 |1333 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3554.57/3563.16	c  3563s| 13000 | 12913 |  8644k| 662.1 |   139M | 232 |2929 |6337 |7367 | 294k|  1 |1333 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3555.77/3564.36	c  3564s| 13100 | 12989 |  8649k| 657.4 |   141M | 287 |2929 |6368 |   0 | 294k|  0 |1368 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3559.56/3568.19	c  3568s| 13200 | 13036 |  8658k| 653.2 |   142M | 310 |2929 |6396 |7390 | 294k|  1 |1408 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3560.46/3569.10	c  3569s| 13300 | 13069 |  8661k| 648.5 |   145M | 320 |2929 |6408 |7078 | 294k|  1 |1422 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3562.55/3571.15	c  3571s| 13400 | 13129 |  8669k| 644.2 |   153M | 320 |2929 |6455 |7118 | 294k|  1 |1502 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3566.74/3575.33	c  3575s| 13500 | 13172 |  8683k| 640.5 |   163M | 320 |2929 |6521 |7393 | 294k|  1 |1645 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3569.54/3578.17	c  3578s| 13600 | 13204 |  8692k| 636.4 |   167M | 321 |2929 |6636 |   0 | 294k|  0 |1876 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3571.33/3579.99	c  3580s| 13700 | 13240 |  8699k| 632.3 |   171M | 321 |2929 |6717 |7393 | 295k|  1 |2059 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3572.93/3581.55	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3572.93/3581.55	c  3582s| 13800 | 13278 |  8705k| 628.2 |   172M | 322 |2929 |6807 |7393 | 295k|  0 |2209 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3574.82/3583.43	c  3583s| 13900 | 13275 |  8714k| 624.3 |   177M | 324 |2929 |6784 |7395 | 295k|  1 |2391 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3576.42/3585.01	c  3585s| 14000 | 13283 |  8721k| 620.3 |   178M | 324 |2929 |6817 |7393 | 295k|  1 |2532 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3578.11/3586.71	c  3587s| 14100 | 13280 |  8727k| 616.4 |   181M | 324 |2929 |6919 |   0 | 295k|  0 |2750 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3579.32/3587.95	c  3588s| 14200 | 13276 |  8733k| 612.4 |   183M | 324 |2929 |6953 |7393 | 295k|  1 |2955 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3580.11/3588.78	c  3589s| 14300 | 13273 |  8736k| 608.4 |   184M | 324 |2929 |6979 |   0 | 295k|  0 |3104 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3581.21/3589.84	c  3590s| 14400 | 13275 |  8741k| 604.5 |   185M | 324 |2929 |7082 |7392 | 295k|  1 |3268 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3582.01/3590.63	c  3591s| 14500 | 13274 |  8745k| 600.6 |   185M | 324 |2929 |7113 |7392 | 295k|  1 |3353 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3582.91/3591.51	c  3592s| 14600 | 13270 |  8749k| 596.8 |   186M | 324 |2929 |7110 |7392 | 295k|  1 |3441 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3584.20/3592.83	c  3593s| 14700 | 13272 |  8755k| 593.1 |   187M | 325 |2929 |7046 |7391 | 295k|  1 |3644 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3585.10/3593.73	c  3594s| 14800 | 13299 |  8759k| 589.4 |   187M | 325 |2929 |7129 |   0 | 295k|  0 |3762 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3586.00/3594.63	c  3595s| 14900 | 13296 |  8764k| 585.7 |   188M | 325 |2929 |7022 |7391 | 295k|  1 |3799 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3586.79/3595.45	c  3595s| 15000 | 13307 |  8768k| 582.1 |   188M | 325 |2929 |7031 |7393 | 295k|  1 |3868 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3587.99/3596.62	c  3597s| 15100 | 13306 |  8773k| 578.6 |   189M | 325 |2929 |7061 |7391 | 295k|  1 |3945 |  11 | 0.000000e+00 |      --      |    Inf | unknown
3588.29/3597.00	c 
3588.29/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3588.29/3597.00	c Solving Time (sec) : 3597.00
3588.29/3597.00	c Solving Nodes      : 15133
3588.29/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3588.29/3597.00	c Dual Bound         : +0.00000000000000e+00
3588.29/3597.00	c Gap                : infinite
3588.29/3597.00	s UNKNOWN
3588.29/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3588.29/3597.00	c Total Time         :    3597.00
3588.29/3597.00	c   solving          :    3597.00
3588.29/3597.00	c   presolving       :       0.22 (included in solving)
3588.29/3597.00	c   reading          :       0.02 (included in solving)
3588.29/3597.00	c   copying          :       1.18 (106 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3588.29/3597.00	c Original Problem   :
3588.29/3597.00	c   Problem name     : HOME/instance-4450745-1721419347.opb
3588.29/3597.00	c   Variables        : 3968 (3968 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.29/3597.00	c   Constraints      : 7936 initial, 7936 maximal
3588.29/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.29/3597.00	c Presolved Problem  :
3588.29/3597.00	c   Problem name     : t_HOME/instance-4450745-1721419347.opb
3588.29/3597.00	c   Variables        : 2929 (2929 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.29/3597.00	c   Constraints      : 6096 initial, 7234 maximal
3588.29/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.29/3597.00	c   Nonzeros         : 28442 constraint, 1706 clique table
3588.29/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3588.29/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   gateextraction   :       0.00       0.00      1          0          0          0          0          0         96         32          0          0
3588.29/3597.00	c   implics          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   milp             :       0.03       0.00      1          2         92          0          0          0          0          0          0          0
3588.29/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   trivial          :       0.00       0.00     11         76          0          0          0          0          0          0          0          0
3588.29/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   dualfix          :       0.00       0.00     11          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   probing          :       0.10       0.00      1          0          1          0          0          0          0          0          0          0
3588.29/3597.00	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   knapsack         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   setppc           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   and              :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   xor              :       0.00       0.00     11          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   linear           :       0.05       0.00     16        842         26          0        842          0       2564        788         68          0
3588.29/3597.00	c   logicor          :       0.02       0.00      9          0          0          0          0          0          0          0          0         33
3588.29/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3588.29/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3588.29/3597.00	c   benderslp        :          0          0          0          0      14315          0          0       7985          0          0          0          0          0          0          0
3588.29/3597.00	c   integral         :          0          0          0          0      14315          0          0       7985          0          0          0          0          0          0      28630
3588.29/3597.00	c   knapsack         :          0+        11          0     433251          0          0          0          0        273         18        293          0          0          0          0
3588.29/3597.00	c   setppc           :          0+        12          0     269163          0          0          0          0       1045          0        166          0          0          0          0
3588.29/3597.00	c   and              :         32         32      13909     450520          0          0          0       7981       7638          2       2892       1907       1848          0          0
3588.29/3597.00	c   xor              :          1          1         11     407311          0          0          0        197         36          5          2          0          0          0          0
3588.29/3597.00	c   linear           :       1135+      1149         11     475698          0          0          0        193     389783       4250      85265          0          0          0          0
3588.29/3597.00	c   logicor          :       4928+      6038         11     273806          0          0          0          0      85151        252      25349          2          0          0          0
3588.29/3597.00	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3588.29/3597.00	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.29/3597.00	c   integral         :       9.94       0.00       0.00       0.00       9.67       0.00       0.00       0.27       0.00       0.00
3588.29/3597.00	c   knapsack         :       0.04       0.00       0.00       0.04       0.00       0.00       0.00       0.00       0.00       0.00
3588.29/3597.00	c   setppc           :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3588.29/3597.00	c   and              :       0.21       0.00       0.08       0.12       0.00       0.00       0.00       0.01       0.00       0.00
3588.29/3597.00	c   xor              :       1.00       0.00       0.00       1.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.29/3597.00	c   linear           :       1.95       0.00       0.00       1.76       0.00       0.00       0.00       0.00       0.18       0.00
3588.29/3597.00	c   logicor          :       1.62       0.00       0.01       1.55       0.00       0.00       0.00       0.00       0.06       0.00
3588.29/3597.00	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.29/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.29/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.29/3597.00	c   components       :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3588.29/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3588.29/3597.00	c   dualfix          :          1          0          0          0
3588.29/3597.00	c   genvbounds       :          0          0          0          0
3588.29/3597.00	c   nlobbt           :          0          0          0          0
3588.29/3597.00	c   obbt             :          0          0          0          0
3588.29/3597.00	c   probing          :          0          0          0          0
3588.29/3597.00	c   pseudoobj        :          0          0          0          0
3588.29/3597.00	c   redcost          :          0          0          0          0
3588.29/3597.00	c   rootredcost      :          0          0          0          0
3588.29/3597.00	c   symmetry         :          0          0          0          0
3588.29/3597.00	c   vbounds          :     125962          0          0          0
3588.29/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3588.29/3597.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3588.29/3597.00	c   genvbounds       :       0.03       0.00       0.00       0.03       0.00       0.00
3588.29/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3588.29/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3588.29/3597.00	c   probing          :       0.10       0.00       0.10       0.00       0.00       0.00
3588.29/3597.00	c   pseudoobj        :       0.03       0.00       0.00       0.03       0.00       0.00
3588.29/3597.00	c   redcost          :       0.02       0.00       0.00       0.02       0.00       0.00
3588.29/3597.00	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00       0.00
3588.29/3597.00	c   symmetry         :       0.07       0.00       0.02       0.06       0.00       0.00
3588.29/3597.00	c   vbounds          :       0.17       0.00       0.00       0.17       0.00       0.00
3588.29/3597.00	c Symmetry           :
3588.29/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3588.29/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3588.29/3597.00	c   lexicographic red:          0 reductions applied,          0 cutoffs
3588.29/3597.00	c   shadow tree time :       0.00 s
3588.29/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3588.29/3597.00	c   propagation      :       0.98        561        558          -      30495      371.2        438       13.4          -          -          -
3588.29/3597.00	c   infeasible LP    :       2.66        228        210          -      38318      670.7         23        6.6         52       82.6          0
3588.29/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3588.29/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3588.29/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3588.29/3597.00	c   applied globally :       0.02          -          -          0       3953      157.0          -          -         50          -          -
3588.29/3597.00	c   applied locally  :          -          -          -          0          0        0.0          -          -          2          -          -
3588.29/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3588.29/3597.00	c   cut pool         :       0.90          -       3334         21          -          -       8001     898082          -          -          -          -          -    (maximal pool size:       4737)
3588.29/3597.00	c   aggregation      :       0.23       0.00         43         11          0          0       4996     604468         92     196854     196791         63          0
3588.29/3597.00	c   > cmir           :          -          -          -          -          -          -          -     177292          0      28678      28678          0          -
3588.29/3597.00	c   > flowcover      :          -          -          -          -          -          -          -     226541          0      79860      79860          0          -
3588.29/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -     200635         92      88316      88253         63          -
3588.29/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   clique           :       0.02       0.00         11         11          0          0         11       1244          0        238        238          0          0
3588.29/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   gomory           :       7.86       0.00         42         10          0          0       1897      96797         48       7471       7465          6          0
3588.29/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -      36017         24       3234       3228          6          -
3588.29/3597.00	c   > strongcg       :          -          -          -          -          -          -          -      60780         24       4237       4237          0          -
3588.29/3597.00	c   impliedbounds    :       0.01       0.00         43         11          0          0        852     123066          0      55622      55622          0          0
3588.29/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   multilinear      :       0.00       0.00        326         11          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.29/3597.00	c   rapidlearning    :       8.41       0.00        100          1          0         66          0          0          0          0          0          0         46
3588.29/3597.00	c   rlt              :       0.51       0.00         37         10          0          0         13         11          2          8          8          0          0
3588.29/3597.00	c   zerohalf         :       0.71       0.00         42         11          0          0        510      72496        136      33149      33034        115          0
3588.29/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3588.29/3597.00	c   hybrid           :       1.54       0.00       4611         11     295215          0     605054       2435          0       3926
3588.29/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3588.29/3597.00	c   problem variables:       0.00          -          0          0
3588.29/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3588.29/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c   relpscost        :       9.66       0.00      14315          0          0          0          0          0          0      28630
3588.29/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3588.29/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3588.29/3597.00	c   LP solutions     :       0.00          -          -          0          0
3588.29/3597.00	c   relax solutions  :       0.00          -          -          0          0
3588.29/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3588.29/3597.00	c   strong branching :       0.00          -          -          0          0
3588.29/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3588.29/3597.00	c   adaptivediving   :      31.95       0.00         12          0          0
3588.29/3597.00	c   alns             :       0.17       0.00          6          0          0
3588.29/3597.00	c   bound            :       0.00       0.00          0          0          0
3588.29/3597.00	c   clique           :       0.01       0.00          1          0          0
3588.29/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3588.29/3597.00	c   completesol      :       0.00       0.00          0          0          0
3588.29/3597.00	c   conflictdiving   :     510.79       0.00        273          0          0
3588.29/3597.00	c   crossover        :       0.00       0.00          0          0          0
3588.29/3597.00	c   dins             :       0.00       0.00          0          0          0
3588.29/3597.00	c   distributiondivin:     184.90       0.00         80          0          0
3588.29/3597.00	c   dps              :       0.00       0.00          0          0          0
3588.29/3597.00	c   dualval          :       0.00       0.00          0          0          0
3588.29/3597.00	c   farkasdiving     :       0.00       0.00          0          0          0
3588.29/3597.00	c   feasjump         :       0.01       0.00          1          0          0
3588.29/3597.00	c   feaspump         :      36.18       0.00         10          0          0
3588.29/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3588.29/3597.00	c   fracdiving       :     192.96       0.00         65          0          0
3588.29/3597.00	c   gins             :       0.00       0.00          0          0          0
3588.29/3597.00	c   guideddiving     :       0.00       0.00          0          0          0
3588.29/3597.00	c   indcoefdiving    :       0.00       0.00          0          0          0
3588.29/3597.00	c   indicator        :       0.01       0.00          0          0          0
3588.29/3597.00	c   indicatordiving  :       0.00       0.00          0          0          0
3588.29/3597.00	c   indoneopt        :       0.00       0.00          0          0          0
3588.29/3597.00	c   indrounding      :       0.00       0.00          0          0          0
3588.29/3597.00	c   indtwoopt        :       0.00       0.00          0          0          0
3588.29/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3588.29/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3588.29/3597.00	c   linesearchdiving :     188.50       0.00         67          0          0
3588.29/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3588.29/3597.00	c   locks            :       0.01       0.00          1          0          0
3588.29/3597.00	c   lpface           :       0.06       0.00          0          0          0
3588.29/3597.00	c   mpec             :       0.00       0.00          0          0          0
3588.29/3597.00	c   multistart       :       0.00       0.00          0          0          0
3588.29/3597.00	c   mutation         :       0.00       0.00          0          0          0
3588.29/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3588.29/3597.00	c   objpscostdiving  :     398.98       0.00          3          0          0
3588.29/3597.00	c   octane           :       0.00       0.00          0          0          0
3588.29/3597.00	c   ofins            :       0.00       0.00          0          0          0
3588.29/3597.00	c   oneopt           :       0.01       0.00          0          0          0
3588.29/3597.00	c   padm             :       0.00       0.00          0          0          0
3588.29/3597.00	c   proximity        :       0.00       0.00          0          0          0
3588.29/3597.00	c   pscostdiving     :     204.75       0.00         49          0          0
3588.29/3597.00	c   randrounding     :       0.40       0.00       1853          0          0
3588.29/3597.00	c   rens             :       0.00       0.00          0          0          0
3588.29/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3588.29/3597.00	c   repair           :       0.00       0.00          0          0          0
3588.29/3597.00	c   rins             :       0.00       0.00          0          0          0
3588.29/3597.00	c   rootsoldiving    :      22.88       0.00         11          0          0
3588.29/3597.00	c   rounding         :       0.38       0.00       1922          0          0
3588.29/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3588.29/3597.00	c   shiftandpropagate:       0.01       0.00          1          0          0
3588.29/3597.00	c   shifting         :       1.07       0.00        965          0          0
3588.29/3597.00	c   simplerounding   :       0.01       0.00          0          0          0
3588.29/3597.00	c   smallcard        :       0.00       0.00          0          0          0
3588.29/3597.00	c   subnlp           :       0.01       0.00          0          0          0
3588.29/3597.00	c   trivial          :       0.00       0.00          2          0          0
3588.29/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3588.29/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3588.29/3597.00	c   trysol           :       0.00       0.00          0          0          0
3588.29/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3588.29/3597.00	c   undercover       :       0.00       0.00          1          0          0
3588.29/3597.00	c   vbounds          :       0.00       0.00          0          0          0
3588.29/3597.00	c   veclendiving     :     190.42       0.00        128          0          0
3588.29/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3588.29/3597.00	c   zirounding       :       0.15       0.00       1000          0          0
3588.29/3597.00	c   other solutions  :          -          -          -          0          -
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3588.29/3597.00	c   primal LP        :       1.66       1529          0       0.00       0.00       1.66       1529
3588.29/3597.00	c   dual LP          :    1578.56      19144    5487060     287.03    3475.99       0.06         27
3588.29/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3588.29/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3588.29/3597.00	c   resolve instable :       0.05          2        953     476.50   17425.49
3588.29/3597.00	c   diving/probing LP:    1940.21       5405    3288624     608.44    1694.98
3588.29/3597.00	c   strong branching :       5.22         11      10549     959.00    2018.95          -          -         21
3588.29/3597.00	c     (at root node) :          -         11      10549     959.00          -
3588.29/3597.00	c   conflict analysis:       0.00          0          0       0.00          -
3588.29/3597.00	c B&B Tree           :
3588.29/3597.00	c   number of runs   :          1
3588.29/3597.00	c   nodes            :      15133 (14315 internal, 818 leaves)
3588.29/3597.00	c   feasible leaves  :          0
3588.29/3597.00	c   infeas. leaves   :        817
3588.29/3597.00	c   objective leaves :          0
3588.29/3597.00	c   nodes (total)    :      15133 (14315 internal, 818 leaves)
3588.29/3597.00	c   nodes left       :      13308
3588.29/3597.00	c   max depth        :        325
3588.29/3597.00	c   max depth (total):        325
3588.29/3597.00	c   backtracks       :       3215 (21.2%)
3588.29/3597.00	c   early backtracks :          0 (0.0%)
3588.29/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3588.29/3597.00	c   delayed cutoffs  :        191
3588.29/3597.00	c   repropagations   :        624 (10154 domain reductions, 159 cutoffs)
3588.29/3597.00	c   avg switch length:       7.53
3588.29/3597.00	c   switching time   :       3.55
3588.29/3597.00	c Root Node          :
3588.29/3597.00	c   First LP value   : +0.00000000000000e+00
3588.29/3597.00	c   First LP Iters   :        818 (36729.38 Iter/sec)
3588.29/3597.00	c   First LP Time    :       0.02
3588.29/3597.00	c   Final Dual Bound : +0.00000000000000e+00
3588.29/3597.00	c   Final Root Iters :      37173
3588.29/3597.00	c   Root LP Estimate : +3.32647862905187e-01
3588.29/3597.00	c Solution           :
3588.29/3597.00	c   Solutions found  :          0 (0 improvements)
3588.29/3597.00	c   Primal Bound     :          -
3588.29/3597.00	c   Dual Bound       : +0.00000000000000e+00
3588.29/3597.00	c   Gap              :   infinite
3588.29/3597.00	c Integrals          :      Total       Avg%
3588.29/3597.00	c   primal-dual      :  359699.75     100.00
3588.29/3597.00	c   primal-ref       :          -          - (not evaluated)
3588.29/3597.00	c   dual-ref         :          -          - (not evaluated)
3588.40/3597.04	c Time complete: 3588.45.

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450745-1721419347/watcher-4450745-1721419347 -o /tmp/evaluation-result-4450745-1721419347/solver-4450745-1721419347 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721410880-1025277 --watchdog 3760 pbscip -f HOME/instance-4450745-1721419347.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=1030508, runsolver pid=1030505

[startup+0.101723 s]*
/proc/loadavg: 4.12 4.14 4.17 5/259 1030509
/proc/meminfo: memFree=126310540/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=84896 memory=45752 CPUtime=0.1 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 9000 0 0 0 9 1 0 0 20 0 1 0 194105532 86933504 11438 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 21224 11438 3744 3540 0 9481 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 84896 KiB
Current children cumulated memory: 45752 KiB

[startup+0.20547 s]*
/proc/loadavg: 4.12 4.14 4.17 5/259 1030509
/proc/meminfo: memFree=126308860/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=86900 memory=47396 CPUtime=0.2 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 9398 0 0 0 19 1 0 0 20 0 1 0 194105532 88985600 11849 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 21725 11849 3760 3540 0 9982 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 86900 KiB
Current children cumulated memory: 47396 KiB

[startup+0.305454 s]*
/proc/loadavg: 4.12 4.14 4.17 5/259 1030509
/proc/meminfo: memFree=126292312/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=107628 memory=65112 CPUtime=0.3 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 14345 0 0 0 28 2 0 0 20 0 1 0 194105532 110211072 16278 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 26907 16278 3984 3540 0 15164 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107628 KiB
Current children cumulated memory: 65112 KiB

[startup+0.700178 s]
/proc/loadavg: 4.12 4.14 4.17 5/259 1030509
/proc/meminfo: memFree=126265320/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=127604 memory=83568 CPUtime=0.68 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 21133 0 0 0 66 2 0 0 20 0 1 0 194105532 130666496 20892 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 31901 20892 4016 3540 0 20158 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127604 KiB
Current children cumulated memory: 83568 KiB

[startup+1.50016 s]
/proc/loadavg: 4.12 4.14 4.17 5/259 1030509
/proc/meminfo: memFree=126273408/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=127604 memory=83568 CPUtime=1.48 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 21157 0 0 0 146 2 0 0 20 0 1 0 194105532 130666496 20892 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 31901 20892 4016 3540 0 20158 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 127604 KiB
Current children cumulated memory: 83568 KiB

[startup+3.10536 s]
/proc/loadavg: 4.11 4.14 4.16 5/259 1030510
/proc/meminfo: memFree=126273144/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=127604 memory=83568 CPUtime=3.08 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 21164 0 0 0 306 2 0 0 20 0 1 0 194105532 130666496 20892 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 31901 20892 4016 3540 0 20158 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127604 KiB
Current children cumulated memory: 83568 KiB

[startup+6.30019 s]
/proc/loadavg: 4.11 4.14 4.16 5/259 1030510
/proc/meminfo: memFree=126272752/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=127604 memory=84596 CPUtime=6.28 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 21423 0 0 0 625 3 0 0 20 0 1 0 194105532 130666496 21149 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 31901 21149 4016 3540 0 20158 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 127604 KiB
Current children cumulated memory: 84596 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.14 4.16 5/259 1030510
/proc/meminfo: memFree=126253684/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=131048 memory=86972 CPUtime=12.66 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 22015 0 0 0 1263 3 0 0 20 0 1 0 194105532 134193152 21743 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 32762 21743 4016 3540 0 21019 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 131048 KiB
Current children cumulated memory: 86972 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.13 4.16 5/259 1030513
/proc/meminfo: memFree=126231340/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=135940 memory=89084 CPUtime=25.43 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 22499 0 0 0 2540 3 0 0 20 0 1 0 194105532 139202560 22271 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 33985 22271 4016 3540 0 22242 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 135940 KiB
Current children cumulated memory: 89084 KiB

[startup+51.1057 s]
/proc/loadavg: 4.05 4.12 4.16 5/259 1030516
/proc/meminfo: memFree=126207652/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=159664 memory=111240 CPUtime=50.97 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 28597 0 0 0 5093 4 0 0 20 0 1 0 194105532 163495936 27810 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 39916 27810 4016 3540 0 28173 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 159664 KiB
Current children cumulated memory: 111240 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/257 1030527
/proc/meminfo: memFree=126207068/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=159664 memory=111240 CPUtime=102.04 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 28597 0 0 0 10200 4 0 0 20 0 1 0 194105532 163495936 27810 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 39916 27810 4016 3540 0 28173 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 159664 KiB
Current children cumulated memory: 111240 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.14 4.16 5/255 1030537
/proc/meminfo: memFree=126202652/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=159664 memory=111240 CPUtime=161.89 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 28597 0 0 0 16185 4 0 0 20 0 1 0 194105532 163495936 27810 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 39916 27810 4016 3540 0 28173 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 159664 KiB
Current children cumulated memory: 111240 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/255 1030547
/proc/meminfo: memFree=126199028/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=160816 memory=114064 CPUtime=221.74 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 31526 0 0 0 22169 5 0 0 20 0 1 0 194105532 164675584 28516 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 40204 28516 4016 3540 0 28461 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 160816 KiB
Current children cumulated memory: 114064 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/254 1030557
/proc/meminfo: memFree=126171644/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=164312 memory=127776 CPUtime=281.58 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 36780 0 0 0 28153 5 0 0 20 0 1 0 194105532 168255488 31944 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 41078 31944 4016 3540 0 29335 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 164312 KiB
Current children cumulated memory: 127776 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.14 5/254 1030568
/proc/meminfo: memFree=126170300/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=164968 memory=128500 CPUtime=341.43 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 38857 0 0 0 34138 5 0 0 20 0 1 0 194105532 168927232 32125 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 41242 32125 4032 3540 0 29499 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 164968 KiB
Current children cumulated memory: 128500 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.13 5/254 1030578
/proc/meminfo: memFree=126168180/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=164880 memory=128640 CPUtime=401.28 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 43616 0 0 0 40122 6 0 0 20 0 1 0 194105532 168837120 32160 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 41220 32160 4032 3540 0 29477 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 164880 KiB
Current children cumulated memory: 128640 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/255 1030591
/proc/meminfo: memFree=126147332/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=168204 memory=131756 CPUtime=461.14 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 47179 0 0 0 46107 7 0 0 20 0 1 0 194105532 172240896 32939 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 42051 32939 4032 3540 0 30308 0

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

/proc/loadavg: 1.08 1.34 2.30 2/236 1032223
/proc/meminfo: memFree=126804020/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=198628 memory=162176 CPUtime=3154.64 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 100491 0 0 0 315448 16 0 0 20 0 1 0 194105532 203395072 40544 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 49657 40544 4032 3540 0 37914 0
Current children cumulated CPU time: 3154.64 s
Current children cumulated vsize: 198628 KiB
Current children cumulated memory: 162176 KiB

[startup+3222.3 s]
/proc/loadavg: 1.21 1.33 2.23 2/234 1032234
/proc/meminfo: memFree=126804184/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=198628 memory=162176 CPUtime=3214.51 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 100555 0 0 0 321435 16 0 0 20 0 1 0 194105532 203395072 40544 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 49657 40544 4032 3540 0 37914 0
Current children cumulated CPU time: 3214.51 s
Current children cumulated vsize: 198628 KiB
Current children cumulated memory: 162176 KiB

[startup+3282.3 s]
/proc/loadavg: 1.13 1.28 2.16 2/234 1032244
/proc/meminfo: memFree=126803400/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=198628 memory=162176 CPUtime=3274.38 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 100622 0 0 0 327422 16 0 0 20 0 1 0 194105532 203395072 40544 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 49657 40544 4032 3540 0 37914 0
Current children cumulated CPU time: 3274.38 s
Current children cumulated vsize: 198628 KiB
Current children cumulated memory: 162176 KiB

[startup+3342.3 s]
/proc/loadavg: 1.15 1.26 2.09 2/235 1032424
/proc/meminfo: memFree=126802120/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=198628 memory=162180 CPUtime=3334.25 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 100705 0 0 0 333409 16 0 0 20 0 1 0 194105532 203395072 40545 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 49657 40545 4032 3540 0 37914 0
Current children cumulated CPU time: 3334.25 s
Current children cumulated vsize: 198628 KiB
Current children cumulated memory: 162180 KiB

[startup+3402.3 s]
/proc/loadavg: 1.11 1.22 2.03 2/235 1032434
/proc/meminfo: memFree=126801008/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=198824 memory=162320 CPUtime=3394.12 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 100843 0 0 0 339396 16 0 0 20 0 1 0 194105532 203595776 40580 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 49706 40580 4032 3540 0 37963 0
Current children cumulated CPU time: 3394.12 s
Current children cumulated vsize: 198824 KiB
Current children cumulated memory: 162320 KiB

[startup+3462.3 s]
/proc/loadavg: 1.08 1.20 1.96 2/238 1032449
/proc/meminfo: memFree=126800272/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=199148 memory=162848 CPUtime=3453.99 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 101019 0 0 0 345383 16 0 0 20 0 1 0 194105532 203927552 40712 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 49787 40712 4032 3540 0 38044 0
Current children cumulated CPU time: 3453.99 s
Current children cumulated vsize: 199148 KiB
Current children cumulated memory: 162848 KiB

[startup+3522.3 s]
/proc/loadavg: 1.06 1.17 1.91 2/238 1032471
/proc/meminfo: memFree=126798168/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=200616 memory=164168 CPUtime=3513.86 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 101430 0 0 0 351370 16 0 0 20 0 1 0 194105532 205430784 41042 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 50154 41042 4032 3540 0 38411 0
Current children cumulated CPU time: 3513.86 s
Current children cumulated vsize: 200616 KiB
Current children cumulated memory: 164168 KiB

[startup+3582.3 s]
/proc/loadavg: 1.07 1.15 1.85 2/239 1032484
/proc/meminfo: memFree=126766384/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=238272 memory=197660 CPUtime=3573.73 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 109803 0 0 0 357356 17 0 0 20 0 1 0 194105532 243990528 49415 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 59568 49415 4177 3540 0 47825 0
Current children cumulated CPU time: 3573.73 s
Current children cumulated vsize: 238272 KiB
Current children cumulated memory: 197660 KiB

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

# cumulated CPU time of all completed processes:  user=3588.26 s, system=0.18948 s

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

[startup+3584 s]*
/proc/loadavg: 1.06 1.15 1.85 2/239 1032486
/proc/meminfo: memFree=126762396/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=240372 memory=199720 CPUtime=3575.42 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 110350 0 0 0 357525 17 0 0 20 0 1 0 194105532 246140928 49930 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 60093 49930 4177 3540 0 48350 0
Current children cumulated CPU time: 3575.42 s
Current children cumulated vsize: 240372 KiB
Current children cumulated memory: 199720 KiB

[startup+3590.4 s]
/proc/loadavg: 1.06 1.15 1.84 2/239 1032486
/proc/meminfo: memFree=126754940/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=247768 memory=207532 CPUtime=3581.81 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 112300 0 0 0 358163 18 0 0 20 0 1 0 194105532 253714432 51883 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 61942 51883 4177 3540 0 50199 0
Current children cumulated CPU time: 3581.81 s
Current children cumulated vsize: 247768 KiB
Current children cumulated memory: 207532 KiB

[startup+3593.6 s]
/proc/loadavg: 1.06 1.15 1.84 2/239 1032487
/proc/meminfo: memFree=126752376/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=250280 memory=210076 CPUtime=3585 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 112991 0 0 0 358482 18 0 0 20 0 1 0 194105532 256286720 52519 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 62570 52519 4177 3540 0 50827 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 250280 KiB
Current children cumulated memory: 210076 KiB

[startup+3595.2 s]
/proc/loadavg: 1.14 1.16 1.84 2/239 1032487
/proc/meminfo: memFree=126751368/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=251032 memory=210700 CPUtime=3586.6 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 113183 0 0 0 358642 18 0 0 20 0 1 0 194105532 257056768 52675 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 62758 52675 4177 3540 0 51015 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 251032 KiB
Current children cumulated memory: 210700 KiB

[startup+3596 s]*
/proc/loadavg: 1.14 1.16 1.84 2/239 1032487
/proc/meminfo: memFree=126750864/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=251588 memory=211228 CPUtime=3587.4 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 113330 0 0 0 358722 18 0 0 20 0 1 0 194105532 257626112 52807 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 62897 52807 4177 3540 0 51154 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 251588 KiB
Current children cumulated memory: 211228 KiB

[startup+3596.8 s]
/proc/loadavg: 1.14 1.16 1.84 2/239 1032487
/proc/meminfo: memFree=126750864/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=251720 memory=211492 CPUtime=3588.19 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 113359 0 0 0 358801 18 0 0 20 0 1 0 194105532 257761280 52873 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 62930 52873 4177 3540 0 51187 0
Current children cumulated CPU time: 3588.19 s
Current children cumulated vsize: 251720 KiB
Current children cumulated memory: 211492 KiB

[startup+3597 s]*
/proc/loadavg: 1.14 1.16 1.84 2/239 1032487
/proc/meminfo: memFree=126750576/131524600 swapFree=131071996/131071996
[pid=1030508] ppid=1030505 vsize=251868 memory=211756 CPUtime=3588.4 cores=1,3
/proc/1030508/stat : 1030508 (pbscip) R 1030505 1030508 1025265 0 -1 4194304 113400 0 0 0 358822 18 0 0 20 0 1 0 194105532 257912832 52939 134679101440 4194304 18693293 140730113595232 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 43458560 140730113602562 140730113602661 140730113602661 140730113609678 0
/proc/1030508/statm: 62967 52939 4177 3540 0 51224 0
Current children cumulated CPU time: 3588.4 s
Current children cumulated vsize: 251868 KiB
Current children cumulated memory: 211756 KiB

Child status: 0

Real time (s): 3597.05
CPU time (s): 3588.45
CPU user time (s): 3588.26
CPU system time (s): 0.18948
CPU usage (%): 99.7609
Max. virtual memory (cumulated for all children) (KiB): 251868
Max. memory (cumulated for all children) (KiB): 211756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.26
system time used= 0.18948
maximum resident set size= 211756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113658
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= 31
involuntary context switches= 3066


# summary of solver processes directly reported to runsolver:
#   pid: 1030508
#   total CPU time (s): 3588.45
#   total CPU user time (s): 3588.26
#   total CPU system time (s): 0.18948

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91674 second user time and 14.4825 second system time

The end

Launcher Data

Begin job on nodeC035 at 2024-07-19 22:02:39
IDJOB=4450745
IDBENCH=162227
IDSOLVER=3059
FILE ID=nodeC035/4450745-1721419347
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-size160-round21-1.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-4450745-1721419347/watcher-4450745-1721419347 -o /tmp/evaluation-result-4450745-1721419347/solver-4450745-1721419347 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721410880-1025277 --watchdog 3760  pbscip -f HOME/instance-4450745-1721419347.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 24b841e180e6c10fba8d79de5f0eab8c
RANDOM SEED=1190204475

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		: 3659.737
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		: 3666.369
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		: 3600.157
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.491
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		: 3659.786
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		: 3666.032
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.103
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.381
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:        126342104 kB
MemAvailable:   129065576 kB
Buffers:          548008 kB
Cached:          2993792 kB
SwapCached:            0 kB
Active:          1020144 kB
Inactive:        3489424 kB
Active(anon):       1568 kB
Inactive(anon):  1012116 kB
Active(file):    1018576 kB
Inactive(file):  2477308 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19000 kB
Writeback:             0 kB
AnonPages:        967416 kB
Mapped:           142104 kB
Shmem:             45916 kB
KReclaimable:     134824 kB
Slab:             251852 kB
SReclaimable:     134824 kB
SUnreclaim:       117028 kB
KernelStack:        4140 kB
PageTables:        11148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1377704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72928 kB
HardwareCorrupted:     0 kB
AnonHugePages:    700416 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= 890048 MiB
End job on nodeC035 at 2024-07-19 23:02:36