Trace number 4432702

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 NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07SAT-46 3587.79 3597.32

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM05a4468103b1b74e5a90bd7e67aed0d9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-53
Best CPU time to get the best result obtained on this benchmark72001.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1272
Total number of constraints94227
Number of constraints which are clauses94227
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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-4432702-1721052247.opb>
0.09/0.14	c original problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94227 constraints
0.09/0.14	c problem read in 0.14
0.20/0.24	o 0
0.20/0.24	c feasible solution found by trivial heuristic after 0.2 seconds, objective value 0.000000e+00
0.20/0.24	c presolving:
0.40/0.45	c    (0.4s) running MILP presolver
0.59/0.64	c    (0.6s) MILP presolver found nothing
0.78/0.81	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 94227 upgd conss, 0 impls, 94227 clqs
1.29/1.35	c    (1.4s) probing: 51/1272 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.29/1.35	c    (1.4s) probing aborted: 50/50 successive totally useless probings
1.88/1.91	c    (1.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.88/1.96	c    (2.0s) no symmetry present (symcode time: 0.01)
1.88/1.98	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1.88/1.98	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.88/1.98	c  0 implications, 94227 cliques
1.88/1.98	c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94227 constraints
1.88/1.98	c   94227 constraints of type <setppc>
1.88/1.98	c transformed objective value is always integral (scale: 1)
1.88/1.98	c Presolving Time: 1.74
1.88/1.98	c - non default parameters ----------------------------------------------------------------------
1.88/1.98	c # SCIP version 10.0.0
1.88/1.98	c 
1.88/1.98	c # maximal time in seconds to run
1.88/1.98	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.88/1.98	c limits/time = 3596.997042
1.88/1.98	c 
1.88/1.98	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.88/1.98	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.88/1.98	c limits/memory = 27900
1.88/1.98	c 
1.88/1.98	c # belongs reading time to solving time?
1.88/1.98	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.88/1.98	c timing/reading = TRUE
1.88/1.98	c 
1.88/1.98	c -----------------------------------------------------------------------------------------------
1.88/1.98	c start solving
1.88/1.98	c transformed 1/1 original solutions to the transformed problem space
1.88/1.98	c 
2.09/2.18	o -34
2.09/2.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2.09/2.18	c p 2.2s|     1 |     0 |     0 |     - |  clique|   0 |1272 |  94k|  94k|   0 |  0 |   0 |   0 |-1.272000e+03 |-3.400000e+01 |3641.18%| unknown
2.58/2.64	o -39
2.58/2.64	c p 2.6s|     1 |     0 |   424 |     - | vbounds|   0 |1272 |  94k|  94k|   0 |  0 |   0 |   0 |-1.272000e+03 |-3.900000e+01 |3161.54%| unknown
3.09/3.19	c   3.2s|     1 |     0 |  1696 |     - |   437M |   0 |1272 |  94k|  94k|   0 |  0 |   0 |   0 |-6.360000e+02 |-3.900000e+01 |1530.77%| unknown
4.38/4.41	c   4.4s|     1 |     0 |  1962 |     - |   460M |   0 |1272 |  94k|  94k|  12 |  1 |   0 |   0 |-5.990000e+02 |-3.900000e+01 |1435.90%| unknown
7.27/7.33	c   7.3s|     1 |     0 |  2201 |     - |   474M |   0 |1272 |  94k|  94k|  37 |  2 |   0 |   0 |-5.680000e+02 |-3.900000e+01 |1356.41%| unknown
11.36/11.43	c  11.4s|     1 |     0 |  2457 |     - |   483M |   0 |1272 |  94k|  94k|  64 |  3 |   0 |   0 |-5.370000e+02 |-3.900000e+01 |1276.92%| unknown
13.26/13.37	c  13.4s|     1 |     0 |  2703 |     - |   496M |   0 |1272 |  94k|  94k|  95 |  4 |   0 |   0 |-5.065000e+02 |-3.900000e+01 |1198.72%| unknown
14.45/14.58	c  14.6s|     1 |     0 |  3080 |     - |   505M |   0 |1272 |  94k|  94k| 123 |  5 |   0 |   0 |-4.778333e+02 |-3.900000e+01 |1125.21%| unknown
15.35/15.49	c  15.5s|     1 |     0 |  3545 |     - |   517M |   0 |1272 |  94k|  94k| 162 |  6 |   0 |   0 |-4.575000e+02 |-3.900000e+01 |1073.08%| unknown
16.65/16.72	c  16.7s|     1 |     0 |  4297 |     - |   526M |   0 |1272 |  94k|  94k| 196 |  7 |   0 |   0 |-4.290000e+02 |-3.900000e+01 |1000.00%| unknown
18.34/18.47	c  18.5s|     1 |     0 |  6085 |     - |   536M |   0 |1272 |  94k|  94k| 237 |  8 |   0 |   0 |-3.972500e+02 |-3.900000e+01 | 918.59%| unknown
19.84/19.91	c  19.9s|     1 |     0 |  7610 |     - |   545M |   0 |1272 |  94k|  94k| 278 |  9 |   0 |   0 |-3.678750e+02 |-3.900000e+01 | 843.27%| unknown
20.83/20.91	c  20.9s|     1 |     0 |  9006 |     - |   555M |   0 |1272 |  94k|  94k| 318 | 10 |   0 |   0 |-3.417917e+02 |-3.900000e+01 | 776.39%| unknown
21.53/21.60	c  21.6s|     1 |     0 |  9908 |     - |   564M |   0 |1272 |  94k|  94k| 338 | 11 |   0 |   0 |-3.268750e+02 |-3.900000e+01 | 738.14%| unknown
22.23/22.33	c  22.3s|     1 |     0 | 11274 |     - |   574M |   0 |1272 |  94k|  94k| 366 | 12 |   0 |   0 |-2.990000e+02 |-3.900000e+01 | 666.67%| unknown
23.13/23.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
23.13/23.27	c  23.3s|     1 |     0 | 12983 |     - |   583M |   0 |1272 |  94k|  94k| 386 | 13 |   0 |   0 |-2.717500e+02 |-3.900000e+01 | 596.79%| unknown
24.03/24.13	c  24.1s|     1 |     0 | 14543 |     - |   593M |   0 |1272 |  94k|  94k| 415 | 14 |   0 |   0 |-2.440000e+02 |-3.900000e+01 | 525.64%| unknown
24.52/24.61	c  24.6s|     1 |     0 | 15452 |     - |   603M |   0 |1272 |  94k|  94k| 428 | 15 |   0 |   0 |-2.161500e+02 |-3.900000e+01 | 454.23%| unknown
24.93/25.08	c  25.1s|     1 |     0 | 16222 |     - |   612M |   0 |1272 |  94k|  94k| 451 | 16 |   0 |   0 |-1.964000e+02 |-3.900000e+01 | 403.59%| unknown
25.53/25.66	c  25.7s|     1 |     0 | 17347 |     - |   622M |   0 |1272 |  94k|  94k| 477 | 17 |   0 |   0 |-1.780000e+02 |-3.900000e+01 | 356.41%| unknown
26.13/26.25	c  26.2s|     1 |     0 | 18585 |     - |   632M |   0 |1272 |  94k|  94k| 503 | 18 |   0 |   0 |-1.588333e+02 |-3.900000e+01 | 307.26%| unknown
26.63/26.74	c  26.7s|     1 |     0 | 19827 |     - |   641M |   0 |1272 |  94k|  94k| 531 | 19 |   0 |   0 |-1.489375e+02 |-3.900000e+01 | 281.89%| unknown
27.52/27.60	c  27.6s|     1 |     0 | 22164 |     - |   650M |   0 |1272 |  94k|  94k| 554 | 20 |   0 |   0 |-1.330000e+02 |-3.900000e+01 | 241.03%| unknown
27.72/27.87	c  27.9s|     1 |     0 | 22541 |     - |   650M |   0 |1272 |  94k|  94k| 559 | 21 |   0 |   0 |-1.250000e+02 |-3.900000e+01 | 220.51%| unknown
27.93/28.10	c  28.1s|     1 |     0 | 22835 |     - |   650M |   0 |1272 |  94k|  94k| 562 | 22 |   0 |   0 |-1.167500e+02 |-3.900000e+01 | 199.36%| unknown
28.32/28.45	c  28.4s|     1 |     0 | 23702 |     - |   651M |   0 |1272 |  94k|  94k| 565 | 23 |   0 |   0 |-9.600000e+01 |-3.900000e+01 | 146.15%| unknown
28.42/28.58	c  28.6s|     1 |     0 | 23773 |     - |   651M |   0 |1272 |  94k|  94k| 566 | 24 |   0 |   0 |-8.708333e+01 |-3.900000e+01 | 123.29%| unknown
28.62/28.72	c  28.7s|     1 |     0 | 23868 |     - |   652M |   0 |1272 |  94k|  94k| 569 | 25 |   0 |   0 |-6.908333e+01 |-3.900000e+01 |  77.14%| unknown
28.72/28.85	c  28.9s|     1 |     0 | 23938 |     - |   653M |   0 |1272 |  94k|  94k| 571 | 26 |   0 |   0 |-6.170238e+01 |-3.900000e+01 |  58.21%| unknown
28.82/28.99	c  29.0s|     1 |     0 | 24018 |     - |   654M |   0 |1272 |  94k|  94k| 574 | 27 |   0 |   0 |-5.416667e+01 |-3.900000e+01 |  38.89%| unknown
29.02/29.12	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
29.02/29.12	c  29.1s|     1 |     0 | 24074 |     - |   654M |   0 |1272 |  94k|  94k| 579 | 28 |   0 |   0 |-5.350000e+01 |-3.900000e+01 |  37.18%| unknown
29.12/29.24	c  29.2s|     1 |     0 | 24107 |     - |   654M |   0 |1272 |  94k|  94k| 583 | 29 |   0 |   0 |-5.350000e+01 |-3.900000e+01 |  37.18%| unknown
29.21/29.36	c  29.4s|     1 |     0 | 24130 |     - |   655M |   0 |1272 |  94k|  94k| 586 | 30 |   0 |   0 |-5.350000e+01 |-3.900000e+01 |  37.18%| unknown
29.31/29.49	c  29.5s|     1 |     0 | 24186 |     - |   656M |   0 |1272 |  94k|  94k| 590 | 31 |   0 |   0 |-5.350000e+01 |-3.900000e+01 |  37.18%| unknown
29.51/29.61	c  29.6s|     1 |     0 | 24213 |     - |   657M |   0 |1272 |  94k|  94k| 597 | 32 |   0 |   0 |-5.350000e+01 |-3.900000e+01 |  37.18%| unknown
29.61/29.75	c  29.7s|     1 |     0 | 24299 |     - |   657M |   0 |1272 |  94k|  94k| 606 | 33 |   0 |   0 |-5.350000e+01 |-3.900000e+01 |  37.18%| unknown
29.71/29.89	c  29.9s|     1 |     0 | 24359 |     - |   658M |   0 |1272 |  94k|  94k| 611 | 34 |   0 |   0 |-5.350000e+01 |-3.900000e+01 |  37.18%| unknown
29.92/30.03	c  30.0s|     1 |     0 | 24424 |     - |   658M |   0 |1272 |  94k|  94k| 618 | 35 |   0 |   0 |-5.350000e+01 |-3.900000e+01 |  37.18%| unknown
30.02/30.17	c  30.2s|     1 |     0 | 24487 |     - |   659M |   0 |1272 |  94k|  94k| 629 | 36 |   0 |   0 |-5.350000e+01 |-3.900000e+01 |  37.18%| unknown
30.21/30.32	c  30.3s|     1 |     0 | 24555 |     - |   660M |   0 |1272 |  94k|  94k| 636 | 37 |   0 |   0 |-5.350000e+01 |-3.900000e+01 |  37.18%| unknown
30.31/30.46	c  30.5s|     1 |     0 | 24623 |     - |   661M |   0 |1272 |  94k|  94k| 644 | 38 |   0 |   0 |-5.350000e+01 |-3.900000e+01 |  37.18%| unknown
33.91/34.05	c  34.0s|     1 |     2 | 24637 |     - |   662M |   0 |1272 |  94k|  94k| 644 | 38 |   0 |  20 |-5.300000e+01 |-3.900000e+01 |  35.90%| unknown
68.10/68.39	o -42
68.10/68.39	c *68.4s|    67 |    66 | 28637 |  67.2 |strongbr|  35 |1272 |  94k|  94k| 673 |  1 |   0 | 742 |-5.300000e+01 |-4.200000e+01 |  26.19%| unknown
68.49/68.77	o -43
68.49/68.77	c *68.8s|    71 |    66 | 28679 |  64.0 |    LP  |  38 |1272 |  94k|  94k| 673 |  1 |   0 | 753 |-5.300000e+01 |-4.300000e+01 |  23.26%| unknown
78.26/78.55	c  78.5s|   100 |    85 | 30284 |  61.5 |   689M |  38 |1272 |  94k|  94k| 678 |  1 |   0 |1011 |-5.300000e+01 |-4.300000e+01 |  23.26%| unknown
95.22/95.54	o -44
95.22/95.54	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
95.22/95.54	c *95.5s|   164 |   117 | 33584 |  57.6 |    LP  |  38 |1272 |  94k|  94k| 702 |  2 |  15 |1305 |-5.300000e+01 |-4.400000e+01 |  20.45%| unknown
96.82/97.15	c  97.1s|   200 |   131 | 34836 |  53.5 |   701M |  38 |1272 |  94k|  94k| 704 |  0 |  15 |1323 |-5.300000e+01 |-4.400000e+01 |  20.45%| unknown
101.40/101.78	c   102s|   300 |   167 | 38050 |  46.3 |   714M |  40 |1272 |  94k|  94k| 727 |  2 |  19 |1346 |-5.300000e+01 |-4.400000e+01 |  20.45%| unknown
104.59/104.91	o -45
104.59/104.91	c * 105s|   337 |   155 | 39218 |  44.7 |    LP  |  40 |1272 |  94k|  94k| 734 |  3 |  19 |1349 |-5.300000e+01 |-4.500000e+01 |  17.78%| unknown
104.59/104.92	o -46
104.59/104.92	c i 105s|   337 |   143 | 39218 |  44.7 |  oneopt|  40 |1272 |  94k|  94k| 734 |  3 |  19 |1349 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
115.67/116.10	c   116s|   400 |   172 | 41811 |  44.1 |   754M |  40 |1272 |  94k|  94k| 766 |  1 |  29 |1439 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
140.60/141.00	c   141s|   500 |   202 | 45601 |  42.9 |   793M |  40 |1272 |  94k|  94k| 841 |  2 |  42 |1617 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
154.15/154.66	c   155s|   600 |   246 | 49794 |  42.7 |   800M |  40 |1272 |  94k|  94k| 865 |  1 | 202 |1882 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
161.23/161.79	c   162s|   700 |   284 | 54267 |  43.0 |   801M |  40 |1272 |  94k|  94k| 875 |  0 | 278 |2011 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
165.32/165.80	c   166s|   800 |   329 | 58043 |  42.4 |   804M |  40 |1272 |  94k|  94k| 883 |  1 | 302 |2048 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
168.11/168.69	c   169s|   900 |   361 | 61222 |  41.2 |   804M |  40 |1272 |  94k|  94k| 898 |  0 | 326 |2066 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
171.10/171.68	c   172s|  1000 |   391 | 64028 |  39.9 |   805M |  40 |1272 |  94k|  94k| 911 |  1 | 332 |2081 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
177.68/178.24	c   178s|  1100 |   433 | 68157 |  40.0 |   810M |  40 |1272 |  94k|  94k| 937 |  0 | 352 |2132 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
181.27/181.89	c   182s|  1200 |   465 | 71794 |  39.7 |   812M |  40 |1272 |  94k|  94k| 945 |  0 | 356 |2165 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
185.55/186.13	c   186s|  1300 |   551 | 78352 |  41.7 |   826M |  40 |1272 |  94k|  94k| 951 |  1 | 436 |2172 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
191.03/191.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
191.03/191.68	c   192s|  1400 |   637 | 86898 |  44.8 |   829M |  40 |1272 |  94k|  94k| 962 |  0 | 490 |2194 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
220.96/221.68	c   222s|  1500 |   733 | 96425 |  48.2 |   877M |  40 |1272 |  94k|  94k|1113 |  1 | 603 |2295 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
227.94/228.66	c   229s|  1600 |   831 |105847 |  51.1 |   879M |  40 |1272 |  94k|  94k|1119 |  1 | 686 |2346 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
290.29/291.19	c   291s|  1700 |   927 |115412 |  53.7 |  1035M |  44 |1272 |  94k|  94k|1498 |  1 | 784 |2397 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
334.98/335.99	c   336s|  1800 |  1023 |125726 |  56.4 |  1112M |  44 |1272 |  95k|  94k|1733 |  1 | 856 |2461 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
374.18/375.26	c   375s|  1900 |  1113 |137371 |  59.6 |  1175M |  45 |1272 |  95k|  94k|2007 |  1 | 918 |2511 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
413.78/414.96	c   415s|  2000 |  1199 |146989 |  61.4 |  1271M |  45 |1272 |  95k|  94k|2326 |  3 |1010 |2557 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
441.50/442.74	c   443s|  2100 |  1291 |157058 |  63.3 |  1294M |  45 |1272 |  95k|  94k|2468 |  2 |1071 |2622 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
456.16/457.45	c   457s|  2200 |  1379 |166981 |  64.9 |  1319M |  45 |1272 |  95k|  94k|2518 |  1 |1118 |2666 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
462.54/463.89	c   464s|  2300 |  1477 |176198 |  66.1 |  1320M |  45 |1272 |  95k|  94k|2524 |  1 |1183 |2699 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
472.21/473.58	c   474s|  2400 |  1571 |185816 |  67.4 |  1322M |  45 |1272 |  95k|  94k|2596 |  1 |1245 |2747 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
483.89/485.27	c   485s|  2500 |  1663 |195662 |  68.6 |  1335M |  45 |1272 |  95k|  94k|2677 |  1 |1322 |2781 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
500.84/502.24	c   502s|  2600 |  1753 |205066 |  69.6 |  1340M |  45 |1272 |  95k|  94k|2756 |  1 |1361 |2818 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
509.92/511.33	c   511s|  2700 |  1841 |213353 |  70.1 |  1341M |  46 |1272 |  95k|  94k|2830 |  2 |1393 |2827 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
528.86/530.35	c   530s|  2800 |  1929 |222705 |  70.9 |  1348M |  46 |1272 |  95k|  94k|2931 |  1 |1451 |2855 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
550.31/551.84	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
550.31/551.84	c   552s|  2900 |  2015 |230458 |  71.1 |  1375M |  46 |1272 |  95k|  94k|3040 |  1 |1515 |2892 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
569.46/571.07	c   571s|  3000 |  2103 |240425 |  72.1 |  1386M |  46 |1272 |  95k|  94k|3151 |  1 |1591 |2917 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
595.79/597.42	c   597s|  3100 |  2185 |248132 |  72.3 |  1409M |  46 |1272 |  95k|  94k|3303 |  1 |1629 |2922 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
602.27/603.95	c   604s|  3200 |  2275 |259232 |  73.5 |  1414M |  46 |1272 |  95k|  94k|3324 |  1 |1758 |2938 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
614.54/616.29	c   616s|  3300 |  2365 |268737 |  74.1 |  1425M |  46 |1272 |  96k|  94k|3403 |  1 |1822 |2962 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
638.57/640.31	c   640s|  3400 |  2455 |279216 |  75.0 |  1440M |  46 |1272 |  96k|  94k|3505 |  1 |1898 |2975 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
647.64/649.42	c   649s|  3500 |  2537 |287029 |  75.1 |  1451M |  46 |1272 |  96k|  94k|3561 |  1 |1947 |2987 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
660.31/662.18	c   662s|  3600 |  2621 |296140 |  75.6 |  1454M |  47 |1272 |  96k|  94k|3621 |  2 |2046 |2995 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
678.17/680.05	c   680s|  3700 |  2697 |305210 |  76.0 |  1455M |  47 |1272 |  96k|  94k|3686 |  1 |2091 |3027 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
687.63/689.50	c   689s|  3800 |  2779 |313765 |  76.2 |  1470M |  47 |1272 |  96k|  94k|3756 |  1 |2134 |3038 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
700.70/702.66	c   703s|  3900 |  2867 |321602 |  76.3 |  1472M |  47 |1272 |  96k|  94k|3863 |  1 |2206 |3048 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
715.36/717.36	c   717s|  4000 |  2957 |333375 |  77.3 |  1478M |  47 |1272 |  96k|  94k|3961 |  1 |2287 |3060 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
721.24/723.29	c   723s|  4100 |  3051 |343768 |  78.0 |  1480M |  47 |1272 |  96k|  94k|3972 |  1 |2383 |3069 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
740.88/742.99	c   743s|  4200 |  3137 |353887 |  78.5 |  1482M |  47 |1272 |  96k|  94k|4102 |  1 |2451 |3070 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
750.55/752.64	c   753s|  4300 |  3225 |363733 |  79.0 |  1484M |  47 |1272 |  96k|  94k|4164 |  1 |2491 |3072 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
755.44/757.51	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
755.44/757.51	c   758s|  4400 |  3307 |371364 |  78.9 |  1487M |  47 |1272 |  96k|  94k|4190 |  1 |2546 |3077 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
766.92/769.10	c   769s|  4500 |  3389 |379904 |  79.1 |  1489M |  47 |1272 |  96k|  94k|4249 |  2 |2621 |3078 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
777.28/779.49	c   779s|  4600 |  3471 |388253 |  79.2 |  1498M |  47 |1272 |  96k|  94k|4282 |  1 |2674 |3087 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
827.65/829.96	c   830s|  4700 |  3561 |398087 |  79.6 |  1513M |  47 |1272 |  96k|  94k|4467 |  1 |2748 |3110 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
865.76/868.12	c   868s|  4800 |  3655 |409915 |  80.4 |  1553M |  47 |1272 |  97k|  94k|4696 |  1 |2854 |3158 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
873.73/876.19	c   876s|  4900 |  3751 |423357 |  81.5 |  1557M |  47 |1272 |  97k|  94k|4779 |  1 |2945 |3199 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
888.70/891.17	c   891s|  5000 |  3843 |432947 |  81.8 |  1560M |  47 |1272 |  97k|  94k|4845 |  1 |3018 |3241 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
898.37/900.82	c   901s|  5100 |  3933 |442195 |  82.0 |  1565M |  47 |1272 |  97k|  94k|4896 |  1 |3092 |3286 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
906.55/909.06	c   909s|  5200 |  4021 |451932 |  82.3 |  1567M |  47 |1272 |  97k|  94k|4933 |  1 |3139 |3301 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
915.12/917.62	c   918s|  5300 |  4107 |459233 |  82.1 |  1570M |  47 |1272 |  97k|  94k|4957 |  1 |3219 |3344 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
928.68/931.28	c   931s|  5400 |  4187 |469072 |  82.4 |  1592M |  47 |1272 |  97k|  94k|4986 |  1 |3261 |3374 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
945.03/947.63	c   948s|  5500 |  4283 |476986 |  82.3 |  1594M |  47 |1272 |  97k|  94k|5044 |  1 |3362 |3409 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
951.31/953.92	c   954s|  5600 |  4375 |485361 |  82.4 |  1596M |  47 |1272 |  97k|  94k|5058 |  1 |3438 |3445 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
960.88/963.50	c   963s|  5700 |  4469 |494916 |  82.6 |  1599M |  47 |1272 |  97k|  94k|5085 |  1 |3504 |3480 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
976.04/978.72	c   979s|  5800 |  4561 |504175 |  82.8 |  1603M |  47 |1272 |  97k|  94k|5140 |  1 |3599 |3509 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
987.70/990.47	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
987.70/990.47	c   990s|  5900 |  4645 |512593 |  82.8 |  1616M |  47 |1272 |  97k|  94k|5187 |  1 |3703 |3546 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
998.17/1000.93	c  1001s|  6000 |  4731 |521088 |  82.8 |  1618M |  47 |1272 |  97k|  94k|5224 |  1 |3744 |3589 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1010.63/1013.42	c  1013s|  6100 |  4821 |529121 |  82.8 |  1621M |  47 |1272 |  97k|  94k|5276 |  1 |3781 |3617 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1021.21/1024.04	c  1024s|  6200 |  4915 |538253 |  82.9 |  1626M |  47 |1272 |  97k|  94k|5327 |  1 |3878 |3638 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1034.56/1037.43	c  1037s|  6300 |  4999 |547213 |  83.0 |  1628M |  47 |1272 |  97k|  94k|5383 |  1 |3916 |3654 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1046.64/1049.58	c  1050s|  6400 |  5095 |557184 |  83.3 |  1632M |  47 |1272 |  98k|  94k|5448 |  1 |3992 |3661 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1059.10/1062.07	c  1062s|  6500 |  5189 |566382 |  83.4 |  1633M |  47 |1272 |  98k|  94k|5518 |  1 |4059 |3681 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1074.36/1077.33	c  1077s|  6600 |  5259 |573862 |  83.3 |  1634M |  47 |1272 |  98k|  94k|5598 |  1 |4095 |3695 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1079.94/1082.96	c  1083s|  6700 |  5343 |582794 |  83.4 |  1637M |  47 |1272 |  98k|  94k|5606 |  1 |4147 |3706 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1085.62/1088.65	c  1089s|  6800 |  5437 |591979 |  83.5 |  1640M |  47 |1272 |  98k|  94k|5622 |  1 |4215 |3725 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1117.54/1120.64	c  1121s|  6900 |  5525 |602728 |  83.9 |  1650M |  47 |1272 |  98k|  94k|5771 |  1 |4265 |3730 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1127.41/1130.55	c  1131s|  7000 |  5611 |611892 |  84.0 |  1663M |  47 |1272 |  98k|  94k|5806 |  1 |4308 |3738 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1139.47/1142.66	c  1143s|  7100 |  5697 |619616 |  83.9 |  1697M |  48 |1272 |  98k|  94k|5882 |  1 |4373 |3748 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1144.25/1147.49	c  1147s|  7200 |  5773 |629312 |  84.1 |  1699M |  48 |1272 |  98k|  94k|5890 |  1 |4415 |3757 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1155.73/1158.97	c  1159s|  7300 |  5861 |638419 |  84.2 |  1704M |  48 |1272 |  98k|  94k|5944 |  1 |4461 |3775 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1178.87/1182.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1178.87/1182.19	c  1182s|  7400 |  5947 |647688 |  84.3 |  1705M |  48 |1272 |  98k|  94k|6038 |  1 |4507 |3782 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1191.74/1195.05	c  1195s|  7500 |  6045 |658567 |  84.6 |  1710M |  48 |1272 |  98k|  94k|6082 |  1 |4597 |3791 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1197.02/1200.32	c  1200s|  7600 |  6137 |668612 |  84.8 |  1713M |  48 |1272 |  98k|  94k|6100 |  1 |4664 |3791 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1202.80/1206.14	c  1206s|  7700 |  6225 |677621 |  84.9 |  1714M |  48 |1272 |  98k|  94k|6138 |  1 |4732 |3791 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1208.38/1211.79	c  1212s|  7800 |  6319 |686846 |  85.0 |  1721M |  48 |1272 |  98k|  94k|6140 |  1 |4805 |3799 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1221.84/1225.29	c  1225s|  7900 |  6409 |695872 |  85.0 |  1735M |  48 |1272 |  98k|  94k|6224 |  1 |4896 |3806 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1231.41/1234.89	c  1235s|  8000 |  6505 |708063 |  85.5 |  1737M |  48 |1272 |  98k|  94k|6279 |  2 |5049 |3815 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1248.96/1252.43	c  1252s|  8100 |  6593 |717434 |  85.6 |  1739M |  48 |1272 |  98k|  94k|6380 |  2 |5127 |3816 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1269.72/1273.24	c  1273s|  8200 |  6687 |728672 |  85.9 |  1742M |  48 |1272 |  99k|  94k|6477 |  1 |5221 |3820 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1280.68/1284.23	c  1284s|  8300 |  6781 |740693 |  86.3 |  1745M |  48 |1272 |  99k|  94k|6536 |  1 |5301 |3829 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1286.27/1289.82	c  1290s|  8400 |  6879 |751272 |  86.6 |  1747M |  48 |1272 |  99k|  94k|6547 |  0 |5372 |3830 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1298.13/1301.75	c  1302s|  8500 |  6979 |763100 |  86.9 |  1750M |  48 |1272 |  99k|  94k|6610 |  1 |5455 |3833 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1316.98/1320.61	c  1321s|  8600 |  7071 |773693 |  87.2 |  1754M |  48 |1272 |  99k|  94k|6704 |  1 |5546 |3834 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1332.24/1335.94	c  1336s|  8700 |  7151 |782570 |  87.2 |  1758M |  48 |1272 |  99k|  94k|6757 |  0 |5636 |3871 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1341.62/1345.35	c  1345s|  8800 |  7233 |790260 |  87.1 |  1761M |  48 |1272 |  99k|  94k|6787 |  1 |5743 |3893 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1348.11/1351.84	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1348.11/1351.84	c  1352s|  8900 |  7321 |799361 |  87.1 |  1778M |  48 |1272 |  99k|  94k|6820 |  1 |5812 |3917 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1363.57/1367.35	c  1367s|  9000 |  7405 |808723 |  87.2 |  1780M |  48 |1272 |  99k|  94k|6878 |  1 |5881 |3949 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1377.82/1381.65	c  1382s|  9100 |  7495 |818635 |  87.3 |  1781M |  48 |1272 |  99k|  94k|6965 |  1 |5918 |3980 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1393.08/1396.95	c  1397s|  9200 |  7579 |826572 |  87.2 |  1811M |  48 |1272 |  99k|  94k|7011 |  1 |5985 |4011 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1414.93/1418.87	c  1419s|  9300 |  7667 |835985 |  87.3 |  1814M |  48 |1272 |  99k|  94k|7100 |  1 |6029 |4038 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1425.79/1429.77	c  1430s|  9400 |  7747 |844328 |  87.3 |  1818M |  48 |1272 |  99k|  94k|7121 |  1 |6084 |4063 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1434.37/1438.32	c  1438s|  9500 |  7837 |852038 |  87.2 |  1821M |  48 |1272 |  99k|  94k|7156 |  1 |6150 |4075 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1439.85/1443.87	c  1444s|  9600 |  7917 |859511 |  87.0 |  1824M |  48 |1272 |  99k|  94k|7161 |  1 |6242 |4112 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1452.73/1456.72	c  1457s|  9700 |  8005 |867874 |  87.0 |  1827M |  48 |1272 |  99k|  94k|7217 |  1 |6312 |4146 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1469.88/1473.96	c  1474s|  9800 |  8097 |879305 |  87.3 |  1830M |  48 |1272 |  99k|  94k|7312 |  1 |6384 |4172 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1476.96/1481.01	c  1481s|  9900 |  8185 |889578 |  87.4 |  1831M |  48 |1272 |  99k|  94k|7326 |  1 |6455 |4214 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1482.44/1486.56	c  1487s| 10000 |  8285 |899066 |  87.5 |  1834M |  48 |1272 |  99k|  94k|7328 |  1 |6569 |4231 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1488.82/1492.91	c  1493s| 10100 |  8383 |910386 |  87.7 |  1836M |  48 |1272 | 100k|  94k|7335 |  1 |6639 |4251 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1494.60/1498.75	c  1499s| 10200 |  8479 |920783 |  87.9 |  1837M |  48 |1272 | 100k|  94k|7348 |  1 |6778 |4269 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1499.89/1504.06	c  1504s| 10300 |  8575 |929239 |  87.9 |  1844M |  48 |1272 | 100k|  94k|7376 |  1 |6871 |4282 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1503.87/1508.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1503.87/1508.06	c  1508s| 10400 |  8667 |935496 |  87.6 |  1847M |  48 |1272 | 100k|  94k|7394 |  1 |6943 |4290 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1537.08/1541.36	c  1541s| 10500 |  8757 |944054 |  87.6 |  1848M |  48 |1272 | 100k|  94k|7525 |  1 |6991 |4292 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1548.46/1552.72	c  1553s| 10600 |  8845 |954256 |  87.7 |  1851M |  48 |1272 | 100k|  94k|7596 |  1 |7066 |4293 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1553.44/1557.78	c  1558s| 10700 |  8927 |961517 |  87.6 |  1853M |  48 |1272 | 100k|  94k|7628 |  1 |7128 |4315 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1565.40/1569.76	c  1570s| 10800 |  9019 |969882 |  87.6 |  1857M |  48 |1272 | 100k|  94k|7677 |  0 |7203 |4358 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1571.09/1575.43	c  1575s| 10900 |  9117 |978992 |  87.6 |  1860M |  48 |1272 | 100k|  94k|7713 |  1 |7297 |4362 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1579.96/1584.30	c  1584s| 11000 |  9199 |985574 |  87.4 |  1862M |  48 |1272 | 100k|  94k|7739 |  1 |7344 |4369 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1585.85/1590.25	c  1590s| 11100 |  9283 |994882 |  87.5 |  1868M |  48 |1272 | 100k|  94k|7758 |  1 |7417 |4377 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1610.98/1615.47	c  1615s| 11200 |  9365 |  1004k|  87.6 |  1869M |  48 |1272 | 100k|  94k|7841 |  1 |7459 |4389 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1620.95/1625.48	c  1625s| 11300 |  9459 |  1014k|  87.6 |  1872M |  48 |1272 | 100k|  94k|7863 |  1 |7558 |4414 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1625.84/1630.39	c  1630s| 11400 |  9543 |  1022k|  87.6 |  1889M |  48 |1272 | 100k|  94k|7865 |  2 |7612 |4420 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1630.43/1634.97	c  1635s| 11500 |  9635 |  1030k|  87.5 |  1892M |  48 |1272 | 100k|  94k|7871 |  1 |7663 |4425 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1636.01/1640.55	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1636.01/1640.58	c (run 1, node 11570) performing user restart
1636.01/1640.58	c 
1636.11/1640.61	c (restart) converted 95 cuts from the global cut pool into linear constraints
1636.11/1640.61	c 
1636.31/1640.81	c presolving:
1636.31/1640.84	c (round 1, fast)       0 del vars, 12 del conss, 0 add conss, 0 chg bounds, 10 chg sides, 1502 chg coeffs, 0 upgd conss, 0 impls, 94322 clqs
1636.71/1641.24	c (round 2, exhaustive) 0 del vars, 12 del conss, 0 add conss, 0 chg bounds, 10 chg sides, 1510 chg coeffs, 104 upgd conss, 0 impls, 94322 clqs
1637.01/1641.51	c (round 3, exhaustive) 0 del vars, 341 del conss, 0 add conss, 0 chg bounds, 10 chg sides, 1619 chg coeffs, 104 upgd conss, 0 impls, 94322 clqs
1637.61/1642.16	c presolving (4 rounds: 4 fast, 3 medium, 3 exhaustive):
1637.61/1642.16	c  0 deleted vars, 344 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 10 changed sides, 2571 changed coefficients
1637.61/1642.16	c  0 implications, 94322 cliques
1637.61/1642.16	c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 100500 constraints
1637.61/1642.16	c       7 constraints of type <knapsack>
1637.61/1642.16	c   94322 constraints of type <setppc>
1637.61/1642.16	c    6171 constraints of type <logicor>
1637.61/1642.16	c transformed objective value is always integral (scale: 1)
1637.61/1642.16	c Presolving Time: 3.13
1637.91/1642.49	c transformed 99/100 original solutions to the transformed problem space
1637.91/1642.49	c 
1638.30/1642.85	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1638.30/1642.85	c  1643s|     1 |     0 |  1037k|     - |  1692M |   0 |1272 | 100k|  94k|   0 |  0 |7699 |4431 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1641.20/1645.70	c  1646s|     1 |     0 |  1037k|     - |  1692M |   0 |1272 | 100k|  94k|  11 |  1 |7699 |4431 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1644.79/1649.32	c  1649s|     1 |     0 |  1037k|     - |  1692M |   0 |1272 | 100k|  94k|  21 |  2 |7699 |4431 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1649.08/1653.62	c  1654s|     1 |     0 |  1037k|     - |  1692M |   0 |1272 | 100k|  94k|  31 |  3 |7699 |4431 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1650.77/1655.37	c  1655s|     1 |     0 |  1038k|     - |  1693M |   0 |1272 | 100k|  94k|  41 |  4 |7699 |4431 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1651.58/1656.14	c  1656s|     1 |     0 |  1038k|     - |  1694M |   0 |1272 | 100k|  94k|  49 |  5 |7699 |4431 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1652.27/1656.82	c  1657s|     1 |     0 |  1038k|     - |  1694M |   0 |1272 | 100k|  94k|  59 |  6 |7699 |4431 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1653.47/1658.03	c  1658s|     1 |     0 |  1038k|     - |  1694M |   0 |1272 | 100k|  94k|  71 |  7 |7699 |4431 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1653.67/1658.27	c  1658s|     1 |     0 |  1038k|     - |  1705M |   0 |1272 | 100k|  94k|  80 |  8 |7699 |4431 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1654.17/1658.77	c  1659s|     1 |     0 |  1038k|     - |  1716M |   0 |1272 | 100k|  94k|  88 |  9 |7699 |4431 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1654.37/1658.99	c  1659s|     1 |     0 |  1038k|     - |  1726M |   0 |1272 | 100k|  94k|  97 | 10 |7699 |4431 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1654.57/1659.13	c  1659s|     1 |     0 |  1038k|     - |  1736M |   0 |1272 | 100k|  94k| 105 | 11 |7699 |4431 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1658.15/1662.79	c  1663s|     1 |     2 |  1039k|     - |  1737M |   0 |1272 | 100k|  94k| 105 | 11 |7711 |4452 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1681.28/1685.91	c  1686s|   100 |   101 |  1048k|  87.6 |  1739M |  33 |1272 | 100k|  94k| 121 |  1 |7745 |4930 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1697.04/1701.72	c  1702s|   200 |   197 |  1060k|  87.9 |  1740M |  41 |1272 | 100k|  94k| 138 |  1 |7973 |5174 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1719.18/1723.94	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1719.18/1723.94	c  1724s|   300 |   279 |  1069k|  87.9 |  1743M |  43 |1272 | 100k|  94k| 180 |  1 |8055 |5529 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1769.95/1774.83	c  1775s|   400 |   355 |  1077k|  87.8 |  1744M |  44 |1272 | 100k|  94k| 363 |  1 |8096 |5601 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1824.31/1829.30	c  1829s|   500 |   445 |  1087k|  87.9 |  1788M |  44 |1272 | 100k|  94k| 624 |  1 |8142 |5807 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1843.86/1848.90	c  1849s|   600 |   527 |  1096k|  87.9 |  1790M |  44 |1272 | 100k|  94k| 667 |  1 |8162 |5966 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1849.84/1854.96	c  1855s|   700 |   621 |  1104k|  87.9 |  1792M |  44 |1272 | 100k|  94k| 684 |  1 |8266 |6016 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1863.20/1868.31	c  1868s|   800 |   713 |  1114k|  88.0 |  1793M |  44 |1272 | 101k|  94k| 763 |  2 |8341 |6052 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1898.61/1903.86	c  1904s|   900 |   795 |  1128k|  88.4 |  1804M |  48 |1272 | 101k|  94k| 991 |  1 |8430 |6067 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1938.10/1943.47	c  1943s|  1000 |   877 |  1139k|  88.6 |  1828M |  49 |1272 | 101k|  94k|1223 |  5 |8461 |6159 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
1996.06/2001.51	c  2002s|  1100 |   951 |  1150k|  88.7 |  1839M |  49 |1272 | 101k|  94k|1602 |  1 |8528 |6205 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2023.69/2029.20	c  2029s|  1200 |  1021 |  1159k|  88.7 |  1839M |  49 |1272 | 101k|  94k|1815 |  1 |8572 |6229 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2057.40/2063.01	c  2063s|  1300 |  1107 |  1167k|  88.7 |  1889M |  51 |1272 | 101k|  94k|1999 |  2 |8588 |6374 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2070.66/2076.39	c  2076s|  1400 |  1197 |  1176k|  88.7 |  1890M |  51 |1272 | 101k|  94k|2069 |  2 |8623 |6406 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2082.62/2088.39	c  2088s|  1500 |  1281 |  1184k|  88.6 |  1892M |  51 |1272 | 101k|  94k|2118 |  1 |8653 |6425 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2110.95/2116.77	c  2117s|  1600 |  1367 |  1194k|  88.7 |  1895M |  51 |1272 | 101k|  94k|2275 |  1 |8682 |6483 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2118.24/2124.06	c  2124s|  1700 |  1459 |  1203k|  88.7 |  1896M |  51 |1272 | 101k|  94k|2286 |  1 |8717 |6567 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2124.02/2129.82	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2124.02/2129.82	c  2130s|  1800 |  1549 |  1213k|  88.8 |  1898M |  51 |1272 | 101k|  94k|2301 |  1 |8745 |6604 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2131.00/2136.89	c  2137s|  1900 |  1637 |  1222k|  88.8 |  1900M |  51 |1272 | 101k|  94k|2353 |  1 |8798 |6613 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2156.53/2162.43	c  2162s|  2000 |  1693 |  1229k|  88.6 |  1902M |  51 |1272 | 101k|  94k|2434 |  1 |8820 |6618 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2171.29/2177.28	c  2177s|  2100 |  1767 |  1238k|  88.7 |  1904M |  51 |1272 | 101k|  94k|2503 |  0 |8851 |6618 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2181.07/2187.02	c  2187s|  2200 |  1855 |  1246k|  88.6 |  1905M |  51 |1272 | 101k|  94k|2550 |  1 |8870 |6629 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2189.64/2195.63	c  2196s|  2300 |  1941 |  1254k|  88.6 |  1907M |  51 |1272 | 101k|  94k|2612 |  1 |8931 |6631 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2197.13/2203.19	c  2203s|  2400 |  2037 |  1262k|  88.5 |  1909M |  51 |1272 | 101k|  94k|2675 |  1 |9009 |6639 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2204.80/2210.81	c  2211s|  2500 |  2117 |  1269k|  88.4 |  1911M |  51 |1272 | 101k|  94k|2719 |  0 |9042 |6660 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2229.33/2235.44	c  2235s|  2600 |  2193 |  1279k|  88.5 |  1934M |  51 |1272 | 101k|  94k|2865 |  2 |9073 |6703 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2242.90/2249.10	c  2249s|  2700 |  2279 |  1288k|  88.5 |  1937M |  51 |1272 | 101k|  94k|2963 |  1 |9116 |6751 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2248.68/2254.88	c  2255s|  2800 |  2359 |  1296k|  88.4 |  1940M |  51 |1272 | 101k|  94k|2988 |  1 |9154 |6802 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2261.95/2268.17	c  2268s|  2900 |  2439 |  1305k|  88.4 |  1941M |  51 |1272 | 101k|  94k|3118 |  1 |9200 |6834 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2286.69/2292.99	c  2293s|  3000 |  2519 |  1314k|  88.4 |  1944M |  51 |1272 | 101k|  94k|3220 |  1 |9257 |6884 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2291.57/2297.81	c  2298s|  3100 |  2597 |  1322k|  88.4 |  1945M |  51 |1272 | 101k|  94k|3259 |  1 |9290 |6908 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2296.16/2302.40	c  2302s|  3200 |  2677 |  1329k|  88.2 |  1948M |  51 |1272 | 101k|  94k|3305 |  2 |9317 |6928 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2301.54/2307.82	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2301.54/2307.82	c  2308s|  3300 |  2759 |  1337k|  88.2 |  1949M |  51 |1272 | 101k|  94k|3370 |  1 |9331 |6955 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2312.21/2318.59	c  2319s|  3400 |  2843 |  1347k|  88.2 |  1951M |  51 |1272 | 101k|  94k|3417 |  1 |9357 |6985 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2330.17/2336.52	c  2337s|  3500 |  2913 |  1354k|  88.1 |  1953M |  51 |1272 | 101k|  94k|3523 |  1 |9380 |7000 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2341.04/2347.48	c  2347s|  3600 |  2999 |  1363k|  88.1 |  1954M |  51 |1272 | 101k|  94k|3573 |  1 |9417 |7027 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2351.11/2357.56	c  2358s|  3700 |  3077 |  1371k|  88.1 |  1957M |  51 |1272 | 101k|  94k|3618 |  0 |9442 |7043 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2359.19/2365.64	c  2366s|  3800 |  3157 |  1379k|  88.0 |  2004M |  51 |1272 | 101k|  94k|3645 |  1 |9469 |7062 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2365.57/2372.05	c  2372s|  3900 |  3247 |  1389k|  88.1 |  2007M |  51 |1272 | 101k|  94k|3654 |  1 |9517 |7100 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2376.54/2383.03	c  2383s|  4000 |  3335 |  1398k|  88.1 |  2009M |  51 |1272 | 101k|  94k|3704 |  1 |9544 |7122 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2383.71/2390.28	c  2390s|  4100 |  3435 |  1407k|  88.1 |  2011M |  51 |1272 | 101k|  94k|3708 |  1 |9643 |7187 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2390.79/2397.38	c  2397s|  4200 |  3527 |  1415k|  88.1 |  2014M |  51 |1272 | 101k|  94k|3729 |  1 |9688 |7207 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2398.17/2404.77	c  2405s|  4300 |  3607 |  1426k|  88.2 |  2016M |  51 |1272 | 101k|  94k|3767 |  1 |9717 |7212 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2402.66/2409.29	c  2409s|  4400 |  3695 |  1434k|  88.2 |  2018M |  51 |1272 | 101k|  94k|3771 |  0 |9772 |7222 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2414.73/2421.37	c  2421s|  4500 |  3781 |  1443k|  88.2 |  2021M |  51 |1272 | 101k|  94k|3823 |  1 |9822 |7232 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2420.21/2426.84	c  2427s|  4600 |  3875 |  1452k|  88.2 |  2023M |  51 |1272 | 101k|  94k|3831 |  1 |9881 |7257 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2424.79/2431.45	c  2431s|  4700 |  3959 |  1459k|  88.1 |  2024M |  51 |1272 | 101k|  94k|3833 |  1 |9922 |7292 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2433.96/2440.67	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2433.96/2440.67	c  2441s|  4800 |  4045 |  1468k|  88.1 |  2028M |  51 |1272 | 101k|  94k|3852 |  1 |9972 |7322 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2450.81/2457.55	c  2458s|  4900 |  4139 |  1479k|  88.3 |  2029M |  51 |1272 | 101k|  94k|3933 |  1 |  10k|7328 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2495.28/2502.12	c  2502s|  5000 |  4205 |  1490k|  88.4 |  2034M |  51 |1272 | 101k|  94k|4210 |  4 |  10k|7328 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2508.33/2515.23	c  2515s|  5100 |  4289 |  1499k|  88.4 |  2035M |  51 |1272 | 101k|  94k|4291 |  1 |  10k|7346 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2513.12/2520.09	c  2520s|  5200 |  4371 |  1509k|  88.4 |  2038M |  51 |1272 | 101k|  94k|4309 |  0 |  10k|7357 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2517.31/2524.25	c  2524s|  5300 |  4449 |  1517k|  88.4 |  2039M |  51 |1272 | 101k|  94k|4340 |  3 |  10k|7361 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2521.89/2528.86	c  2529s|  5400 |  4533 |  1526k|  88.4 |  2042M |  55 |1272 | 102k|  94k|4411 |  1 |  10k|7361 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2526.97/2533.94	c  2534s|  5500 |  4633 |  1533k|  88.3 |  2044M |  55 |1272 | 102k|  94k|4412 |  1 |  10k|7384 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2553.81/2560.86	c  2561s|  5600 |  4719 |  1540k|  88.2 |  2056M |  55 |1272 | 102k|  94k|4534 |  1 |  10k|7402 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2578.64/2585.70	c  2586s|  5700 |  4795 |  1548k|  88.1 |  2059M |  55 |1272 | 102k|  94k|4666 |  0 |  10k|7404 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2590.91/2598.09	c  2598s|  5800 |  4871 |  1555k|  88.1 |  2061M |  55 |1272 | 102k|  94k|4716 |  1 |  10k|7409 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2604.38/2611.53	c  2612s|  5900 |  4951 |  1564k|  88.0 |  2062M |  55 |1272 | 102k|  94k|4777 |  1 |  10k|7409 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2616.65/2623.82	c  2624s|  6000 |  5033 |  1572k|  88.0 |  2064M |  55 |1272 | 102k|  94k|4817 |  1 |  10k|7410 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2620.54/2627.79	c  2628s|  6100 |  5123 |  1580k|  87.9 |  2066M |  55 |1272 | 102k|  94k|4823 |  1 |  10k|7416 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2645.27/2652.50	c  2652s|  6200 |  5211 |  1591k|  88.1 |  2070M |  55 |1272 | 102k|  94k|4991 |  1 |  10k|7419 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2650.66/2657.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2650.66/2657.93	c  2658s|  6300 |  5307 |  1601k|  88.1 |  2072M |  55 |1272 | 102k|  94k|5002 |  1 |  10k|7434 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2660.93/2668.26	c  2668s|  6400 |  5399 |  1610k|  88.2 |  2074M |  55 |1272 | 102k|  94k|5041 |  1 |  10k|7443 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2674.00/2681.31	c  2681s|  6500 |  5487 |  1618k|  88.1 |  2077M |  55 |1272 | 102k|  94k|5096 |  1 |  10k|7445 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2682.47/2689.82	c  2690s|  6600 |  5585 |  1627k|  88.1 |  2106M |  55 |1272 | 102k|  94k|5129 |  1 |  10k|7465 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2687.06/2694.48	c  2694s|  6700 |  5677 |  1636k|  88.1 |  2109M |  55 |1272 | 102k|  94k|5136 |  2 |  10k|7479 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2690.95/2698.38	c  2698s|  6800 |  5755 |  1644k|  88.1 |  2111M |  55 |1272 | 102k|  94k|5148 |  2 |  11k|7483 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2701.02/2708.45	c  2708s|  6900 |  5845 |  1652k|  88.0 |  2112M |  55 |1272 | 102k|  94k|5200 |  1 |  11k|7485 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2710.21/2717.69	c  2718s|  7000 |  5927 |  1659k|  87.9 |  2114M |  55 |1272 | 102k|  94k|5245 |  1 |  11k|7485 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2740.44/2747.95	c  2748s|  7100 |  6009 |  1666k|  87.9 |  2116M |  55 |1272 | 102k|  94k|5330 |  1 |  11k|7488 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2755.00/2762.50	c  2763s|  7200 |  6091 |  1675k|  87.9 |  2118M |  55 |1272 | 102k|  94k|5446 |  1 |  11k|7493 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2769.48/2777.09	c  2777s|  7300 |  6179 |  1684k|  87.9 |  2119M |  55 |1272 | 102k|  94k|5502 |  1 |  11k|7493 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2792.42/2800.04	c  2800s|  7400 |  6261 |  1692k|  87.8 |  2188M |  55 |1272 | 102k|  94k|5634 |  1 |  11k|7494 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2801.99/2809.66	c  2810s|  7500 |  6335 |  1699k|  87.7 |  2191M |  55 |1272 | 102k|  94k|5677 |  1 |  11k|7497 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2814.36/2822.01	c  2822s|  7600 |  6413 |  1707k|  87.7 |  2193M |  55 |1272 | 102k|  94k|5729 |  0 |  11k|7506 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2818.55/2826.28	c  2826s|  7700 |  6495 |  1716k|  87.7 |  2195M |  55 |1272 | 102k|  94k|5788 |  1 |  11k|7508 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2825.63/2833.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2825.63/2833.31	c  2833s|  7800 |  6579 |  1727k|  87.8 |  2197M |  55 |1272 | 102k|  94k|5810 |  0 |  11k|7510 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2837.60/2845.35	c  2845s|  7900 |  6671 |  1737k|  87.9 |  2200M |  55 |1272 | 102k|  94k|5836 |  1 |  11k|7513 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2841.59/2849.39	c  2849s|  8000 |  6747 |  1746k|  87.9 |  2201M |  55 |1272 | 102k|  94k|5844 |  1 |  11k|7515 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2848.57/2856.37	c  2856s|  8100 |  6837 |  1753k|  87.8 |  2203M |  55 |1272 | 102k|  94k|5865 |  1 |  11k|7516 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2868.24/2876.00	c  2876s|  8200 |  6909 |  1759k|  87.7 |  2206M |  55 |1272 | 102k|  94k|5959 |  1 |  11k|7516 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2872.42/2880.23	c  2880s|  8300 |  6983 |  1766k|  87.6 |  2207M |  56 |1272 | 102k|  94k|5984 |  1 |  11k|7539 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2878.80/2886.64	c  2887s|  8400 |  7083 |  1776k|  87.7 |  2209M |  56 |1272 | 102k|  94k|5992 |  1 |  11k|7580 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2884.39/2892.22	c  2892s|  8500 |  7177 |  1785k|  87.6 |  2211M |  56 |1272 | 102k|  94k|5995 |  1 |  11k|7625 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2900.55/2908.46	c  2908s|  8600 |  7271 |  1796k|  87.8 |  2215M |  56 |1272 | 102k|  94k|6041 |  1 |  11k|7671 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2921.20/2929.14	c  2929s|  8700 |  7367 |  1805k|  87.8 |  2218M |  56 |1272 | 103k|  94k|6150 |  2 |  11k|7713 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2927.18/2935.12	c  2935s|  8800 |  7467 |  1816k|  87.9 |  2221M |  56 |1272 | 103k|  94k|6187 |  1 |  11k|7735 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2943.34/2951.39	c  2951s|  8900 |  7565 |  1826k|  87.9 |  2223M |  56 |1272 | 103k|  94k|6261 |  1 |  12k|7774 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2961.79/2969.87	c  2970s|  9000 |  7663 |  1838k|  88.1 |  2225M |  56 |1272 | 103k|  94k|6409 |  1 |  12k|7809 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2969.36/2977.47	c  2977s|  9100 |  7763 |  1853k|  88.4 |  2228M |  56 |1272 | 103k|  94k|6456 |  2 |  12k|7818 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2986.52/2994.62	c  2995s|  9200 |  7859 |  1865k|  88.6 |  2232M |  56 |1272 | 103k|  94k|6621 |  1 |  12k|7828 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
2997.90/3006.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2997.90/3006.09	c  3006s|  9300 |  7955 |  1877k|  88.7 |  2234M |  56 |1272 | 103k|  94k|6715 |  1 |  12k|7858 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3026.72/3034.95	c  3035s|  9400 |  8045 |  1888k|  88.8 |  2237M |  56 |1272 | 103k|  94k|6918 |  1 |  12k|7865 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3037.20/3045.41	c  3045s|  9500 |  8137 |  1899k|  88.9 |  2240M |  56 |1272 | 103k|  94k|7070 |  1 |  12k|7870 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3080.80/3089.13	c  3089s|  9600 |  8225 |  1913k|  89.1 |  2273M |  56 |1272 | 103k|  94k|7317 |  3 |  12k|7891 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3097.86/3106.21	c  3106s|  9700 |  8315 |  1926k|  89.3 |  2294M |  56 |1272 | 103k|  94k|7570 |  1 |  12k|7897 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3137.86/3146.36	c  3146s|  9800 |  8407 |  1938k|  89.5 |  2309M |  56 |1272 | 103k|  94k|7803 |  1 |  12k|7918 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3146.34/3154.82	c  3155s|  9900 |  8501 |  1948k|  89.5 |  2334M |  56 |1272 | 103k|  94k|7950 |  1 |  12k|7918 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3175.37/3183.95	c  3184s| 10000 |  8591 |  1961k|  89.7 |  2363M |  56 |1272 | 103k|  94k|8270 |  1 |  12k|7919 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3193.53/3202.16	c  3202s| 10100 |  8677 |  1972k|  89.8 |  2367M |  56 |1272 | 103k|  94k|8484 |  0 |  12k|7921 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3213.17/3221.86	c  3222s| 10200 |  8761 |  1981k|  89.8 |  2420M |  56 |1272 | 103k|  94k|8687 |  1 |  12k|7926 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3229.14/3237.88	c  3238s| 10300 |  8859 |  1995k|  90.1 |  2422M |  56 |1272 | 103k|  94k|8813 |  1 |  12k|7934 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3256.57/3265.36	c  3265s| 10400 |  8953 |  2010k|  90.3 |  2429M |  56 |1272 | 103k|  94k|9036 |  3 |  12k|7947 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3283.70/3292.51	c  3293s| 10500 |  9045 |  2024k|  90.6 |  2432M |  56 |1272 | 103k|  94k|9289 |  1 |  13k|7959 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3316.62/3325.53	c  3326s| 10600 |  9135 |  2037k|  90.7 |  2530M |  56 |1272 | 103k|  94k|9579 |  1 |  13k|7976 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3345.06/3354.09	c  3354s| 10700 |  9217 |  2048k|  90.8 |  2532M |  56 |1272 | 103k|  94k|9759 |  1 |  13k|7976 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3367.80/3376.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3367.80/3376.86	c  3377s| 10800 |  9301 |  2059k|  90.9 |  2537M |  56 |1272 | 103k|  94k|9851 |  1 |  13k|7978 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3389.94/3399.07	c  3399s| 10900 |  9385 |  2070k|  91.0 |  2539M |  56 |1272 | 103k|  94k|  10k|  1 |  13k|7978 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3412.30/3421.49	c  3421s| 11000 |  9481 |  2083k|  91.1 |  2541M |  56 |1272 | 103k|  94k|  10k|  1 |  13k|7990 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3426.06/3435.25	c  3435s| 11100 |  9569 |  2093k|  91.2 |  2545M |  56 |1272 | 103k|  94k|  10k|  1 |  13k|7992 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3453.69/3462.90	c  3463s| 11200 |  9651 |  2104k|  91.3 |  2547M |  56 |1272 | 103k|  94k|  10k|  1 |  13k|8000 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3458.58/3467.83	c  3468s| 11300 |  9743 |  2114k|  91.3 |  2549M |  56 |1272 | 103k|  94k|  10k|  1 |  13k|8008 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3463.97/3473.25	c  3473s| 11400 |  9835 |  2125k|  91.4 |  2552M |  56 |1272 | 103k|  94k|  10k|  1 |  13k|8009 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3474.64/3483.93	c  3484s| 11500 |  9921 |  2137k|  91.5 |  2558M |  56 |1272 | 103k|  94k|  11k|  1 |  13k|8009 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3491.80/3501.16	c  3501s| 11600 | 10011 |  2148k|  91.6 |  2560M |  56 |1272 | 103k|  94k|  11k|  1 |  13k|8016 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3512.24/3521.67	c  3522s| 11700 | 10099 |  2159k|  91.7 |  2571M |  56 |1272 | 103k|  94k|  11k|  1 |  13k|8026 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3532.39/3541.80	c  3542s| 11800 | 10195 |  2170k|  91.8 |  2575M |  56 |1272 | 103k|  94k|  11k|  1 |  13k|8030 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3556.33/3565.81	c  3566s| 11900 | 10285 |  2182k|  91.9 |  2587M |  56 |1272 | 103k|  94k|  11k|  1 |  13k|8034 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3566.01/3575.55	c  3576s| 12000 | 10375 |  2195k|  92.0 |  2590M |  56 |1272 | 103k|  94k|  11k|  1 |  13k|8034 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3582.57/3592.13	c  3592s| 12100 | 10453 |  2205k|  92.1 |  2593M |  56 |1272 | 103k|  94k|  12k|  1 |  13k|8040 |-5.300000e+01 |-4.600000e+01 |  15.22%| unknown
3587.46/3597.01	c 
3587.46/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3587.46/3597.01	c Solving Time (sec) : 3597.00
3587.46/3597.01	c Solving Nodes      : 12146 (total of 23716 nodes in 2 runs)
3587.46/3597.01	c Primal Bound       : -4.60000000000000e+01 (883 solutions)
3587.46/3597.01	c Dual Bound         : -5.30000000000000e+01
3587.46/3597.01	c Gap                : 15.22 %
3587.46/3597.02	s SATISFIABLE
3587.46/3597.02	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 
3587.46/3597.02	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 
3587.46/3597.02	v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 
3587.46/3597.02	v -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 
3587.46/3597.02	v -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 
3587.46/3597.02	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 
3587.46/3597.02	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 
3587.46/3597.02	v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 
3587.46/3597.02	v -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 
3587.46/3597.02	v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 
3587.46/3597.02	v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 
3587.46/3597.02	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 
3587.46/3597.02	v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 
3587.46/3597.02	v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 
3587.46/3597.02	v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 
3587.46/3597.02	v -x334 x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 
3587.46/3597.02	v -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 
3587.46/3597.02	v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 
3587.46/3597.02	v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 
3587.46/3597.02	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 
3587.46/3597.02	v -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 
3587.46/3597.02	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 
3587.46/3597.02	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 
3587.46/3597.02	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 
3587.46/3597.02	v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 
3587.46/3597.02	v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 
3587.46/3597.02	v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 
3587.46/3597.02	v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 
3587.46/3597.02	v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 
3587.46/3597.02	v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 
3587.46/3597.02	v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 
3587.46/3597.02	v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 
3587.46/3597.02	v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 
3587.46/3597.02	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 
3587.46/3597.02	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 
3587.46/3597.02	v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 
3587.46/3597.02	v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 
3587.46/3597.02	v -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 
3587.46/3597.02	v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 
3587.46/3597.02	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 
3587.46/3597.02	v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 
3587.46/3597.02	v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 
3587.46/3597.02	v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 
3587.46/3597.02	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 
3587.46/3597.02	v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 
3587.46/3597.02	v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 
3587.46/3597.02	v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 
3587.46/3597.02	v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 
3587.46/3597.02	v -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 
3587.46/3597.02	v -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 
3587.46/3597.02	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 
3587.46/3597.02	v -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 
3587.46/3597.02	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 
3587.46/3597.02	v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 
3587.46/3597.02	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 
3587.46/3597.02	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 
3587.46/3597.02	v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 
3587.46/3597.02	v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 
3587.46/3597.02	v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 
3587.46/3597.02	v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 
3587.46/3597.02	v x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 
3587.46/3597.02	v -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 
3587.46/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3587.46/3597.02	c Total Time         :    3597.00
3587.46/3597.02	c   solving          :    3597.00
3587.46/3597.02	c   presolving       :       3.13 (included in solving)
3587.46/3597.02	c   reading          :       0.14 (included in solving)
3587.46/3597.02	c   copying          :       2.28 (20 #copies) (minimal 0.10, maximal 0.14, average 0.11)
3587.46/3597.02	c Original Problem   :
3587.46/3597.02	c   Problem name     : HOME/instance-4432702-1721052247.opb
3587.46/3597.02	c   Variables        : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.46/3597.02	c   Constraints      : 94227 initial, 94227 maximal
3587.46/3597.02	c   Objective        : minimize, 1272 non-zeros (abs.min = 1, abs.max = 1)
3587.46/3597.02	c Presolved Problem  :
3587.46/3597.02	c   Problem name     : t_HOME/instance-4432702-1721052247.opb
3587.46/3597.02	c   Variables        : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.46/3597.02	c   Constraints      : 100500 initial, 103848 maximal
3587.46/3597.02	c   Objective        : minimize, 1272 non-zeros (abs.min = 1, abs.max = 1)
3587.46/3597.02	c   Nonzeros         : 386691 constraint, 190012 clique table
3587.46/3597.02	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.46/3597.02	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   domcol           :       0.06       0.00      2          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   dualsparsify     :       0.56       0.00      1          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   gateextraction   :       0.18       0.00      3          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   implics          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   milp             :       0.28       0.00      1          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   sparsify         :       0.05       0.00      1          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   trivial          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   dualfix          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   probing          :       0.38       0.00      1          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   pseudoobj        :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   symmetry         :       0.05       0.00      1          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   vbounds          :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   knapsack         :       0.04       0.00     10          0          0          0          0          0          0          0          0         21
3587.46/3597.02	c   setppc           :       0.29       0.01     13          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   linear           :       0.25       0.02      5          0          0          0          0          0          0          0         10       1502
3587.46/3597.02	c   logicor          :       0.82       0.06      9          0          0          0          0          0        344          0          0       1048
3587.46/3597.02	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   components       :       0.05       0.00      2          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.46/3597.02	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.46/3597.02	c   benderslp        :          0          0          0          0      22305          0          0       4486          0          0          0          0          0          0          0
3587.46/3597.02	c   integral         :          0          0          0          0      22305          0          0       4486          0          0        563          0          0       1190      43950
3587.46/3597.02	c   knapsack         :          7+        19          0      17588          0          0          0          0       8722          0       1414          0          0          0          0
3587.46/3597.02	c   setppc           :      94322      94322         49     180137          3          0          0       4480     628609          2     633910          0          0          0          0
3587.46/3597.02	c   linear           :          0+         3          0      21562          0          0          0          2          2          2          0          0          0          0          0
3587.46/3597.02	c   logicor          :       6171+      9506         11      40491          0          0          0          0        115        377         65          0          0          0          0
3587.46/3597.02	c   benders          :          0          0          0          0          3          0          0       1077          0          0          0          0          0          0          0
3587.46/3597.02	c   fixedvar         :          0          0          0          0          3          0          0       1077          0          0          0          0          0          0          0
3587.46/3597.02	c   countsols        :          0          0          0          0          3          0          0       1077          0          0          0          0          0          0          0
3587.46/3597.02	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.02	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.46/3597.02	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3587.46/3597.02	c   integral         :     383.07       0.00       0.00       0.00     383.04       0.00       0.00       0.02       0.00       0.00
3587.46/3597.02	c   knapsack         :       0.12       0.00       0.00       0.10       0.00       0.00       0.00       0.00       0.00       0.02
3587.46/3597.02	c   setppc           :      23.43       0.01       0.20      15.10       0.00       0.00       0.00       3.43       0.13       4.56
3587.46/3597.02	c   linear           :       0.07       0.02       0.00       0.04       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.02	c   logicor          :       1.79       0.06       0.03       1.46       0.00       0.00       0.00       0.00       0.00       0.24
3587.46/3597.02	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.03	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.03	c   components       :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.01
3587.46/3597.03	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.46/3597.03	c   dualfix          :          3          0          0          0
3587.46/3597.03	c   genvbounds       :          0          0          0          0
3587.46/3597.03	c   nlobbt           :          0          0          0          0
3587.46/3597.03	c   obbt             :          0          0          0          0
3587.46/3597.03	c   probing          :          0          0          0          0
3587.46/3597.03	c   pseudoobj        :      65420          0          0          0
3587.46/3597.03	c   redcost          :      14829          0          0         64
3587.46/3597.03	c   rootredcost      :          5          0          0          0
3587.46/3597.03	c   symmetry         :          0          0          0          0
3587.46/3597.03	c   vbounds          :      53106          0          0          0
3587.46/3597.03	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.46/3597.03	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.03	c   genvbounds       :       0.04       0.00       0.00       0.04       0.00       0.01
3587.46/3597.03	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.03	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.46/3597.03	c   probing          :       0.38       0.00       0.38       0.00       0.00       0.00
3587.46/3597.03	c   pseudoobj        :       3.13       0.00       0.00       3.12       0.00       0.00
3587.46/3597.03	c   redcost          :       0.32       0.00       0.00       0.32       0.00       0.00
3587.46/3597.03	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00       0.01
3587.46/3597.03	c   symmetry         :       0.10       0.00       0.05       0.04       0.00       0.01
3587.46/3597.03	c   vbounds          :       0.09       0.00       0.01       0.07       0.00       0.02
3587.46/3597.03	c Symmetry           :
3587.46/3597.03	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.46/3597.03	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.46/3597.03	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.46/3597.03	c   shadow tree time :       0.00 s
3587.46/3597.03	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.46/3597.03	c   propagation      :       0.00        381        226          -        248       27.9          0        0.0          -          -          -
3587.46/3597.03	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.46/3597.03	c   bound exceed. LP :      12.20       4039       2299          -      37800      206.2          0        0.0         98      181.0       7992
3587.46/3597.03	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.46/3597.03	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.46/3597.03	c   applied globally :       3.51          -          -          0      13642       31.8          -          -         98          -          -
3587.46/3597.03	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.46/3597.03	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.46/3597.03	c   cut pool         :       2.86          -       6596         96          -          -      87122     136988          -          -          -          -          -    (maximal pool size:       3801)
3587.46/3597.03	c   aggregation      :       9.93       0.00       1880         49          0          0         15         39          0          1          1          0          0
3587.46/3597.03	c   > cmir           :          -          -          -          -          -          -          -         34          0          0          0          0          -
3587.46/3597.03	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.46/3597.03	c   > knapsackcover  :          -          -          -          -          -          -          -          5          0          1          1          0          -
3587.46/3597.03	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   clique           :       0.75       0.00         49         49          0          0        441       1319          0        506        506          0          0
3587.46/3597.03	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   gomory           :    2086.67       0.00       1745         20          0          0      80831     109441       1212       6522       6511         11          0
3587.46/3597.03	c   > gomorymi       :          -          -          -          -          -          -          -      37044        603        472        469          3          -
3587.46/3597.03	c   > strongcg       :          -          -          -          -          -          -          -      72397        609       6050       6042          8          -
3587.46/3597.03	c   impliedbounds    :       2.67       0.00       1880         49          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   mcf              :       0.08       0.00          2          2          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   multilinear      :       0.00       0.00        613         49          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   rapidlearning    :       2.62       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   rlt              :       0.00       0.00        641         20          0          0          0          0          0          0          0          0          0
3587.46/3597.03	c   zerohalf         :      12.15       0.00       1756         31          0          0       7422      26189        375      12965      12810        155          0
3587.46/3597.03	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.46/3597.03	c   hybrid           :       0.09       0.00       3589         49      19994          0     118581        749          0       3586
3587.46/3597.03	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.46/3597.03	c   problem variables:       0.00          -          0          0
3587.46/3597.03	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.46/3597.03	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c   relpscost        :     383.00       0.00      22302          0          0          0        563          0       1202      43950
3587.46/3597.03	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.46/3597.03	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.46/3597.03	c   LP solutions     :       0.00          -          -          3          3
3587.46/3597.03	c   relax solutions  :       0.00          -          -          0          0
3587.46/3597.03	c   pseudo solutions :       0.00          -          -          0          0
3587.46/3597.03	c   strong branching :       1.98          -          -        408          1
3587.46/3597.03	c   actconsdiving    :       0.00       0.00          0          0          0
3587.46/3597.03	c   adaptivediving   :       2.89       0.00         66          0          0
3587.46/3597.03	c   alns             :       1.46       0.00          6          0          0
3587.46/3597.03	c   bound            :       0.00       0.00          0          0          0
3587.46/3597.03	c   clique           :       0.19       0.00          1          1          1
3587.46/3597.03	c   coefdiving       :       0.00       0.00          0          0          0
3587.46/3597.03	c   completesol      :       0.00       0.00          0          0          0
3587.46/3597.03	c   conflictdiving   :      15.44       0.00        336          0          0
3587.46/3597.03	c   crossover        :       1.79       0.00          6          3          0
3587.46/3597.03	c   dins             :       0.00       0.00          0          0          0
3587.46/3597.03	c   distributiondivin:      44.25       0.00        336          0          0
3587.46/3597.03	c   dps              :       0.00       0.00          0          0          0
3587.46/3597.03	c   dualval          :       0.00       0.00          0          0          0
3587.46/3597.03	c   farkasdiving     :       0.00       0.00          0          0          0
3587.46/3597.03	c   feasjump         :       0.00       0.00          0          0          0
3587.46/3597.03	c   feaspump         :       0.00       0.00          0          0          0
3587.46/3597.03	c   fixandinfer      :       0.00       0.00          0          0          0
3587.46/3597.03	c   fracdiving       :      16.92       0.00        336          0          0
3587.46/3597.03	c   gins             :       0.14       0.00          0          0          0
3587.46/3597.03	c   guideddiving     :      13.93       0.00        336          0          0
3587.46/3597.03	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.46/3597.03	c   indicator        :       0.01       0.00          0          0          0
3587.46/3597.03	c   indicatordiving  :       0.00       0.00          0          0          0
3587.46/3597.03	c   indoneopt        :       0.02       0.00          0          0          0
3587.46/3597.03	c   indrounding      :       0.00       0.00          0          0          0
3587.46/3597.03	c   indtwoopt        :       0.00       0.00          0          0          0
3587.46/3597.03	c   intdiving        :       0.00       0.00          0          0          0
3587.46/3597.03	c   intshifting      :       0.00       0.00          0          0          0
3587.46/3597.03	c   linesearchdiving :      16.80       0.00        336          0          0
3587.46/3597.03	c   localbranching   :       0.00       0.00          0          0          0
3587.46/3597.03	c   locks            :       0.09       0.00          1          0          0
3587.46/3597.03	c   lpface           :       0.05       0.00          0          0          0
3587.46/3597.03	c   mpec             :       0.00       0.00          0          0          0
3587.46/3597.03	c   multistart       :       0.00       0.00          0          0          0
3587.46/3597.03	c   mutation         :       0.00       0.00          0          0          0
3587.46/3597.03	c   nlpdiving        :       0.00       0.00          0          0          0
3587.46/3597.03	c   objpscostdiving  :      45.38       0.00        169        176          0
3587.46/3597.03	c   octane           :       0.00       0.00          0          0          0
3587.46/3597.03	c   ofins            :       0.01       0.00          0          0          0
3587.46/3597.03	c   oneopt           :       0.05       0.00          5          1          1
3587.46/3597.03	c   padm             :       0.00       0.00          0          0          0
3587.46/3597.03	c   proximity        :       0.00       0.00          0          0          0
3587.46/3597.03	c   pscostdiving     :      27.73       0.00        336          1          0
3587.46/3597.03	c   randrounding     :       4.24       0.00       3524         40          0
3587.46/3597.03	c   rens             :       1.83       0.00          2          1          0
3587.46/3597.03	c   reoptsols        :       0.00       0.00          0          0          0
3587.46/3597.03	c   repair           :       0.00       0.00          0          0          0
3587.46/3597.03	c   rins             :       2.83       0.00          8          5          0
3587.46/3597.03	c   rootsoldiving    :      46.53       0.00        169         91          0
3587.46/3597.03	c   rounding         :       8.17       0.00       2232          0          0
3587.46/3597.03	c   scheduler        :       0.00       0.00          0          0          0
3587.46/3597.03	c   shiftandpropagate:       0.00       0.00          0          0          0
3587.46/3597.03	c   shifting         :       4.86       0.00       1071          0          0
3587.46/3597.03	c   simplerounding   :       0.40       0.00      25893         29          0
3587.46/3597.03	c   smallcard        :       0.00       0.00          0          0          0
3587.46/3597.03	c   subnlp           :       0.02       0.00          0          0          0
3587.46/3597.03	c   trivial          :       0.01       0.00          4          1          1
3587.46/3597.03	c   trivialnegation  :       0.00       0.00          0          0          0
3587.46/3597.03	c   trustregion      :       0.00       0.00          0          0          0
3587.46/3597.03	c   trysol           :       0.01       0.00          0          0          0
3587.46/3597.03	c   twoopt           :       0.00       0.00          0          0          0
3587.46/3597.03	c   undercover       :       0.00       0.00          0          0          0
3587.46/3597.03	c   vbounds          :       0.39       0.00          2          2          1
3587.46/3597.03	c   veclendiving     :      14.04       0.00        336          0          0
3587.46/3597.03	c   zeroobj          :       0.00       0.00          0          0          0
3587.46/3597.03	c   zirounding       :      22.95       0.00       6051        121          0
3587.46/3597.03	c   other solutions  :          -          -          -          0          -
3587.46/3597.03	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.46/3597.03	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.46/3597.03	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.46/3597.03	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.46/3597.03	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.46/3597.03	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.46/3597.03	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.46/3597.03	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.46/3597.03	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.46/3597.03	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3587.46/3597.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.46/3597.03	c   primal LP        :      11.83       1803          0       0.00       0.00      11.83       1803
3587.46/3597.03	c   dual LP          :     516.39      27699    1713829      62.15    3318.86       0.96        123
3587.46/3597.03	c   lex dual LP      :       0.00          0          0       0.00          -
3587.46/3597.03	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.46/3597.03	c   resolve instable :       0.00          0          0       0.00          -
3587.46/3597.03	c   diving/probing LP:     175.91      13226     497618      37.62    2828.90
3587.46/3597.03	c   strong branching :     198.34       8042     554880      69.00    2797.58          -          -       2313
3587.46/3597.03	c     (at root node) :          -         41       4884     119.12          -
3587.46/3597.03	c   conflict analysis:       4.20        819       7992       9.76    1902.13
3587.46/3597.03	c B&B Tree           :
3587.46/3597.03	c   number of runs   :          2
3587.46/3597.03	c   nodes            :      12146 (11321 internal, 825 leaves)
3587.46/3597.03	c   feasible leaves  :          0
3587.46/3597.03	c   infeas. leaves   :          3
3587.46/3597.03	c   objective leaves :        822
3587.46/3597.03	c   nodes (total)    :      23716 (21975 internal, 1741 leaves)
3587.46/3597.03	c   nodes left       :      10497
3587.46/3597.03	c   max depth        :         56
3587.46/3597.03	c   max depth (total):         56
3587.46/3597.03	c   backtracks       :       2010 (16.5%)
3587.46/3597.03	c   early backtracks :          0 (0.0%)
3587.46/3597.03	c   nodes exc. ref.  :          0 (0.0%)
3587.46/3597.03	c   delayed cutoffs  :          0
3587.46/3597.03	c   repropagations   :         22 (17 domain reductions, 0 cutoffs)
3587.46/3597.03	c   avg switch length:       4.61
3587.46/3597.03	c   switching time   :      65.96
3587.46/3597.03	c Root Node          :
3587.46/3597.03	c   First LP value   : -6.36000000000000e+02
3587.46/3597.03	c   First LP Iters   :       1272 (2497.89 Iter/sec)
3587.46/3597.03	c   First LP Time    :       0.51
3587.46/3597.03	c   Final Dual Bound : -5.30000000000000e+01
3587.46/3597.03	c   Final Root Iters :      26368
3587.46/3597.03	c   Root LP Estimate : -4.68258548843300e+01
3587.46/3597.03	c Solution           :
3587.46/3597.03	c   Solutions found  :        883 (8 improvements)
3587.46/3597.03	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.24 seconds, depth 0, found by <trivial>)
3587.46/3597.03	c   Gap First Sol.   :   infinite
3587.46/3597.03	c   Gap Last Sol.    :      15.22 %
3587.46/3597.03	c   Primal Bound     : -4.60000000000000e+01   (in run 1, after 337 nodes, 104.91 seconds, depth 40, found by <oneopt>)
3587.46/3597.03	c   Dual Bound       : -5.30000000000000e+01
3587.46/3597.03	c   Gap              :      15.22 %
3587.46/3597.03	c Integrals          :      Total       Avg%
3587.46/3597.03	c   primal-dual      :   50426.60      14.02
3587.46/3597.03	c   primal-ref       :          -          - (not evaluated)
3587.46/3597.03	c   dual-ref         :          -          - (not evaluated)
3587.75/3597.31	c Time complete: 3587.78.

Verifier Data

OK	-46

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (58997 MiB free)
  memory of node 1: 64510 MiB (60639 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=832505, runsolver pid=832502

[startup+0.101006 s]*
/proc/loadavg: 4.15 4.11 4.03 5/255 832506
/proc/meminfo: memFree=122471344/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=92440 memory=51348 CPUtime=0.09 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 9876 0 0 0 8 1 0 0 20 0 1 0 157390041 94658560 12837 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 23110 12837 3264 3540 0 11367 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 92440 KiB
Current children cumulated memory: 51348 KiB

[startup+0.205483 s]*
/proc/loadavg: 4.15 4.11 4.03 5/255 832506
/proc/meminfo: memFree=122412040/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=152452 memory=112648 CPUtime=0.2 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 25280 0 0 0 17 3 0 0 20 0 1 0 157390041 156110848 28162 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 38113 28162 3567 3540 0 26370 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 152452 KiB
Current children cumulated memory: 112648 KiB

[startup+0.305455 s]*
/proc/loadavg: 4.15 4.11 4.03 5/255 832506
/proc/meminfo: memFree=122387848/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=174972 memory=133664 CPUtime=0.3 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 30519 0 0 0 26 4 0 0 20 0 1 0 157390041 179171328 33416 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 43743 33416 3615 3540 0 32000 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 174972 KiB
Current children cumulated memory: 133664 KiB

[startup+0.700215 s]
/proc/loadavg: 4.15 4.11 4.03 5/255 832506
/proc/meminfo: memFree=122335836/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=207392 memory=165852 CPUtime=0.69 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 45957 0 0 0 62 7 0 0 20 0 1 0 157390041 212369408 41463 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 51848 41463 3758 3540 0 40105 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 207392 KiB
Current children cumulated memory: 165852 KiB

[startup+1.50023 s]
/proc/loadavg: 4.15 4.11 4.03 5/255 832506
/proc/meminfo: memFree=122353512/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=345764 memory=282784 CPUtime=1.48 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 60184 0 0 0 137 11 0 0 20 0 1 0 157390041 354062336 70696 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 86441 70696 3806 3540 0 74698 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 345764 KiB
Current children cumulated memory: 282784 KiB

[startup+3.10518 s]
/proc/loadavg: 4.15 4.11 4.03 5/255 832506
/proc/meminfo: memFree=122057552/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=529388 memory=464472 CPUtime=3.09 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 90250 0 0 0 292 17 0 0 20 0 1 0 157390041 542093312 116118 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 132347 116118 3982 3540 0 120604 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 529388 KiB
Current children cumulated memory: 464472 KiB

[startup+6.30018 s]
/proc/loadavg: 4.14 4.11 4.03 5/255 832506
/proc/meminfo: memFree=122025204/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=573924 memory=496796 CPUtime=6.27 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 97295 0 0 0 609 18 0 0 20 0 1 0 157390041 587698176 124199 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 143481 124199 3998 3540 0 131738 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 573924 KiB
Current children cumulated memory: 496796 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.03 5/255 832508
/proc/meminfo: memFree=122020768/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=595648 memory=500928 CPUtime=12.66 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 97835 0 0 0 1247 19 0 0 20 0 1 0 157390041 609943552 125232 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 148912 125232 3998 3540 0 137169 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 595648 KiB
Current children cumulated memory: 500928 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.03 5/255 832509
/proc/meminfo: memFree=122010476/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=726724 memory=512568 CPUtime=25.43 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 99734 0 0 0 2523 20 0 0 20 0 1 0 157390041 744165376 128142 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 181681 128142 3998 3540 0 169938 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 726724 KiB
Current children cumulated memory: 512568 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.11 4.03 5/255 832514
/proc/meminfo: memFree=121886352/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=866720 memory=631280 CPUtime=50.96 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 128386 0 0 0 5072 24 0 0 20 0 1 0 157390041 887521280 157820 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 216680 157820 4029 3540 0 204937 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 866720 KiB
Current children cumulated memory: 631280 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/255 832523
/proc/meminfo: memFree=121883468/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=877352 memory=633112 CPUtime=102 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 128989 0 0 0 10176 24 0 0 20 0 1 0 157390041 898408448 158278 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 219338 158278 4029 3540 0 207595 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 877352 KiB
Current children cumulated memory: 633112 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.03 5/255 832534
/proc/meminfo: memFree=121507440/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=1002288 memory=700008 CPUtime=161.83 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 152880 0 0 0 16155 28 0 0 20 0 1 0 157390041 1026342912 175002 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 250572 175002 4029 3540 0 238829 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1002288 KiB
Current children cumulated memory: 700008 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/255 832546
/proc/meminfo: memFree=121436500/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=1077124 memory=766256 CPUtime=221.66 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 169587 0 0 0 22135 31 0 0 20 0 1 0 157390041 1102974976 191564 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 269281 191564 4029 3540 0 257538 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1077124 KiB
Current children cumulated memory: 766256 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.12 4.04 5/255 832557
/proc/meminfo: memFree=121407088/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=1171868 memory=777808 CPUtime=281.51 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 170936 0 0 0 28120 31 0 0 20 0 1 0 157390041 1199992832 194452 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 292967 194452 4029 3540 0 281224 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1171868 KiB
Current children cumulated memory: 777808 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/255 832567
/proc/meminfo: memFree=121366780/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=1264036 memory=816060 CPUtime=341.36 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 186864 0 0 0 34102 34 0 0 20 0 1 0 157390041 1294372864 204015 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 316009 204015 4029 3540 0 304266 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 1264036 KiB
Current children cumulated memory: 816060 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/257 832583
/proc/meminfo: memFree=121327076/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=1370592 memory=852192 CPUtime=401.21 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 189937 0 0 0 40086 35 0 0 20 0 1 0 157390041 1403486208 213048 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 342648 213048 4029 3540 0 330905 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 1370592 KiB
Current children cumulated memory: 852192 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.09 4.04 5/258 832595
/proc/meminfo: memFree=121216228/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=1510516 memory=929608 CPUtime=461.04 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 203303 0 0 0 46067 37 0 0 20 0 1 0 157390041 1546768384 232402 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 377629 232402 4029 3540 0 365886 0

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

/proc/loadavg: 4.08 4.10 4.09 6/257 834248
/proc/meminfo: memFree=121277164/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2493500 memory=1850236 CPUtime=3213.67 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 346167 0 0 0 321289 78 0 0 20 0 1 0 157390041 2553344000 462559 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 623375 462559 4029 3540 0 611632 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 2493500 KiB
Current children cumulated memory: 1850236 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.09 6/257 834427
/proc/meminfo: memFree=121108340/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2505528 memory=1868356 CPUtime=3273.53 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 349543 0 0 0 327273 80 0 0 20 0 1 0 157390041 2565660672 467089 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 626382 467089 4029 3540 0 614639 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 2505528 KiB
Current children cumulated memory: 1868356 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/257 834437
/proc/meminfo: memFree=121037976/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2603324 memory=1879216 CPUtime=3333.37 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 351652 0 0 0 333257 80 0 0 20 0 1 0 157390041 2665803776 469804 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 650831 469804 4029 3540 0 639088 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 2603324 KiB
Current children cumulated memory: 1879216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/258 834465
/proc/meminfo: memFree=120951652/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2611188 memory=1903008 CPUtime=3393.23 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 353948 0 0 0 339242 81 0 0 20 0 1 0 157390041 2673856512 475752 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 652797 475752 4029 3540 0 641054 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 2611188 KiB
Current children cumulated memory: 1903008 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/258 834475
/proc/meminfo: memFree=120872144/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2616760 memory=1922348 CPUtime=3453.09 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 356018 0 0 0 345227 82 0 0 20 0 1 0 157390041 2679562240 480587 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 654190 480587 4172 3540 0 642447 0
Current children cumulated CPU time: 3453.09 s
Current children cumulated vsize: 2616760 KiB
Current children cumulated memory: 1922348 KiB

[startup+3522.3 s]
/proc/loadavg: 4.60 4.26 4.15 6/258 834486
/proc/meminfo: memFree=120686620/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2641816 memory=1948652 CPUtime=3512.94 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 360506 0 0 0 351211 83 0 0 20 0 1 0 157390041 2705219584 487163 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 660454 487163 4172 3540 0 648711 0
Current children cumulated CPU time: 3512.94 s
Current children cumulated vsize: 2641816 KiB
Current children cumulated memory: 1948652 KiB

[startup+3582.3 s]
/proc/loadavg: 4.32 4.24 4.15 6/257 834498
/proc/meminfo: memFree=120611248/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2661620 memory=1965340 CPUtime=3572.79 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 363585 0 0 0 357195 84 0 0 20 0 1 0 157390041 2725498880 491335 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 665405 491335 4172 3540 0 653662 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 2661620 KiB
Current children cumulated memory: 1965340 KiB

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

# cumulated CPU time of all completed processes:  user=3586.92 s, system=0.863539 s

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

[startup+3584 s]*
/proc/loadavg: 4.32 4.24 4.15 6/257 834498
/proc/meminfo: memFree=120610236/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2661620 memory=1965340 CPUtime=3574.49 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 363605 0 0 0 357365 84 0 0 20 0 1 0 157390041 2725498880 491335 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 665405 491335 4172 3540 0 653662 0
Current children cumulated CPU time: 3574.49 s
Current children cumulated vsize: 2661620 KiB
Current children cumulated memory: 1965340 KiB

[startup+3590.4 s]
/proc/loadavg: 4.29 4.23 4.15 6/257 834501
/proc/meminfo: memFree=120601160/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2661620 memory=1965544 CPUtime=3580.87 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 363671 0 0 0 358003 84 0 0 20 0 1 0 157390041 2725498880 491386 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 665405 491386 4172 3540 0 653662 0
Current children cumulated CPU time: 3580.87 s
Current children cumulated vsize: 2661620 KiB
Current children cumulated memory: 1965544 KiB

[startup+3593.6 s]
/proc/loadavg: 4.27 4.23 4.15 6/257 834501
/proc/meminfo: memFree=120599596/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2662636 memory=1966796 CPUtime=3584.06 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 364014 0 0 0 358322 84 0 0 20 0 1 0 157390041 2726539264 491699 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 665659 491699 4172 3540 0 653916 0
Current children cumulated CPU time: 3584.06 s
Current children cumulated vsize: 2662636 KiB
Current children cumulated memory: 1966796 KiB

[startup+3595.2 s]
/proc/loadavg: 4.27 4.23 4.15 6/257 834501
/proc/meminfo: memFree=120598772/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2662636 memory=1967060 CPUtime=3585.66 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 364043 0 0 0 358482 84 0 0 20 0 1 0 157390041 2726539264 491765 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 665659 491765 4172 3540 0 653916 0
Current children cumulated CPU time: 3585.66 s
Current children cumulated vsize: 2662636 KiB
Current children cumulated memory: 1967060 KiB

[startup+3596 s]*
/proc/loadavg: 4.25 4.23 4.14 6/257 834501
/proc/meminfo: memFree=120598268/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2662636 memory=1967060 CPUtime=3586.46 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 364043 0 0 0 358562 84 0 0 20 0 1 0 157390041 2726539264 491765 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 665659 491765 4172 3540 0 653916 0
Current children cumulated CPU time: 3586.46 s
Current children cumulated vsize: 2662636 KiB
Current children cumulated memory: 1967060 KiB

[startup+3596.8 s]
/proc/loadavg: 4.25 4.23 4.14 6/257 834501
/proc/meminfo: memFree=120598268/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2662636 memory=1967252 CPUtime=3587.26 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 364135 0 0 0 358642 84 0 0 20 0 1 0 157390041 2726539264 491813 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 665659 491813 4172 3540 0 653916 0
Current children cumulated CPU time: 3587.26 s
Current children cumulated vsize: 2662636 KiB
Current children cumulated memory: 1967252 KiB

[startup+3597.2 s]
/proc/loadavg: 4.25 4.23 4.14 6/257 834502
/proc/meminfo: memFree=120595344/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2663652 memory=1968404 CPUtime=3587.66 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 364590 0 0 0 358682 84 0 0 20 0 1 0 157390041 2727579648 492101 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 665913 492101 4172 3540 0 654170 0
Current children cumulated CPU time: 3587.66 s
Current children cumulated vsize: 2663652 KiB
Current children cumulated memory: 1968404 KiB

[startup+3597.3 s]
/proc/loadavg: 4.25 4.23 4.14 6/257 834502
/proc/meminfo: memFree=120595344/131524600 swapFree=131071996/131071996
[pid=832505] ppid=832502 vsize=2616268 memory=1921228 CPUtime=3587.75 cores=4,6
/proc/832505/stat : 832505 (pbscip) R 832502 832505 812346 0 -1 4194304 364595 0 0 0 358691 84 0 0 20 0 1 0 157390041 2679058432 480307 134679101440 4194304 18693293 140730218660704 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 49827840 140730218664964 140730218665063 140730218665063 140730218672078 0
/proc/832505/statm: 654067 480307 4172 3540 0 642324 0
Current children cumulated CPU time: 3587.75 s
Current children cumulated vsize: 2616268 KiB
Current children cumulated memory: 1921228 KiB

Child status: 0

Real time (s): 3597.32
CPU time (s): 3587.79
CPU user time (s): 3586.92
CPU system time (s): 0.863539
CPU usage (%): 99.735
Max. virtual memory (cumulated for all children) (KiB): 2663652
Max. memory (cumulated for all children) (KiB): 1968404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.92
system time used= 0.863539
maximum resident set size= 1968404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364670
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= 77
involuntary context switches= 2452


# summary of solver processes directly reported to runsolver:
#   pid: 832505
#   total CPU time (s): 3587.79
#   total CPU user time (s): 3586.92
#   total CPU system time (s): 0.863539

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68707 second user time and 16.258 second system time

The end

Launcher Data

Begin job on nodeC025 at 2024-07-15 16:04:19
IDJOB=4432702
IDBENCH=146672
IDSOLVER=3059
FILE ID=nodeC025/4432702-1721052247
RUNJOBID= nodeC025-1721051059-830872
SLURM_JOB_ID= 7505483
Free space on /tmp= 889960 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-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-4432702-1721052247/watcher-4432702-1721052247 -o /tmp/evaluation-result-4432702-1721052247/solver-4432702-1721052247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830872 --watchdog 3760  pbscip -f HOME/instance-4432702-1721052247.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9
RANDOM SEED=549683990

nodeC025.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		: 3665.082
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.72
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		: 3688.023
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	: 7007.09
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.518
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.038
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	: 7007.09
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		: 3665.850
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.72
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		: 3688.080
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	: 7007.09
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		: 3661.154
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.72
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.051
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	: 7007.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122508280 kB
MemAvailable:   126053332 kB
Buffers:          375372 kB
Cached:          3967456 kB
SwapCached:            0 kB
Active:           701620 kB
Inactive:        7629592 kB
Active(anon):       1528 kB
Inactive(anon):  4024552 kB
Active(file):     700092 kB
Inactive(file):  3605040 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21288 kB
Writeback:             0 kB
AnonPages:       3988380 kB
Mapped:           138508 kB
Shmem:             37720 kB
KReclaimable:     159132 kB
Slab:             271856 kB
SReclaimable:     159132 kB
SUnreclaim:       112724 kB
KernelStack:        4112 kB
PageTables:        17652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4918708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61856 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1767424 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:      240340 kB
DirectMap2M:    32038912 kB
DirectMap1G:    103809024 kB

Free space on /tmp at the end= 889952 MiB
End job on nodeC025 at 2024-07-15 17:04:17