Trace number 4432748

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-07OPT50769 21.503 21.5816

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
MD5SUMec773b047bf21dab87650e27deaa6768
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark50769
Best CPU time to get the best result obtained on this benchmark12.3979
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3945
Total number of constraints8604
Number of constraints which are clauses8604
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 constraint1
Maximum length of a constraint59
Number of terms in the objective function 1872
Biggest coefficient in the objective function 2110
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3036193
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2110
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3036193
Number of bits of the biggest sum of numbers22
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.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4432748-1721099365.opb>
0.00/0.05	c original problem has 3945 variables (3945 bin, 0 int, 0 impl, 0 cont) and 8604 constraints
0.00/0.05	c problem read in 0.05
0.00/0.09	o 3036193
0.00/0.09	c feasible solution found by trivial heuristic after 0.1 seconds, objective value 3.036193e+06
0.00/0.09	c presolving:
0.10/0.13	c (round 1, fast)       1860 del vars, 3737 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3582 clqs
0.10/0.14	c (round 2, fast)       1863 del vars, 4801 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3576 clqs
0.10/0.14	c (round 3, fast)       1877 del vars, 4818 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3548 clqs
0.10/0.14	c (round 4, fast)       1877 del vars, 4832 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3548 clqs
0.10/0.15	c    (0.1s) running MILP presolver
0.10/0.16	c    (0.2s) MILP presolver found nothing
0.10/0.19	c (round 5, exhaustive) 1877 del vars, 4832 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 3431 upgd conss, 0 impls, 3548 clqs
0.10/0.19	c (round 6, fast)       1882 del vars, 4832 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 3431 upgd conss, 0 impls, 3548 clqs
0.10/0.21	c (round 7, exhaustive) 1882 del vars, 5563 del conss, 104 add conss, 5 chg bounds, 0 chg sides, 5 chg coeffs, 3431 upgd conss, 0 impls, 3548 clqs
0.21/0.22	c (round 8, exhaustive) 1882 del vars, 5563 del conss, 104 add conss, 5 chg bounds, 0 chg sides, 5 chg coeffs, 3772 upgd conss, 0 impls, 3548 clqs
0.21/0.24	c (round 9, exhaustive) 1882 del vars, 6345 del conss, 198 add conss, 5 chg bounds, 0 chg sides, 5 chg coeffs, 3772 upgd conss, 0 impls, 3548 clqs
0.21/0.28	c    (0.3s) probing: 51/2063 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.21/0.28	c    (0.3s) probing aborted: 50/50 successive totally useless probings
0.21/0.28	c    (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.21/0.30	c    (0.3s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.21/0.30	c dynamic symmetry handling statistics:
0.21/0.30	c    orbitopal reduction:       no components
0.21/0.30	c    orbital reduction:         no components
0.21/0.30	c    lexicographic reduction:   no permutations
0.21/0.30	c handled 2 out of 2 symmetry components
0.21/0.30	c (round 10, exhaustive) 1882 del vars, 6345 del conss, 200 add conss, 5 chg bounds, 0 chg sides, 5 chg coeffs, 3772 upgd conss, 0 impls, 3550 clqs
0.21/0.31	c (round 11, exhaustive) 1882 del vars, 6345 del conss, 200 add conss, 5 chg bounds, 0 chg sides, 5 chg coeffs, 3774 upgd conss, 0 impls, 3550 clqs
0.31/0.33	c presolving (12 rounds: 12 fast, 7 medium, 7 exhaustive):
0.31/0.33	c  1882 deleted vars, 6345 deleted constraints, 200 added constraints, 5 tightened bounds, 0 added holes, 0 changed sides, 5 changed coefficients
0.31/0.33	c  0 implications, 3550 cliques
0.31/0.33	c presolved problem has 2063 variables (2063 bin, 0 int, 0 impl, 0 cont) and 2459 constraints
0.31/0.33	c    2235 constraints of type <setppc>
0.31/0.33	c     198 constraints of type <and>
0.31/0.33	c      26 constraints of type <logicor>
0.31/0.33	c transformed objective value is always integral (scale: 1)
0.31/0.33	c Presolving Time: 0.25
0.31/0.33	c - non default parameters ----------------------------------------------------------------------
0.31/0.33	c # SCIP version 10.0.0
0.31/0.33	c 
0.31/0.33	c # maximal time in seconds to run
0.31/0.33	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.31/0.33	c limits/time = 3596.994103
0.31/0.33	c 
0.31/0.33	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.31/0.33	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.31/0.33	c limits/memory = 27900
0.31/0.33	c 
0.31/0.33	c # belongs reading time to solving time?
0.31/0.33	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.31/0.33	c timing/reading = TRUE
0.31/0.33	c 
0.31/0.33	c -----------------------------------------------------------------------------------------------
0.31/0.33	c start solving
0.31/0.33	c 
0.31/0.34	o 3028228
0.31/0.34	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.31/0.34	c t 0.3s|     1 |     0 |     0 |     - | trivial|   0 |2063 |2459 |   0 |   0 |  0 |   0 |   0 | 2.802000e+03 | 3.028228e+06 |  Large | unknown
0.31/0.37	o 64176
0.31/0.37	c p 0.4s|     1 |     0 |     0 |     - |  clique|   0 |2063 |2459 |2657 |   0 |  0 |   0 |   0 | 2.802000e+03 | 6.417600e+04 |2190.36%| unknown
0.41/0.43	o 56383
0.41/0.43	c p 0.4s|     1 |     0 |     0 |     - | vbounds|   0 |2063 |2459 |2657 |   0 |  0 |   0 |   0 | 2.802000e+03 | 5.638300e+04 |1912.24%| unknown
0.41/0.46	o 54505
0.41/0.46	c p 0.5s|     1 |     0 |    14 |     - | vbounds|   0 |2063 |2464 |2657 |   0 |  0 |   5 |   0 | 2.802000e+03 | 5.450500e+04 |1845.22%| unknown
0.51/0.54	c   0.5s|     1 |     0 |   643 |     - |    50M |   0 |2063 |2464 |2657 |   0 |  0 |   5 |   0 | 4.951990e+04 | 5.450500e+04 |  10.07%| unknown
1.58/1.65	c   1.6s|     1 |     0 |   724 |     - |    56M |   0 |2063 |2464 |2660 |   3 |  1 |   5 |   0 | 4.979315e+04 | 5.450500e+04 |   9.46%| unknown
2.38/2.42	c   2.4s|     1 |     0 |   805 |     - |    61M |   0 |2063 |2464 |2661 |   4 |  2 |   5 |   0 | 4.989514e+04 | 5.450500e+04 |   9.24%| unknown
2.48/2.53	c   2.5s|     1 |     0 |   866 |     - |    62M |   0 |2063 |2464 |2663 |   6 |  3 |   5 |   0 | 4.992182e+04 | 5.450500e+04 |   9.18%| unknown
2.58/2.65	c   2.6s|     1 |     0 |   946 |     - |    62M |   0 |2063 |2464 |2666 |   9 |  4 |   5 |   0 | 4.999851e+04 | 5.450500e+04 |   9.01%| unknown
2.68/2.76	c   2.8s|     1 |     0 |  1008 |     - |    63M |   0 |2063 |2464 |2668 |  11 |  5 |   5 |   0 | 5.002746e+04 | 5.450500e+04 |   8.95%| unknown
2.78/2.89	c   2.9s|     1 |     0 |  1052 |     - |    63M |   0 |2063 |2464 |2671 |  14 |  6 |   5 |   0 | 5.003715e+04 | 5.450500e+04 |   8.93%| unknown
2.99/3.01	c   3.0s|     1 |     0 |  1117 |     - |    63M |   0 |2063 |2464 |2674 |  17 |  7 |   5 |   0 | 5.005616e+04 | 5.450500e+04 |   8.89%| unknown
3.09/3.13	c   3.1s|     1 |     0 |  1164 |     - |    64M |   0 |2063 |2464 |2677 |  20 |  8 |   5 |   0 | 5.007162e+04 | 5.450500e+04 |   8.85%| unknown
3.18/3.24	c   3.2s|     1 |     0 |  1190 |     - |    64M |   0 |2063 |2464 |2679 |  22 |  9 |   5 |   0 | 5.007827e+04 | 5.450500e+04 |   8.84%| unknown
3.28/3.36	c   3.4s|     1 |     0 |  1235 |     - |    64M |   0 |2063 |2464 |2681 |  24 | 10 |   5 |   0 | 5.009028e+04 | 5.450500e+04 |   8.81%| unknown
3.28/3.38	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.28/3.38	c   3.4s|     1 |     0 |  1289 |     - |    65M |   0 |2063 |2464 |2683 |  26 | 11 |   5 |   0 | 5.010256e+04 | 5.450500e+04 |   8.79%| unknown
3.38/3.40	c   3.4s|     1 |     0 |  1351 |     - |    65M |   0 |2063 |2464 |2685 |  28 | 12 |   5 |   0 | 5.013248e+04 | 5.450500e+04 |   8.72%| unknown
3.38/3.42	c   3.4s|     1 |     0 |  1381 |     - |    65M |   0 |2063 |2464 |2688 |  31 | 13 |   5 |   0 | 5.014990e+04 | 5.450500e+04 |   8.68%| unknown
3.38/3.43	c   3.4s|     1 |     0 |  1408 |     - |    65M |   0 |2063 |2464 |2691 |  34 | 14 |   5 |   0 | 5.015690e+04 | 5.450500e+04 |   8.67%| unknown
3.38/3.45	c   3.4s|     1 |     0 |  1450 |     - |    66M |   0 |2063 |2464 |2694 |  37 | 15 |   5 |   0 | 5.016210e+04 | 5.450500e+04 |   8.66%| unknown
3.38/3.48	c   3.5s|     1 |     0 |  1476 |     - |    66M |   0 |2063 |2464 |2693 |  38 | 16 |   5 |   0 | 5.016723e+04 | 5.450500e+04 |   8.65%| unknown
3.38/3.49	c   3.5s|     1 |     0 |  1501 |     - |    67M |   0 |2063 |2464 |2694 |  39 | 17 |   5 |   0 | 5.017015e+04 | 5.450500e+04 |   8.64%| unknown
3.48/3.52	c   3.5s|     1 |     0 |  1535 |     - |    67M |   0 |2063 |2464 |2696 |  41 | 18 |   5 |   0 | 5.017341e+04 | 5.450500e+04 |   8.63%| unknown
3.48/3.53	c   3.5s|     1 |     0 |  1549 |     - |    67M |   0 |2063 |2464 |2697 |  42 | 19 |   5 |   0 | 5.017362e+04 | 5.450500e+04 |   8.63%| unknown
3.48/3.56	c   3.5s|     1 |     0 |  1598 |     - |    67M |   0 |2063 |2464 |2698 |  43 | 20 |   5 |   0 | 5.017889e+04 | 5.450500e+04 |   8.62%| unknown
3.68/3.75	o 53551
3.68/3.75	c d 3.7s|     1 |     0 |  3215 |     - |farkasdi|   0 |2063 |2464 |2698 |   0 | 21 |   5 |   0 | 5.017889e+04 | 5.355100e+04 |   6.72%| unknown
3.68/3.80	o 50995
3.68/3.80	c o 3.8s|     1 |     0 |  3930 |     - |feaspump|   0 |2063 |2464 |2698 |  43 | 21 |   5 |   0 | 5.017889e+04 | 5.099500e+04 |   1.63%| unknown
3.78/3.87	o 50878
3.78/3.87	c L 3.9s|     1 |     0 |  4075 |     - |    rens|   0 |2063 |2469 |2698 |  43 | 21 |  10 |   0 | 5.017889e+04 | 5.087800e+04 |   1.39%| unknown
3.88/3.90	c   3.9s|     1 |     0 |  4075 |     - |    68M |   0 |2063 |2469 |2698 |  43 | 21 |  10 |   0 | 5.017889e+04 | 5.087800e+04 |   1.39%| unknown
3.88/3.90	c   3.9s|     1 |     0 |  4075 |     - |    69M |   0 |2063 |2469 |1449 |  43 | 21 |  10 |   0 | 5.017889e+04 | 5.087800e+04 |   1.39%| unknown
3.88/3.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.88/3.91	c   3.9s|     1 |     0 |  4075 |     - |    69M |   0 |2063 |1338 |1449 |  43 | 22 |  10 |   0 | 5.017889e+04 | 5.087800e+04 |   1.39%| unknown
3.88/3.92	c   3.9s|     1 |     0 |  4075 |     - |    69M |   0 |2063 | 921 |1449 |  43 | 22 |  10 |   0 | 5.017889e+04 | 5.087800e+04 |   1.39%| unknown
3.88/3.92	c (run 1, node 1) restarting after 1321 global fixings of integer variables
3.88/3.92	c 
3.88/3.93	c (restart) converted 40 cuts from the global cut pool into linear constraints
3.88/3.93	c 
3.88/3.94	c presolving:
3.88/3.94	c (round 1, fast)       1338 del vars, 17 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 375 chg coeffs, 0 upgd conss, 0 impls, 1100 clqs
3.88/3.94	c (round 2, fast)       1339 del vars, 18 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 375 chg coeffs, 0 upgd conss, 0 impls, 1099 clqs
3.88/3.94	c (round 3, medium)     1344 del vars, 23 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 375 chg coeffs, 0 upgd conss, 0 impls, 1094 clqs
3.88/3.95	c (round 4, exhaustive) 1344 del vars, 23 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 375 chg coeffs, 40 upgd conss, 0 impls, 1094 clqs
3.88/3.96	c (round 5, exhaustive) 1344 del vars, 23 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 388 chg coeffs, 40 upgd conss, 0 impls, 1094 clqs
3.88/3.97	c presolving (6 rounds: 6 fast, 4 medium, 3 exhaustive):
3.88/3.97	c  1344 deleted vars, 23 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 392 changed coefficients
3.88/3.97	c  0 implications, 1094 cliques
3.88/3.97	c presolved problem has 719 variables (719 bin, 0 int, 0 impl, 0 cont) and 938 constraints
3.88/3.97	c      39 constraints of type <knapsack>
3.88/3.97	c     799 constraints of type <setppc>
3.88/3.97	c      64 constraints of type <and>
3.88/3.97	c      36 constraints of type <logicor>
3.88/3.97	c transformed objective value is always integral (scale: 1)
3.88/3.97	c Presolving Time: 0.28
3.88/3.97	c transformed 5/9 original solutions to the transformed problem space
3.88/3.97	c 
3.88/4.00	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.88/4.00	c   4.0s|     1 |     0 |  4692 |     - |    70M |   0 | 719 | 938 | 992 |   0 |  0 |  10 |   0 | 5.018936e+04 | 5.087800e+04 |   1.37%| unknown
3.99/4.01	c   4.0s|     1 |     0 |  4692 |     - |    70M |   0 | 719 | 938 | 946 |   0 |  0 |  10 |   0 | 5.018936e+04 | 5.087800e+04 |   1.37%| unknown
4.17/4.28	c   4.3s|     1 |     0 |  4725 |     - |    81M |   0 | 719 | 892 | 947 |   2 |  1 |  10 |   0 | 5.020097e+04 | 5.087800e+04 |   1.35%| unknown
4.17/4.29	c   4.3s|     1 |     0 |  4725 |     - |    81M |   0 | 719 | 892 | 941 |   2 |  1 |  10 |   0 | 5.020097e+04 | 5.087800e+04 |   1.35%| unknown
4.47/4.54	c   4.5s|     1 |     0 |  4780 |     - |    95M |   0 | 719 | 885 | 942 |   3 |  2 |  10 |   0 | 5.021208e+04 | 5.087800e+04 |   1.33%| unknown
4.47/4.54	c   4.5s|     1 |     0 |  4780 |     - |    95M |   0 | 719 | 885 | 937 |   3 |  2 |  10 |   0 | 5.021208e+04 | 5.087800e+04 |   1.33%| unknown
4.67/4.78	c   4.8s|     1 |     0 |  4852 |     - |   105M |   0 | 719 | 881 | 939 |   5 |  3 |  10 |   0 | 5.023050e+04 | 5.087800e+04 |   1.29%| unknown
4.67/4.78	c   4.8s|     1 |     0 |  4852 |     - |   105M |   0 | 719 | 881 | 929 |   5 |  3 |  10 |   0 | 5.023050e+04 | 5.087800e+04 |   1.29%| unknown
4.87/5.01	c   5.0s|     1 |     0 |  4886 |     - |   115M |   0 | 719 | 871 | 931 |   7 |  4 |  10 |   0 | 5.023606e+04 | 5.087800e+04 |   1.28%| unknown
5.17/5.21	c   5.2s|     1 |     0 |  4928 |     - |   121M |   0 | 719 | 871 | 932 |   8 |  5 |  10 |   0 | 5.023905e+04 | 5.087800e+04 |   1.27%| unknown
5.17/5.21	c   5.2s|     1 |     0 |  4928 |     - |   121M |   0 | 719 | 871 | 931 |   8 |  5 |  10 |   0 | 5.023905e+04 | 5.087800e+04 |   1.27%| unknown
5.37/5.44	c   5.4s|     1 |     0 |  4987 |     - |   125M |   0 | 719 | 871 | 933 |  10 |  6 |  10 |   0 | 5.024490e+04 | 5.087800e+04 |   1.26%| unknown
5.37/5.44	c   5.4s|     1 |     0 |  4987 |     - |   125M |   0 | 719 | 871 | 933 |  10 |  6 |  10 |   0 | 5.024490e+04 | 5.087800e+04 |   1.26%| unknown
5.57/5.67	c   5.7s|     1 |     0 |  5060 |     - |   132M |   0 | 719 | 871 | 934 |  11 |  7 |  10 |   0 | 5.024929e+04 | 5.087800e+04 |   1.25%| unknown
5.57/5.67	c   5.7s|     1 |     0 |  5060 |     - |   132M |   0 | 719 | 871 | 931 |  11 |  7 |  10 |   0 | 5.024929e+04 | 5.087800e+04 |   1.25%| unknown
5.86/5.90	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
5.86/5.90	c   5.9s|     1 |     0 |  5111 |     - |   147M |   0 | 719 | 868 | 933 |  13 |  8 |  10 |   0 | 5.025299e+04 | 5.087800e+04 |   1.24%| unknown
6.07/6.13	c   6.1s|     1 |     0 |  5171 |     - |   150M |   0 | 719 | 868 | 935 |  15 |  9 |  10 |   0 | 5.025569e+04 | 5.087800e+04 |   1.24%| unknown
6.07/6.13	c   6.1s|     1 |     0 |  5171 |     - |   150M |   0 | 719 | 868 | 933 |  15 |  9 |  10 |   0 | 5.025569e+04 | 5.087800e+04 |   1.24%| unknown
6.27/6.37	c   6.4s|     1 |     0 |  5228 |     - |   164M |   0 | 719 | 867 | 935 |  17 | 10 |  10 |   0 | 5.025725e+04 | 5.087800e+04 |   1.24%| unknown
6.37/6.42	c   6.4s|     1 |     0 |  5253 |     - |   164M |   0 | 719 | 867 | 937 |  19 | 11 |  10 |   0 | 5.025760e+04 | 5.087800e+04 |   1.23%| unknown
6.37/6.47	c   6.5s|     1 |     0 |  5287 |     - |   164M |   0 | 719 | 867 | 926 |  21 | 12 |  10 |   0 | 5.025800e+04 | 5.087800e+04 |   1.23%| unknown
6.47/6.53	c   6.5s|     1 |     0 |  5309 |     - |   164M |   0 | 719 | 867 | 928 |  23 | 13 |  10 |   0 | 5.025816e+04 | 5.087800e+04 |   1.23%| unknown
6.47/6.59	c   6.6s|     1 |     0 |  5358 |     - |   164M |   0 | 719 | 867 | 931 |  26 | 14 |  10 |   0 | 5.025934e+04 | 5.087800e+04 |   1.23%| unknown
6.57/6.64	c   6.6s|     1 |     0 |  5374 |     - |   164M |   0 | 719 | 867 | 932 |  27 | 15 |  10 |   0 | 5.025949e+04 | 5.087800e+04 |   1.23%| unknown
6.67/6.70	c   6.7s|     1 |     0 |  5412 |     - |   164M |   0 | 719 | 867 | 933 |  28 | 16 |  10 |   0 | 5.026021e+04 | 5.087800e+04 |   1.23%| unknown
6.67/6.70	c   6.7s|     1 |     0 |  5412 |     - |   164M |   0 | 719 | 867 | 930 |  28 | 16 |  10 |   0 | 5.026021e+04 | 5.087800e+04 |   1.23%| unknown
6.67/6.70	c   6.7s|     1 |     0 |  5412 |     - |   164M |   0 | 719 | 849 | 930 |  28 | 16 |  10 |   0 | 5.026021e+04 | 5.087800e+04 |   1.23%| unknown
6.67/6.76	c   6.8s|     1 |     0 |  5426 |     - |   164M |   0 | 719 | 849 | 931 |  29 | 17 |  10 |   0 | 5.026030e+04 | 5.087800e+04 |   1.23%| unknown
6.77/6.82	c   6.8s|     1 |     0 |  5432 |     - |   164M |   0 | 719 | 849 | 924 |  30 | 18 |  10 |   0 | 5.026032e+04 | 5.087800e+04 |   1.23%| unknown
6.77/6.87	c   6.9s|     1 |     0 |  5453 |     - |   164M |   0 | 719 | 849 | 926 |  32 | 19 |  10 |   0 | 5.026066e+04 | 5.087800e+04 |   1.23%| unknown
6.87/6.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
6.87/6.92	c   6.9s|     1 |     0 |  5473 |     - |   164M |   0 | 719 | 849 | 928 |  34 | 20 |  10 |   0 | 5.026101e+04 | 5.087800e+04 |   1.23%| unknown
6.87/6.98	c   7.0s|     1 |     0 |  5475 |     - |   164M |   0 | 719 | 849 | 929 |  35 | 21 |  10 |   0 | 5.026103e+04 | 5.087800e+04 |   1.23%| unknown
6.98/7.04	c   7.0s|     1 |     0 |  5502 |     - |   164M |   0 | 719 | 849 | 931 |  37 | 22 |  10 |   0 | 5.026140e+04 | 5.087800e+04 |   1.23%| unknown
6.98/7.09	c   7.1s|     1 |     0 |  5513 |     - |   164M |   0 | 719 | 849 | 933 |  39 | 23 |  10 |   0 | 5.026146e+04 | 5.087800e+04 |   1.23%| unknown
7.07/7.15	c   7.1s|     1 |     0 |  5523 |     - |   164M |   0 | 719 | 849 | 929 |  40 | 24 |  10 |   0 | 5.026148e+04 | 5.087800e+04 |   1.23%| unknown
7.16/7.21	c   7.2s|     1 |     0 |  5524 |     - |   164M |   0 | 719 | 849 | 930 |  41 | 25 |  10 |   0 | 5.026148e+04 | 5.087800e+04 |   1.23%| unknown
7.16/7.27	c   7.3s|     1 |     0 |  5526 |     - |   164M |   0 | 719 | 849 | 931 |  42 | 26 |  10 |   0 | 5.026149e+04 | 5.087800e+04 |   1.23%| unknown
7.26/7.33	c   7.3s|     1 |     0 |  5531 |     - |   164M |   0 | 719 | 849 | 932 |  43 | 27 |  10 |   0 | 5.026151e+04 | 5.087800e+04 |   1.23%| unknown
7.36/7.45	o 50806
7.36/7.45	c L 7.4s|     1 |     0 |  6420 |     - |    rens|   0 | 719 | 850 | 932 |  43 | 27 |  11 |   0 | 5.026151e+04 | 5.080600e+04 |   1.08%| unknown
7.36/7.46	c (run 2, node 1) restarting after 76 global fixings of integer variables
7.36/7.46	c 
7.36/7.46	c (restart) converted 39 cuts from the global cut pool into linear constraints
7.36/7.46	c 
7.46/7.54	c presolving:
7.46/7.55	c (round 1, fast)       85 del vars, 9 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 67 chg coeffs, 0 upgd conss, 0 impls, 944 clqs
7.46/7.56	c (round 2, medium)     94 del vars, 18 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 67 chg coeffs, 0 upgd conss, 0 impls, 935 clqs
7.46/7.57	c (round 3, exhaustive) 94 del vars, 18 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 74 chg coeffs, 0 upgd conss, 0 impls, 935 clqs
7.46/7.58	c (round 4, exhaustive) 94 del vars, 18 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 75 chg coeffs, 17 upgd conss, 0 impls, 935 clqs
7.46/7.58	c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
7.46/7.58	c  94 deleted vars, 18 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 78 changed coefficients
7.46/7.58	c  0 implications, 935 cliques
7.46/7.58	c presolved problem has 625 variables (625 bin, 0 int, 0 impl, 0 cont) and 871 constraints
7.46/7.58	c      56 constraints of type <knapsack>
7.46/7.58	c     703 constraints of type <setppc>
7.46/7.58	c      53 constraints of type <and>
7.46/7.58	c      22 constraints of type <linear>
7.46/7.58	c      37 constraints of type <logicor>
7.46/7.58	c transformed objective value is always integral (scale: 1)
7.46/7.58	c Presolving Time: 0.33
7.46/7.58	c transformed 5/11 original solutions to the transformed problem space
7.46/7.59	c 
7.56/7.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
7.56/7.62	c   7.6s|     1 |     0 |  7132 |     - |   156M |   0 | 625 | 871 | 913 |   0 |  0 |  11 |   0 | 5.026198e+04 | 5.080600e+04 |   1.08%| unknown
7.56/7.63	c   7.6s|     1 |     0 |  7132 |     - |   156M |   0 | 625 | 871 | 887 |   0 |  0 |  11 |   0 | 5.026198e+04 | 5.080600e+04 |   1.08%| unknown
7.86/7.97	c   8.0s|     1 |     0 |  7177 |     - |   157M |   0 | 625 | 845 | 886 |   2 |  1 |  11 |   0 | 5.026390e+04 | 5.080600e+04 |   1.08%| unknown
7.86/7.97	c   8.0s|     1 |     0 |  7177 |     - |   157M |   0 | 625 | 845 | 884 |   2 |  1 |  11 |   0 | 5.026390e+04 | 5.080600e+04 |   1.08%| unknown
8.15/8.24	c   8.2s|     1 |     0 |  7246 |     - |   157M |   0 | 625 | 840 | 886 |   4 |  2 |  11 |   0 | 5.026581e+04 | 5.080600e+04 |   1.07%| unknown
8.45/8.54	c   8.5s|     1 |     0 |  7288 |     - |   156M |   0 | 625 | 840 | 887 |   5 |  3 |  11 |   0 | 5.026636e+04 | 5.080600e+04 |   1.07%| unknown
8.75/8.86	c   8.9s|     1 |     0 |  7330 |     - |   160M |   0 | 625 | 840 | 888 |   6 |  4 |  11 |   0 | 5.026756e+04 | 5.080600e+04 |   1.07%| unknown
8.75/8.87	c   8.9s|     1 |     0 |  7330 |     - |   160M |   0 | 625 | 840 | 886 |   6 |  4 |  11 |   0 | 5.026756e+04 | 5.080600e+04 |   1.07%| unknown
9.06/9.18	c   9.2s|     1 |     0 |  7368 |     - |   159M |   0 | 625 | 838 | 887 |   7 |  5 |  11 |   0 | 5.026857e+04 | 5.080600e+04 |   1.07%| unknown
9.35/9.48	c   9.5s|     1 |     0 |  7431 |     - |   160M |   0 | 625 | 838 | 888 |   8 |  6 |  11 |   0 | 5.027189e+04 | 5.080600e+04 |   1.06%| unknown
9.65/9.75	c   9.7s|     1 |     0 |  7499 |     - |   160M |   0 | 625 | 838 | 889 |   9 |  7 |  11 |   0 | 5.027555e+04 | 5.080600e+04 |   1.06%| unknown
9.65/9.76	c   9.8s|     1 |     0 |  7499 |     - |   160M |   0 | 625 | 838 | 885 |   9 |  7 |  11 |   0 | 5.027555e+04 | 5.080600e+04 |   1.06%| unknown
9.97/10.05	c  10.0s|     1 |     0 |  7543 |     - |   166M |   0 | 625 | 834 | 887 |  11 |  8 |  11 |   0 | 5.027758e+04 | 5.080600e+04 |   1.05%| unknown
10.25/10.36	c  10.4s|     1 |     0 |  7613 |     - |   167M |   0 | 625 | 834 | 888 |  12 |  9 |  11 |   0 | 5.028045e+04 | 5.080600e+04 |   1.05%| unknown
10.55/10.65	c  10.6s|     1 |     0 |  7683 |     - |   168M |   0 | 625 | 834 | 890 |  14 | 10 |  11 |   0 | 5.028184e+04 | 5.080600e+04 |   1.04%| unknown
10.55/10.65	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
10.55/10.65	c  10.6s|     1 |     0 |  7683 |     - |   168M |   0 | 625 | 834 | 889 |  14 | 10 |  11 |   0 | 5.028184e+04 | 5.080600e+04 |   1.04%| unknown
10.65/10.76	c  10.7s|     1 |     0 |  7740 |     - |   169M |   0 | 625 | 833 | 892 |  17 | 11 |  11 |   0 | 5.028269e+04 | 5.080600e+04 |   1.04%| unknown
10.65/10.76	c  10.8s|     1 |     0 |  7740 |     - |   169M |   0 | 625 | 833 | 890 |  17 | 11 |  11 |   0 | 5.028269e+04 | 5.080600e+04 |   1.04%| unknown
10.96/11.03	c  11.0s|     1 |     0 |  8619 |     - |   169M |   0 | 625 | 831 | 890 |  17 | 11 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
10.96/11.03	c  11.0s|     1 |     0 |  8619 |     - |   169M |   0 | 625 | 831 | 872 |  17 | 11 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.06/11.12	c  11.1s|     1 |     0 |  8681 |     - |   169M |   0 | 625 | 814 | 873 |  18 | 12 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.06/11.12	c  11.1s|     1 |     0 |  8681 |     - |   169M |   0 | 625 | 814 | 838 |  18 | 12 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.06/11.13	c  11.1s|     1 |     0 |  8697 |     - |   169M |   0 | 625 | 814 | 839 |  19 | 13 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.06/11.13	c  11.1s|     1 |     0 |  8697 |     - |   169M |   0 | 625 | 778 | 839 |  19 | 13 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.15/11.21	c  11.2s|     1 |     0 |  8718 |     - |   169M |   0 | 625 | 778 | 841 |  21 | 14 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.15/11.22	c  11.2s|     1 |     0 |  8721 |     - |   169M |   0 | 625 | 778 | 842 |  22 | 15 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.15/11.23	c  11.2s|     1 |     0 |  8721 |     - |   169M |   0 | 625 | 778 | 841 |  22 | 15 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.15/11.23	c (run 3, node 1) restarting after 78 global fixings of integer variables
11.15/11.23	c 
11.15/11.23	c (restart) converted 22 cuts from the global cut pool into linear constraints
11.15/11.23	c 
11.25/11.30	c presolving:
11.25/11.31	c (round 1, fast)       86 del vars, 10 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 111 chg coeffs, 0 upgd conss, 0 impls, 777 clqs
11.25/11.32	c (round 2, medium)     90 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 111 chg coeffs, 0 upgd conss, 0 impls, 773 clqs
11.25/11.33	c (round 3, exhaustive) 90 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 117 chg coeffs, 0 upgd conss, 0 impls, 773 clqs
11.25/11.33	c (round 4, exhaustive) 90 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 119 chg coeffs, 12 upgd conss, 0 impls, 773 clqs
11.25/11.34	c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
11.25/11.34	c  90 deleted vars, 14 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 122 changed coefficients
11.25/11.34	c  0 implications, 773 cliques
11.25/11.34	c presolved problem has 535 variables (535 bin, 0 int, 0 impl, 0 cont) and 785 constraints
11.25/11.34	c      68 constraints of type <knapsack>
11.25/11.34	c     600 constraints of type <setppc>
11.25/11.34	c      44 constraints of type <and>
11.25/11.34	c      32 constraints of type <linear>
11.25/11.34	c      41 constraints of type <logicor>
11.25/11.34	c transformed objective value is always integral (scale: 1)
11.25/11.34	c Presolving Time: 0.37
11.25/11.34	c transformed 5/13 original solutions to the transformed problem space
11.25/11.34	c 
11.25/11.38	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
11.25/11.38	c  11.4s|     1 |     0 |  9413 |     - |   164M |   0 | 535 | 785 | 814 |   0 |  0 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.25/11.38	c  11.4s|     1 |     0 |  9413 |     - |   164M |   0 | 535 | 785 | 801 |   0 |  0 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.45/11.58	c  11.6s|     1 |     0 |  9440 |     - |   164M |   0 | 535 | 773 | 803 |   2 |  1 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.45/11.59	c  11.6s|     1 |     0 |  9440 |     - |   164M |   0 | 535 | 773 | 801 |   2 |  1 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.75/11.81	c  11.8s|     1 |     0 |  9480 |     - |   165M |   0 | 535 | 771 | 803 |   4 |  2 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.75/11.81	c  11.8s|     1 |     0 |  9480 |     - |   165M |   0 | 535 | 771 | 792 |   4 |  2 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.85/12.00	c  12.0s|     1 |     0 |  9516 |     - |   167M |   0 | 535 | 760 | 793 |   5 |  3 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
11.96/12.01	c  12.0s|     1 |     0 |  9516 |     - |   167M |   0 | 535 | 760 | 786 |   5 |  3 |  22 |   9 | 5.035637e+04 | 5.080600e+04 |   0.89%| unknown
12.06/12.19	c  12.2s|     1 |     0 |  9547 |     - |   169M |   0 | 535 | 753 | 788 |   7 |  4 |  22 |   9 | 5.036266e+04 | 5.080600e+04 |   0.88%| unknown
12.15/12.20	c  12.2s|     1 |     0 |  9547 |     - |   169M |   0 | 535 | 753 | 782 |   7 |  4 |  22 |   9 | 5.036266e+04 | 5.080600e+04 |   0.88%| unknown
12.34/12.40	c  12.4s|     1 |     0 |  9585 |     - |   171M |   0 | 535 | 748 | 783 |   8 |  5 |  22 |   9 | 5.036665e+04 | 5.080600e+04 |   0.87%| unknown
12.34/12.40	c  12.4s|     1 |     0 |  9585 |     - |   171M |   0 | 535 | 748 | 781 |   8 |  5 |  22 |   9 | 5.036665e+04 | 5.080600e+04 |   0.87%| unknown
12.44/12.59	c  12.6s|     1 |     0 |  9644 |     - |   172M |   0 | 535 | 747 | 783 |  10 |  6 |  22 |   9 | 5.037809e+04 | 5.080600e+04 |   0.85%| unknown
12.44/12.59	c  12.6s|     1 |     0 |  9644 |     - |   172M |   0 | 535 | 747 | 776 |  10 |  6 |  22 |   9 | 5.037809e+04 | 5.080600e+04 |   0.85%| unknown
12.64/12.79	c  12.8s|     1 |     0 |  9723 |     - |   174M |   0 | 535 | 740 | 778 |  12 |  7 |  22 |   9 | 5.038724e+04 | 5.080600e+04 |   0.83%| unknown
12.64/12.79	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
12.64/12.79	c  12.8s|     1 |     0 |  9723 |     - |   174M |   0 | 535 | 740 | 775 |  12 |  7 |  22 |   9 | 5.038724e+04 | 5.080600e+04 |   0.83%| unknown
12.84/12.97	c  13.0s|     1 |     0 |  9739 |     - |   176M |   0 | 535 | 737 | 776 |  13 |  8 |  22 |   9 | 5.038811e+04 | 5.080600e+04 |   0.83%| unknown
12.84/12.98	c  13.0s|     1 |     0 |  9739 |     - |   176M |   0 | 535 | 737 | 775 |  13 |  8 |  22 |   9 | 5.038811e+04 | 5.080600e+04 |   0.83%| unknown
13.05/13.16	c  13.1s|     1 |     0 |  9780 |     - |   178M |   0 | 535 | 736 | 776 |  14 |  9 |  22 |   9 | 5.039026e+04 | 5.080600e+04 |   0.83%| unknown
13.24/13.35	c  13.3s|     1 |     0 |  9800 |     - |   187M |   0 | 535 | 736 | 777 |  15 | 10 |  22 |   9 | 5.039104e+04 | 5.080600e+04 |   0.82%| unknown
13.34/13.43	c  13.4s|     1 |     0 |  9858 |     - |   187M |   0 | 535 | 736 | 779 |  17 | 11 |  22 |   9 | 5.039620e+04 | 5.080600e+04 |   0.81%| unknown
13.34/13.43	c  13.4s|     1 |     0 |  9858 |     - |   187M |   0 | 535 | 736 | 775 |  17 | 11 |  22 |   9 | 5.039620e+04 | 5.080600e+04 |   0.81%| unknown
13.44/13.50	c  13.5s|     1 |     0 |  9878 |     - |   187M |   0 | 535 | 732 | 776 |  18 | 12 |  22 |   9 | 5.039697e+04 | 5.080600e+04 |   0.81%| unknown
13.44/13.57	c  13.6s|     1 |     0 |  9902 |     - |   187M |   0 | 535 | 732 | 707 |  19 | 13 |  22 |   9 | 5.039781e+04 | 5.080600e+04 |   0.81%| unknown
13.54/13.62	c  13.6s|     1 |     0 |  9911 |     - |   187M |   0 | 535 | 732 | 708 |  20 | 14 |  22 |   9 | 5.039798e+04 | 5.080600e+04 |   0.81%| unknown
13.54/13.66	c  13.6s|     1 |     0 |  9927 |     - |   187M |   0 | 535 | 732 | 709 |  21 | 15 |  22 |   9 | 5.039833e+04 | 5.080600e+04 |   0.81%| unknown
13.54/13.66	c  13.7s|     1 |     0 |  9927 |     - |   187M |   0 | 535 | 732 | 708 |  21 | 15 |  22 |   9 | 5.039833e+04 | 5.080600e+04 |   0.81%| unknown
13.54/13.69	c  13.7s|     1 |     0 |  9945 |     - |   187M |   0 | 535 | 731 | 711 |  24 | 16 |  22 |   9 | 5.039880e+04 | 5.080600e+04 |   0.81%| unknown
13.64/13.74	c  13.7s|     1 |     0 |  9960 |     - |   187M |   0 | 535 | 731 | 712 |  25 | 17 |  22 |   9 | 5.039906e+04 | 5.080600e+04 |   0.81%| unknown
13.64/13.78	c  13.8s|     1 |     0 |  9999 |     - |   187M |   0 | 535 | 731 | 714 |  27 | 18 |  22 |   9 | 5.040002e+04 | 5.080600e+04 |   0.81%| unknown
13.74/13.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
13.74/13.83	c  13.8s|     1 |     0 | 10023 |     - |   187M |   0 | 535 | 731 | 706 |  28 | 19 |  22 |   9 | 5.040114e+04 | 5.080600e+04 |   0.80%| unknown
13.74/13.87	c  13.9s|     1 |     0 | 10046 |     - |   188M |   0 | 535 | 731 | 707 |  29 | 20 |  22 |   9 | 5.040218e+04 | 5.080600e+04 |   0.80%| unknown
13.74/13.88	c  13.9s|     1 |     0 | 10046 |     - |   188M |   0 | 535 | 731 | 704 |  29 | 20 |  22 |   9 | 5.040218e+04 | 5.080600e+04 |   0.80%| unknown
13.84/13.91	c  13.9s|     1 |     0 | 10067 |     - |   188M |   0 | 535 | 728 | 705 |  30 | 21 |  22 |   9 | 5.040242e+04 | 5.080600e+04 |   0.80%| unknown
13.84/13.91	c  13.9s|     1 |     0 | 10067 |     - |   188M |   0 | 535 | 714 | 705 |  30 | 21 |  22 |   9 | 5.040242e+04 | 5.080600e+04 |   0.80%| unknown
13.84/13.95	c  13.9s|     1 |     0 | 10087 |     - |   188M |   0 | 535 | 714 | 706 |  31 | 22 |  22 |   9 | 5.040330e+04 | 5.080600e+04 |   0.80%| unknown
13.84/13.99	c  14.0s|     1 |     0 | 10098 |     - |   188M |   0 | 535 | 714 | 707 |  32 | 23 |  22 |   9 | 5.040338e+04 | 5.080600e+04 |   0.80%| unknown
13.95/14.03	c  14.0s|     1 |     0 | 10100 |     - |   188M |   0 | 535 | 714 | 708 |  33 | 24 |  22 |   9 | 5.040340e+04 | 5.080600e+04 |   0.80%| unknown
13.95/14.08	c  14.1s|     1 |     0 | 10114 |     - |   188M |   0 | 535 | 714 | 705 |  34 | 25 |  22 |   9 | 5.040380e+04 | 5.080600e+04 |   0.80%| unknown
14.05/14.12	c  14.1s|     1 |     0 | 10135 |     - |   188M |   0 | 535 | 714 | 706 |  35 | 26 |  22 |   9 | 5.040422e+04 | 5.080600e+04 |   0.80%| unknown
14.05/14.12	c  14.1s|     1 |     0 | 10135 |     - |   188M |   0 | 535 | 714 | 698 |  35 | 26 |  22 |   9 | 5.040422e+04 | 5.080600e+04 |   0.80%| unknown
14.05/14.16	c  14.2s|     1 |     0 | 10137 |     - |   188M |   0 | 535 | 712 | 699 |  36 | 27 |  22 |   9 | 5.040422e+04 | 5.080600e+04 |   0.80%| unknown
14.14/14.21	c  14.2s|     1 |     0 | 10139 |     - |   188M |   0 | 535 | 712 | 700 |  37 | 28 |  22 |   9 | 5.040425e+04 | 5.080600e+04 |   0.80%| unknown
14.14/14.25	c  14.2s|     1 |     0 | 10156 |     - |   188M |   0 | 535 | 712 | 701 |  38 | 29 |  22 |   9 | 5.040430e+04 | 5.080600e+04 |   0.80%| unknown
14.14/14.29	c  14.3s|     1 |     0 | 10163 |     - |   188M |   0 | 535 | 712 | 703 |  40 | 30 |  22 |   9 | 5.040442e+04 | 5.080600e+04 |   0.80%| unknown
14.24/14.34	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
14.24/14.34	c  14.3s|     1 |     0 | 10165 |     - |   188M |   0 | 535 | 712 | 700 |  41 | 31 |  22 |   9 | 5.040443e+04 | 5.080600e+04 |   0.80%| unknown
14.24/14.39	c  14.4s|     1 |     0 | 10178 |     - |   188M |   0 | 535 | 712 | 701 |  42 | 32 |  22 |   9 | 5.040466e+04 | 5.080600e+04 |   0.80%| unknown
14.34/14.47	c (run 4, node 1) restarting after 61 global fixings of integer variables
14.34/14.47	c 
14.34/14.47	c (restart) converted 34 cuts from the global cut pool into linear constraints
14.34/14.47	c 
14.44/14.53	c presolving:
14.44/14.54	c (round 1, fast)       68 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 57 chg coeffs, 0 upgd conss, 0 impls, 658 clqs
14.44/14.55	c (round 2, medium)     72 del vars, 11 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 57 chg coeffs, 0 upgd conss, 0 impls, 654 clqs
14.44/14.56	c (round 3, exhaustive) 72 del vars, 11 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 62 chg coeffs, 0 upgd conss, 0 impls, 654 clqs
14.44/14.56	c (round 4, exhaustive) 72 del vars, 11 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 64 chg coeffs, 16 upgd conss, 0 impls, 654 clqs
14.44/14.57	c (round 5, exhaustive) 72 del vars, 11 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 68 chg coeffs, 16 upgd conss, 0 impls, 654 clqs
14.44/14.57	c (round 6, exhaustive) 72 del vars, 11 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 73 chg coeffs, 16 upgd conss, 0 impls, 654 clqs
14.44/14.57	c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
14.44/14.57	c  72 deleted vars, 11 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 74 changed coefficients
14.44/14.57	c  0 implications, 654 cliques
14.44/14.57	c presolved problem has 463 variables (463 bin, 0 int, 0 impl, 0 cont) and 738 constraints
14.44/14.57	c      84 constraints of type <knapsack>
14.44/14.57	c     526 constraints of type <setppc>
14.44/14.57	c      34 constraints of type <and>
14.44/14.57	c      50 constraints of type <linear>
14.44/14.57	c      44 constraints of type <logicor>
14.44/14.57	c transformed objective value is always integral (scale: 1)
14.44/14.57	c Presolving Time: 0.41
14.44/14.58	c transformed 6/15 original solutions to the transformed problem space
14.44/14.58	c 
14.54/14.61	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
14.54/14.61	c  14.6s|     1 |     0 | 10950 |     - |   185M |   0 | 463 | 738 | 754 |   0 |  0 |  25 |   9 | 5.040466e+04 | 5.080600e+04 |   0.80%| unknown
14.54/14.61	c  14.6s|     1 |     0 | 10950 |     - |   185M |   0 | 463 | 738 | 741 |   0 |  0 |  25 |   9 | 5.040466e+04 | 5.080600e+04 |   0.80%| unknown
14.74/14.85	c  14.8s|     1 |     0 | 11011 |     - |   185M |   0 | 463 | 726 | 742 |   1 |  1 |  25 |   9 | 5.040853e+04 | 5.080600e+04 |   0.79%| unknown
14.74/14.85	c  14.8s|     1 |     0 | 11011 |     - |   185M |   0 | 463 | 726 | 740 |   1 |  1 |  25 |   9 | 5.040853e+04 | 5.080600e+04 |   0.79%| unknown
14.95/15.06	c  15.0s|     1 |     0 | 11050 |     - |   185M |   0 | 463 | 724 | 741 |   2 |  2 |  25 |   9 | 5.040991e+04 | 5.080600e+04 |   0.79%| unknown
15.14/15.28	c  15.3s|     1 |     0 | 11093 |     - |   185M |   0 | 463 | 724 | 742 |   3 |  3 |  25 |   9 | 5.041109e+04 | 5.080600e+04 |   0.78%| unknown
15.43/15.50	c  15.5s|     1 |     0 | 11145 |     - |   187M |   0 | 463 | 724 | 743 |   4 |  4 |  25 |   9 | 5.041373e+04 | 5.080600e+04 |   0.78%| unknown
15.43/15.50	c  15.5s|     1 |     0 | 11145 |     - |   187M |   0 | 463 | 724 | 740 |   4 |  4 |  25 |   9 | 5.041373e+04 | 5.080600e+04 |   0.78%| unknown
15.63/15.71	c  15.7s|     1 |     0 | 11183 |     - |   187M |   0 | 463 | 722 | 741 |   5 |  5 |  25 |   9 | 5.041491e+04 | 5.080600e+04 |   0.78%| unknown
15.83/15.91	c  15.9s|     1 |     0 | 11254 |     - |   189M |   0 | 463 | 722 | 744 |   8 |  6 |  25 |   9 | 5.041935e+04 | 5.080600e+04 |   0.77%| unknown
15.83/15.92	c  15.9s|     1 |     0 | 11254 |     - |   189M |   0 | 463 | 722 | 741 |   8 |  6 |  25 |   9 | 5.041935e+04 | 5.080600e+04 |   0.77%| unknown
15.94/16.11	c  16.1s|     1 |     0 | 11285 |     - |   190M |   0 | 463 | 719 | 743 |  10 |  7 |  25 |   9 | 5.042003e+04 | 5.080600e+04 |   0.77%| unknown
16.23/16.31	c  16.3s|     1 |     0 | 11357 |     - |   193M |   0 | 463 | 719 | 745 |  12 |  8 |  25 |   9 | 5.042207e+04 | 5.080600e+04 |   0.76%| unknown
16.23/16.32	c  16.3s|     1 |     0 | 11357 |     - |   193M |   0 | 463 | 719 | 744 |  12 |  8 |  25 |   9 | 5.042207e+04 | 5.080600e+04 |   0.76%| unknown
16.43/16.53	c  16.5s|     1 |     0 | 11373 |     - |   194M |   0 | 463 | 718 | 745 |  13 |  9 |  25 |   9 | 5.042251e+04 | 5.080600e+04 |   0.76%| unknown
16.63/16.75	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
16.63/16.75	c  16.7s|     1 |     0 | 11435 |     - |   197M |   0 | 463 | 718 | 746 |  14 | 10 |  25 |   9 | 5.042406e+04 | 5.080600e+04 |   0.76%| unknown
16.63/16.76	c  16.7s|     1 |     0 | 11435 |     - |   197M |   0 | 463 | 718 | 745 |  14 | 10 |  25 |   9 | 5.042406e+04 | 5.080600e+04 |   0.76%| unknown
16.73/16.85	c  16.8s|     1 |     0 | 11457 |     - |   197M |   0 | 463 | 717 | 746 |  15 | 11 |  25 |   9 | 5.042454e+04 | 5.080600e+04 |   0.76%| unknown
16.73/16.85	c  16.8s|     1 |     0 | 11457 |     - |   197M |   0 | 463 | 701 | 746 |  15 | 11 |  25 |   9 | 5.042454e+04 | 5.080600e+04 |   0.76%| unknown
16.83/16.94	c  16.9s|     1 |     0 | 11496 |     - |   197M |   0 | 463 | 701 | 748 |  17 | 12 |  25 |   9 | 5.042493e+04 | 5.080600e+04 |   0.76%| unknown
16.94/17.03	c  17.0s|     1 |     0 | 11521 |     - |   197M |   0 | 463 | 701 | 662 |  18 | 13 |  25 |   9 | 5.042514e+04 | 5.080600e+04 |   0.76%| unknown
16.94/17.04	c  17.0s|     1 |     0 | 11521 |     - |   197M |   0 | 463 | 701 | 652 |  18 | 13 |  25 |   9 | 5.042514e+04 | 5.080600e+04 |   0.76%| unknown
16.94/17.09	c  17.1s|     1 |     0 | 11536 |     - |   198M |   0 | 463 | 700 | 654 |  20 | 14 |  25 |   9 | 5.042523e+04 | 5.080600e+04 |   0.76%| unknown
17.04/17.15	c  17.1s|     1 |     0 | 11546 |     - |   198M |   0 | 463 | 700 | 655 |  21 | 15 |  25 |   9 | 5.042530e+04 | 5.080600e+04 |   0.75%| unknown
17.13/17.22	c  17.2s|     1 |     0 | 11559 |     - |   198M |   0 | 463 | 700 | 656 |  22 | 16 |  25 |   9 | 5.042547e+04 | 5.080600e+04 |   0.75%| unknown
17.13/17.28	c  17.3s|     1 |     0 | 11572 |     - |   198M |   0 | 463 | 700 | 657 |  23 | 17 |  25 |   9 | 5.042552e+04 | 5.080600e+04 |   0.75%| unknown
17.22/17.34	c  17.3s|     1 |     0 | 11579 |     - |   198M |   0 | 463 | 700 | 658 |  24 | 18 |  25 |   9 | 5.042553e+04 | 5.080600e+04 |   0.75%| unknown
17.32/17.41	c  17.4s|     1 |     0 | 11589 |     - |   198M |   0 | 463 | 700 | 645 |  25 | 19 |  25 |   9 | 5.042556e+04 | 5.080600e+04 |   0.75%| unknown
17.32/17.47	c  17.5s|     1 |     0 | 11592 |     - |   198M |   0 | 463 | 700 | 646 |  26 | 20 |  25 |   9 | 5.042556e+04 | 5.080600e+04 |   0.75%| unknown
17.42/17.53	c  17.5s|     1 |     0 | 11605 |     - |   198M |   0 | 463 | 700 | 647 |  27 | 21 |  25 |   9 | 5.042559e+04 | 5.080600e+04 |   0.75%| unknown
17.42/17.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
17.42/17.58	c  17.6s|     1 |     0 | 11617 |     - |   198M |   0 | 463 | 700 | 648 |  28 | 22 |  25 |   9 | 5.042563e+04 | 5.080600e+04 |   0.75%| unknown
17.62/17.72	c  17.7s|     1 |     0 | 12469 |     - |   198M |   0 | 463 | 704 | 648 |  28 | 22 |  31 |  10 | 5.047228e+04 | 5.080600e+04 |   0.66%| unknown
17.62/17.72	c (run 5, node 1) restarting after 51 global fixings of integer variables
17.62/17.72	c 
17.62/17.72	c (restart) converted 24 cuts from the global cut pool into linear constraints
17.62/17.72	c 
17.62/17.78	c presolving:
17.62/17.79	c (round 1, fast)       57 del vars, 73 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 92 chg coeffs, 0 upgd conss, 0 impls, 532 clqs
17.62/17.79	c (round 2, fast)       59 del vars, 74 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 95 chg coeffs, 0 upgd conss, 0 impls, 532 clqs
17.62/17.79	c (round 3, fast)       60 del vars, 76 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 95 chg coeffs, 0 upgd conss, 0 impls, 530 clqs
17.72/17.80	c (round 4, medium)     62 del vars, 80 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 99 chg coeffs, 0 upgd conss, 0 impls, 528 clqs
17.72/17.81	c (round 5, exhaustive) 62 del vars, 80 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 121 chg coeffs, 0 upgd conss, 0 impls, 528 clqs
17.72/17.81	c (round 6, exhaustive) 62 del vars, 80 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 133 chg coeffs, 0 upgd conss, 0 impls, 528 clqs
17.72/17.81	c (round 7, exhaustive) 62 del vars, 80 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 137 chg coeffs, 0 upgd conss, 0 impls, 528 clqs
17.72/17.81	c (round 8, exhaustive) 62 del vars, 80 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 139 chg coeffs, 14 upgd conss, 0 impls, 528 clqs
17.72/17.82	c (round 9, exhaustive) 62 del vars, 80 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 142 chg coeffs, 14 upgd conss, 0 impls, 528 clqs
17.72/17.82	c (round 10, exhaustive) 62 del vars, 82 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 143 chg coeffs, 14 upgd conss, 0 impls, 528 clqs
17.72/17.82	c (round 11, exhaustive) 62 del vars, 82 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 152 chg coeffs, 14 upgd conss, 0 impls, 528 clqs
17.72/17.82	c presolving (12 rounds: 12 fast, 9 medium, 8 exhaustive):
17.72/17.82	c  62 deleted vars, 82 deleted constraints, 3 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 152 changed coefficients
17.72/17.82	c  0 implications, 528 cliques
17.72/17.82	c presolved problem has 401 variables (401 bin, 0 int, 0 impl, 0 cont) and 649 constraints
17.72/17.82	c      97 constraints of type <knapsack>
17.72/17.82	c     418 constraints of type <setppc>
17.72/17.82	c      30 constraints of type <and>
17.72/17.82	c      60 constraints of type <linear>
17.72/17.82	c      44 constraints of type <logicor>
17.72/17.82	c transformed objective value is always integral (scale: 1)
17.72/17.82	c Presolving Time: 0.46
17.72/17.82	c transformed 5/17 original solutions to the transformed problem space
17.72/17.82	c 
17.72/17.85	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
17.72/17.85	c  17.8s|     1 |     0 | 12991 |     - |   181M |   0 | 401 | 649 | 660 |   0 |  0 |  31 |  10 | 5.047433e+04 | 5.080600e+04 |   0.66%| unknown
17.72/17.85	c  17.8s|     1 |     0 | 12991 |     - |   181M |   0 | 401 | 649 | 603 |   0 |  0 |  31 |  10 | 5.047433e+04 | 5.080600e+04 |   0.66%| unknown
17.83/18.00	c  18.0s|     1 |     0 | 13007 |     - |   182M |   0 | 401 | 595 | 600 |   1 |  1 |  31 |  10 | 5.047742e+04 | 5.080600e+04 |   0.65%| unknown
17.94/18.01	c  18.0s|     1 |     0 | 13007 |     - |   182M |   0 | 401 | 595 | 600 |   1 |  1 |  31 |  10 | 5.047742e+04 | 5.080600e+04 |   0.65%| unknown
18.04/18.15	c  18.1s|     1 |     0 | 13066 |     - |   182M |   0 | 401 | 591 | 599 |   2 |  2 |  31 |  10 | 5.050754e+04 | 5.080600e+04 |   0.59%| unknown
18.04/18.15	c  18.1s|     1 |     0 | 13066 |     - |   182M |   0 | 401 | 591 | 588 |   2 |  2 |  31 |  10 | 5.050754e+04 | 5.080600e+04 |   0.59%| unknown
18.13/18.28	c  18.3s|     1 |     0 | 13093 |     - |   183M |   0 | 401 | 578 | 589 |   4 |  3 |  31 |  10 | 5.052491e+04 | 5.080600e+04 |   0.56%| unknown
18.13/18.29	c  18.3s|     1 |     0 | 13093 |     - |   183M |   0 | 401 | 578 | 582 |   4 |  3 |  31 |  10 | 5.052491e+04 | 5.080600e+04 |   0.56%| unknown
18.33/18.41	c  18.4s|     1 |     0 | 13124 |     - |   184M |   0 | 401 | 571 | 583 |   5 |  4 |  31 |  10 | 5.053924e+04 | 5.080600e+04 |   0.53%| unknown
18.33/18.41	c  18.4s|     1 |     0 | 13124 |     - |   184M |   0 | 401 | 571 | 576 |   5 |  4 |  31 |  10 | 5.053924e+04 | 5.080600e+04 |   0.53%| unknown
18.43/18.53	c  18.5s|     1 |     0 | 13185 |     - |   185M |   0 | 401 | 564 | 577 |   6 |  5 |  31 |  10 | 5.055398e+04 | 5.080600e+04 |   0.50%| unknown
18.43/18.53	c  18.5s|     1 |     0 | 13185 |     - |   185M |   0 | 401 | 564 | 569 |   6 |  5 |  31 |  10 | 5.055398e+04 | 5.080600e+04 |   0.50%| unknown
18.53/18.65	c  18.6s|     1 |     0 | 13231 |     - |   186M |   0 | 401 | 555 | 570 |   7 |  6 |  31 |  10 | 5.056982e+04 | 5.080600e+04 |   0.47%| unknown
18.53/18.65	c  18.6s|     1 |     0 | 13231 |     - |   186M |   0 | 401 | 555 | 564 |   7 |  6 |  31 |  10 | 5.056982e+04 | 5.080600e+04 |   0.47%| unknown
18.62/18.78	c  18.8s|     1 |     0 | 13262 |     - |   186M |   0 | 401 | 549 | 565 |   8 |  7 |  31 |  10 | 5.057702e+04 | 5.080600e+04 |   0.45%| unknown
18.62/18.78	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
18.62/18.78	c  18.8s|     1 |     0 | 13262 |     - |   186M |   0 | 401 | 549 | 563 |   8 |  7 |  31 |  10 | 5.057702e+04 | 5.080600e+04 |   0.45%| unknown
18.82/18.90	c  18.9s|     1 |     0 | 13306 |     - |   188M |   0 | 401 | 547 | 564 |   9 |  8 |  31 |  10 | 5.058143e+04 | 5.080600e+04 |   0.44%| unknown
18.82/18.91	c  18.9s|     1 |     0 | 13306 |     - |   188M |   0 | 401 | 547 | 563 |   9 |  8 |  31 |  10 | 5.058143e+04 | 5.080600e+04 |   0.44%| unknown
18.94/19.03	c  19.0s|     1 |     0 | 13348 |     - |   188M |   0 | 401 | 546 | 564 |  10 |  9 |  31 |  10 | 5.058836e+04 | 5.080600e+04 |   0.43%| unknown
18.94/19.04	c  19.0s|     1 |     0 | 13348 |     - |   188M |   0 | 401 | 546 | 563 |  10 |  9 |  31 |  10 | 5.058836e+04 | 5.080600e+04 |   0.43%| unknown
19.04/19.16	c  19.1s|     1 |     0 | 13363 |     - |   189M |   0 | 401 | 545 | 564 |  11 | 10 |  31 |  10 | 5.058883e+04 | 5.080600e+04 |   0.43%| unknown
19.12/19.23	c  19.2s|     1 |     0 | 13385 |     - |   189M |   0 | 401 | 545 | 565 |  12 | 11 |  31 |  10 | 5.058997e+04 | 5.080600e+04 |   0.43%| unknown
19.22/19.31	c  19.3s|     1 |     0 | 13405 |     - |   189M |   0 | 401 | 545 | 441 |  13 | 12 |  31 |  10 | 5.059123e+04 | 5.080600e+04 |   0.42%| unknown
19.22/19.35	c  19.3s|     1 |     0 | 13418 |     - |   189M |   0 | 401 | 545 | 442 |  14 | 13 |  31 |  10 | 5.059178e+04 | 5.080600e+04 |   0.42%| unknown
19.22/19.38	c  19.4s|     1 |     0 | 13437 |     - |   189M |   0 | 401 | 545 | 443 |  15 | 14 |  31 |  10 | 5.059220e+04 | 5.080600e+04 |   0.42%| unknown
19.32/19.42	c  19.4s|     1 |     0 | 13470 |     - |   189M |   0 | 401 | 545 | 444 |  16 | 15 |  31 |  10 | 5.059363e+04 | 5.080600e+04 |   0.42%| unknown
19.32/19.46	c  19.4s|     1 |     0 | 13493 |     - |   189M |   0 | 401 | 545 | 445 |  17 | 16 |  31 |  10 | 5.059416e+04 | 5.080600e+04 |   0.42%| unknown
19.32/19.49	c  19.5s|     1 |     0 | 13515 |     - |   189M |   0 | 401 | 545 | 446 |  18 | 17 |  31 |  10 | 5.059454e+04 | 5.080600e+04 |   0.42%| unknown
19.42/19.53	c  19.5s|     1 |     0 | 13526 |     - |   189M |   0 | 401 | 545 | 438 |  19 | 18 |  31 |  10 | 5.059477e+04 | 5.080600e+04 |   0.42%| unknown
19.42/19.57	c  19.6s|     1 |     0 | 13530 |     - |   189M |   0 | 401 | 545 | 439 |  20 | 19 |  31 |  10 | 5.059479e+04 | 5.080600e+04 |   0.42%| unknown
19.42/19.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
19.42/19.58	c  19.6s|     1 |     0 | 13530 |     - |   189M |   0 | 401 | 507 | 439 |  20 | 19 |  31 |  10 | 5.059479e+04 | 5.080600e+04 |   0.42%| unknown
19.52/19.61	c  19.6s|     1 |     0 | 13538 |     - |   189M |   0 | 401 | 507 | 440 |  21 | 20 |  31 |  10 | 5.059488e+04 | 5.080600e+04 |   0.42%| unknown
19.52/19.65	c  19.6s|     1 |     0 | 13554 |     - |   189M |   0 | 401 | 507 | 441 |  22 | 21 |  31 |  10 | 5.059535e+04 | 5.080600e+04 |   0.42%| unknown
19.52/19.65	c  19.6s|     1 |     0 | 13554 |     - |   189M |   0 | 401 | 507 | 427 |  22 | 21 |  31 |  10 | 5.059535e+04 | 5.080600e+04 |   0.42%| unknown
19.52/19.68	c  19.7s|     1 |     0 | 13563 |     - |   189M |   0 | 401 | 506 | 428 |  23 | 22 |  31 |  10 | 5.059607e+04 | 5.080600e+04 |   0.41%| unknown
19.62/19.72	c  19.7s|     1 |     0 | 13572 |     - |   189M |   0 | 401 | 507 | 430 |  25 | 23 |  32 |  10 | 5.059619e+04 | 5.080600e+04 |   0.41%| unknown
19.62/19.76	c  19.7s|     1 |     0 | 13590 |     - |   189M |   0 | 401 | 507 | 423 |  26 | 24 |  32 |  10 | 5.059702e+04 | 5.080600e+04 |   0.41%| unknown
19.62/19.76	c  19.8s|     1 |     0 | 13590 |     - |   189M |   0 | 401 | 508 | 421 |  26 | 24 |  33 |  10 | 5.059702e+04 | 5.080600e+04 |   0.41%| unknown
19.62/19.79	c  19.8s|     1 |     0 | 13616 |     - |   189M |   0 | 401 | 506 | 423 |  28 | 25 |  33 |  10 | 5.059772e+04 | 5.080600e+04 |   0.41%| unknown
19.72/19.83	c  19.8s|     1 |     0 | 13624 |     - |   189M |   0 | 401 | 506 | 424 |  29 | 26 |  33 |  10 | 5.059845e+04 | 5.080600e+04 |   0.41%| unknown
19.72/19.87	c  19.9s|     1 |     0 | 13630 |     - |   189M |   0 | 401 | 506 | 426 |  31 | 27 |  33 |  10 | 5.059854e+04 | 5.080600e+04 |   0.41%| unknown
19.82/19.91	c  19.9s|     1 |     0 | 13636 |     - |   189M |   0 | 401 | 506 | 427 |  32 | 28 |  33 |  10 | 5.059879e+04 | 5.080600e+04 |   0.41%| unknown
19.82/19.95	c  19.9s|     1 |     0 | 13655 |     - |   189M |   0 | 401 | 506 | 428 |  33 | 29 |  33 |  10 | 5.060003e+04 | 5.080600e+04 |   0.41%| unknown
19.82/19.95	c  19.9s|     1 |     0 | 13655 |     - |   189M |   0 | 401 | 506 | 428 |  33 | 29 |  33 |  10 | 5.060003e+04 | 5.080600e+04 |   0.41%| unknown
19.82/19.99	c  20.0s|     1 |     0 | 13660 |     - |   189M |   0 | 401 | 506 | 426 |  34 | 30 |  33 |  10 | 5.060006e+04 | 5.080600e+04 |   0.41%| unknown
19.82/20.00	c (run 6, node 1) restarting after 124 global fixings of integer variables
19.82/20.00	c 
19.93/20.01	c (restart) converted 31 cuts from the global cut pool into linear constraints
19.93/20.01	c 
19.93/20.03	c presolving:
19.93/20.04	c (round 1, fast)       129 del vars, 5 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 129 chg coeffs, 0 upgd conss, 0 impls, 337 clqs
19.93/20.04	c (round 2, medium)     130 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 129 chg coeffs, 0 upgd conss, 0 impls, 336 clqs
19.93/20.05	c (round 3, exhaustive) 130 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 133 chg coeffs, 0 upgd conss, 0 impls, 336 clqs
19.93/20.05	c (round 4, exhaustive) 130 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 135 chg coeffs, 0 upgd conss, 0 impls, 336 clqs
19.93/20.05	c (round 5, exhaustive) 130 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 135 chg coeffs, 16 upgd conss, 0 impls, 336 clqs
19.93/20.06	c (round 6, exhaustive) 130 del vars, 9 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 137 chg coeffs, 16 upgd conss, 0 impls, 336 clqs
19.93/20.06	c (round 7, exhaustive) 130 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 138 chg coeffs, 16 upgd conss, 0 impls, 337 clqs
19.93/20.06	c (round 8, exhaustive) 130 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 140 chg coeffs, 16 upgd conss, 0 impls, 337 clqs
19.93/20.06	c presolving (9 rounds: 9 fast, 8 medium, 7 exhaustive):
19.93/20.06	c  130 deleted vars, 14 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 140 changed coefficients
19.93/20.06	c  0 implications, 337 cliques
19.93/20.06	c presolved problem has 271 variables (271 bin, 0 int, 0 impl, 0 cont) and 529 constraints
19.93/20.06	c     113 constraints of type <knapsack>
19.93/20.06	c     278 constraints of type <setppc>
19.93/20.06	c      20 constraints of type <and>
19.93/20.06	c      75 constraints of type <linear>
19.93/20.06	c      43 constraints of type <logicor>
19.93/20.06	c transformed objective value is always integral (scale: 1)
19.93/20.06	c Presolving Time: 0.49
19.93/20.06	c transformed 5/19 original solutions to the transformed problem space
19.93/20.06	c 
19.93/20.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
19.93/20.08	c  20.1s|     1 |     0 | 14326 |     - |   185M |   0 | 271 | 529 | 530 |   0 |  0 |  39 |  10 | 5.060007e+04 | 5.080600e+04 |   0.41%| unknown
19.93/20.09	c  20.1s|     1 |     0 | 14326 |     - |   185M |   0 | 271 | 529 | 528 |   0 |  0 |  39 |  10 | 5.060007e+04 | 5.080600e+04 |   0.41%| unknown
20.12/20.23	c  20.2s|     1 |     0 | 14370 |     - |   185M |   0 | 271 | 527 | 530 |   2 |  1 |  39 |  10 | 5.060284e+04 | 5.080600e+04 |   0.40%| unknown
20.22/20.36	c  20.4s|     1 |     0 | 14416 |     - |   185M |   0 | 271 | 527 | 531 |   3 |  2 |  39 |  10 | 5.060438e+04 | 5.080600e+04 |   0.40%| unknown
20.22/20.37	c  20.4s|     1 |     0 | 14416 |     - |   185M |   0 | 271 | 527 | 530 |   3 |  2 |  39 |  10 | 5.060438e+04 | 5.080600e+04 |   0.40%| unknown
20.32/20.50	c  20.5s|     1 |     0 | 14438 |     - |   186M |   0 | 271 | 526 | 529 |   4 |  3 |  39 |  10 | 5.060495e+04 | 5.080600e+04 |   0.40%| unknown
20.52/20.63	c  20.6s|     1 |     0 | 14468 |     - |   186M |   0 | 271 | 524 | 530 |   5 |  4 |  39 |  10 | 5.060629e+04 | 5.080600e+04 |   0.39%| unknown
20.62/20.77	c  20.8s|     1 |     0 | 14502 |     - |   188M |   0 | 271 | 524 | 531 |   6 |  5 |  39 |  10 | 5.061040e+04 | 5.080600e+04 |   0.39%| unknown
20.62/20.77	c  20.8s|     1 |     0 | 14502 |     - |   188M |   0 | 271 | 524 | 530 |   6 |  5 |  39 |  10 | 5.061040e+04 | 5.080600e+04 |   0.39%| unknown
20.72/20.89	c  20.9s|     1 |     0 | 14544 |     - |   189M |   0 | 271 | 523 | 532 |   8 |  6 |  39 |  10 | 5.061386e+04 | 5.080600e+04 |   0.38%| unknown
20.82/21.00	c  21.0s|     1 |     0 | 14586 |     - |   189M |   0 | 271 | 523 | 533 |   9 |  7 |  39 |  10 | 5.061611e+04 | 5.080600e+04 |   0.38%| unknown
21.03/21.11	c  21.1s|     1 |     0 | 14625 |     - |   191M |   0 | 271 | 523 | 535 |  11 |  8 |  39 |  10 | 5.061854e+04 | 5.080600e+04 |   0.37%| unknown
21.03/21.12	c  21.1s|     1 |     0 | 14625 |     - |   191M |   0 | 271 | 524 | 534 |  11 |  8 |  40 |  10 | 5.061854e+04 | 5.080600e+04 |   0.37%| unknown
21.11/21.23	c  21.2s|     1 |     0 | 14643 |     - |   193M |   0 | 271 | 523 | 535 |  12 |  9 |  40 |  10 | 5.061881e+04 | 5.080600e+04 |   0.37%| unknown
21.11/21.23	c  21.2s|     1 |     0 | 14643 |     - |   193M |   0 | 271 | 523 | 534 |  12 |  9 |  40 |  10 | 5.061881e+04 | 5.080600e+04 |   0.37%| unknown
21.21/21.34	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
21.21/21.34	c  21.3s|     1 |     0 | 14669 |     - |   198M |   0 | 271 | 522 | 535 |  13 | 10 |  40 |  10 | 5.062002e+04 | 5.080600e+04 |   0.37%| unknown
21.21/21.34	c  21.3s|     1 |     0 | 14669 |     - |   198M |   0 | 271 | 522 | 534 |  13 | 10 |  40 |  10 | 5.062002e+04 | 5.080600e+04 |   0.37%| unknown
21.31/21.41	c  21.4s|     1 |     0 | 14702 |     - |   198M |   0 | 271 | 521 | 535 |  14 | 11 |  40 |  10 | 5.062184e+04 | 5.080600e+04 |   0.36%| unknown
21.31/21.41	c  21.4s|     1 |     0 | 14702 |     - |   198M |   0 | 271 | 521 | 533 |  14 | 11 |  40 |  10 | 5.062184e+04 | 5.080600e+04 |   0.36%| unknown
21.31/21.44	c  21.4s|     1 |     0 | 14893 |     - |   198M |   0 | 271 | 520 | 533 |  14 | 11 |  47 |  12 | 5.070333e+04 | 5.080600e+04 |   0.20%| unknown
21.31/21.44	c (run 7, node 1) restarting after 45 global fixings of integer variables
21.31/21.44	c 
21.31/21.44	c (restart) converted 14 cuts from the global cut pool into linear constraints
21.31/21.44	c 
21.31/21.47	c presolving:
21.31/21.47	c (round 1, fast)       55 del vars, 92 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 130 chg coeffs, 0 upgd conss, 0 impls, 240 clqs
21.31/21.48	c (round 2, fast)       60 del vars, 97 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 137 chg coeffs, 0 upgd conss, 0 impls, 238 clqs
21.31/21.48	c (round 3, fast)       63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 138 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
21.31/21.48	c (round 4, medium)     63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 139 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
21.31/21.49	c (round 5, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 174 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
21.31/21.49	c (round 6, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 186 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
21.31/21.49	c (round 7, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 194 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
21.31/21.49	c (round 8, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 201 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
21.31/21.49	c (round 9, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 206 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
21.31/21.49	c (round 10, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 208 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
21.31/21.49	c (round 11, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 209 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
21.31/21.49	c (round 12, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 209 chg coeffs, 10 upgd conss, 0 impls, 235 clqs
21.31/21.49	c (round 13, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 231 chg coeffs, 10 upgd conss, 0 impls, 235 clqs
21.31/21.49	c presolving (14 rounds: 14 fast, 11 medium, 10 exhaustive):
21.31/21.49	c  63 deleted vars, 102 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 231 changed coefficients
21.31/21.49	c  0 implications, 235 cliques
21.31/21.49	c presolved problem has 208 variables (208 bin, 0 int, 0 impl, 0 cont) and 438 constraints
21.31/21.49	c     115 constraints of type <knapsack>
21.31/21.49	c     188 constraints of type <setppc>
21.31/21.49	c      18 constraints of type <and>
21.31/21.49	c      78 constraints of type <linear>
21.31/21.49	c      39 constraints of type <logicor>
21.31/21.49	c transformed objective value is always integral (scale: 1)
21.31/21.49	c Presolving Time: 0.52
21.31/21.50	c transformed 3/20 original solutions to the transformed problem space
21.31/21.50	c 
21.41/21.51	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
21.41/21.51	c  21.5s|     1 |     0 | 15211 |     - |   194M |   0 | 208 | 438 | 444 |   0 |  0 |  47 |  12 | 5.070650e+04 | 5.080600e+04 |   0.20%| unknown
21.41/21.51	c  21.5s|     1 |     0 | 15211 |     - |   194M |   0 | 208 | 438 | 386 |   0 |  0 |  47 |  12 | 5.070650e+04 | 5.080600e+04 |   0.20%| unknown
21.41/21.55	c  21.5s|     1 |     0 | 15245 |     - |   194M |   0 | 208 | 381 | 384 |   1 |  1 |  47 |  12 | 5.076900e+04 | 5.080600e+04 |   0.07%| unknown
21.41/21.55	c  21.5s|     1 |     0 | 15245 |     - |   194M |   0 | 208 | 381 | 376 |   1 |  1 |  47 |  12 | 5.076900e+04 | 5.080600e+04 |   0.07%| unknown
21.41/21.55	c  21.5s|     1 |     0 | 15245 |     - |   194M |   0 | 208 | 341 | 376 |   1 |  2 |  47 |  12 | 5.076900e+04 | 5.080600e+04 |   0.07%| unknown
21.41/21.55	o 50769
21.41/21.55	c d21.5s|     1 |     0 | 15245 |     - |conflict|   0 | 208 | 335 | 376 |   0 |  3 |  47 |  12 | 5.076900e+04 | 5.076900e+04 |   0.00%| unknown
21.41/21.55	c  21.5s|     1 |     0 | 15245 |     - |   194M |   0 | 208 | 335 | 376 |   1 |  3 |  47 |  12 | 5.076900e+04 | 5.076900e+04 |   0.00%| unknown
21.41/21.55	c 
21.41/21.55	c SCIP Status        : problem is solved [optimal solution found]
21.41/21.55	c Solving Time (sec) : 21.54
21.41/21.55	c Solving Nodes      : 1 (total of 8 nodes in 8 runs)
21.41/21.55	c Primal Bound       : +5.07690000000000e+04 (22 solutions)
21.41/21.55	c Dual Bound         : +5.07690000000000e+04
21.41/21.55	c Gap                : 0.00 %
21.41/21.55	s OPTIMUM FOUND
21.41/21.55	v x216 -x3944 -x215 -x3942 x214 x3940 x213 x3938 -x212 -x3936 -x3934 x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916 
21.41/21.55	v -x3914 -x3912 -x3910 -x211 -x3908 x3906 x3904 x3902 -x3900 -x3898 -x3896 x210 -x3894 -x3892 -x209 -x3890 -x3888 -x3886 -x3884 
21.41/21.55	v -x3882 -x208 -x3880 -x3878 -x3876 -x3874 x3872 x207 -x3870 -x3868 -x3866 x3864 -x3862 -x3860 -x3858 -x3856 -x206 -x3854 x205 
21.41/21.55	v x3852 -x204 -x3850 -x3848 -x3846 -x3844 -x3842 -x203 -x3840 -x3838 -x3836 -x202 -x3834 x3832 -x3830 -x3828 -x3826 -x3824 -x201 
21.41/21.55	v -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788 
21.41/21.55	v -x3786 -x200 -x3782 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751 
21.41/21.55	v -x3749 -x3747 -x199 -x3745 -x3743 -x3741 -x3739 -x3737 -x198 -x3735 -x3733 -x3731 -x3729 -x3727 -x197 -x3725 -x3723 -x3720 
21.41/21.55	v -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x196 -x3685 
21.41/21.55	v -x3683 -x3681 -x3679 -x3677 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x195 
21.41/21.55	v -x3648 x3646 -x3644 -x3642 -x3640 -x3638 x3636 x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x194 -x3620 -x193 -x3618 
21.41/21.55	v -x192 -x3616 -x3614 -x3612 -x3610 -x3608 -x191 -x3606 -x3604 -x3602 -x190 -x3600 -x3598 -x3596 -x189 -x3594 -x3592 -x188 -x3590 
21.41/21.55	v -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x187 -x3561 -x3559 -x3556 -x3554 
21.41/21.55	v -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x186 -x3532 -x3530 -x3528 -x185 -x3526 -x3524 -x3522 
21.41/21.55	v -x184 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x183 -x3490 
21.41/21.55	v -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 
21.41/21.55	v -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x182 -x3438 -x3436 x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 
21.41/21.55	v -x181 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 x3394 -x3392 -x3390 -x3388 -x3386 -x3384 
21.41/21.55	v -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x180 -x3362 -x3360 -x3358 -x179 -x3356 -x3354 -x3352 
21.41/21.55	v -x178 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x177 -x3320 
21.41/21.55	v -x3318 -x3316 -x176 -x3314 -x3312 -x3310 -x175 -x3308 -x3306 -x3304 -x174 -x3302 -x173 -x3300 -x172 -x3298 -x3296 -x3294 
21.41/21.55	v -x3292 -x3290 -x171 -x3288 -x3286 -x3284 -x170 -x3282 -x3280 -x3278 -x169 -x3276 -x3274 -x3272 -x168 -x3270 -x3268 -x3266 -x3264 
21.41/21.55	v -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x167 -x3240 -x3238 -x3236 -x166 -x3234 -x3232 
21.41/21.55	v -x3230 -x165 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x164 -x3206 -x3204 -x3202 -x3200 
21.41/21.55	v -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x163 -x3183 -x3181 -x162 -x3179 -x3177 -x3175 -x161 -x3173 -x3171 -x3169 
21.41/21.55	v -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x160 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x159 -x3137 -x3135 
21.41/21.55	v -x3133 -x3131 -x3129 -x3127 -x3125 -x158 -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 
21.41/21.55	v -x3099 -x3097 -x3095 -x157 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 
21.41/21.55	v -x3065 -x156 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 
21.41/21.55	v -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 x3015 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 
21.41/21.55	v -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 
21.41/21.55	v -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 
21.41/21.55	v -x155 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x154 -x2902 -x2900 -x2898 -x2896 -x2894 
21.41/21.55	v -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x153 -x2880 -x2878 -x2876 -x2874 -x2872 -x152 -x2870 -x2868 -x2866 -x2864 -x2862 -x151 
21.41/21.55	v -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x150 
21.41/21.55	v -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x149 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 
21.41/21.55	v -x2792 -x2790 -x2788 -x2786 -x2784 -x148 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 
21.41/21.55	v -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 
21.41/21.55	v -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2695 -x2693 -x2691 -x2689 
21.41/21.55	v -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 
21.41/21.55	v -x2651 -x2649 -x2647 -x2645 -x147 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x146 -x2629 -x2627 -x2625 x2623 -x2621 -x2619 
21.41/21.55	v -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x145 -x2601 -x2599 -x2597 -x144 -x2595 -x2593 -x2591 -x143 -x2589 
21.41/21.55	v -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x142 -x2575 -x2573 -x2571 -x141 -x2569 -x2567 -x2565 -x140 -x2563 -x2561 -x2559 
21.41/21.55	v -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x139 -x2533 -x2531 -x2529 -x138 -x2527 
21.41/21.55	v -x2525 -x2523 -x137 -x2521 -x2519 -x2517 -x136 -x2515 -x2513 -x2511 -x2509 -x2507 -x135 -x2505 -x134 -x2503 -x133 -x2501 -x2499 
21.41/21.55	v -x2497 -x2495 -x2493 -x132 -x2491 -x2489 -x2487 -x131 -x2485 -x2483 -x2481 -x130 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469 
21.41/21.55	v -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x129 -x2449 -x2447 -x2445 -x128 -x2443 -x2441 -x127 -x2439 
21.41/21.55	v -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x126 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 
21.41/21.55	v -x2403 -x2401 -x2399 -x2397 -x125 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x124 -x2381 -x2379 -x2377 -x123 -x2375 -x2373 
21.41/21.55	v -x2371 -x122 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x121 -x2347 -x2345 -x2343 -x2341 
21.41/21.55	v -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x120 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 
21.41/21.55	v -x2305 -x119 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 
21.41/21.55	v -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 
21.41/21.55	v -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x118 -x2203 
21.41/21.55	v -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x117 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x116 -x2175 -x2173 -x2171 
21.41/21.55	v -x115 -x2169 -x2167 -x2165 -x114 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x113 -x2141 
21.41/21.55	v -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x112 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x111 -x2113 -x2111 -x2109 
21.41/21.55	v -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073 
21.41/21.55	v x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 
21.41/21.55	v -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 
21.41/21.55	v -x1999 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 x1975 -x1973 -x1971 -x1969 -x1967 -x1965 
21.41/21.55	v -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x110 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 
21.41/21.55	v -x1929 -x1927 -x1925 -x1923 -x109 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x108 -x1899 
21.41/21.55	v -x1897 -x1895 -x1893 -x1891 -x107 -x1889 -x1887 -x1885 -x1883 -x1881 -x106 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 
21.41/21.55	v -x1865 -x1863 -x1861 -x1859 -x105 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x104 -x1835 -x1833 
21.41/21.55	v -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x103 -x1805 -x1803 -x1801 -x1799 
21.41/21.55	v -x1797 -x1795 -x1793 -x102 -x1791 -x1789 -x1787 -x101 -x1785 -x1783 -x1781 -x100 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769 
21.41/21.55	v -x99 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x98 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x97 -x1739 -x1737 
21.41/21.55	v -x1735 -x1733 -x1731 -x1729 -x1727 -x96 -x1725 -x1723 -x1721 -x95 -x1719 -x1717 -x1715 -x94 -x1713 -x1711 -x1709 -x93 -x1707 
21.41/21.55	v -x1705 -x1703 -x92 -x1701 -x1699 -x1697 -x91 -x1695 -x1693 -x1691 -x90 -x1689 -x89 -x1687 -x88 -x1685 -x1683 -x1681 -x87 
21.41/21.55	v -x1679 -x1677 -x1675 -x86 -x1673 -x1671 -x1669 -x85 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 x1655 -x1653 -x1651 -x1649 -x1647 
21.41/21.55	v -x1645 -x1643 -x1641 -x84 -x1639 -x1637 -x1635 -x83 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x82 -x1619 -x1617 
21.41/21.55	v -x1615 -x1613 -x1611 -x1609 -x1607 -x81 -x1605 -x1603 -x1601 -x80 -x1599 -x1597 -x1595 -x79 -x1593 -x1591 -x1589 -x1587 -x1585 
21.41/21.55	v -x1583 -x1581 -x78 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 x1559 -x1557 -x1555 -x1553 -x1551 
21.41/21.55	v -x1549 -x1547 -x1545 -x77 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x76 -x1529 -x1527 -x1525 -x75 -x1523 -x1521 -x1519 
21.41/21.55	v -x74 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x73 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 
21.41/21.55	v -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449 
21.41/21.55	v -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415 
21.41/21.55	v -x1413 -x72 -x1411 -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x71 -x1381 
21.41/21.55	v -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345 
21.41/21.55	v -x1343 -x1341 -x1339 x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309 
21.41/21.55	v -x1307 -x1305 -x1303 -x1301 -x1299 -x70 -x1297 -x1295 -x1293 -x1291 -x1289 -x69 -x1287 -x1285 -x1283 -x1281 -x1279 -x68 
21.41/21.55	v -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x67 -x1255 -x1253 -x1251 -x66 -x1249 -x1247 -x1245 
21.41/21.55	v -x1243 -x1241 -x1239 -x1237 -x65 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x64 -x1220 -x1218 -x1216 -x1214 -x1212 
21.41/21.55	v -x1210 -x63 -x1208 -x1206 -x1204 -x62 -x1202 -x1200 -x1198 -x61 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x60 -x1182 
21.41/21.55	v -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x59 -x1168 -x1166 -x1164 -x58 -x1162 -x1160 -x1158 -x57 -x1156 -x1154 -x1152 x56 
21.41/21.55	v x1150 -x55 -x1148 -x54 -x1146 -x1144 -x1142 -x53 -x1140 -x1138 -x1136 -x52 -x1134 -x1132 -x1130 -x51 -x1128 -x1126 -x1124 -x50 
21.41/21.55	v -x1122 -x1120 -x1118 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x49 -x1101 -x1099 -x1097 -x48 -x1095 -x1093 -x1091 -x1089 
21.41/21.55	v -x1087 -x1085 -x1083 -x47 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x46 -x1067 -x1065 -x1063 -x45 -x1061 -x1059 
21.41/21.55	v -x1057 -x44 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x43 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x42 -x1027 
21.41/21.55	v -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x41 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991 
21.41/21.55	v -x989 -x987 -x985 -x983 -x981 x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 
21.41/21.55	v -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x40 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x39 -x915 -x913 -x911 
21.41/21.55	v -x38 -x909 -x907 x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x37 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 
21.41/21.55	v -x871 -x869 -x867 -x865 -x863 -x861 -x36 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833 
21.41/21.55	v -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x796 -x794 -x792 -x790 
21.41/21.55	v -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 
21.41/21.55	v -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x35 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x34 
21.41/21.55	v -x708 -x706 -x704 -x702 -x700 -x33 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x32 -x676 x674 -x672 -x670 
21.41/21.55	v -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 
21.41/21.55	v -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 
21.41/21.55	v -x586 -x31 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x30 -x570 -x568 -x566 -x29 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x28 
21.41/21.55	v -x550 -x548 -x546 -x27 -x544 -x542 -x540 -x26 -x538 -x536 -x533 -x531 -x529 -x527 -x25 -x525 -x523 -x521 -x519 -x517 -x515 
21.41/21.55	v -x513 -x511 -x509 -x507 -x505 -x24 -x503 -x501 -x499 -x23 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x22 -x483 -x481 -x479 
21.41/21.55	v -x21 -x477 -x475 -x473 -x20 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 x455 -x453 -x451 -x449 -x447 -x445 -x19 -x443 -x441 
21.41/21.55	v -x439 -x18 -x437 -x435 -x433 -x17 -x431 -x16 -x429 -x15 -x427 -x425 -x423 -x14 -x421 -x419 -x417 -x13 -x415 -x413 -x411 -x12 
21.41/21.55	v -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x11 -x395 -x393 -x391 -x10 -x389 -x387 -x385 -x9 -x383 -x381 -x379 -x377 -x375 
21.41/21.55	v -x373 -x371 -x8 -x369 -x367 -x365 -x7 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x6 -x349 -x347 -x345 -x343 -x341 -x339 -x337 
21.41/21.55	v -x335 -x333 -x331 -x329 -x5 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297 
21.41/21.55	v -x295 -x293 -x291 -x289 x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 
21.41/21.55	v -x253 -x4 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x3 -x237 -x235 -x233 -x2 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x1 -x217 
21.41/21.55	v -x3945 -x3943 x3941 x3939 -x3937 -x3935 x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 
21.41/21.55	v -x3909 x3907 x3905 x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875 
21.41/21.55	v x3873 -x3871 -x3869 -x3867 x3865 -x3863 -x3861 -x3859 -x3857 -x3855 x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 
21.41/21.55	v -x3835 x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 
21.41/21.55	v -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3784 -x3783 -x3781 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770 
21.41/21.55	v -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 
21.41/21.55	v -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3721 -x3719 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 
21.41/21.55	v -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 
21.41/21.55	v -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 x3647 -x3645 -x3643 -x3641 -x3639 x3637 x3635 -x3633 -x3631 -x3629 
21.41/21.55	v -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 
21.41/21.55	v -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558 
21.41/21.55	v -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 
21.41/21.55	v -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 
21.41/21.55	v -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 
21.41/21.55	v -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 
21.41/21.55	v -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 
21.41/21.55	v -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343 
21.41/21.55	v -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 
21.41/21.55	v -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 
21.41/21.55	v -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 
21.41/21.55	v -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 
21.41/21.55	v -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166 
21.41/21.55	v -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130 
21.41/21.55	v -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094 
21.41/21.55	v -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060 
21.41/21.55	v -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 
21.41/21.55	v -x3022 -x3020 -x3018 x3016 -x3014 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 
21.41/21.55	v -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 
21.41/21.55	v -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 
21.41/21.55	v -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 
21.41/21.55	v -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845 
21.41/21.55	v -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 
21.41/21.55	v -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 
21.41/21.55	v -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 
21.41/21.55	v -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 
21.41/21.55	v -x2701 -x2699 x2697 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 
21.41/21.55	v -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 
21.41/21.55	v -x2630 -x2628 -x2626 x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 
21.41/21.55	v -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 
21.41/21.55	v -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 
21.41/21.55	v -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 
21.41/21.55	v -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 
21.41/21.55	v -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 
21.41/21.55	v -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 
21.41/21.55	v -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 
21.41/21.55	v -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 
21.41/21.55	v -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 
21.41/21.55	v -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 
21.41/21.55	v -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 
21.41/21.55	v -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 
21.41/21.55	v -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 
21.41/21.55	v -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 
21.41/21.55	v -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060 
21.41/21.55	v -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 
21.41/21.55	v -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 
21.41/21.55	v -x1986 -x1984 -x1982 -x1980 -x1978 x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 
21.41/21.55	v -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 
21.41/21.55	v -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 
21.41/21.55	v -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 
21.41/21.55	v -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 
21.41/21.55	v -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 
21.41/21.55	v -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 
21.41/21.55	v -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 
21.41/21.55	v -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 
21.41/21.55	v -x1664 -x1662 -x1660 -x1658 x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 
21.41/21.55	v -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 
21.41/21.55	v -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 x1560 -x1558 
21.41/21.55	v -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524 
21.41/21.55	v -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 
21.41/21.55	v -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 
21.41/21.55	v -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 
21.41/21.55	v -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 
21.41/21.55	v -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 
21.41/21.55	v -x1342 -x1340 x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 
21.41/21.55	v -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 
21.41/21.55	v -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 
21.41/21.55	v -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 
21.41/21.55	v -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167 
21.41/21.55	v -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 
21.41/21.55	v -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 
21.41/21.55	v -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 
21.41/21.55	v -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 
21.41/21.55	v -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 
21.41/21.55	v -x984 -x982 x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 
21.41/21.55	v -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 x906 -x904 -x902 
21.41/21.55	v -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 
21.41/21.55	v -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 
21.41/21.55	v -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 x798 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779 
21.41/21.55	v -x777 -x775 -x773 x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737 
21.41/21.55	v -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 
21.41/21.55	v -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 
21.41/21.55	v -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611 
21.41/21.55	v -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 
21.41/21.55	v -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x534 -x532 -x530 -x528 
21.41/21.55	v -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 
21.41/21.55	v -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 x456 -x454 -x452 -x450 -x448 -x446 
21.41/21.55	v -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 
21.41/21.55	v -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 
21.41/21.55	v -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 
21.41/21.55	v -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 x288 -x286 -x284 -x282 -x280 -x278 
21.41/21.55	v -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 
21.41/21.55	v -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 
21.41/21.55	c SCIP Status        : problem is solved [optimal solution found]
21.41/21.55	c Total Time         :      21.54
21.41/21.55	c   solving          :      21.54
21.41/21.55	c   presolving       :       0.52 (included in solving)
21.41/21.55	c   reading          :       0.05 (included in solving)
21.41/21.55	c   copying          :       0.04 (6 #copies) (minimal 0.00, maximal 0.01, average 0.01)
21.41/21.55	c Original Problem   :
21.41/21.55	c   Problem name     : HOME/instance-4432748-1721099365.opb
21.41/21.55	c   Variables        : 3945 (3945 binary, 0 integer, 0 implicit integer, 0 continuous)
21.41/21.55	c   Constraints      : 8604 initial, 8604 maximal
21.41/21.55	c   Objective        : minimize, 1872 non-zeros (abs.min = 1080, abs.max = 2110)
21.41/21.55	c Presolved Problem  :
21.41/21.55	c   Problem name     : t_HOME/instance-4432748-1721099365.opb
21.41/21.55	c   Variables        : 208 (208 binary, 0 integer, 0 implicit integer, 0 continuous)
21.41/21.55	c   Constraints      : 438 initial, 438 maximal
21.41/21.55	c   Objective        : minimize, 190 non-zeros (abs.min = 1106, abs.max = 2956)
21.41/21.55	c   Nonzeros         : 18674 constraint, 300 clique table
21.41/21.55	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
21.41/21.55	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   domcol           :       0.00       0.00      9          0          0          0          0          0          0          0          0          0
21.41/21.55	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   dualsparsify     :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
21.41/21.55	c   gateextraction   :       0.04       0.00     45          0          0          0          0          0       1513        198          0          0
21.41/21.55	c   implics          :       0.00       0.00     53          0          0          0          0          0          0          0          0          0
21.41/21.55	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   milp             :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
21.41/21.55	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
21.41/21.55	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   trivial          :       0.00       0.00     70       1756          0          0          0          0          0          0          0          0
21.41/21.55	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   dualfix          :       0.00       0.00     70          5          0          0          0          0          0          0          0          0
21.41/21.55	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   probing          :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
21.41/21.55	c   pseudoobj        :       0.00       0.00     14          0          0          0          0          0          0          0          0          0
21.41/21.55	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          2          0          0
21.41/21.55	c   vbounds          :       0.00       0.00      8          0          0          0          0          0          0          0          0          0
21.41/21.55	c   knapsack         :       0.11       0.00    136          0          0          0          0          0          7          9          3        180
21.41/21.55	c   setppc           :       0.06       0.00    142          0         31          0          0          0        181          0          0          0
21.41/21.55	c   and              :       0.01       0.00     88          0         47          0          0          0         47          0          0        349
21.41/21.55	c   linear           :       0.15       0.01     88          5       1872          0          5          0       4833          0          0          1
21.41/21.55	c   logicor          :       0.00       0.00    133         14          7          0          0          0         28          0          0        664
21.41/21.55	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   components       :       0.02       0.00      8          0          0          0          0          0          0          0          0          0
21.41/21.55	c   root node        :          -          -      -       1845          -          -       1845          -          -          -          -          -
21.41/21.55	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
21.41/21.55	c   benderslp        :          0          0          0          0          3          0          0        267          0          0          0          0          0          0          0
21.41/21.55	c   integral         :          0          0          0          0          3          0          0        267          0          0         53          0          0          0          0
21.41/21.55	c   knapsack         :        115        115        138      12406          0          0          0          0          0          0          0         23          1          0          0
21.41/21.55	c   setppc           :        188        188        161      23054          0          0          0        249        184          4        265          0          0          0          0
21.41/21.55	c   and              :         18         18        161      23471          0          0          0        248          6          0        138          0          0          0          0
21.41/21.55	c   linear           :         78         78        111       5246          0          0          0          3          0          0          0          0          0          0          0
21.41/21.55	c   logicor          :         39         39        161       3125          0          0          0         71          4          3          2         75          7          0          0
21.41/21.55	c   benders          :          0          0          0          0          0          0          0         58          0          0          0          0          0          0          0
21.41/21.55	c   fixedvar         :          0          0          0          0          0          0          0         58          0          0          0          0          0          0          0
21.41/21.55	c   countsols        :          0          0          0          0          0          0          0         58          0          0          0          0          0          0          0
21.41/21.55	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
21.41/21.55	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
21.41/21.55	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.41/21.55	c   integral         :       0.19       0.00       0.00       0.00       0.19       0.00       0.00       0.00       0.00       0.00
21.41/21.55	c   knapsack         :       3.42       0.00       3.33       0.08       0.00       0.00       0.00       0.00       0.00       0.00
21.41/21.55	c   setppc           :       0.18       0.00       0.01       0.14       0.00       0.00       0.00       0.03       0.00       0.00
21.41/21.55	c   and              :       0.07       0.00       0.01       0.06       0.00       0.00       0.00       0.00       0.00       0.00
21.41/21.55	c   linear           :       1.04       0.01       0.99       0.04       0.00       0.00       0.00       0.00       0.00       0.00
21.41/21.55	c   logicor          :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.41/21.55	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.41/21.55	c   fixedvar         :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.01       0.00       0.00
21.41/21.55	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.41/21.55	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.41/21.55	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
21.41/21.55	c   dualfix          :         40          0          0          0
21.41/21.55	c   genvbounds       :          0          0          0          0
21.41/21.55	c   nlobbt           :          0          0          0          0
21.41/21.55	c   obbt             :          0          0          0          0
21.41/21.55	c   probing          :          0          0          0          0
21.41/21.55	c   pseudoobj        :        353          0          0          0
21.41/21.55	c   redcost          :        252          0          0       1344
21.41/21.55	c   rootredcost      :          0          0          0          0
21.41/21.55	c   symmetry         :          0          0          0          0
21.41/21.55	c   vbounds          :       9535          0          0          0
21.41/21.55	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
21.41/21.55	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
21.41/21.55	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
21.41/21.55	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
21.41/21.55	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
21.41/21.55	c   probing          :       0.03       0.00       0.03       0.00       0.00       0.00
21.41/21.55	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
21.41/21.55	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
21.41/21.55	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
21.41/21.55	c   symmetry         :       0.02       0.00       0.02       0.00       0.00       0.00
21.41/21.55	c   vbounds          :       0.01       0.00       0.00       0.01       0.00       0.00
21.41/21.55	c Symmetry           :
21.41/21.55	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
21.41/21.55	c   orbital reduction:          0 reductions applied,          0 cutoffs
21.41/21.55	c   lexicographic red:          0 reductions applied,          0 cutoffs
21.41/21.55	c   shadow tree time :       0.00 s
21.41/21.55	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
21.41/21.55	c   propagation      :       0.00          6          5          -          9       17.7          0        0.0          -          -          -
21.41/21.55	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
21.41/21.55	c   bound exceed. LP :       0.02         43         24          -         39       11.0          0        0.0          5        1.0        240
21.41/21.55	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
21.41/21.55	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
21.41/21.55	c   applied globally :       0.00          -          -          5         42       12.2          -          -          5          -          -
21.41/21.55	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
21.41/21.55	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
21.41/21.55	c   cut pool         :       0.16          -        281        281          -          -       9771      22242          -          -          -          -          -    (maximal pool size:       1749)
21.41/21.55	c   aggregation      :       3.43       0.00        159        159          0          0          1          1          0          1          1          0          0
21.41/21.55	c   > cmir           :          -          -          -          -          -          -          -          1          0          1          1          0          -
21.41/21.55	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
21.41/21.55	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
21.41/21.55	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   clique           :       0.05       0.00        159        159          0          0          1          1          0          0          0          0          0
21.41/21.55	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   gomory           :       9.63       0.00         71         71          0          0       9633      21929          0        105        105          0          0
21.41/21.55	c   > gomorymi       :          -          -          -          -          -          -          -      20206          0         96         96          0          -
21.41/21.55	c   > strongcg       :          -          -          -          -          -          -          -       1723          0          9          9          0          -
21.41/21.55	c   impliedbounds    :       0.02       0.00        159        159          0         35          1          1          0          1          1          0          0
21.41/21.55	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   mcf              :       0.01       0.00          8          8          0          0          0          0          0          0          0          0          0
21.41/21.55	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   multilinear      :       0.00       0.00        161        161          0          0          0          0          0          0          0          0          0
21.41/21.55	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.41/21.55	c   rlt              :       0.07       0.00         71         71          0          0          0          0          0          0          0          0          0
21.41/21.55	c   zerohalf         :       0.30       0.00        125        125          0          0        135        310          0        112        112          0          0
21.41/21.55	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
21.41/21.55	c   hybrid           :       0.08       0.00        158        158        227          0      22113        227          0      22113
21.41/21.55	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c Pricers            :   ExecTime  SetupTime      Calls       Vars
21.41/21.55	c   problem variables:       0.00          -          0          0
21.41/21.55	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
21.41/21.55	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c   relpscost        :       0.19       0.00          3          0          0          0         53          0          0          0
21.41/21.55	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
21.41/21.55	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
21.41/21.55	c   LP solutions     :       0.00          -          -          0          0
21.41/21.55	c   relax solutions  :       0.00          -          -          0          0
21.41/21.55	c   pseudo solutions :       0.00          -          -          0          0
21.41/21.55	c   strong branching :       0.00          -          -          0          0
21.41/21.55	c   actconsdiving    :       0.00       0.00          0          0          0
21.41/21.55	c   adaptivediving   :       0.00       0.00          0          0          0
21.41/21.55	c   alns             :       0.02       0.00          1          0          0
21.41/21.55	c   bound            :       0.00       0.00          0          0          0
21.41/21.55	c   clique           :       0.04       0.00          1          1          1
21.41/21.55	c   coefdiving       :       0.00       0.00          0          0          0
21.41/21.55	c   completesol      :       0.00       0.00          0          0          0
21.41/21.55	c   conflictdiving   :       0.11       0.00          8          1          1
21.41/21.55	c   crossover        :       0.00       0.00          0          0          0
21.41/21.55	c   dins             :       0.00       0.00          0          0          0
21.41/21.55	c   distributiondivin:       0.00       0.00          0          0          0
21.41/21.55	c   dps              :       0.00       0.00          0          0          0
21.41/21.55	c   dualval          :       0.00       0.00          0          0          0
21.41/21.55	c   farkasdiving     :       0.33       0.00          4          1          1
21.41/21.55	c   feasjump         :       0.00       0.00          0          0          0
21.41/21.55	c   feaspump         :       0.04       0.00          1          1          1
21.41/21.55	c   fixandinfer      :       0.00       0.00          0          0          0
21.41/21.55	c   fracdiving       :       0.00       0.00          0          0          0
21.41/21.55	c   gins             :       0.00       0.00          0          0          0
21.41/21.55	c   guideddiving     :       0.00       0.00          0          0          0
21.41/21.55	c   indcoefdiving    :       0.00       0.00          0          0          0
21.41/21.55	c   indicator        :       0.00       0.00          0          0          0
21.41/21.55	c   indicatordiving  :       0.00       0.00          0          0          0
21.41/21.55	c   indoneopt        :       0.00       0.00          0          0          0
21.41/21.55	c   indrounding      :       0.00       0.00          0          0          0
21.41/21.55	c   indtwoopt        :       0.00       0.00          0          0          0
21.41/21.55	c   intdiving        :       0.00       0.00          0          0          0
21.41/21.55	c   intshifting      :       0.00       0.00          0          0          0
21.41/21.55	c   linesearchdiving :       0.00       0.00          0          0          0
21.41/21.55	c   localbranching   :       0.00       0.00          0          0          0
21.41/21.55	c   locks            :       0.04       0.00          1          0          0
21.41/21.55	c   lpface           :       0.00       0.00          0          0          0
21.41/21.55	c   mpec             :       0.00       0.00          0          0          0
21.41/21.55	c   multistart       :       0.00       0.00          0          0          0
21.41/21.55	c   mutation         :       0.00       0.00          0          0          0
21.41/21.55	c   nlpdiving        :       0.00       0.00          0          0          0
21.41/21.55	c   objpscostdiving  :       0.00       0.00          0          0          0
21.41/21.55	c   octane           :       0.00       0.00          0          0          0
21.41/21.55	c   ofins            :       0.00       0.00          0          0          0
21.41/21.55	c   oneopt           :       0.01       0.00          3          0          0
21.41/21.55	c   padm             :       0.00       0.00          0          0          0
21.41/21.55	c   proximity        :       0.00       0.00          0          0          0
21.41/21.55	c   pscostdiving     :       0.00       0.00          0          0          0
21.41/21.55	c   randrounding     :       0.49       0.00        167          0          0
21.41/21.55	c   rens             :       0.27       0.00          5          5          2
21.41/21.55	c   reoptsols        :       0.00       0.00          0          0          0
21.41/21.55	c   repair           :       0.00       0.00          0          0          0
21.41/21.55	c   rins             :       0.00       0.00          0          0          0
21.41/21.55	c   rootsoldiving    :       0.00       0.00          0          0          0
21.41/21.55	c   rounding         :       0.02       0.00        100          0          0
21.41/21.55	c   scheduler        :       0.00       0.00          0          0          0
21.41/21.55	c   shiftandpropagate:       0.00       0.00          0          0          0
21.41/21.55	c   shifting         :       0.02       0.00        100          0          0
21.41/21.55	c   simplerounding   :       0.00       0.00        237          0          0
21.41/21.55	c   smallcard        :       0.00       0.00          0          0          0
21.41/21.55	c   subnlp           :       0.00       0.00          0          0          0
21.41/21.55	c   trivial          :       0.02       0.00         16         11          2
21.41/21.55	c   trivialnegation  :       0.00       0.00          0          0          0
21.41/21.55	c   trustregion      :       0.00       0.00          0          0          0
21.41/21.55	c   trysol           :       0.00       0.00          0          0          0
21.41/21.55	c   twoopt           :       0.00       0.00          0          0          0
21.41/21.55	c   undercover       :       0.00       0.00          1          0          0
21.41/21.55	c   vbounds          :       0.08       0.00          8          2          2
21.41/21.55	c   veclendiving     :       0.00       0.00          0          0          0
21.41/21.55	c   zeroobj          :       0.00       0.00          0          0          0
21.41/21.55	c   zirounding       :       0.00       0.00          7          0          0
21.41/21.55	c   other solutions  :          -          -          -          0          -
21.41/21.55	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
21.41/21.55	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
21.41/21.55	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
21.41/21.55	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
21.41/21.55	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
21.41/21.55	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
21.41/21.55	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
21.41/21.55	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
21.41/21.55	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
21.41/21.55	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
21.41/21.55	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
21.41/21.55	c   primal LP        :       0.00         14          0       0.00          -       0.00         14
21.41/21.55	c   dual LP          :       0.68        246       9637      58.05   14112.27       0.03         80
21.41/21.55	c   lex dual LP      :       0.00          0          0       0.00          -
21.41/21.55	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
21.41/21.55	c   resolve instable :       0.00          0          0       0.00          -
21.41/21.55	c   diving/probing LP:       0.44        178       5608      31.51   12709.32
21.41/21.55	c   strong branching :       0.16         12       2506     208.83   15345.99          -          -          0
21.41/21.55	c     (at root node) :          -         12       2506     208.83          -
21.41/21.55	c   conflict analysis:       0.01         24        240      10.00   19766.10
21.41/21.55	c B&B Tree           :
21.41/21.55	c   number of runs   :          8
21.41/21.55	c   nodes            :          1 (0 internal, 1 leaves)
21.41/21.55	c   feasible leaves  :          0
21.41/21.55	c   infeas. leaves   :          0
21.41/21.55	c   objective leaves :          0
21.41/21.55	c   nodes (total)    :          8 (0 internal, 8 leaves)
21.41/21.55	c   nodes left       :          0
21.41/21.55	c   max depth        :          0
21.41/21.55	c   max depth (total):          0
21.41/21.55	c   backtracks       :          0 (0.0%)
21.41/21.55	c   early backtracks :          0 (0.0%)
21.41/21.55	c   nodes exc. ref.  :          0 (0.0%)
21.41/21.56	c   delayed cutoffs  :          0
21.41/21.56	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
21.41/21.56	c   avg switch length:       2.00
21.41/21.56	c   switching time   :       0.00
21.41/21.56	c Root Node          :
21.41/21.56	c   First LP value   : +4.95199000000000e+04
21.41/21.56	c   First LP Iters   :        629 (13337.57 Iter/sec)
21.41/21.56	c   First LP Time    :       0.05
21.41/21.56	c   Final Dual Bound : +5.07690000000000e+04
21.41/21.56	c   Final Root Iters :       9637
21.41/21.56	c   Root LP Estimate :                     -
21.41/21.56	c Solution           :
21.41/21.56	c   Solutions found  :         22 (10 improvements)
21.41/21.56	c   First Solution   : +3.03619300000000e+06   (in run 1, after 0 nodes, 0.08 seconds, depth 0, found by <trivial>)
21.41/21.56	c   Gap First Sol.   :   infinite
21.41/21.56	c   Gap Last Sol.    :       0.00 %
21.41/21.56	c   Primal Bound     : +5.07690000000000e+04   (in run 8, after 1 nodes, 21.54 seconds, depth 1, found by <conflictdiving>)
21.41/21.56	c   Dual Bound       : +5.07690000000000e+04
21.41/21.56	c   Gap              :       0.00 %
21.41/21.56	c Integrals          :      Total       Avg%
21.41/21.56	c   primal-dual      :      95.71       4.44
21.41/21.56	c   primal-ref       :          -          - (not evaluated)
21.41/21.56	c   dual-ref         :          -          - (not evaluated)
21.41/21.57	c Time complete: 21.4905.

Verifier Data

OK	50769

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62857 MiB free)
  memory of node 1: 64510 MiB (61951 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432748-1721099365/watcher-4432748-1721099365 -o /tmp/evaluation-result-4432748-1721099365/solver-4432748-1721099365 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721091858-820497 --watchdog 3760 pbscip -f HOME/instance-4432748-1721099365.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
solver pid=825938, runsolver pid=825935
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.07 4.23 4.21 5/242 825939
/proc/meminfo: memFree=127780524/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=77320 memory=37360 CPUtime=0.1 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 6156 0 0 0 9 1 0 0 20 0 1 0 162092928 79175680 9340 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 19330 9340 3553 3540 0 7587 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77320 KiB
Current children cumulated memory: 37360 KiB

[startup+0.212077 s]*
/proc/loadavg: 4.07 4.23 4.21 5/242 825939
/proc/meminfo: memFree=127774952/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=82424 memory=43416 CPUtime=0.21 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 7697 0 0 0 19 2 0 0 20 0 1 0 162092928 84402176 10854 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 20606 10854 3696 3540 0 8863 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 82424 KiB
Current children cumulated memory: 43416 KiB

[startup+0.312135 s]*
/proc/loadavg: 4.07 4.23 4.21 5/242 825939
/proc/meminfo: memFree=127765068/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=98940 memory=53364 CPUtime=0.31 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 10139 0 0 0 29 2 0 0 20 0 1 0 162092928 101314560 13341 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 24735 13341 3744 3540 0 12992 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 98940 KiB
Current children cumulated memory: 53364 KiB

[startup+0.700342 s]
/proc/loadavg: 4.07 4.23 4.21 5/242 825939
/proc/meminfo: memFree=127756400/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=110636 memory=64020 CPUtime=0.68 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 12692 0 0 0 65 3 0 0 20 0 1 0 162092928 113291264 16005 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 27659 16005 3920 3540 0 15916 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 110636 KiB
Current children cumulated memory: 64020 KiB

[startup+1.50028 s]
/proc/loadavg: 4.07 4.23 4.21 5/242 825939
/proc/meminfo: memFree=127754048/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=112464 memory=65868 CPUtime=1.48 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 13151 0 0 0 145 3 0 0 20 0 1 0 162092928 115163136 16467 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 28116 16467 3920 3540 0 16373 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112464 KiB
Current children cumulated memory: 65868 KiB

[startup+3.11268 s]
/proc/loadavg: 4.07 4.23 4.21 6/242 825939
/proc/meminfo: memFree=127742672/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=123456 memory=75576 CPUtime=3.09 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 15568 0 0 0 305 4 0 0 20 0 1 0 162092928 126418944 18894 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 30864 18894 3920 3540 0 19121 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 123456 KiB
Current children cumulated memory: 75576 KiB

[startup+6.30029 s]
/proc/loadavg: 4.06 4.22 4.21 5/242 825939
/proc/meminfo: memFree=127660968/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=219260 memory=169016 CPUtime=6.27 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 43055 0 0 0 619 8 0 0 20 0 1 0 162092928 224522240 42254 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 54815 42254 3983 3540 0 43072 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 219260 KiB
Current children cumulated memory: 169016 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.23 4.22 5/241 825941
/proc/meminfo: memFree=127606684/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=240592 memory=190668 CPUtime=12.64 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 48717 0 0 0 1255 9 0 0 20 0 1 0 162092928 246366208 47667 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 60148 47667 3983 3540 0 48405 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 240592 KiB
Current children cumulated memory: 190668 KiB

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

# cumulated CPU time of all completed processes:  user=21.3756 s, system=0.127368 s

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

[startup+12.8004 s]
/proc/loadavg: 4.14 4.23 4.22 5/241 825941
/proc/meminfo: memFree=127606684/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=240592 memory=190668 CPUtime=12.74 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 48717 0 0 0 1265 9 0 0 20 0 1 0 162092928 246366208 47667 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 60148 47667 3983 3540 0 48405 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 240592 KiB
Current children cumulated memory: 190668 KiB

[startup+16.0002 s]*
/proc/loadavg: 4.13 4.23 4.22 5/241 825941
/proc/meminfo: memFree=127583976/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=254180 memory=203332 CPUtime=15.94 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 51850 0 0 0 1584 10 0 0 20 0 1 0 162092928 260280320 50833 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 63545 50833 3983 3540 0 51802 0
Current children cumulated CPU time: 15.94 s
Current children cumulated vsize: 254180 KiB
Current children cumulated memory: 203332 KiB

[startup+19.2003 s]
/proc/loadavg: 4.13 4.23 4.22 5/241 825942
/proc/meminfo: memFree=127572348/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=263852 memory=212044 CPUtime=19.12 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 54052 0 0 0 1901 11 0 0 20 0 1 0 162092928 270184448 53011 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 65963 53011 3983 3540 0 54220 0
Current children cumulated CPU time: 19.12 s
Current children cumulated vsize: 263852 KiB
Current children cumulated memory: 212044 KiB

[startup+20.8003 s]
/proc/loadavg: 4.12 4.23 4.21 5/241 825942
/proc/meminfo: memFree=127572244/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=263852 memory=212044 CPUtime=20.72 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 54055 0 0 0 2061 11 0 0 20 0 1 0 162092928 270184448 53011 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 65963 53011 3983 3540 0 54220 0
Current children cumulated CPU time: 20.72 s
Current children cumulated vsize: 263852 KiB
Current children cumulated memory: 212044 KiB

[startup+21.2002 s]
/proc/loadavg: 4.12 4.23 4.21 5/241 825942
/proc/meminfo: memFree=127571544/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=263852 memory=212044 CPUtime=21.11 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 54055 0 0 0 2100 11 0 0 20 0 1 0 162092928 270184448 53011 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 65963 53011 3983 3540 0 54220 0
Current children cumulated CPU time: 21.11 s
Current children cumulated vsize: 263852 KiB
Current children cumulated memory: 212044 KiB

[startup+21.4003 s]
/proc/loadavg: 4.12 4.23 4.21 5/241 825942
/proc/meminfo: memFree=127571544/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=264848 memory=213364 CPUtime=21.31 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 54392 0 0 0 2120 11 0 0 20 0 1 0 162092928 271204352 53341 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 66212 53341 3983 3540 0 54469 0
Current children cumulated CPU time: 21.31 s
Current children cumulated vsize: 264848 KiB
Current children cumulated memory: 213364 KiB

[startup+21.5002 s]
/proc/loadavg: 4.12 4.23 4.21 5/241 825942
/proc/meminfo: memFree=127571544/131655788 swapFree=131071996/131071996
[pid=825938] ppid=825935 vsize=264848 memory=213364 CPUtime=21.41 cores=0,2
/proc/825938/stat : 825938 (pbscip) R 825935 825938 820487 0 -1 4194304 54392 0 0 0 2130 11 0 0 20 0 1 0 162092928 271204352 53341 134679101440 4194304 18693293 140736762424768 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 52887552 140736762430468 140736762430567 140736762430567 140736762437582 0
/proc/825938/statm: 66212 53341 3983 3540 0 54469 0
Current children cumulated CPU time: 21.41 s
Current children cumulated vsize: 264848 KiB
Current children cumulated memory: 213364 KiB

Child status: 0

Real time (s): 21.5816
CPU time (s): 21.503
CPU user time (s): 21.3756
CPU system time (s): 0.127368
CPU usage (%): 99.6358
Max. virtual memory (cumulated for all children) (KiB): 264848
Max. memory (cumulated for all children) (KiB): 213364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.3756
system time used= 0.127368
maximum resident set size= 213364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54397
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= 7
involuntary context switches= 159


# summary of solver processes directly reported to runsolver:
#   pid: 825938
#   total CPU time (s): 21.503
#   total CPU user time (s): 21.3756
#   total CPU system time (s): 0.127368

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.144327 second user time and 0.273718 second system time

The end

Launcher Data

Begin job on nodeC008 at 2024-07-16 05:09:37
IDJOB=4432748
IDBENCH=148155
IDSOLVER=3059
FILE ID=nodeC008/4432748-1721099365
RUNJOBID= nodeC008-1721091858-820497
SLURM_JOB_ID= 7505586
Free space on /tmp= 723712 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.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-4432748-1721099365/watcher-4432748-1721099365 -o /tmp/evaluation-result-4432748-1721099365/solver-4432748-1721099365 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721091858-820497 --watchdog 3760  pbscip -f HOME/instance-4432748-1721099365.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=1525236862

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127804172 kB
MemAvailable:   128092852 kB
Buffers:          403552 kB
Cached:           729228 kB
SwapCached:            0 kB
Active:           635696 kB
Inactive:        2693436 kB
Active(anon):       1508 kB
Inactive(anon):  2232592 kB
Active(file):     634188 kB
Inactive(file):   460844 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19404 kB
Writeback:             0 kB
AnonPages:       2195976 kB
Mapped:           139708 kB
Shmem:             37704 kB
KReclaimable:      67360 kB
Slab:             160380 kB
SReclaimable:      67360 kB
SUnreclaim:        93020 kB
KernelStack:        3952 kB
PageTables:        14060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2701768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    835584 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:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723692 MiB
End job on nodeC008 at 2024-07-16 05:09:59