Trace number 4432701

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-45 3583.8 3597.34

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM0bdb6411771ac9360fc2dcf9fc3ce2f6
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-50
Best CPU time to get the best result obtained on this benchmark72002.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1150
Total number of constraints81068
Number of constraints which are clauses81068
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 1150
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 1150
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 1150
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-4432701-1721054646.opb>
0.09/0.12	c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81068 constraints
0.09/0.12	c problem read in 0.12
0.19/0.22	o 0
0.19/0.22	c feasible solution found by trivial heuristic after 0.2 seconds, objective value 0.000000e+00
0.19/0.22	c presolving:
0.30/0.40	c    (0.4s) running MILP presolver
0.50/0.55	c    (0.5s) MILP presolver found nothing
0.59/0.69	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 81068 upgd conss, 0 impls, 81068 clqs
1.09/1.15	c    (1.1s) probing: 51/1150 (4.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.09/1.15	c    (1.1s) probing aborted: 50/50 successive totally useless probings
1.58/1.66	c    (1.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.68/1.70	c    (1.7s) no symmetry present (symcode time: 0.01)
1.68/1.72	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1.68/1.72	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.68/1.72	c  0 implications, 81068 cliques
1.68/1.72	c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81068 constraints
1.68/1.72	c   81068 constraints of type <setppc>
1.68/1.72	c transformed objective value is always integral (scale: 1)
1.68/1.72	c Presolving Time: 1.50
1.68/1.72	c - non default parameters ----------------------------------------------------------------------
1.68/1.72	c # SCIP version 10.0.0
1.68/1.72	c 
1.68/1.72	c # maximal time in seconds to run
1.68/1.72	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.68/1.72	c limits/time = 3596.998007
1.68/1.72	c 
1.68/1.72	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.68/1.72	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.68/1.72	c limits/memory = 27900
1.68/1.72	c 
1.68/1.72	c # belongs reading time to solving time?
1.68/1.72	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.68/1.72	c timing/reading = TRUE
1.68/1.72	c 
1.68/1.72	c -----------------------------------------------------------------------------------------------
1.68/1.72	c start solving
1.68/1.72	c transformed 1/1 original solutions to the transformed problem space
1.68/1.72	c 
1.78/1.89	o -33
1.78/1.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.78/1.89	c p 1.9s|     1 |     0 |     0 |     - |  clique|   0 |1150 |  81k|  81k|   0 |  0 |   0 |   0 |-1.150000e+03 |-3.300000e+01 |3384.85%| unknown
2.27/2.34	o -37
2.27/2.34	c p 2.3s|     1 |     0 |   396 |     - | vbounds|   0 |1150 |  81k|  81k|   0 |  0 |   0 |   0 |-1.150000e+03 |-3.700000e+01 |3008.11%| unknown
2.77/2.86	c   2.9s|     1 |     0 |  1546 |     - |   411M |   0 |1150 |  81k|  81k|   0 |  0 |   0 |   0 |-5.750000e+02 |-3.700000e+01 |1454.05%| unknown
3.78/3.82	c   3.8s|     1 |     0 |  1735 |     - |   432M |   0 |1150 |  81k|  81k|  10 |  1 |   0 |   0 |-5.405000e+02 |-3.700000e+01 |1360.81%| unknown
5.86/5.96	c   6.0s|     1 |     0 |  1906 |     - |   441M |   0 |1150 |  81k|  81k|  26 |  2 |   0 |   0 |-5.140000e+02 |-3.700000e+01 |1289.19%| unknown
8.96/9.06	c   9.1s|     1 |     0 |  2191 |     - |   451M |   0 |1150 |  81k|  81k|  44 |  3 |   0 |   0 |-4.790000e+02 |-3.700000e+01 |1194.59%| unknown
12.84/12.97	c  13.0s|     1 |     0 |  2444 |     - |   461M |   0 |1150 |  81k|  81k|  65 |  4 |   0 |   0 |-4.525000e+02 |-3.700000e+01 |1122.97%| unknown
17.12/17.25	c  17.2s|     1 |     0 |  2873 |     - |   471M |   0 |1150 |  81k|  81k|  83 |  5 |   0 |   0 |-4.275000e+02 |-3.700000e+01 |1055.41%| unknown
18.92/19.01	c  19.0s|     1 |     0 |  3144 |     - |   480M |   0 |1150 |  81k|  81k| 107 |  6 |   0 |   0 |-4.005000e+02 |-3.700000e+01 | 982.43%| unknown
19.81/19.95	c  19.9s|     1 |     0 |  3999 |     - |   489M |   0 |1150 |  81k|  81k| 138 |  7 |   0 |   0 |-3.612500e+02 |-3.700000e+01 | 876.35%| unknown
20.61/20.77	c  20.8s|     1 |     0 |  4795 |     - |   498M |   0 |1150 |  81k|  81k| 186 |  8 |   0 |   0 |-3.377500e+02 |-3.700000e+01 | 812.84%| unknown
21.22/21.36	c  21.4s|     1 |     0 |  5463 |     - |   506M |   0 |1150 |  81k|  81k| 229 |  9 |   0 |   0 |-3.101250e+02 |-3.700000e+01 | 738.18%| unknown
22.02/22.15	c  22.1s|     1 |     0 |  6232 |     - |   516M |   0 |1150 |  81k|  81k| 263 | 10 |   0 |   0 |-2.927500e+02 |-3.700000e+01 | 691.22%| unknown
22.71/22.80	c  22.8s|     1 |     0 |  7313 |     - |   524M |   0 |1150 |  81k|  81k| 286 | 11 |   0 |   0 |-2.547500e+02 |-3.700000e+01 | 588.51%| unknown
23.31/23.41	c  23.4s|     1 |     0 |  8503 |     - |   532M |   0 |1150 |  81k|  81k| 317 | 12 |   0 |   0 |-2.350000e+02 |-3.700000e+01 | 535.14%| unknown
24.20/24.37	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
24.20/24.37	c  24.4s|     1 |     0 | 10249 |     - |   542M |   0 |1150 |  81k|  81k| 339 | 13 |   0 |   0 |-2.160000e+02 |-3.700000e+01 | 483.78%| unknown
24.91/25.01	c  25.0s|     1 |     0 | 11298 |     - |   549M |   0 |1150 |  81k|  81k| 364 | 14 |   0 |   0 |-2.046250e+02 |-3.700000e+01 | 453.04%| unknown
25.90/26.08	c  26.1s|     1 |     0 | 13281 |     - |   557M |   0 |1150 |  81k|  81k| 403 | 15 |   0 |   0 |-1.929167e+02 |-3.700000e+01 | 421.40%| unknown
26.79/26.95	c  26.9s|     1 |     0 | 15089 |     - |   566M |   0 |1150 |  81k|  81k| 429 | 16 |   0 |   0 |-1.757500e+02 |-3.700000e+01 | 375.00%| unknown
27.79/27.98	c  28.0s|     1 |     0 | 17622 |     - |   574M |   0 |1150 |  81k|  81k| 453 | 17 |   0 |   0 |-1.617500e+02 |-3.700000e+01 | 337.16%| unknown
28.28/28.49	c  28.5s|     1 |     0 | 18742 |     - |   582M |   0 |1150 |  81k|  81k| 481 | 18 |   0 |   0 |-1.522917e+02 |-3.700000e+01 | 311.60%| unknown
29.28/29.40	c  29.4s|     1 |     0 | 21267 |     - |   590M |   0 |1150 |  81k|  81k| 505 | 19 |   0 |   0 |-1.371250e+02 |-3.700000e+01 | 270.61%| unknown
30.07/30.24	c  30.2s|     1 |     0 | 23717 |     - |   598M |   0 |1150 |  81k|  81k| 526 | 20 |   0 |   0 |-1.280833e+02 |-3.700000e+01 | 246.17%| unknown
30.47/30.64	c  30.6s|     1 |     0 | 24812 |     - |   598M |   0 |1150 |  81k|  81k| 532 | 21 |   0 |   0 |-1.130000e+02 |-3.700000e+01 | 205.41%| unknown
30.67/30.88	c  30.9s|     1 |     0 | 25278 |     - |   598M |   0 |1150 |  81k|  81k| 534 | 22 |   0 |   0 |-9.750000e+01 |-3.700000e+01 | 163.51%| unknown
30.87/31.04	c  31.0s|     1 |     0 | 25587 |     - |   598M |   0 |1150 |  81k|  81k| 535 | 23 |   0 |   0 |-8.900000e+01 |-3.700000e+01 | 140.54%| unknown
31.07/31.22	c  31.2s|     1 |     0 | 25989 |     - |   598M |   0 |1150 |  81k|  81k| 538 | 24 |   0 |   0 |-7.300000e+01 |-3.700000e+01 |  97.30%| unknown
31.47/31.60	c  31.6s|     1 |     0 | 27301 |     - |   598M |   0 |1150 |  81k|  81k| 540 | 25 |   0 |   0 |-5.800000e+01 |-3.700000e+01 |  56.76%| unknown
31.67/31.80	c  31.8s|     1 |     0 | 27764 |     - |   598M |   0 |1150 |  81k|  81k| 543 | 26 |   0 |   0 |-5.100000e+01 |-3.700000e+01 |  37.84%| unknown
31.77/31.94	c  31.9s|     1 |     0 | 27852 |     - |   598M |   0 |1150 |  81k|  81k| 551 | 27 |   0 |   0 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
31.87/32.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
31.87/32.06	c  32.1s|     1 |     0 | 27876 |     - |   599M |   0 |1150 |  81k|  81k| 554 | 28 |   0 |   0 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
31.97/32.19	c  32.2s|     1 |     0 | 27983 |     - |   599M |   0 |1150 |  81k|  81k| 560 | 29 |   0 |   0 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
32.16/32.31	c  32.3s|     1 |     0 | 28039 |     - |   599M |   0 |1150 |  81k|  81k| 566 | 30 |   0 |   0 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
32.26/32.42	c  32.4s|     1 |     0 | 28082 |     - |   600M |   0 |1150 |  81k|  81k| 572 | 31 |   0 |   0 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
32.37/32.55	c  32.5s|     1 |     0 | 28146 |     - |   600M |   0 |1150 |  81k|  81k| 581 | 32 |   0 |   0 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
32.47/32.65	c  32.6s|     1 |     0 | 28194 |     - |   601M |   0 |1150 |  81k|  81k| 587 | 33 |   0 |   0 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
32.57/32.78	c  32.8s|     1 |     0 | 28276 |     - |   602M |   0 |1150 |  81k|  81k| 595 | 34 |   0 |   0 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
32.77/32.92	c  32.9s|     1 |     0 | 28398 |     - |   602M |   0 |1150 |  81k|  81k| 599 | 35 |   0 |   0 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
32.87/33.05	c  33.0s|     1 |     0 | 28501 |     - |   602M |   0 |1150 |  81k|  81k| 606 | 36 |   0 |   0 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
32.97/33.15	c  33.2s|     1 |     0 | 28552 |     - |   602M |   0 |1150 |  81k|  81k| 611 | 37 |   0 |   0 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
37.05/37.21	c  37.2s|     1 |     2 | 28623 |     - |   603M |   0 |1150 |  81k|  81k| 611 | 37 |   0 |  22 |-5.000000e+01 |-3.700000e+01 |  35.14%| unknown
46.71/46.95	o -38
46.71/46.95	c d46.9s|    19 |    20 | 30446 | 127.2 |pscostdi|  16 |1150 |  81k|  81k|   0 |  1 |   0 | 180 |-5.000000e+01 |-3.800000e+01 |  31.58%| unknown
76.71/77.07	c  77.1s|   100 |   101 | 35500 |  74.2 |   677M |  22 |1150 |  81k|  81k| 764 |  1 |   4 | 566 |-5.000000e+01 |-3.800000e+01 |  31.58%| unknown
111.94/112.45	c   112s|   200 |   193 | 41879 |  69.0 |   696M |  31 |1150 |  81k|  81k| 828 |  1 |   4 |1374 |-5.000000e+01 |-3.800000e+01 |  31.58%| unknown
113.93/114.43	o -41
113.93/114.43	c * 114s|   207 |   187 | 42295 |  68.6 |strongbr|  31 |1150 |  81k|  81k| 828 |  1 |   4 |1424 |-5.000000e+01 |-4.100000e+01 |  21.95%| unknown
114.03/114.53	o -42
114.03/114.53	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
114.03/114.53	c * 115s|   207 |   182 | 42308 |  68.7 |strongbr|  31 |1150 |  81k|  81k| 828 |  3 |   4 |1426 |-5.000000e+01 |-4.200000e+01 |  19.05%| unknown
123.58/124.18	c   124s|   300 |   253 | 46328 |  60.8 |   725M |  33 |1150 |  81k|  81k| 875 |  1 |   4 |1539 |-5.000000e+01 |-4.200000e+01 |  19.05%| unknown
146.27/146.93	c   147s|   400 |   315 | 52600 |  61.3 |   757M |  33 |1150 |  81k|  81k| 981 |  1 |   4 |1730 |-5.000000e+01 |-4.200000e+01 |  19.05%| unknown
156.62/157.30	c   157s|   500 |   379 | 57683 |  59.2 |   761M |  33 |1150 |  81k|  81k|1019 |  1 |  17 |1833 |-5.000000e+01 |-4.200000e+01 |  19.05%| unknown
163.60/164.31	c   164s|   600 |   443 | 62545 |  57.4 |   764M |  33 |1150 |  81k|  81k|1033 |  1 |  17 |1933 |-5.000000e+01 |-4.200000e+01 |  19.05%| unknown
173.56/174.31	c   174s|   700 |   511 | 67743 |  56.6 |   775M |  33 |1150 |  81k|  81k|1103 |  1 |  17 |1961 |-5.000000e+01 |-4.200000e+01 |  19.05%| unknown
177.64/178.41	c   178s|   800 |   573 | 72806 |  55.9 |   776M |  33 |1150 |  81k|  81k|1110 |  2 |  23 |2009 |-5.000000e+01 |-4.200000e+01 |  19.05%| unknown
183.22/184.04	c   184s|   900 |   635 | 79204 |  56.8 |   786M |  36 |1150 |  81k|  81k|1139 |  1 |  62 |2045 |-5.000000e+01 |-4.200000e+01 |  19.05%| unknown
190.77/191.62	c   192s|  1000 |   735 | 93717 |  65.6 |   790M |  36 |1150 |  81k|  81k|1143 |  1 | 133 |2084 |-5.000000e+01 |-4.200000e+01 |  19.05%| unknown
191.47/192.32	o -43
191.47/192.32	c d 192s|  1012 |   687 | 94699 |  65.8 |pscostdi|  36 |1150 |  81k|  81k|   0 |  1 | 141 |2089 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
200.32/201.28	c   201s|  1100 |   775 |105297 |  70.2 |   794M |  36 |1150 |  81k|  81k|1192 |  1 | 271 |2137 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
227.71/228.78	c   229s|  1200 |   867 |115522 |  72.9 |   903M |  50 |1150 |  81k|  81k|1365 |  0 | 328 |2167 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
250.12/251.22	c   251s|  1300 |   933 |121794 |  72.1 |   918M |  53 |1150 |  81k|  81k|1534 |  0 | 373 |2181 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
258.08/259.23	c   259s|  1400 |  1011 |129476 |  72.4 |   930M |  53 |1150 |  81k|  81k|1563 |  1 | 476 |2227 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
273.42/274.69	c   275s|  1500 |  1097 |138632 |  73.7 |   949M |  54 |1150 |  81k|  81k|1669 |  1 | 530 |2263 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
294.53/295.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
294.53/295.83	c   296s|  1600 |  1181 |146237 |  73.8 |   977M |  54 |1150 |  81k|  81k|1818 |  1 | 586 |2274 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
308.77/310.13	c   310s|  1700 |  1267 |154382 |  74.3 |   980M |  54 |1150 |  81k|  81k|1899 |  1 | 611 |2283 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
322.31/323.79	c   324s|  1800 |  1335 |161033 |  73.9 |  1007M |  54 |1150 |  81k|  81k|2034 |  1 | 630 |2292 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
335.06/336.51	c   337s|  1900 |  1417 |168765 |  74.0 |  1026M |  54 |1150 |  81k|  81k|2119 |  1 | 649 |2297 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
359.37/360.94	c   361s|  2000 |  1491 |174142 |  73.0 |  1061M |  54 |1150 |  81k|  81k|2281 |  1 | 674 |2324 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
362.36/363.95	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
362.36/363.95	c (run 1, node 2038) performing user restart
362.36/363.95	c 
362.36/363.97	c (restart) converted 90 cuts from the global cut pool into linear constraints
362.36/363.97	c 
362.46/364.06	c presolving:
362.66/364.20	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 90 upgd conss, 0 impls, 81158 clqs
362.76/364.39	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
362.76/364.39	c  0 deleted vars, 29 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 9 changed coefficients
362.76/364.39	c  0 implications, 81158 cliques
362.76/364.39	c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81802 constraints
362.76/364.39	c       1 constraints of type <knapsack>
362.76/364.39	c   81158 constraints of type <setppc>
362.76/364.39	c     643 constraints of type <logicor>
362.76/364.39	c transformed objective value is always integral (scale: 1)
362.76/364.39	c Presolving Time: 1.85
363.05/364.67	c transformed 100/100 original solutions to the transformed problem space
363.05/364.67	c 
363.35/364.97	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
363.35/364.97	c   365s|     1 |     0 |178056 |     - |  1047M |   0 |1150 |  81k|  81k|   0 |  0 | 677 |2342 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
365.64/367.22	c   367s|     1 |     0 |178130 |     - |  1047M |   0 |1150 |  81k|  81k|  10 |  1 | 677 |2342 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
368.54/370.14	c   370s|     1 |     0 |178195 |     - |  1048M |   0 |1150 |  81k|  81k|  21 |  2 | 677 |2342 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
371.82/373.48	c   373s|     1 |     0 |178252 |     - |  1048M |   0 |1150 |  81k|  81k|  28 |  3 | 677 |2342 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
374.42/376.08	c   376s|     1 |     0 |178340 |     - |  1048M |   0 |1150 |  81k|  81k|  41 |  4 | 677 |2342 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
377.90/379.53	c   380s|     1 |     0 |178427 |     - |  1048M |   0 |1150 |  81k|  81k|  52 |  5 | 677 |2342 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
378.79/380.47	c   380s|     1 |     0 |178493 |     - |  1049M |   0 |1150 |  81k|  81k|  60 |  6 | 677 |2342 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
379.69/381.31	c   381s|     1 |     0 |178564 |     - |  1058M |   0 |1150 |  81k|  81k|  70 |  7 | 677 |2342 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
382.48/384.17	c   384s|     1 |     0 |178645 |     - |  1067M |   0 |1150 |  81k|  81k|  78 |  8 | 677 |2342 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
385.08/386.74	c   387s|     1 |     0 |178725 |     - |  1077M |   0 |1150 |  81k|  81k|  86 |  9 | 677 |2342 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
387.27/388.94	c   389s|     1 |     0 |178815 |     - |  1086M |   0 |1150 |  81k|  81k|  95 | 10 | 677 |2342 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
387.37/389.05	c   389s|     1 |     0 |178900 |     - |  1094M |   0 |1150 |  81k|  81k| 105 | 11 | 677 |2342 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
391.85/393.56	c   394s|     1 |     2 |179567 |     - |  1094M |   0 |1150 |  81k|  81k| 105 | 11 | 687 |2378 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
414.36/416.18	c   416s|   100 |    99 |187475 |  73.6 |  1145M |  42 |1150 |  81k|  81k| 174 |  1 | 770 |2648 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
442.33/444.28	c   444s|   200 |   187 |198722 |  75.3 |  1203M |  44 |1150 |  81k|  81k| 407 |  1 | 810 |2702 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
452.58/454.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
452.58/454.56	c   455s|   300 |   281 |205456 |  75.0 |  1221M |  44 |1150 |  82k|  81k| 437 |  1 | 876 |2749 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
475.68/477.72	c   478s|   400 |   379 |214730 |  75.7 |  1236M |  44 |1150 |  82k|  81k| 604 |  1 | 931 |2801 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
501.77/503.92	c   504s|   500 |   459 |224236 |  76.5 |  1310M |  44 |1150 |  82k|  81k| 858 |  1 | 963 |2858 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
514.31/516.58	c   517s|   600 |   551 |232416 |  76.7 |  1335M |  44 |1150 |  82k|  81k| 977 |  1 |1018 |2909 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
531.14/533.41	c   533s|   700 |   651 |242822 |  77.7 |  1339M |  44 |1150 |  82k|  81k|1081 |  3 |1102 |2954 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
543.28/545.61	c   546s|   800 |   747 |251848 |  78.1 |  1341M |  44 |1150 |  82k|  81k|1194 |  1 |1139 |3007 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
556.93/559.37	c   559s|   900 |   835 |259018 |  77.9 |  1345M |  44 |1150 |  82k|  81k|1345 |  1 |1171 |3055 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
565.09/567.57	c   568s|  1000 |   929 |268886 |  78.6 |  1347M |  44 |1150 |  82k|  81k|1443 |  1 |1251 |3103 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
572.35/574.83	c   575s|  1100 |  1029 |280244 |  79.7 |  1349M |  44 |1150 |  82k|  81k|1460 |  1 |1309 |3158 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
594.15/596.74	c   597s|  1200 |  1129 |289844 |  80.2 |  1365M |  44 |1150 |  82k|  81k|1541 |  3 |1412 |3212 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
604.90/607.50	c   607s|  1300 |  1227 |300306 |  80.9 |  1381M |  46 |1150 |  82k|  81k|1605 |  1 |1494 |3264 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
616.45/619.18	c   619s|  1400 |  1325 |309264 |  81.2 |  1382M |  46 |1150 |  82k|  81k|1673 |  1 |1532 |3309 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
642.45/645.27	c   645s|  1500 |  1415 |318759 |  81.6 |  1400M |  47 |1150 |  82k|  81k|1837 |  1 |1601 |3367 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
656.88/659.77	c   660s|  1600 |  1507 |328332 |  82.0 |  1403M |  47 |1150 |  82k|  81k|1965 |  1 |1653 |3418 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
678.51/681.46	c   681s|  1700 |  1599 |336956 |  82.1 |  1405M |  47 |1150 |  82k|  81k|2117 |  4 |1754 |3457 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
691.44/694.40	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
691.44/694.40	c   694s|  1800 |  1695 |346485 |  82.4 |  1432M |  47 |1150 |  82k|  81k|2182 |  1 |1832 |3504 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
728.71/731.81	c   732s|  1900 |  1781 |358008 |  83.3 |  1450M |  47 |1150 |  83k|  81k|2424 |  1 |1907 |3567 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
757.39/760.67	c   761s|  2000 |  1881 |369542 |  84.1 |  1453M |  47 |1150 |  83k|  81k|2576 |  3 |2062 |3613 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
799.83/803.23	c   803s|  2100 |  1975 |382435 |  85.1 |  1465M |  47 |1150 |  83k|  81k|2847 |  1 |2100 |3672 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
818.96/822.49	c   822s|  2200 |  2071 |394019 |  85.9 |  1496M |  47 |1150 |  83k|  81k|2960 |  1 |2181 |3712 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
829.51/833.08	c   833s|  2300 |  2171 |402943 |  85.9 |  1499M |  47 |1150 |  83k|  81k|3010 |  1 |2251 |3749 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
845.94/849.58	c   850s|  2400 |  2267 |413843 |  86.5 |  1501M |  47 |1150 |  83k|  81k|3077 |  1 |2329 |3791 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
867.56/871.29	c   871s|  2500 |  2363 |422244 |  86.4 |  1503M |  47 |1150 |  83k|  81k|3159 |  1 |2371 |3847 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
888.17/891.90	c   892s|  2600 |  2461 |431997 |  86.6 |  1505M |  47 |1150 |  83k|  81k|3242 |  1 |2450 |3894 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
901.02/904.81	c   905s|  2700 |  2557 |441052 |  86.7 |  1507M |  47 |1150 |  83k|  81k|3305 |  1 |2518 |3939 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
912.07/915.94	c   916s|  2800 |  2653 |449277 |  86.6 |  1509M |  47 |1150 |  83k|  81k|3375 |  3 |2554 |3971 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
924.12/928.08	c   928s|  2900 |  2749 |458262 |  86.7 |  1511M |  47 |1150 |  83k|  81k|3431 |  1 |2619 |4021 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
932.28/936.24	c   936s|  3000 |  2845 |468297 |  87.0 |  1514M |  47 |1150 |  83k|  81k|3479 |  1 |2682 |4063 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
952.40/956.49	c   956s|  3100 |  2939 |477840 |  87.1 |  1527M |  47 |1150 |  83k|  81k|3591 |  1 |2732 |4106 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
970.73/974.87	c   975s|  3200 |  3031 |487946 |  87.4 |  1552M |  47 |1150 |  83k|  81k|3675 |  1 |2809 |4156 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
999.61/1003.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
999.61/1003.87	c  1004s|  3300 |  3127 |497700 |  87.6 |  1559M |  47 |1150 |  83k|  81k|3798 |  0 |2890 |4187 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1039.56/1044.00	c  1044s|  3400 |  3223 |509895 |  88.2 |  1561M |  47 |1150 |  84k|  81k|4055 |  1 |2961 |4238 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1066.27/1070.72	c  1071s|  3500 |  3317 |517414 |  88.0 |  1564M |  47 |1150 |  84k|  81k|4249 |  1 |3007 |4271 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1081.09/1085.65	c  1086s|  3600 |  3413 |526159 |  88.0 |  1581M |  48 |1150 |  84k|  81k|4332 |  1 |3062 |4288 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1090.15/1094.73	c  1095s|  3700 |  3507 |534403 |  87.9 |  1581M |  48 |1150 |  84k|  81k|4368 |  1 |3118 |4319 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1094.63/1099.28	c  1099s|  3800 |  3603 |542663 |  87.8 |  1585M |  48 |1150 |  84k|  81k|4377 |  1 |3194 |4329 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1098.61/1103.21	c  1103s|  3900 |  3685 |550262 |  87.6 |  1587M |  48 |1150 |  84k|  81k|4391 |  3 |3236 |4329 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1108.77/1113.44	c  1113s|  4000 |  3765 |557736 |  87.4 |  1591M |  48 |1150 |  84k|  81k|4437 |  1 |3275 |4354 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1121.91/1126.61	c  1127s|  4100 |  3857 |566467 |  87.4 |  1594M |  48 |1150 |  84k|  81k|4486 |  1 |3349 |4373 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1133.47/1138.20	c  1138s|  4200 |  3939 |573789 |  87.2 |  1621M |  48 |1150 |  84k|  81k|4553 |  1 |3416 |4378 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1141.43/1146.24	c  1146s|  4300 |  4035 |583727 |  87.3 |  1625M |  48 |1150 |  84k|  81k|4624 |  1 |3492 |4392 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1152.78/1157.66	c  1158s|  4400 |  4117 |591621 |  87.2 |  1627M |  48 |1150 |  84k|  81k|4688 |  0 |3548 |4399 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1156.76/1161.63	c  1162s|  4500 |  4201 |599124 |  87.0 |  1629M |  48 |1150 |  84k|  81k|4702 |  1 |3607 |4406 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1186.84/1191.89	c  1192s|  4600 |  4291 |608063 |  87.1 |  1631M |  48 |1150 |  84k|  81k|4892 |  1 |3663 |4407 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1212.84/1217.90	c  1218s|  4700 |  4383 |616704 |  87.1 |  1635M |  48 |1150 |  84k|  81k|5060 |  1 |3719 |4413 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1236.25/1241.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1236.25/1241.48	c  1241s|  4800 |  4469 |626654 |  87.2 |  1636M |  48 |1150 |  84k|  81k|5172 |  1 |3775 |4417 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1245.32/1250.53	c  1251s|  4900 |  4565 |637383 |  87.5 |  1640M |  48 |1150 |  84k|  81k|5193 |  1 |3844 |4444 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1256.97/1262.26	c  1262s|  5000 |  4661 |646688 |  87.6 |  1642M |  48 |1150 |  84k|  81k|5238 |  1 |3882 |4451 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1290.94/1296.38	c  1296s|  5100 |  4753 |655943 |  87.7 |  1661M |  48 |1150 |  84k|  81k|5420 |  1 |3931 |4451 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1318.33/1323.82	c  1324s|  5200 |  4843 |665578 |  87.8 |  1694M |  48 |1150 |  84k|  81k|5567 |  1 |3969 |4451 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1346.82/1352.41	c  1352s|  5300 |  4941 |675490 |  87.9 |  1698M |  48 |1150 |  85k|  81k|5716 |  1 |4055 |4465 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1387.65/1393.40	c  1393s|  5400 |  5035 |685583 |  88.1 |  1702M |  48 |1150 |  85k|  81k|5947 |  1 |4087 |4467 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1414.55/1420.47	c  1420s|  5500 |  5131 |696242 |  88.4 |  1713M |  48 |1150 |  85k|  81k|6211 |  1 |4159 |4473 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1426.81/1432.77	c  1433s|  5600 |  5229 |707079 |  88.6 |  1717M |  48 |1150 |  85k|  81k|6359 |  1 |4277 |4477 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1442.44/1448.48	c  1448s|  5700 |  5319 |716509 |  88.7 |  1719M |  48 |1150 |  85k|  81k|6493 |  1 |4331 |4479 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1466.55/1472.60	c  1473s|  5800 |  5399 |724690 |  88.6 |  1737M |  48 |1150 |  85k|  81k|6619 |  1 |4376 |4485 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1478.60/1484.71	c  1485s|  5900 |  5491 |733446 |  88.6 |  1739M |  48 |1150 |  85k|  81k|6703 |  1 |4423 |4491 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1489.55/1495.75	c  1496s|  6000 |  5581 |742464 |  88.6 |  1760M |  48 |1150 |  85k|  81k|6752 |  1 |4468 |4497 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1506.18/1512.40	c  1512s|  6100 |  5679 |751605 |  88.7 |  1765M |  48 |1150 |  85k|  81k|6831 |  1 |4526 |4499 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1532.28/1538.67	c  1539s|  6200 |  5777 |761810 |  88.8 |  1805M |  48 |1150 |  85k|  81k|6950 |  1 |4677 |4501 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1556.98/1563.46	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1556.98/1563.46	c  1563s|  6300 |  5861 |770467 |  88.8 |  1808M |  48 |1150 |  85k|  81k|7065 |  1 |4740 |4513 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1566.74/1573.28	c  1573s|  6400 |  5953 |779347 |  88.8 |  1809M |  48 |1150 |  85k|  81k|7116 |  1 |4778 |4550 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1578.59/1585.15	c  1585s|  6500 |  6041 |788391 |  88.8 |  1812M |  48 |1150 |  85k|  81k|7181 |  1 |4857 |4576 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1597.32/1603.96	c  1604s|  6600 |  6129 |797790 |  88.9 |  1814M |  48 |1150 |  85k|  81k|7291 |  1 |4923 |4617 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1616.44/1623.12	c  1623s|  6700 |  6215 |807856 |  89.0 |  1818M |  48 |1150 |  85k|  81k|7371 |  1 |4969 |4637 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1622.32/1629.02	c  1629s|  6800 |  6305 |815133 |  88.8 |  1820M |  48 |1150 |  85k|  81k|7377 |  1 |5042 |4694 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1629.48/1636.29	c  1636s|  6900 |  6399 |822705 |  88.7 |  1822M |  48 |1150 |  85k|  81k|7393 |  1 |5106 |4721 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1634.85/1641.69	c  1642s|  7000 |  6493 |830858 |  88.6 |  1823M |  48 |1150 |  85k|  81k|7393 |  1 |5185 |4753 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1649.79/1656.65	c  1657s|  7100 |  6581 |839389 |  88.6 |  1828M |  48 |1150 |  86k|  81k|7454 |  1 |5277 |4793 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1664.32/1671.20	c  1671s|  7200 |  6677 |848089 |  88.5 |  1831M |  48 |1150 |  86k|  81k|7509 |  1 |5359 |4820 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1677.47/1684.42	c  1684s|  7300 |  6757 |855632 |  88.4 |  1832M |  48 |1150 |  86k|  81k|7566 |  1 |5402 |4862 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1694.01/1701.03	c  1701s|  7400 |  6847 |863892 |  88.3 |  1835M |  48 |1150 |  86k|  81k|7631 |  1 |5436 |4902 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1709.24/1716.31	c  1716s|  7500 |  6935 |872235 |  88.3 |  1836M |  48 |1150 |  86k|  81k|7715 |  1 |5490 |4940 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1719.60/1726.76	c  1727s|  7600 |  7027 |880433 |  88.2 |  1838M |  48 |1150 |  86k|  81k|7750 |  0 |5544 |4977 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1730.15/1737.32	c  1737s|  7700 |  7119 |888745 |  88.2 |  1839M |  48 |1150 |  86k|  81k|7812 |  1 |5601 |5004 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1735.23/1742.45	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1735.23/1742.45	c  1742s|  7800 |  7219 |896677 |  88.1 |  1844M |  48 |1150 |  86k|  81k|7814 |  1 |5674 |5026 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1742.50/1749.77	c  1750s|  7900 |  7313 |906976 |  88.2 |  1849M |  48 |1150 |  86k|  81k|7838 |  1 |5738 |5056 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1751.16/1758.48	c  1758s|  8000 |  7409 |917412 |  88.4 |  1852M |  48 |1150 |  86k|  81k|7899 |  1 |5852 |5065 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1756.33/1763.63	c  1764s|  8100 |  7509 |929205 |  88.7 |  1855M |  48 |1150 |  86k|  81k|7903 |  1 |5985 |5072 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1761.11/1768.41	c  1768s|  8200 |  7607 |938904 |  88.8 |  1857M |  48 |1150 |  86k|  81k|7921 |  1 |6069 |5075 |-5.000000e+01 |-4.300000e+01 |  16.28%| unknown
1766.48/1773.80	o -44
1766.48/1773.80	c o1774s|  8298 |  7699 |949887 |  89.0 |objpscos|  48 |1150 |  86k|  81k|7922 |  1 |6135 |5090 |-5.000000e+01 |-4.400000e+01 |  13.64%| unknown
1766.48/1773.82	o -45
1766.48/1773.82	c o1774s|  8298 |  7699 |949888 |  89.0 |objpscos|  48 |1150 |  86k|  81k|7922 |  1 |6135 |5090 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1766.48/1773.89	c  1774s|  8300 |  5908 |949967 |  89.0 |  1861M |  48 |1150 |  86k|  81k|7922 |  1 |6135 |5090 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1774.35/1781.75	c  1782s|  8400 |  6002 |959793 |  89.1 |  1861M |  48 |1150 |  86k|  81k|7945 |  1 |6253 |5094 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1796.37/1803.82	c  1804s|  8500 |  6070 |967602 |  89.0 |  1862M |  48 |1150 |  86k|  81k|8024 |  0 |6351 |5098 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1810.62/1818.11	c  1818s|  8600 |  6126 |974222 |  88.7 |  1862M |  48 |1150 |  86k|  81k|8095 |  1 |6401 |5104 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1824.66/1832.29	c  1832s|  8700 |  6214 |982327 |  88.7 |  1884M |  48 |1150 |  86k|  81k|8146 |  1 |6501 |5111 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1832.03/1839.60	c  1840s|  8800 |  6288 |988947 |  88.5 |  1885M |  48 |1150 |  87k|  81k|8185 |  1 |6656 |5112 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1863.50/1871.24	c  1871s|  8900 |  6350 |998884 |  88.6 |  1885M |  48 |1150 |  87k|  81k|8318 |  1 |6687 |5117 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1878.95/1886.76	c  1887s|  9000 |  6422 |  1005k|  88.4 |  1931M |  48 |1150 |  87k|  81k|8383 |  1 |6794 |5121 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1903.85/1911.74	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1903.85/1911.74	c  1912s|  9100 |  6498 |  1014k|  88.4 |  1933M |  48 |1150 |  87k|  81k|8509 |  1 |6925 |5124 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1939.61/1947.64	c  1948s|  9200 |  6574 |  1025k|  88.6 |  1935M |  48 |1150 |  87k|  81k|8785 |  1 |6983 |5128 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1951.07/1959.13	c  1959s|  9300 |  6642 |  1032k|  88.4 |  1935M |  48 |1150 |  87k|  81k|8839 |  0 |7052 |5130 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1970.69/1978.83	c  1979s|  9400 |  6708 |  1039k|  88.3 |  1936M |  48 |1150 |  87k|  81k|8945 |  1 |7126 |5132 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1977.76/1985.97	c  1986s|  9500 |  6760 |  1044k|  87.9 |  1936M |  48 |1150 |  87k|  81k|8985 |  1 |7175 |5136 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1986.52/1994.78	c  1995s|  9600 |  6814 |  1049k|  87.6 |  1936M |  48 |1150 |  87k|  81k|9033 |  1 |7232 |5138 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1990.00/1998.25	c  1998s|  9700 |  6870 |  1056k|  87.4 |  1937M |  48 |1150 |  87k|  81k|9048 |  1 |7273 |5142 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1994.38/2002.60	c  2003s|  9800 |  6954 |  1065k|  87.4 |  1939M |  48 |1150 |  87k|  81k|9057 |  1 |7349 |5144 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
1997.97/2006.28	c  2006s|  9900 |  7036 |  1072k|  87.3 |  1939M |  48 |1150 |  87k|  81k|9057 |  1 |7416 |5145 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2007.93/2016.27	c  2016s| 10000 |  7098 |  1080k|  87.2 |  1940M |  48 |1150 |  87k|  81k|9118 |  1 |7451 |5147 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2014.21/2022.52	c  2023s| 10100 |  7168 |  1086k|  87.0 |  1942M |  48 |1150 |  87k|  81k|9130 |  0 |7507 |5149 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2017.19/2025.59	c  2026s| 10200 |  7240 |  1092k|  86.8 |  1943M |  48 |1150 |  87k|  81k|9130 |  1 |7545 |5149 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2030.04/2038.48	c  2038s| 10300 |  7318 |  1100k|  86.8 |  1946M |  48 |1150 |  87k|  81k|9168 |  1 |7610 |5151 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2038.81/2047.28	c  2047s| 10400 |  7390 |  1107k|  86.6 |  1947M |  48 |1150 |  87k|  81k|9215 |  1 |7671 |5152 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2041.50/2049.93	c  2050s| 10500 |  7446 |  1112k|  86.3 |  1948M |  48 |1150 |  87k|  81k|9233 |  1 |7711 |5152 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2046.18/2054.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2046.18/2054.68	c  2055s| 10600 |  7534 |  1121k|  86.3 |  1951M |  48 |1150 |  87k|  81k|9244 |  1 |7816 |5152 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2052.36/2060.81	c  2061s| 10700 |  7622 |  1131k|  86.4 |  1954M |  48 |1150 |  87k|  81k|9280 |  1 |7919 |5153 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2072.39/2080.94	c  2081s| 10800 |  7688 |  1141k|  86.5 |  1955M |  48 |1150 |  87k|  81k|9400 |  1 |7948 |5154 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2086.03/2094.68	c  2095s| 10900 |  7766 |  1150k|  86.6 |  1957M |  48 |1150 |  87k|  81k|9486 |  0 |8014 |5155 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2093.80/2102.43	c  2102s| 11000 |  7842 |  1157k|  86.4 |  1961M |  48 |1150 |  87k|  81k|9501 |  1 |8099 |5156 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2106.06/2114.77	c  2115s| 11100 |  7892 |  1162k|  86.2 |  1961M |  48 |1150 |  87k|  81k|9534 |  0 |8116 |5156 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2111.74/2120.43	c  2120s| 11200 |  7964 |  1170k|  86.1 |  1964M |  48 |1150 |  88k|  81k|9560 |  1 |8196 |5175 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2117.62/2126.30	c  2126s| 11300 |  8050 |  1180k|  86.2 |  1966M |  48 |1150 |  88k|  81k|9560 |  1 |8331 |5214 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2123.30/2132.02	c  2132s| 11400 |  8142 |  1190k|  86.4 |  1968M |  48 |1150 |  88k|  81k|9560 |  1 |8452 |5244 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2158.97/2167.80	c  2168s| 11500 |  8218 |  1200k|  86.5 |  1972M |  48 |1150 |  88k|  81k|9737 |  1 |8548 |5279 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2166.54/2175.44	c  2175s| 11600 |  8272 |  1205k|  86.2 |  2002M |  48 |1150 |  88k|  81k|9753 |  1 |8582 |5306 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2173.42/2182.30	c  2182s| 11700 |  8328 |  1212k|  86.0 |  2003M |  48 |1150 |  88k|  81k|9765 |  1 |8643 |5342 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2189.86/2198.87	c  2199s| 11800 |  8398 |  1219k|  85.9 |  2013M |  48 |1150 |  88k|  81k|9861 |  2 |8711 |5361 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2198.83/2207.80	c  2208s| 11900 |  8476 |  1228k|  85.9 |  2016M |  48 |1150 |  88k|  81k|9878 |  1 |8850 |5404 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2204.51/2213.57	c  2214s| 12000 |  8546 |  1236k|  85.9 |  2018M |  48 |1150 |  88k|  81k|9896 |  1 |8909 |5427 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2210.09/2219.14	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2210.09/2219.14	c  2219s| 12100 |  8624 |  1246k|  86.0 |  2020M |  48 |1150 |  88k|  81k|9912 |  1 |9010 |5459 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2221.65/2230.75	c  2231s| 12200 |  8694 |  1253k|  85.9 |  2021M |  48 |1150 |  88k|  81k|9967 |  0 |9077 |5498 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2232.31/2241.44	c  2241s| 12300 |  8770 |  1263k|  86.0 |  2024M |  48 |1150 |  88k|  81k|  10k|  1 |9172 |5517 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2242.88/2252.08	c  2252s| 12400 |  8858 |  1274k|  86.2 |  2027M |  48 |1150 |  88k|  81k|  10k|  0 |9290 |5547 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2252.74/2261.96	c  2262s| 12500 |  8914 |  1280k|  86.0 |  2028M |  48 |1150 |  88k|  81k|  10k|  1 |9398 |5585 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2278.36/2287.65	c  2288s| 12600 |  8974 |  1288k|  86.0 |  2029M |  48 |1150 |  88k|  81k|  10k|  1 |9455 |5613 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2284.04/2293.39	c  2293s| 12700 |  9036 |  1296k|  86.0 |  2085M |  48 |1150 |  88k|  81k|  10k|  1 |9523 |5642 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2293.21/2302.53	c  2303s| 12800 |  9114 |  1304k|  85.9 |  2087M |  48 |1150 |  88k|  81k|  10k|  1 |9617 |5661 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2310.75/2320.15	c  2320s| 12900 |  9172 |  1310k|  85.7 |  2088M |  48 |1150 |  88k|  81k|  10k|  1 |9674 |5680 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2320.52/2329.98	c  2330s| 13000 |  9248 |  1316k|  85.5 |  2089M |  48 |1150 |  88k|  81k|  10k|  0 |9735 |5698 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2325.80/2335.24	c  2335s| 13100 |  9298 |  1320k|  85.2 |  2092M |  48 |1150 |  88k|  81k|  10k|  1 |9784 |5703 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2340.85/2350.38	c  2350s| 13200 |  9336 |  1324k|  84.9 |  2093M |  48 |1150 |  88k|  81k|  10k|  0 |9835 |5706 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2369.85/2379.48	c  2379s| 13300 |  9380 |  1329k|  84.7 |  2093M |  48 |1150 |  88k|  81k|  10k|  1 |9861 |5722 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2394.27/2403.90	c  2404s| 13400 |  9442 |  1336k|  84.6 |  2096M |  48 |1150 |  88k|  81k|  10k|  1 |  10k|5744 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2423.08/2432.85	c  2433s| 13500 |  9502 |  1346k|  84.7 |  2100M |  48 |1150 |  88k|  81k|  10k|  1 |  10k|5756 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2436.03/2445.81	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2436.03/2445.81	c  2446s| 13600 |  9576 |  1354k|  84.7 |  2104M |  49 |1150 |  89k|  81k|  10k|  1 |  10k|5774 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2447.89/2457.73	c  2458s| 13700 |  9642 |  1361k|  84.6 |  2106M |  49 |1150 |  89k|  81k|  11k|  1 |  10k|5781 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2460.66/2470.52	c  2471s| 13800 |  9718 |  1369k|  84.5 |  2107M |  49 |1150 |  89k|  81k|  11k|  2 |  10k|5787 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2469.73/2479.65	c  2480s| 13900 |  9770 |  1373k|  84.3 |  2108M |  49 |1150 |  89k|  81k|  11k|  1 |  10k|5790 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2483.48/2493.41	c  2493s| 14000 |  9844 |  1380k|  84.2 |  2110M |  49 |1150 |  89k|  81k|  11k|  2 |  10k|5806 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2498.03/2508.00	c  2508s| 14100 |  9906 |  1388k|  84.2 |  2113M |  49 |1150 |  89k|  81k|  11k|  1 |  10k|5810 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2518.86/2528.92	c  2529s| 14200 |  9990 |  1396k|  84.1 |  2114M |  49 |1150 |  89k|  81k|  11k|  1 |  10k|5817 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2525.04/2535.11	c  2535s| 14300 | 10052 |  1404k|  84.1 |  2118M |  49 |1150 |  89k|  81k|  11k|  1 |  10k|5819 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2527.73/2537.87	c  2538s| 14400 | 10118 |  1410k|  84.0 |  2121M |  49 |1150 |  89k|  81k|  11k|  1 |  10k|5819 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2541.08/2551.29	c  2551s| 14500 | 10178 |  1418k|  84.0 |  2122M |  49 |1150 |  89k|  81k|  11k|  1 |  10k|5820 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2544.88/2555.03	c  2555s| 14600 | 10244 |  1425k|  83.9 |  2123M |  49 |1150 |  89k|  81k|  11k|  1 |  10k|5821 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2551.16/2561.34	c  2561s| 14700 | 10292 |  1431k|  83.7 |  2124M |  49 |1150 |  89k|  81k|  11k|  0 |  10k|5822 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2554.24/2564.48	c  2564s| 14800 | 10350 |  1437k|  83.6 |  2157M |  49 |1150 |  89k|  81k|  11k|  0 |  10k|5825 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2559.03/2569.23	c  2569s| 14900 | 10442 |  1447k|  83.7 |  2163M |  49 |1150 |  89k|  81k|  11k|  1 |  10k|5827 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2566.70/2576.95	c  2577s| 15000 | 10530 |  1455k|  83.7 |  2165M |  49 |1150 |  89k|  81k|  11k|  2 |  11k|5827 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2571.38/2581.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2571.38/2581.66	c  2582s| 15100 | 10620 |  1465k|  83.8 |  2167M |  49 |1150 |  89k|  81k|  11k|  1 |  11k|5827 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2574.78/2585.01	c  2585s| 15200 | 10698 |  1472k|  83.7 |  2168M |  49 |1150 |  89k|  81k|  11k|  0 |  11k|5827 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2578.16/2588.50	c  2588s| 15300 | 10770 |  1478k|  83.5 |  2170M |  49 |1150 |  89k|  81k|  11k|  0 |  11k|5827 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2585.53/2595.84	c  2596s| 15400 | 10828 |  1483k|  83.3 |  2171M |  49 |1150 |  89k|  81k|  11k|  1 |  11k|5827 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2592.01/2602.38	c  2602s| 15500 | 10908 |  1489k|  83.2 |  2175M |  49 |1150 |  89k|  81k|  11k|  1 |  11k|5827 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2595.09/2605.43	c  2605s| 15600 | 10972 |  1495k|  83.1 |  2177M |  49 |1150 |  89k|  81k|  11k|  1 |  11k|5827 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2598.98/2609.30	c  2609s| 15700 | 11046 |  1501k|  83.0 |  2178M |  49 |1150 |  89k|  81k|  11k|  1 |  11k|5828 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2610.95/2621.33	c  2621s| 15800 | 11102 |  1507k|  82.8 |  2188M |  49 |1150 |  89k|  81k|  12k|  1 |  11k|5829 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2614.33/2624.77	c  2625s| 15900 | 11166 |  1513k|  82.7 |  2190M |  49 |1150 |  89k|  81k|  12k|  0 |  11k|5829 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2625.50/2635.95	c  2636s| 16000 | 11224 |  1519k|  82.6 |  2191M |  49 |1150 |  89k|  81k|  12k|  1 |  11k|5829 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2647.22/2657.76	c  2658s| 16100 | 11288 |  1527k|  82.5 |  2204M |  49 |1150 |  89k|  81k|  12k|  0 |  11k|5829 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2650.31/2660.80	c  2661s| 16200 | 11344 |  1532k|  82.4 |  2206M |  49 |1150 |  89k|  81k|  12k|  1 |  11k|5829 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2655.09/2665.64	c  2666s| 16300 | 11410 |  1541k|  82.4 |  2207M |  49 |1150 |  90k|  81k|  12k|  1 |  11k|5829 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2661.17/2671.73	c  2672s| 16400 | 11468 |  1547k|  82.3 |  2208M |  49 |1150 |  90k|  81k|  12k|  1 |  11k|5830 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2664.66/2675.28	c  2675s| 16500 | 11532 |  1554k|  82.2 |  2209M |  49 |1150 |  90k|  81k|  12k|  1 |  11k|5830 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2673.92/2684.53	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2673.92/2684.53	c  2685s| 16600 | 11582 |  1560k|  82.1 |  2210M |  49 |1150 |  90k|  81k|  12k|  1 |  11k|5830 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2678.41/2689.09	c  2689s| 16700 | 11646 |  1566k|  82.0 |  2212M |  49 |1150 |  90k|  81k|  12k|  1 |  11k|5832 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2681.41/2692.02	c  2692s| 16800 | 11702 |  1571k|  81.8 |  2213M |  49 |1150 |  90k|  81k|  12k|  1 |  11k|5834 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2700.45/2711.19	c  2711s| 16900 | 11750 |  1577k|  81.7 |  2213M |  49 |1150 |  90k|  81k|  12k|  1 |  12k|5836 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2704.03/2714.70	c  2715s| 17000 | 11802 |  1583k|  81.6 |  2214M |  49 |1150 |  90k|  81k|  13k|  1 |  12k|5836 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2707.12/2717.84	c  2718s| 17100 | 11870 |  1589k|  81.5 |  2215M |  49 |1150 |  90k|  81k|  13k|  1 |  12k|5837 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2729.44/2740.24	c  2740s| 17200 | 11936 |  1597k|  81.5 |  2217M |  49 |1150 |  90k|  81k|  13k|  1 |  12k|5837 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2742.69/2753.54	c  2754s| 17300 | 12012 |  1606k|  81.5 |  2221M |  49 |1150 |  90k|  81k|  13k|  1 |  12k|5865 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2751.47/2762.34	c  2762s| 17400 | 12096 |  1618k|  81.7 |  2290M |  49 |1150 |  90k|  81k|  13k|  1 |  12k|5887 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2755.85/2766.74	c  2767s| 17500 | 12168 |  1626k|  81.7 |  2292M |  49 |1150 |  90k|  81k|  13k|  1 |  12k|5906 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2776.38/2787.39	c  2787s| 17600 | 12248 |  1635k|  81.7 |  2294M |  49 |1150 |  90k|  81k|  13k|  1 |  12k|5930 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2782.56/2793.54	c  2794s| 17700 | 12346 |  1646k|  81.9 |  2297M |  49 |1150 |  90k|  81k|  13k|  1 |  12k|5963 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2788.43/2799.40	c  2799s| 17800 | 12436 |  1654k|  81.9 |  2300M |  49 |1150 |  90k|  81k|  13k|  0 |  12k|5999 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2796.20/2807.23	c  2807s| 17900 | 12500 |  1663k|  81.9 |  2303M |  49 |1150 |  90k|  81k|  13k|  1 |  12k|6023 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2813.45/2824.50	c  2824s| 18000 | 12598 |  1676k|  82.1 |  2304M |  49 |1150 |  90k|  81k|  13k|  1 |  12k|6045 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2824.81/2835.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2824.81/2835.96	c  2836s| 18100 | 12696 |  1686k|  82.3 |  2307M |  49 |1150 |  90k|  81k|  13k|  1 |  13k|6073 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2839.26/2850.49	c  2850s| 18200 | 12796 |  1696k|  82.4 |  2311M |  49 |1150 |  90k|  81k|  13k|  1 |  13k|6090 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2844.04/2855.25	c  2855s| 18300 | 12884 |  1705k|  82.4 |  2313M |  49 |1150 |  90k|  81k|  13k|  1 |  13k|6106 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2850.22/2861.44	c  2861s| 18400 | 12974 |  1713k|  82.4 |  2316M |  49 |1150 |  90k|  81k|  13k|  1 |  13k|6129 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2857.49/2868.78	c  2869s| 18500 | 13048 |  1719k|  82.3 |  2317M |  49 |1150 |  91k|  81k|  13k|  1 |  13k|6158 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2872.94/2884.22	c  2884s| 18600 | 13130 |  1728k|  82.3 |  2319M |  49 |1150 |  91k|  81k|  13k|  1 |  13k|6192 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2882.21/2893.57	c  2894s| 18700 | 13230 |  1740k|  82.5 |  2321M |  49 |1150 |  91k|  81k|  13k|  1 |  13k|6220 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2888.99/2900.32	c  2900s| 18800 | 13312 |  1749k|  82.5 |  2325M |  49 |1150 |  91k|  81k|  13k|  0 |  13k|6234 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2900.25/2911.69	c  2912s| 18900 | 13394 |  1756k|  82.5 |  2328M |  49 |1150 |  91k|  81k|  13k|  0 |  13k|6250 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2919.69/2931.14	c  2931s| 19000 | 13476 |  1765k|  82.5 |  2331M |  49 |1150 |  91k|  81k|  14k|  1 |  13k|6263 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2932.14/2943.64	c  2944s| 19100 | 13554 |  1775k|  82.6 |  2333M |  49 |1150 |  91k|  81k|  14k|  1 |  14k|6264 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2935.74/2947.25	c  2947s| 19200 | 13632 |  1783k|  82.5 |  2334M |  49 |1150 |  91k|  81k|  14k|  1 |  14k|6266 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2940.72/2952.27	c  2952s| 19300 | 13690 |  1789k|  82.5 |  2337M |  49 |1150 |  91k|  81k|  14k|  1 |  14k|6288 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2957.27/2968.85	c  2969s| 19400 | 13750 |  1797k|  82.4 |  2338M |  49 |1150 |  91k|  81k|  14k|  0 |  14k|6298 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2966.34/2977.91	c  2978s| 19500 | 13818 |  1803k|  82.3 |  2338M |  49 |1150 |  91k|  81k|  14k|  0 |  14k|6337 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2977.80/2989.45	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2977.80/2989.45	c  2989s| 19600 | 13890 |  1810k|  82.3 |  2339M |  49 |1150 |  91k|  81k|  14k|  2 |  14k|6356 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2992.55/3004.20	c  3004s| 19700 | 13946 |  1816k|  82.2 |  2341M |  49 |1150 |  91k|  81k|  14k|  0 |  14k|6359 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
2996.74/3008.40	c  3008s| 19800 | 14000 |  1822k|  82.1 |  2342M |  49 |1150 |  91k|  81k|  14k|  1 |  14k|6360 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3000.22/3011.92	c  3012s| 19900 | 14070 |  1829k|  82.0 |  2344M |  49 |1150 |  91k|  81k|  14k|  1 |  14k|6368 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3003.71/3015.49	c  3015s| 20000 | 14132 |  1836k|  81.9 |  2345M |  49 |1150 |  91k|  81k|  14k|  1 |  14k|6378 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3022.26/3034.02	c  3034s| 20100 | 14192 |  1842k|  81.9 |  2346M |  49 |1150 |  91k|  81k|  14k|  1 |  14k|6407 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3028.54/3040.35	c  3040s| 20200 | 14266 |  1849k|  81.8 |  2348M |  49 |1150 |  91k|  81k|  14k|  1 |  14k|6424 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3037.11/3048.97	c  3049s| 20300 | 14336 |  1854k|  81.7 |  2350M |  49 |1150 |  91k|  81k|  14k|  1 |  14k|6429 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3040.60/3052.44	c  3052s| 20400 | 14400 |  1861k|  81.6 |  2351M |  49 |1150 |  91k|  81k|  14k|  1 |  14k|6436 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3047.77/3059.64	c  3060s| 20500 | 14476 |  1869k|  81.6 |  2354M |  49 |1150 |  91k|  81k|  14k|  1 |  14k|6442 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3055.55/3067.41	c  3067s| 20600 | 14548 |  1877k|  81.6 |  2359M |  49 |1150 |  91k|  81k|  14k|  0 |  14k|6445 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3070.30/3082.25	c  3082s| 20700 | 14618 |  1884k|  81.5 |  2361M |  49 |1150 |  91k|  81k|  14k|  1 |  14k|6446 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3077.19/3089.16	c  3089s| 20800 | 14686 |  1890k|  81.5 |  2363M |  49 |1150 |  91k|  81k|  14k|  0 |  15k|6452 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3087.65/3099.60	c  3100s| 20900 | 14750 |  1897k|  81.4 |  2365M |  49 |1150 |  91k|  81k|  14k|  1 |  15k|6455 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3097.32/3109.35	c  3109s| 21000 | 14816 |  1904k|  81.4 |  2367M |  49 |1150 |  91k|  81k|  14k|  1 |  15k|6457 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3108.99/3121.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3108.99/3121.09	c  3121s| 21100 | 14881 |  1911k|  81.3 |  2369M |  49 |1150 |  91k|  81k|  14k|  1 |  15k|6459 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3114.76/3126.82	c  3127s| 21200 | 14941 |  1918k|  81.3 |  2370M |  49 |1150 |  91k|  81k|  14k|  1 |  15k|6461 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3122.54/3134.62	c  3135s| 21300 | 15009 |  1926k|  81.3 |  2372M |  49 |1150 |  91k|  81k|  14k|  1 |  15k|6464 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3129.11/3141.27	c  3141s| 21400 | 15093 |  1936k|  81.3 |  2376M |  49 |1150 |  91k|  81k|  14k|  1 |  15k|6465 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3132.60/3144.76	c  3145s| 21500 | 15163 |  1944k|  81.3 |  2378M |  49 |1150 |  91k|  81k|  14k|  1 |  15k|6465 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3135.59/3147.79	c  3148s| 21600 | 15231 |  1950k|  81.3 |  2381M |  49 |1150 |  91k|  81k|  14k|  1 |  15k|6465 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3152.24/3164.45	c  3164s| 21700 | 15297 |  1958k|  81.2 |  2382M |  49 |1150 |  91k|  81k|  15k|  2 |  15k|6466 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3156.12/3168.33	c  3168s| 21800 | 15373 |  1966k|  81.2 |  2385M |  49 |1150 |  91k|  81k|  15k|  0 |  15k|6469 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3159.01/3171.29	c  3171s| 21900 | 15443 |  1973k|  81.2 |  2386M |  49 |1150 |  91k|  81k|  15k|  1 |  15k|6469 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3163.19/3175.47	c  3175s| 22000 | 15523 |  1981k|  81.2 |  2389M |  49 |1150 |  91k|  81k|  15k|  1 |  15k|6475 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3171.58/3183.86	c  3184s| 22100 | 15589 |  1989k|  81.2 |  2390M |  49 |1150 |  91k|  81k|  15k|  1 |  16k|6475 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3190.72/3203.03	c  3203s| 22200 | 15649 |  1996k|  81.1 |  2392M |  49 |1150 |  91k|  81k|  15k|  1 |  16k|6475 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3207.16/3219.59	c  3220s| 22300 | 15715 |  2005k|  81.1 |  2434M |  49 |1150 |  91k|  81k|  15k|  1 |  16k|6476 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3217.63/3230.08	c  3230s| 22400 | 15771 |  2012k|  81.1 |  2435M |  49 |1150 |  91k|  81k|  15k|  1 |  16k|6476 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3235.67/3248.13	c  3248s| 22500 | 15833 |  2020k|  81.1 |  2436M |  49 |1150 |  91k|  81k|  15k|  2 |  16k|6477 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3246.93/3259.42	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3246.93/3259.42	c  3259s| 22600 | 15899 |  2026k|  81.0 |  2448M |  49 |1150 |  91k|  81k|  15k|  0 |  16k|6477 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3258.09/3270.67	c  3271s| 22700 | 15977 |  2034k|  81.0 |  2451M |  49 |1150 |  91k|  81k|  15k|  1 |  16k|6477 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3277.03/3289.64	c  3290s| 22800 | 16045 |  2043k|  81.1 |  2452M |  49 |1150 |  91k|  81k|  16k|  1 |  16k|6478 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3289.60/3302.20	c  3302s| 22900 | 16105 |  2050k|  81.0 |  2534M |  49 |1150 |  91k|  81k|  16k|  1 |  16k|6478 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3301.06/3313.70	c  3314s| 23000 | 16157 |  2056k|  80.9 |  2535M |  49 |1150 |  91k|  81k|  16k|  1 |  16k|6478 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3315.22/3327.90	c  3328s| 23100 | 16233 |  2062k|  80.8 |  2540M |  49 |1150 |  91k|  81k|  16k|  0 |  16k|6478 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3323.49/3336.21	c  3336s| 23200 | 16277 |  2068k|  80.8 |  2542M |  49 |1150 |  91k|  81k|  16k|  0 |  16k|6478 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3334.46/3347.23	c  3347s| 23300 | 16341 |  2073k|  80.7 |  2544M |  49 |1150 |  91k|  81k|  16k|  1 |  16k|6478 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3337.45/3350.25	c  3350s| 23400 | 16407 |  2080k|  80.6 |  2549M |  49 |1150 |  91k|  81k|  16k|  1 |  16k|6478 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3340.04/3352.88	c  3353s| 23500 | 16471 |  2085k|  80.5 |  2550M |  49 |1150 |  91k|  81k|  16k|  1 |  16k|6478 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3343.42/3356.21	c  3356s| 23600 | 16549 |  2092k|  80.5 |  2554M |  49 |1150 |  91k|  81k|  16k|  1 |  16k|6478 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3346.61/3359.43	c  3359s| 23700 | 16619 |  2100k|  80.4 |  2557M |  49 |1150 |  91k|  81k|  16k|  1 |  16k|6478 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3349.21/3362.09	c  3362s| 23800 | 16679 |  2105k|  80.3 |  2558M |  49 |1150 |  91k|  81k|  16k|  0 |  16k|6478 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3359.97/3372.87	c  3373s| 23900 | 16747 |  2113k|  80.3 |  2559M |  49 |1150 |  91k|  81k|  16k|  1 |  16k|6478 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3389.09/3402.05	c  3402s| 24000 | 16821 |  2122k|  80.4 |  2560M |  49 |1150 |  91k|  81k|  16k|  1 |  17k|6479 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3400.54/3413.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3400.54/3413.59	c  3414s| 24100 | 16895 |  2131k|  80.4 |  2570M |  49 |1150 |  91k|  81k|  16k|  1 |  17k|6480 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3404.03/3417.01	c  3417s| 24200 | 16971 |  2137k|  80.3 |  2571M |  49 |1150 |  91k|  81k|  16k|  1 |  17k|6480 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3418.09/3431.16	c  3431s| 24300 | 17035 |  2144k|  80.3 |  2572M |  49 |1150 |  91k|  81k|  16k|  1 |  17k|6480 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3449.69/3462.87	c  3463s| 24400 | 17099 |  2152k|  80.3 |  2606M |  49 |1150 |  91k|  81k|  17k|  0 |  17k|6481 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3491.05/3504.36	c  3504s| 24500 | 17169 |  2164k|  80.4 |  2707M |  49 |1150 |  91k|  81k|  17k|  1 |  17k|6481 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3527.53/3540.98	c  3541s| 24600 | 17247 |  2176k|  80.6 |  2773M |  49 |1150 |  91k|  81k|  18k|  1 |  17k|6481 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3549.86/3563.31	c  3563s| 24700 | 17313 |  2184k|  80.6 |  2791M |  49 |1150 |  91k|  81k|  18k|  1 |  17k|6481 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3555.84/3569.30	c  3569s| 24800 | 17351 |  2189k|  80.5 |  2809M |  60 |1150 |  91k|  81k|  18k|  1 |  17k|6481 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3569.29/3582.80	c  3583s| 24900 | 17377 |  2194k|  80.3 |  2816M |  65 |1150 |  91k|  81k|  18k|  1 |  17k|6481 |-5.000000e+01 |-4.500000e+01 |  11.11%| unknown
3583.35/3597.00	c 
3583.35/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3583.35/3597.00	c Solving Time (sec) : 3597.00
3583.35/3597.00	c Solving Nodes      : 24976 (total of 27014 nodes in 2 runs)
3583.35/3597.00	c Primal Bound       : -4.50000000000000e+01 (842 solutions)
3583.35/3597.00	c Dual Bound         : -5.00000000000000e+01
3583.35/3597.00	c Gap                : 11.11 %
3583.46/3597.02	s SATISFIABLE
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.46/3597.02	v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 
3583.46/3597.02	v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 
3583.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 
3583.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 
3583.46/3597.02	v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.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 
3583.46/3597.02	v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 
3583.46/3597.02	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 
3583.46/3597.02	v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 
3583.46/3597.02	v -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 
3583.46/3597.02	v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 
3583.46/3597.02	v -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 
3583.46/3597.02	v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 
3583.46/3597.02	v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837 
3583.46/3597.02	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 
3583.46/3597.02	v -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 
3583.46/3597.02	v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 
3583.46/3597.02	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 
3583.46/3597.02	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 
3583.46/3597.02	v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 
3583.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 
3583.46/3597.02	v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 
3583.46/3597.02	v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 
3583.46/3597.02	v -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 
3583.46/3597.02	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 
3583.46/3597.02	v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 
3583.46/3597.02	v -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 
3583.46/3597.02	v -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 
3583.46/3597.02	v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 
3583.46/3597.02	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 
3583.46/3597.02	v -x1148 x1149 -x1150 
3583.46/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3583.46/3597.02	c Total Time         :    3597.00
3583.46/3597.02	c   solving          :    3597.00
3583.46/3597.02	c   presolving       :       1.85 (included in solving)
3583.46/3597.02	c   reading          :       0.12 (included in solving)
3583.46/3597.02	c   copying          :       2.85 (30 #copies) (minimal 0.08, maximal 0.13, average 0.09)
3583.46/3597.02	c Original Problem   :
3583.46/3597.02	c   Problem name     : HOME/instance-4432701-1721054646.opb
3583.46/3597.02	c   Variables        : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.46/3597.02	c   Constraints      : 81068 initial, 81068 maximal
3583.46/3597.02	c   Objective        : minimize, 1150 non-zeros (abs.min = 1, abs.max = 1)
3583.46/3597.02	c Presolved Problem  :
3583.46/3597.02	c   Problem name     : t_HOME/instance-4432701-1721054646.opb
3583.46/3597.02	c   Variables        : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.46/3597.02	c   Constraints      : 81802 initial, 91234 maximal
3583.46/3597.02	c   Objective        : minimize, 1150 non-zeros (abs.min = 1, abs.max = 1)
3583.46/3597.02	c   Nonzeros         : 184992 constraint, 163618 clique table
3583.46/3597.02	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3583.46/3597.02	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   domcol           :       0.05       0.00      2          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   dualsparsify     :       0.51       0.00      1          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   gateextraction   :       0.09       0.00      2          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   implics          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   milp             :       0.23       0.00      1          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   sparsify         :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   trivial          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   dualfix          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   probing          :       0.31       0.00      1          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   pseudoobj        :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   symmetry         :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   vbounds          :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   knapsack         :       0.00       0.00      6          0          0          0          0          0          0          0          0          4
3583.46/3597.02	c   setppc           :       0.19       0.01      9          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   linear           :       0.22       0.02      4          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   logicor          :       0.07       0.01      5          0          0          0          0          0         29          0          0          5
3583.46/3597.02	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   components       :       0.03       0.00      2          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3583.46/3597.02	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3583.46/3597.02	c   benderslp        :          0          0          0          0      24189          0          0       4515          0          0          0          0          0          0          0
3583.46/3597.02	c   integral         :          0          0          0          0      24189          0          0       4515          0          1        548          0          0        902      47800
3583.46/3597.02	c   knapsack         :          1+        13          0      12958          0          0          0          0         10          2        481          0          0          0          0
3583.46/3597.02	c   setppc           :      81158      81158         48     183455          0          0          0       4509     630644          0     636510          0          0          0          0
3583.46/3597.02	c   linear           :          0+        41          0      30424          0          0          0          2          6         22          2          0          0          0          0
3583.46/3597.02	c   logicor          :        643+     10033         11      41505          0          0          0          0        121        480         94          0          0          0          0
3583.46/3597.02	c   benders          :          0          0          0          0          0          0          0       1161          0          0          0          0          0          0          0
3583.46/3597.02	c   fixedvar         :          0          0          0          0          0          0          0       1161          0          0          0          0          0          0          0
3583.46/3597.02	c   countsols        :          0          0          0          0          0          0          0       1161          0          0          0          0          0          0          0
3583.46/3597.02	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3583.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
3583.46/3597.02	c   integral         :     285.66       0.00       0.00       0.00     285.64       0.00       0.00       0.02       0.00       0.00
3583.46/3597.02	c   knapsack         :       0.05       0.00       0.00       0.04       0.00       0.00       0.00       0.00       0.00       0.00
3583.46/3597.02	c   setppc           :      22.76       0.01       0.17      14.85       0.00       0.00       0.00       4.10       0.13       3.51
3583.46/3597.02	c   linear           :       0.10       0.02       0.00       0.08       0.00       0.00       0.00       0.00       0.00       0.00
3583.46/3597.02	c   logicor          :       1.88       0.01       0.00       1.75       0.00       0.00       0.00       0.00       0.00       0.13
3583.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
3583.46/3597.02	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.46/3597.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.46/3597.02	c   components       :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3583.46/3597.02	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3583.46/3597.02	c   dualfix          :          3          0          0          0
3583.46/3597.02	c   genvbounds       :          0          0          0          0
3583.46/3597.02	c   nlobbt           :          0          0          0          0
3583.46/3597.02	c   obbt             :          0          0          0          0
3583.46/3597.02	c   probing          :          0          0          0          0
3583.46/3597.02	c   pseudoobj        :      72333          0          0          0
3583.46/3597.02	c   redcost          :       2311          0          0          6
3583.46/3597.02	c   rootredcost      :          5          0          0          0
3583.46/3597.02	c   symmetry         :          0          0          0          0
3583.46/3597.02	c   vbounds          :      54392          0          0          0
3583.46/3597.02	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3583.46/3597.02	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3583.46/3597.02	c   genvbounds       :       0.04       0.00       0.00       0.04       0.00       0.01
3583.46/3597.02	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3583.46/3597.02	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3583.46/3597.02	c   probing          :       0.31       0.00       0.31       0.00       0.00       0.00
3583.46/3597.02	c   pseudoobj        :       3.80       0.00       0.00       3.79       0.00       0.00
3583.46/3597.02	c   redcost          :       0.10       0.00       0.00       0.10       0.00       0.00
3583.46/3597.02	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00       0.00
3583.46/3597.02	c   symmetry         :       0.10       0.00       0.04       0.05       0.00       0.01
3583.46/3597.02	c   vbounds          :       0.09       0.00       0.01       0.07       0.00       0.01
3583.46/3597.02	c Symmetry           :
3583.46/3597.02	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3583.46/3597.02	c   orbital reduction:          0 reductions applied,          0 cutoffs
3583.46/3597.02	c   lexicographic red:          0 reductions applied,          0 cutoffs
3583.46/3597.02	c   shadow tree time :       0.00 s
3583.46/3597.02	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3583.46/3597.02	c   propagation      :       0.01        504        299          -        584       64.7          0        0.0          -          -          -
3583.46/3597.02	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3583.46/3597.02	c   bound exceed. LP :      12.18       4377       2659          -      40933      178.2          0        0.0        289      145.0       8945
3583.46/3597.02	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3583.46/3597.02	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3583.46/3597.02	c   applied globally :       3.65          -          -          0      17150       32.6          -          -        289          -          -
3583.46/3597.02	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3583.46/3597.02	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3583.46/3597.02	c   cut pool         :       3.12          -       7366         94          -          -     100153     155440          -          -          -          -          -    (maximal pool size:       3663)
3583.46/3597.02	c   aggregation      :      10.64       0.00       2236         48          0          0         17         89          0          4          4          0          0
3583.46/3597.02	c   > cmir           :          -          -          -          -          -          -          -         51          0          3          3          0          -
3583.46/3597.02	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3583.46/3597.02	c   > knapsackcover  :          -          -          -          -          -          -          -         38          0          1          1          0          -
3583.46/3597.02	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   clique           :       0.59       0.00         48         48          0          0        442       1410          0        450        450          0          0
3583.46/3597.02	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   gomory           :    2226.56       0.00       2071         20          0          0      94222     127426       2686       7132       7111         21          0
3583.46/3597.02	c   > gomorymi       :          -          -          -          -          -          -          -      42262       1357        507        494         13          -
3583.46/3597.02	c   > strongcg       :          -          -          -          -          -          -          -      85164       1329       6625       6617          8          -
3583.46/3597.02	c   impliedbounds    :       2.68       0.00       2237         48          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   mcf              :       0.06       0.00          2          2          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   multilinear      :       0.00       0.00        555         48          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   rapidlearning    :       1.70       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   rlt              :       0.00       0.00        777         20          0          0          0          0          0          0          0          0          0
3583.46/3597.02	c   zerohalf         :      11.59       0.00       2081         31          0          0       8853      26515        695      13917      13614        303          0
3583.46/3597.02	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3583.46/3597.02	c   hybrid           :       0.10       0.00       3905         48      21503          0     137318        716          0       3548
3583.46/3597.02	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3583.46/3597.02	c   problem variables:       0.00          -          0          0
3583.46/3597.02	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3583.46/3597.02	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c   relpscost        :     285.60       0.00      24189          0          0          1        548          0       1105      47800
3583.46/3597.02	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3583.46/3597.02	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3583.46/3597.02	c   LP solutions     :       0.00          -          -          0          0
3583.46/3597.02	c   relax solutions  :       0.00          -          -          0          0
3583.46/3597.02	c   pseudo solutions :       0.00          -          -          0          0
3583.46/3597.02	c   strong branching :       1.39          -          -        318          2
3583.46/3597.02	c   actconsdiving    :       0.00       0.00          0          0          0
3583.46/3597.02	c   adaptivediving   :       2.76       0.00         56          0          0
3583.46/3597.02	c   alns             :       1.22       0.00          5          0          0
3583.46/3597.02	c   bound            :       0.00       0.00          0          0          0
3583.46/3597.02	c   clique           :       0.16       0.00          1          1          1
3583.46/3597.02	c   coefdiving       :       0.00       0.00          0          0          0
3583.46/3597.02	c   completesol      :       0.00       0.00          0          0          0
3583.46/3597.02	c   conflictdiving   :      16.32       0.00        373          0          0
3583.46/3597.02	c   crossover        :       3.78       0.00         13          4          0
3583.46/3597.02	c   dins             :       0.00       0.00          0          0          0
3583.46/3597.02	c   distributiondivin:      52.03       0.00        373          0          0
3583.46/3597.02	c   dps              :       0.00       0.00          0          0          0
3583.46/3597.02	c   dualval          :       0.00       0.00          0          0          0
3583.46/3597.02	c   farkasdiving     :       0.00       0.00          0          0          0
3583.46/3597.02	c   feasjump         :       0.00       0.00          0          0          0
3583.46/3597.02	c   feaspump         :       0.00       0.00          0          0          0
3583.46/3597.02	c   fixandinfer      :       0.00       0.00          0          0          0
3583.46/3597.02	c   fracdiving       :      15.93       0.00        373          1          0
3583.46/3597.02	c   gins             :       0.13       0.00          0          0          0
3583.46/3597.02	c   guideddiving     :      13.38       0.00        373          0          0
3583.46/3597.02	c   indcoefdiving    :       0.00       0.00          0          0          0
3583.46/3597.02	c   indicator        :       0.02       0.00          0          0          0
3583.46/3597.02	c   indicatordiving  :       0.00       0.00          0          0          0
3583.46/3597.02	c   indoneopt        :       0.02       0.00          0          0          0
3583.46/3597.02	c   indrounding      :       0.00       0.00          0          0          0
3583.46/3597.02	c   indtwoopt        :       0.00       0.00          0          0          0
3583.46/3597.02	c   intdiving        :       0.00       0.00          0          0          0
3583.46/3597.02	c   intshifting      :       0.00       0.00          0          0          0
3583.46/3597.02	c   linesearchdiving :      17.25       0.00        373          0          0
3583.46/3597.02	c   localbranching   :       0.00       0.00          0          0          0
3583.46/3597.02	c   locks            :       0.08       0.00          1          0          0
3583.46/3597.02	c   lpface           :       0.04       0.00          0          0          0
3583.46/3597.02	c   mpec             :       0.00       0.00          0          0          0
3583.46/3597.02	c   multistart       :       0.00       0.00          0          0          0
3583.46/3597.02	c   mutation         :       0.00       0.00          0          0          0
3583.46/3597.02	c   nlpdiving        :       0.00       0.00          0          0          0
3583.46/3597.02	c   objpscostdiving  :      45.91       0.00        187        185          2
3583.46/3597.02	c   octane           :       0.00       0.00          0          0          0
3583.46/3597.02	c   ofins            :       0.01       0.00          0          0          0
3583.46/3597.02	c   oneopt           :       0.05       0.00          5          0          0
3583.46/3597.02	c   padm             :       0.00       0.00          0          0          0
3583.46/3597.02	c   proximity        :       0.00       0.00          0          0          0
3583.46/3597.02	c   pscostdiving     :      26.15       0.00        373         10          2
3583.46/3597.02	c   randrounding     :       4.33       0.00       3433         38          0
3583.46/3597.02	c   rens             :       2.37       0.00          2          1          0
3583.46/3597.02	c   reoptsols        :       0.00       0.00          0          0          0
3583.46/3597.02	c   repair           :       0.00       0.00          0          0          0
3583.46/3597.02	c   rins             :       2.98       0.00         10          6          0
3583.46/3597.02	c   rootsoldiving    :      45.46       0.00        186         93          0
3583.46/3597.02	c   rounding         :       7.15       0.00       2312          0          0
3583.46/3597.02	c   scheduler        :       0.00       0.00          0          0          0
3583.46/3597.02	c   shiftandpropagate:       0.00       0.00          0          0          0
3583.46/3597.02	c   shifting         :       4.05       0.00       1054          0          0
3583.46/3597.02	c   simplerounding   :       0.41       0.00      28094         32          0
3583.46/3597.02	c   smallcard        :       0.00       0.00          0          0          0
3583.46/3597.02	c   subnlp           :       0.02       0.00          0          0          0
3583.46/3597.02	c   trivial          :       0.00       0.00          4          1          1
3583.46/3597.02	c   trivialnegation  :       0.00       0.00          0          0          0
3583.46/3597.02	c   trustregion      :       0.00       0.00          0          0          0
3583.46/3597.02	c   trysol           :       0.01       0.00          0          0          0
3583.46/3597.02	c   twoopt           :       0.00       0.00          0          0          0
3583.46/3597.02	c   undercover       :       0.00       0.00          0          0          0
3583.46/3597.02	c   vbounds          :       0.40       0.00          2          2          1
3583.46/3597.02	c   veclendiving     :      13.82       0.00        373          0          0
3583.46/3597.02	c   zeroobj          :       0.00       0.00          0          0          0
3583.46/3597.02	c   zirounding       :      23.77       0.00       7501        150          0
3583.46/3597.02	c   other solutions  :          -          -          -          0          -
3583.46/3597.02	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3583.46/3597.02	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
3583.46/3597.02	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
3583.46/3597.02	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
3583.46/3597.02	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
3583.46/3597.02	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
3583.46/3597.02	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
3583.46/3597.02	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
3583.46/3597.02	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
3583.46/3597.02	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
3583.46/3597.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3583.46/3597.02	c   primal LP        :      11.50       2079          0       0.00       0.00      11.50       2079
3583.46/3597.02	c   dual LP          :     476.64      31211    1689554      54.24    3544.73       0.40         59
3583.46/3597.02	c   lex dual LP      :       0.00          0          0       0.00          -
3583.46/3597.02	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3583.46/3597.02	c   resolve instable :       0.00          0          0       0.00          -
3583.46/3597.02	c   diving/probing LP:     162.81      13756     508781      36.99    3124.94
3583.46/3597.02	c   strong branching :     147.55       6481     453577      69.99    3074.14          -          -       1775
3583.46/3597.02	c     (at root node) :          -         58       7022     121.07          -
3583.46/3597.02	c   conflict analysis:       4.03        916       8945       9.77    2221.96
3583.46/3597.02	c B&B Tree           :
3583.46/3597.02	c   number of runs   :          2
3583.46/3597.02	c   nodes            :      24976 (22084 internal, 2892 leaves)
3583.46/3597.02	c   feasible leaves  :          0
3583.46/3597.02	c   infeas. leaves   :          1
3583.46/3597.02	c   objective leaves :       2890
3583.46/3597.02	c   nodes (total)    :      27014 (23900 internal, 3114 leaves)
3583.46/3597.02	c   nodes left       :      17400
3583.46/3597.02	c   max depth        :         65
3583.46/3597.02	c   max depth (total):         65
3583.46/3597.02	c   backtracks       :       4721 (18.9%)
3583.46/3597.02	c   early backtracks :          0 (0.0%)
3583.46/3597.02	c   nodes exc. ref.  :          0 (0.0%)
3583.46/3597.02	c   delayed cutoffs  :          1
3583.46/3597.02	c   repropagations   :         69 (69 domain reductions, 1 cutoffs)
3583.46/3597.02	c   avg switch length:       6.26
3583.46/3597.02	c   switching time   :      64.59
3583.46/3597.02	c Root Node          :
3583.46/3597.02	c   First LP value   : -5.75000000000000e+02
3583.46/3597.02	c   First LP Iters   :       1150 (2467.99 Iter/sec)
3583.46/3597.02	c   First LP Time    :       0.47
3583.46/3597.02	c   Final Dual Bound : -5.00000000000000e+01
3583.46/3597.02	c   Final Root Iters :      30209
3583.46/3597.02	c   Root LP Estimate : -4.27930732650495e+01
3583.46/3597.02	c Solution           :
3583.46/3597.02	c   Solutions found  :        842 (9 improvements)
3583.46/3597.02	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.21 seconds, depth 0, found by <trivial>)
3583.46/3597.02	c   Gap First Sol.   :   infinite
3583.46/3597.02	c   Gap Last Sol.    :      11.11 %
3583.46/3597.02	c   Primal Bound     : -4.50000000000000e+01   (in run 2, after 8298 nodes, 1773.81 seconds, depth 36, found by <objpscostdiving>)
3583.46/3597.02	c   Dual Bound       : -5.00000000000000e+01
3583.46/3597.02	c   Gap              :      11.11 %
3583.46/3597.02	c Integrals          :      Total       Avg%
3583.46/3597.02	c   primal-dual      :   46430.63      12.91
3583.46/3597.02	c   primal-ref       :          -          - (not evaluated)
3583.46/3597.02	c   dual-ref         :          -          - (not evaluated)
3583.75/3597.33	c Time complete: 3583.79.

Verifier Data 

OK	-45

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=833663, runsolver pid=833660

[startup+0.100938 s]*
/proc/loadavg: 4.10 4.16 4.14 5/259 833664
/proc/meminfo: memFree=123115612/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=90252 memory=49292 CPUtime=0.09 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 9325 0 0 0 8 1 0 0 20 0 1 0 157629952 92418048 12323 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 22563 12323 3277 3540 0 10820 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 90252 KiB
Current children cumulated memory: 49292 KiB

[startup+0.20558 s]*
/proc/loadavg: 4.10 4.16 4.14 5/259 833664
/proc/meminfo: memFree=123030056/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=150052 memory=110352 CPUtime=0.19 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 24712 0 0 0 16 3 0 0 20 0 1 0 157629952 153653248 27588 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 37513 27588 3581 3540 0 25770 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 150052 KiB
Current children cumulated memory: 110352 KiB

[startup+0.305605 s]*
/proc/loadavg: 4.10 4.16 4.14 5/259 833664
/proc/meminfo: memFree=123032424/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=163504 memory=123468 CPUtime=0.3 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 27927 0 0 0 26 4 0 0 20 0 1 0 157629952 167428096 30867 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 40876 30867 3629 3540 0 29133 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 163504 KiB
Current children cumulated memory: 123468 KiB

[startup+0.700188 s]
/proc/loadavg: 4.10 4.16 4.14 5/259 833664
/proc/meminfo: memFree=122989608/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=195340 memory=154764 CPUtime=0.68 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 48383 0 0 0 61 7 0 0 20 0 1 0 157629952 200028160 38691 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 48835 38691 3740 3540 0 37092 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 195340 KiB
Current children cumulated memory: 154764 KiB

[startup+1.50022 s]
/proc/loadavg: 4.10 4.15 4.14 5/259 833664
/proc/meminfo: memFree=123000492/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=355392 memory=287748 CPUtime=1.48 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 55693 0 0 0 138 10 0 0 20 0 1 0 157629952 363921408 71937 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 88848 71937 3788 3540 0 77105 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 355392 KiB
Current children cumulated memory: 287748 KiB

[startup+3.1057 s]
/proc/loadavg: 4.10 4.15 4.14 5/259 833664
/proc/meminfo: memFree=122431156/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=497944 memory=427608 CPUtime=3.07 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 80791 0 0 0 292 15 0 0 20 0 1 0 157629952 509894656 106902 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 124486 106902 3964 3540 0 112743 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 497944 KiB
Current children cumulated memory: 427608 KiB

[startup+6.30022 s]
/proc/loadavg: 4.17 4.17 4.14 5/259 833664
/proc/meminfo: memFree=122371484/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=545824 memory=457084 CPUtime=6.26 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 87087 0 0 0 609 17 0 0 20 0 1 0 157629952 558923776 114271 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 136456 114271 3980 3540 0 124713 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 545824 KiB
Current children cumulated memory: 457084 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.16 4.14 5/259 833667
/proc/meminfo: memFree=122360992/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=554692 memory=457084 CPUtime=12.64 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 87103 0 0 0 1247 17 0 0 20 0 1 0 157629952 568004608 114271 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 138673 114271 3980 3540 0 126930 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 554692 KiB
Current children cumulated memory: 457084 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.16 4.14 5/259 833668
/proc/meminfo: memFree=122343024/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=654176 memory=473808 CPUtime=25.4 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 90813 0 0 0 2522 18 0 0 20 0 1 0 157629952 669876224 118452 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 163544 118452 3980 3540 0 151801 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 654176 KiB
Current children cumulated memory: 473808 KiB

[startup+51.1052 s]
/proc/loadavg: 4.16 4.16 4.14 5/259 833673
/proc/meminfo: memFree=122118304/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=787312 memory=575764 CPUtime=50.9 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 115252 0 0 0 5067 23 0 0 20 0 1 0 157629952 806207488 143941 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 196828 143941 4006 3540 0 185085 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 787312 KiB
Current children cumulated memory: 575764 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/256 833682
/proc/meminfo: memFree=122004488/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=861712 memory=634648 CPUtime=101.9 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 143296 0 0 0 10162 28 0 0 20 0 1 0 157629952 882393088 158662 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 215428 158662 4006 3540 0 203685 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 861712 KiB
Current children cumulated memory: 634648 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/256 833692
/proc/meminfo: memFree=121906772/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=944148 memory=717164 CPUtime=161.61 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 164162 0 0 0 16129 32 0 0 20 0 1 0 157629952 966807552 179291 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 236037 179291 4006 3540 0 224294 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 944148 KiB
Current children cumulated memory: 717164 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/255 833749
/proc/meminfo: memFree=122538364/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=1002364 memory=726348 CPUtime=221.34 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 165949 0 0 0 22102 32 0 0 20 0 1 0 157629952 1026420736 181587 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 250591 181587 4006 3540 0 238848 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 1002364 KiB
Current children cumulated memory: 726348 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/255 833760
/proc/meminfo: memFree=122326308/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=1084796 memory=779192 CPUtime=281.1 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 178172 0 0 0 28075 35 0 0 20 0 1 0 157629952 1110831104 194798 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 271199 194798 4006 3540 0 259456 0
Current children cumulated CPU time: 281.1 s
Current children cumulated vsize: 1084796 KiB
Current children cumulated memory: 779192 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/255 833771
/proc/meminfo: memFree=122135068/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=1159524 memory=845992 CPUtime=340.84 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 193379 0 0 0 34047 37 0 0 20 0 1 0 157629952 1187352576 211498 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 289881 211498 4006 3540 0 278138 0
Current children cumulated CPU time: 340.84 s
Current children cumulated vsize: 1159524 KiB
Current children cumulated memory: 845992 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/257 833786
/proc/meminfo: memFree=121958036/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=1272176 memory=900224 CPUtime=400.6 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 207429 0 0 0 40020 40 0 0 20 0 1 0 157629952 1302708224 225056 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 318044 225056 4006 3540 0 306301 0
Current children cumulated CPU time: 400.6 s
Current children cumulated vsize: 1272176 KiB
Current children cumulated memory: 900224 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/257 833797
/proc/meminfo: memFree=121842684/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=1345148 memory=929580 CPUtime=460.35 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 210134 0 0 0 45994 41 0 0 20 0 1 0 157629952 1377431552 232395 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 336287 232395 4006 3540 0 324544 0

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

/proc/loadavg: 4.10 4.12 4.09 5/256 835641
/proc/meminfo: memFree=119050424/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2535620 memory=2127240 CPUtime=3209.95 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 426942 0 0 0 320887 108 0 0 20 0 1 0 157629952 2596474880 531810 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 633905 531810 4141 3540 0 622162 0
Current children cumulated CPU time: 3209.95 s
Current children cumulated vsize: 2535620 KiB
Current children cumulated memory: 2127240 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 835651
/proc/meminfo: memFree=119001576/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2535620 memory=2142796 CPUtime=3269.75 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 427951 0 0 0 326867 108 0 0 20 0 1 0 157629952 2596474880 535699 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 633905 535699 4141 3540 0 622162 0
Current children cumulated CPU time: 3269.75 s
Current children cumulated vsize: 2535620 KiB
Current children cumulated memory: 2142796 KiB

[startup+3342.3 s]
/proc/loadavg: 4.48 4.20 4.12 5/256 835662
/proc/meminfo: memFree=118858284/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2613204 memory=2150988 CPUtime=3329.57 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 429036 0 0 0 332848 109 0 0 20 0 1 0 157629952 2675920896 537747 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 653301 537747 4141 3540 0 641558 0
Current children cumulated CPU time: 3329.57 s
Current children cumulated vsize: 2613204 KiB
Current children cumulated memory: 2150988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.19 4.12 5/259 835679
/proc/meminfo: memFree=118841620/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2619540 memory=2161472 CPUtime=3389.38 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 430688 0 0 0 338828 110 0 0 20 0 1 0 157629952 2682408960 540368 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 654885 540368 4141 3540 0 643142 0
Current children cumulated CPU time: 3389.38 s
Current children cumulated vsize: 2619540 KiB
Current children cumulated memory: 2161472 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/258 835689
/proc/meminfo: memFree=118775848/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2663980 memory=2183724 CPUtime=3449.19 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 432627 0 0 0 344809 110 0 0 20 0 1 0 157629952 2727915520 545931 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 665995 545931 4141 3540 0 654252 0
Current children cumulated CPU time: 3449.19 s
Current children cumulated vsize: 2663980 KiB
Current children cumulated memory: 2183724 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/258 835700
/proc/meminfo: memFree=118621588/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2777340 memory=2211448 CPUtime=3508.99 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 435190 0 0 0 350788 111 0 0 20 0 1 0 157629952 2843996160 552862 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 694335 552862 4141 3540 0 682592 0
Current children cumulated CPU time: 3508.99 s
Current children cumulated vsize: 2777340 KiB
Current children cumulated memory: 2211448 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/258 835711
/proc/meminfo: memFree=118555036/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2869596 memory=2231924 CPUtime=3568.8 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 438561 0 0 0 356768 112 0 0 20 0 1 0 157629952 2938466304 557981 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 717399 557981 4141 3540 0 705656 0
Current children cumulated CPU time: 3568.8 s
Current children cumulated vsize: 2869596 KiB
Current children cumulated memory: 2231924 KiB

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

# cumulated CPU time of all completed processes:  user=3582.66 s, system=1.14438 s

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

[startup+3584 s]*
/proc/loadavg: 4.16 4.16 4.11 5/258 835711
/proc/meminfo: memFree=118554812/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2869596 memory=2232156 CPUtime=3570.5 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 438601 0 0 0 356938 112 0 0 20 0 1 0 157629952 2938466304 558039 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 717399 558039 4141 3540 0 705656 0
Current children cumulated CPU time: 3570.5 s
Current children cumulated vsize: 2869596 KiB
Current children cumulated memory: 2232156 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.16 4.11 5/258 835714
/proc/meminfo: memFree=118554616/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2877224 memory=2232200 CPUtime=3576.87 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 438686 0 0 0 357575 112 0 0 20 0 1 0 157629952 2946277376 558050 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 719306 558050 4141 3540 0 707563 0
Current children cumulated CPU time: 3576.87 s
Current children cumulated vsize: 2877224 KiB
Current children cumulated memory: 2232200 KiB

[startup+3593.6 s]
/proc/loadavg: 4.14 4.16 4.11 5/258 835714
/proc/meminfo: memFree=118553984/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2877224 memory=2232276 CPUtime=3580.06 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 438753 0 0 0 357894 112 0 0 20 0 1 0 157629952 2946277376 558069 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 719306 558069 4141 3540 0 707563 0
Current children cumulated CPU time: 3580.06 s
Current children cumulated vsize: 2877224 KiB
Current children cumulated memory: 2232276 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.16 4.11 5/258 835714
/proc/meminfo: memFree=118553900/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2884840 memory=2232396 CPUtime=3581.66 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 438816 0 0 0 358054 112 0 0 20 0 1 0 157629952 2954076160 558099 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 721210 558099 4141 3540 0 709467 0
Current children cumulated CPU time: 3581.66 s
Current children cumulated vsize: 2884840 KiB
Current children cumulated memory: 2232396 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.16 4.11 5/258 835714
/proc/meminfo: memFree=118553676/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2884840 memory=2232560 CPUtime=3582.46 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 439036 0 0 0 358134 112 0 0 20 0 1 0 157629952 2954076160 558140 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 721210 558140 4141 3540 0 709467 0
Current children cumulated CPU time: 3582.46 s
Current children cumulated vsize: 2884840 KiB
Current children cumulated memory: 2232560 KiB

[startup+3596.8 s]
/proc/loadavg: 4.14 4.16 4.11 5/258 835714
/proc/meminfo: memFree=118553676/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2884840 memory=2232560 CPUtime=3583.25 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 439036 0 0 0 358213 112 0 0 20 0 1 0 157629952 2954076160 558140 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 721210 558140 4141 3540 0 709467 0
Current children cumulated CPU time: 3583.25 s
Current children cumulated vsize: 2884840 KiB
Current children cumulated memory: 2232560 KiB

[startup+3597.2 s]
/proc/loadavg: 4.12 4.15 4.11 4/253 835722
/proc/meminfo: memFree=121042296/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2884840 memory=2233304 CPUtime=3583.65 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 439281 0 0 0 358253 112 0 0 20 0 1 0 157629952 2954076160 558326 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 721210 558326 4141 3540 0 709467 0
Current children cumulated CPU time: 3583.65 s
Current children cumulated vsize: 2884840 KiB
Current children cumulated memory: 2233304 KiB

[startup+3597.3 s]
/proc/loadavg: 4.12 4.15 4.11 4/253 835722
/proc/meminfo: memFree=121042296/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2881404 memory=2229888 CPUtime=3583.75 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 439285 0 0 0 358263 112 0 0 20 0 1 0 157629952 2950557696 557472 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 720351 557472 4141 3540 0 708608 0
Current children cumulated CPU time: 3583.75 s
Current children cumulated vsize: 2881404 KiB
Current children cumulated memory: 2229888 KiB

Child status: 0

Real time (s): 3597.34
CPU time (s): 3583.8
CPU user time (s): 3582.66
CPU system time (s): 1.14438
CPU usage (%): 99.6237
Max. virtual memory (cumulated for all children) (KiB): 2884840
Max. memory (cumulated for all children) (KiB): 2233304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.66
system time used= 1.14438
maximum resident set size= 2233304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 439356
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= 90
involuntary context switches= 24598


# summary of solver processes directly reported to runsolver:
#   pid: 833663
#   total CPU time (s): 3583.8
#   total CPU user time (s): 3582.66
#   total CPU system time (s): 1.14438

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69968 second user time and 15.5496 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-15 16:44:18
IDJOB=4432701
IDBENCH=146677
IDSOLVER=3059
FILE ID=nodeC025/4432701-1721054646
RUNJOBID= nodeC025-1721051059-830871
SLURM_JOB_ID= 7505483
Free space on /tmp= 889968 MiB

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

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

MD5SUM BENCH= 0bdb6411771ac9360fc2dcf9fc3ce2f6
RANDOM SEED=1776586967

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		: 3667.492
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		: 3682.056
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		: 3665.088
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.081
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		: 3671.379
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		: 3682.060
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		: 3660.756
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		: 3599.897
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:        123124180 kB
MemAvailable:   126690868 kB
Buffers:          377140 kB
Cached:          3986956 kB
SwapCached:            0 kB
Active:           694292 kB
Inactive:        7022088 kB
Active(anon):       1520 kB
Inactive(anon):  3388476 kB
Active(file):     692772 kB
Inactive(file):  3633612 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             41872 kB
Writeback:             4 kB
AnonPages:       3351232 kB
Mapped:           137516 kB
Shmem:             37720 kB
KReclaimable:     159904 kB
Slab:             272444 kB
SReclaimable:     159904 kB
SUnreclaim:       112540 kB
KernelStack:        4192 kB
PageTables:        15988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4311976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61856 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2109440 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= 889972 MiB
End job on nodeC025 at 2024-07-15 17:44:16