Trace number 4432892

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-07OPT3608846 61.8678 62.0747

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_4_mh.opb
MD5SUM686c663e5ba65a1fad9d6294fae8a8ab
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 benchmark3608846
Best CPU time to get the best result obtained on this benchmark14.2238
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 77854483
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3842291271
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 77854483
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3842291271
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4432892-1721137541.opb>
0.00/0.04	c original problem has 6810 variables (6810 bin, 0 int, 0 impl, 0 cont) and 15202 constraints
0.00/0.04	c problem read in 0.04
0.00/0.07	c presolving:
0.00/0.09	c (round 1, fast)       900 del vars, 423 del conss, 0 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 0 upgd conss, 0 impls, 8521 clqs
0.09/0.11	c    (0.1s) running MILP presolver
0.09/0.13	c    (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.09/0.15	c (round 2, exhaustive) 900 del vars, 528 del conss, 0 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 0 upgd conss, 0 impls, 8521 clqs
0.09/0.19	c (round 3, exhaustive) 900 del vars, 528 del conss, 0 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 14671 upgd conss, 0 impls, 8521 clqs
0.20/0.24	c (round 4, medium)     900 del vars, 3468 del conss, 8190 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 14671 upgd conss, 0 impls, 16711 clqs
0.20/0.27	c (round 5, exhaustive) 900 del vars, 14598 del conss, 11130 add conss, 45 chg bounds, 105 chg sides, 315 chg coeffs, 14671 upgd conss, 0 impls, 16711 clqs
1.58/1.60	c    (1.6s) probing: 1000/5910 (16.9%) - 0 fixings, 0 aggregations, 108421 implications, 0 bound changes
1.58/1.60	c    (1.6s) probing: 1001/5910 (16.9%) - 0 fixings, 0 aggregations, 108548 implications, 0 bound changes
1.58/1.60	c    (1.6s) probing aborted: 1000/1000 successive useless probings
1.58/1.60	c    (1.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.58/1.61	c    (1.6s) no symmetry present (symcode time: 0.00)
1.58/1.62	c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
1.58/1.62	c  900 deleted vars, 14598 deleted constraints, 11130 added constraints, 45 tightened bounds, 0 added holes, 105 changed sides, 315 changed coefficients
1.58/1.62	c  0 implications, 46268 cliques
1.58/1.62	c presolved problem has 5910 variables (5910 bin, 0 int, 0 impl, 0 cont) and 11734 constraints
1.58/1.62	c     150 constraints of type <knapsack>
1.58/1.62	c    8521 constraints of type <setppc>
1.58/1.62	c    2940 constraints of type <and>
1.58/1.62	c       3 constraints of type <linear>
1.58/1.62	c     120 constraints of type <logicor>
1.58/1.62	c transformed objective value is always integral (scale: 1)
1.58/1.62	c Presolving Time: 1.55
1.58/1.62	c - non default parameters ----------------------------------------------------------------------
1.58/1.62	c # SCIP version 10.0.0
1.58/1.62	c 
1.58/1.62	c # maximal time in seconds to run
1.58/1.62	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.58/1.62	c limits/time = 3596.997063
1.58/1.62	c 
1.58/1.62	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.58/1.62	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.58/1.62	c limits/memory = 27900
1.58/1.62	c 
1.58/1.62	c # belongs reading time to solving time?
1.58/1.62	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.58/1.62	c timing/reading = TRUE
1.58/1.62	c 
1.58/1.62	c -----------------------------------------------------------------------------------------------
1.58/1.62	c start solving
1.58/1.62	c 
1.88/1.97	o 363037001
1.88/1.97	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.88/1.97	c L 2.0s|     1 |     0 |   379 |     - |feasjump|   0 |5910 |  11k|  14k|   0 |  0 | 141 |   0 |-4.000000e+00 | 3.630370e+08 |    Inf | unknown
1.98/2.02	c   2.0s|     1 |     0 |   909 |     - |   102M |   0 |5910 |  11k|  14k|   0 |  0 | 141 |   0 | 2.626138e+06 | 3.630370e+08 |  Large | unknown
2.58/2.63	c   2.6s|     1 |     0 |  1000 |     - |   107M |   0 |5910 |  11k|  14k|  10 |  1 | 150 |   0 | 2.715074e+06 | 3.630370e+08 |  Large | unknown
3.18/3.24	c   3.2s|     1 |     0 |  1121 |     - |   112M |   0 |5910 |  11k|  14k|  25 |  2 | 150 |   0 | 2.903769e+06 | 3.630370e+08 |  Large | unknown
3.68/3.79	c   3.8s|     1 |     0 |  1232 |     - |   116M |   0 |5910 |  11k|  14k|  36 |  3 | 153 |   0 | 2.986729e+06 | 3.630370e+08 |  Large | unknown
4.28/4.30	c   4.3s|     1 |     0 |  1322 |     - |   120M |   0 |5910 |  11k|  14k|  47 |  4 | 159 |   0 | 3.074939e+06 | 3.630370e+08 |  Large | unknown
4.87/4.90	c   4.9s|     1 |     0 |  1419 |     - |   124M |   0 |5910 |  11k|  14k|  58 |  5 | 160 |   0 | 3.120366e+06 | 3.630370e+08 |  Large | unknown
5.47/5.51	c   5.5s|     1 |     0 |  1471 |     - |   128M |   0 |5910 |  11k|  14k|  66 |  6 | 161 |   0 | 3.156110e+06 | 3.630370e+08 |  Large | unknown
6.17/6.29	c   6.3s|     1 |     0 |  1559 |     - |   134M |   0 |5910 |  11k|  14k|  71 |  7 | 162 |   0 | 3.175969e+06 | 3.630370e+08 |  Large | unknown
6.76/6.85	c   6.9s|     1 |     0 |  1635 |     - |   139M |   0 |5910 |  11k|  14k|  82 |  8 | 163 |   0 | 3.204619e+06 | 3.630370e+08 |  Large | unknown
7.46/7.53	c   7.5s|     1 |     0 |  1769 |     - |   144M |   0 |5910 |  11k|  14k|  94 |  9 | 164 |   0 | 3.257531e+06 | 3.630370e+08 |  Large | unknown
7.97/8.10	c   8.1s|     1 |     0 |  1827 |     - |   150M |   0 |5910 |  11k|  14k| 100 | 10 | 166 |   0 | 3.283912e+06 | 3.630370e+08 |  Large | unknown
8.07/8.15	c   8.1s|     1 |     0 |  1888 |     - |   151M |   0 |5910 |  11k|  14k| 103 | 11 | 166 |   0 | 3.293050e+06 | 3.630370e+08 |  Large | unknown
8.07/8.20	c   8.2s|     1 |     0 |  1961 |     - |   153M |   0 |5910 |  11k|  14k| 107 | 12 | 167 |   0 | 3.305728e+06 | 3.630370e+08 |  Large | unknown
8.16/8.24	c   8.2s|     1 |     0 |  2024 |     - |   154M |   0 |5910 |  11k|  14k| 112 | 13 | 170 |   0 | 3.311355e+06 | 3.630370e+08 |  Large | unknown
8.16/8.29	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
8.16/8.29	c   8.3s|     1 |     0 |  2093 |     - |   156M |   0 |5910 |  11k|  14k| 117 | 14 | 170 |   0 | 3.314589e+06 | 3.630370e+08 |  Large | unknown
8.26/8.35	c   8.3s|     1 |     0 |  2140 |     - |   158M |   0 |5910 |  11k|  14k| 119 | 15 | 170 |   0 | 3.318395e+06 | 3.630370e+08 |  Large | unknown
8.26/8.39	c   8.4s|     1 |     0 |  2167 |     - |   159M |   0 |5910 |  11k|  14k| 121 | 16 | 170 |   0 | 3.319617e+06 | 3.630370e+08 |  Large | unknown
8.36/8.43	c   8.4s|     1 |     0 |  2177 |     - |   161M |   0 |5910 |  11k|  14k| 124 | 17 | 170 |   0 | 3.320620e+06 | 3.630370e+08 |  Large | unknown
8.36/8.47	c   8.5s|     1 |     0 |  2211 |     - |   163M |   0 |5910 |  11k|  14k| 130 | 18 | 172 |   0 | 3.322975e+06 | 3.630370e+08 |  Large | unknown
8.46/8.51	c   8.5s|     1 |     0 |  2224 |     - |   164M |   0 |5910 |  11k|  14k| 133 | 19 | 174 |   0 | 3.323221e+06 | 3.630370e+08 |  Large | unknown
8.46/8.57	c   8.6s|     1 |     0 |  2303 |     - |   166M |   0 |5910 |  11k|  14k| 136 | 20 | 175 |   0 | 3.327519e+06 | 3.630370e+08 |  Large | unknown
8.56/8.62	c   8.6s|     1 |     0 |  2310 |     - |   166M |   0 |5910 |  11k|  14k| 138 | 21 | 181 |   0 | 3.328786e+06 | 3.630370e+08 |  Large | unknown
8.56/8.65	c   8.6s|     1 |     0 |  2333 |     - |   166M |   0 |5910 |  11k|  14k| 141 | 22 | 183 |   0 | 3.331108e+06 | 3.630370e+08 |  Large | unknown
8.56/8.68	c   8.7s|     1 |     0 |  2335 |     - |   166M |   0 |5910 |  11k|  14k| 142 | 23 | 184 |   0 | 3.331114e+06 | 3.630370e+08 |  Large | unknown
8.66/8.71	c   8.7s|     1 |     0 |  2339 |     - |   167M |   0 |5910 |  11k|  14k| 143 | 24 | 185 |   0 | 3.331124e+06 | 3.630370e+08 |  Large | unknown
8.66/8.75	c   8.7s|     1 |     0 |  2342 |     - |   167M |   0 |5910 |  11k|  14k| 146 | 25 | 187 |   0 | 3.331125e+06 | 3.630370e+08 |  Large | unknown
8.66/8.79	c   8.8s|     1 |     0 |  2343 |     - |   167M |   0 |5910 |  11k|  14k| 147 | 26 | 187 |   0 | 3.331125e+06 | 3.630370e+08 |  Large | unknown
9.65/9.72	o 5603986
9.65/9.72	c o 9.7s|     1 |     0 |  6552 |     - |feaspump|   0 |5910 |  11k|  14k| 147 | 27 | 191 |   0 | 3.331125e+06 | 5.603986e+06 |  68.23%| unknown
9.65/9.77	o 4374968
9.65/9.77	c d 9.8s|     1 |     0 |  6779 |     - |conflict|   0 |5910 |  11k|  14k|   0 | 27 | 191 |   0 | 3.331125e+06 | 4.374968e+06 |  31.34%| unknown
9.76/9.88	o 4238453
9.76/9.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
9.76/9.88	c L 9.9s|     1 |     0 |  6779 |     - |    rens|   0 |5910 |  11k|  14k| 147 | 27 | 191 |   0 | 3.331125e+06 | 4.238453e+06 |  27.24%| unknown
9.85/9.97	c  10.0s|     1 |     0 |  6779 |     - |   168M |   0 |5910 |9857 |  14k| 147 | 27 | 191 |   0 | 3.331125e+06 | 4.238453e+06 |  27.24%| unknown
9.85/10.00	c  10.0s|     1 |     0 |  6779 |     - |   169M |   0 |5910 |9858 |  12k| 147 | 27 | 192 |   0 | 3.331125e+06 | 4.238453e+06 |  27.24%| unknown
9.96/10.03	c  10.0s|     1 |     0 |  6779 |     - |   169M |   0 |5910 |7710 |  12k| 147 | 28 | 192 |   0 | 3.331125e+06 | 4.238453e+06 |  27.24%| unknown
9.96/10.05	c (run 1, node 1) restarting after 1231 global fixings of integer variables
9.96/10.05	c 
9.96/10.05	c (restart) converted 129 cuts from the global cut pool into linear constraints
9.96/10.05	c 
9.96/10.09	c presolving:
9.96/10.10	c (round 1, fast)       1232 del vars, 75 del conss, 0 add conss, 1 chg bounds, 0 chg sides, 971 chg coeffs, 0 upgd conss, 0 impls, 33975 clqs
10.05/10.11	c (round 2, medium)     1232 del vars, 82 del conss, 8 add conss, 1 chg bounds, 0 chg sides, 972 chg coeffs, 0 upgd conss, 0 impls, 33975 clqs
10.05/10.13	c (round 3, exhaustive) 1232 del vars, 82 del conss, 8 add conss, 1 chg bounds, 0 chg sides, 972 chg coeffs, 108 upgd conss, 0 impls, 33975 clqs
10.05/10.15	c (round 4, exhaustive) 1232 del vars, 89 del conss, 8 add conss, 1 chg bounds, 0 chg sides, 997 chg coeffs, 108 upgd conss, 0 impls, 33975 clqs
10.05/10.17	c (round 5, exhaustive) 1955 del vars, 89 del conss, 8 add conss, 1 chg bounds, 0 chg sides, 997 chg coeffs, 108 upgd conss, 0 impls, 27545 clqs
10.05/10.18	c (round 6, fast)       2678 del vars, 1937 del conss, 8 add conss, 1 chg bounds, 0 chg sides, 1720 chg coeffs, 108 upgd conss, 0 impls, 27545 clqs
10.05/10.19	c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
10.05/10.19	c  2678 deleted vars, 1937 deleted constraints, 8 added constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 1720 changed coefficients
10.05/10.19	c  0 implications, 27545 cliques
10.05/10.19	c presolved problem has 3955 variables (3955 bin, 0 int, 0 impl, 0 cont) and 5910 constraints
10.05/10.19	c      70 constraints of type <knapsack>
10.05/10.19	c    3288 constraints of type <setppc>
10.05/10.19	c    2383 constraints of type <and>
10.05/10.19	c      20 constraints of type <linear>
10.05/10.19	c     149 constraints of type <logicor>
10.05/10.19	c transformed objective value is always integral (scale: 1)
10.05/10.19	c Presolving Time: 1.66
10.15/10.20	c transformed 3/4 original solutions to the transformed problem space
10.15/10.20	c 
10.15/10.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
10.15/10.27	c  10.3s|     1 |     0 |  7259 |     - |   166M |   0 |3955 |5910 |8231 |   0 |  0 | 192 |   0 | 3.331125e+06 | 4.238453e+06 |  27.24%| unknown
10.15/10.29	c  10.3s|     1 |     0 |  7259 |     - |   166M |   0 |3955 |5912 |8229 |   0 |  0 | 194 |   0 | 3.331125e+06 | 4.238453e+06 |  27.24%| unknown
10.75/10.82	c  10.8s|     1 |     0 |  7331 |     - |   168M |   0 |3955 |5912 |8233 |   4 |  1 | 194 |   0 | 3.342651e+06 | 4.238453e+06 |  26.80%| unknown
11.34/11.40	c  11.4s|     1 |     0 |  7377 |     - |   174M |   0 |3955 |5912 |8238 |   9 |  2 | 194 |   0 | 3.348066e+06 | 4.238453e+06 |  26.59%| unknown
11.34/11.42	c  11.4s|     1 |     0 |  7377 |     - |   174M |   0 |3955 |5912 |8237 |   9 |  2 | 194 |   0 | 3.348066e+06 | 4.238453e+06 |  26.59%| unknown
12.05/12.13	c  12.1s|     1 |     0 |  7398 |     - |   178M |   0 |3955 |5912 |8240 |  12 |  3 | 194 |   0 | 3.351347e+06 | 4.238453e+06 |  26.47%| unknown
12.64/12.72	c  12.7s|     1 |     0 |  7451 |     - |   183M |   0 |3955 |5912 |8244 |  16 |  4 | 194 |   0 | 3.357938e+06 | 4.238453e+06 |  26.22%| unknown
12.64/12.74	c  12.7s|     1 |     0 |  7451 |     - |   183M |   0 |3955 |5913 |8243 |  16 |  4 | 195 |   0 | 3.357938e+06 | 4.238453e+06 |  26.22%| unknown
13.24/13.36	c  13.4s|     1 |     0 |  7477 |     - |   190M |   0 |3955 |5913 |8246 |  19 |  5 | 195 |   0 | 3.358280e+06 | 4.238453e+06 |  26.21%| unknown
14.14/14.20	c  14.2s|     1 |     0 |  7529 |     - |   194M |   0 |3955 |5915 |8252 |  25 |  6 | 197 |   0 | 3.361228e+06 | 4.238453e+06 |  26.10%| unknown
14.74/14.87	c  14.9s|     1 |     0 |  7548 |     - |   200M |   0 |3955 |5916 |8256 |  29 |  7 | 198 |   0 | 3.361471e+06 | 4.238453e+06 |  26.09%| unknown
15.43/15.59	c  15.6s|     1 |     0 |  7589 |     - |   206M |   0 |3955 |5916 |8259 |  32 |  8 | 198 |   0 | 3.362704e+06 | 4.238453e+06 |  26.04%| unknown
16.33/16.44	c  16.4s|     1 |     0 |  7618 |     - |   211M |   0 |3955 |5916 |8262 |  35 |  9 | 198 |   0 | 3.364466e+06 | 4.238453e+06 |  25.98%| unknown
16.33/16.45	c  16.4s|     1 |     0 |  7618 |     - |   211M |   0 |3955 |5916 |8261 |  35 |  9 | 198 |   0 | 3.364466e+06 | 4.238453e+06 |  25.98%| unknown
17.02/17.17	c  17.2s|     1 |     0 |  7661 |     - |   216M |   0 |3955 |5916 |8266 |  40 | 10 | 198 |   0 | 3.366209e+06 | 4.238453e+06 |  25.91%| unknown
17.12/17.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
17.12/17.20	c  17.2s|     1 |     0 |  7671 |     - |   217M |   0 |3955 |5917 |8268 |  42 | 11 | 199 |   0 | 3.366282e+06 | 4.238453e+06 |  25.91%| unknown
17.12/17.24	c  17.2s|     1 |     0 |  7685 |     - |   218M |   0 |3955 |5917 |8269 |  43 | 12 | 199 |   0 | 3.366525e+06 | 4.238453e+06 |  25.90%| unknown
17.12/17.28	c  17.3s|     1 |     0 |  7690 |     - |   219M |   0 |3955 |5918 |8246 |  46 | 13 | 200 |   0 | 3.366624e+06 | 4.238453e+06 |  25.90%| unknown
17.23/17.32	c  17.3s|     1 |     0 |  7692 |     - |   217M |   0 |3955 |5920 |8247 |  47 | 14 | 202 |   0 | 3.366650e+06 | 4.238453e+06 |  25.90%| unknown
17.23/17.35	c  17.3s|     1 |     0 |  7700 |     - |   218M |   0 |3955 |5923 |8248 |  48 | 15 | 205 |   0 | 3.366747e+06 | 4.238453e+06 |  25.89%| unknown
17.23/17.39	c  17.4s|     1 |     0 |  7751 |     - |   219M |   0 |3955 |5923 |8250 |  50 | 16 | 205 |   0 | 3.368292e+06 | 4.238453e+06 |  25.83%| unknown
17.33/17.43	c  17.4s|     1 |     0 |  7769 |     - |   220M |   0 |3955 |5923 |8253 |  53 | 17 | 205 |   0 | 3.368612e+06 | 4.238453e+06 |  25.82%| unknown
17.33/17.46	c  17.5s|     1 |     0 |  7785 |     - |   221M |   0 |3955 |5925 |8255 |  55 | 18 | 207 |   0 | 3.368797e+06 | 4.238453e+06 |  25.82%| unknown
17.42/17.50	c  17.5s|     1 |     0 |  7801 |     - |   222M |   0 |3955 |5929 |8238 |  56 | 19 | 211 |   0 | 3.369497e+06 | 4.238453e+06 |  25.79%| unknown
17.42/17.54	c  17.5s|     1 |     0 |  7837 |     - |   223M |   0 |3955 |5930 |8240 |  58 | 20 | 212 |   0 | 3.370068e+06 | 4.238453e+06 |  25.77%| unknown
17.42/17.57	c  17.6s|     1 |     0 |  7848 |     - |   223M |   0 |3955 |5930 |8242 |  60 | 21 | 212 |   0 | 3.370166e+06 | 4.238453e+06 |  25.76%| unknown
17.52/17.61	c  17.6s|     1 |     0 |  7868 |     - |   223M |   0 |3955 |5930 |8243 |  61 | 22 | 212 |   0 | 3.370561e+06 | 4.238453e+06 |  25.75%| unknown
17.52/17.64	c  17.6s|     1 |     0 |  7889 |     - |   223M |   0 |3955 |5930 |8244 |  62 | 23 | 212 |   0 | 3.371030e+06 | 4.238453e+06 |  25.73%| unknown
17.52/17.68	c  17.7s|     1 |     0 |  7918 |     - |   223M |   0 |3955 |5931 |8245 |  63 | 24 | 213 |   0 | 3.372019e+06 | 4.238453e+06 |  25.69%| unknown
17.62/17.71	c  17.7s|     1 |     0 |  7927 |     - |   223M |   0 |3955 |5932 |8243 |  64 | 25 | 214 |   0 | 3.372057e+06 | 4.238453e+06 |  25.69%| unknown
17.62/17.75	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
17.62/17.75	c  17.8s|     1 |     0 |  7946 |     - |   223M |   0 |3955 |5935 |8244 |  65 | 26 | 217 |   0 | 3.372421e+06 | 4.238453e+06 |  25.68%| unknown
17.62/17.79	c  17.8s|     1 |     0 |  7957 |     - |   223M |   0 |3955 |5937 |8245 |  66 | 27 | 219 |   0 | 3.372473e+06 | 4.238453e+06 |  25.68%| unknown
17.72/17.83	c  17.8s|     1 |     0 |  7959 |     - |   223M |   0 |3955 |5938 |8246 |  67 | 28 | 220 |   0 | 3.372485e+06 | 4.238453e+06 |  25.68%| unknown
17.72/17.87	c  17.9s|     1 |     0 |  7960 |     - |   223M |   0 |3955 |5938 |8247 |  68 | 29 | 220 |   0 | 3.372485e+06 | 4.238453e+06 |  25.68%| unknown
17.82/17.91	c  17.9s|     1 |     0 |  7989 |     - |   223M |   0 |3955 |5941 |8248 |  69 | 30 | 223 |   0 | 3.372888e+06 | 4.238453e+06 |  25.66%| unknown
17.82/17.95	c  18.0s|     1 |     0 |  7994 |     - |   223M |   0 |3955 |5942 |8242 |  70 | 31 | 224 |   0 | 3.372895e+06 | 4.238453e+06 |  25.66%| unknown
17.82/17.99	c  18.0s|     1 |     0 |  7996 |     - |   223M |   0 |3955 |5944 |8243 |  71 | 32 | 226 |   0 | 3.372897e+06 | 4.238453e+06 |  25.66%| unknown
17.92/18.03	c  18.0s|     1 |     0 |  7997 |     - |   223M |   0 |3955 |5945 |8244 |  72 | 33 | 227 |   0 | 3.372898e+06 | 4.238453e+06 |  25.66%| unknown
17.92/18.07	c  18.1s|     1 |     0 |  8003 |     - |   223M |   0 |3955 |5945 |8245 |  73 | 34 | 227 |   0 | 3.372911e+06 | 4.238453e+06 |  25.66%| unknown
18.02/18.11	c  18.1s|     1 |     0 |  8003 |     - |   223M |   0 |3955 |5946 |8250 |  73 | 35 | 228 |   0 | 3.372911e+06 | 4.238453e+06 |  25.66%| unknown
18.22/18.38	c  18.4s|     1 |     0 |  8259 |     - |   223M |   0 |3955 |5947 |8263 |  73 | 36 | 229 |   1 | 3.373804e+06 | 4.238453e+06 |  25.63%| unknown
18.32/18.46	c  18.5s|     1 |     0 |  8259 |     - |   223M |   0 |3955 |5948 |8276 |  73 | 37 | 230 |   2 | 3.375292e+06 | 4.238453e+06 |  25.57%| unknown
18.42/18.53	c  18.5s|     1 |     0 |  8259 |     - |   223M |   0 |3955 |5948 |8289 |  73 | 38 | 230 |   3 | 3.377166e+06 | 4.238453e+06 |  25.50%| unknown
18.52/18.60	c  18.6s|     1 |     0 |  8259 |     - |   223M |   0 |3955 |5948 |8302 |  73 | 39 | 230 |   4 | 3.377166e+06 | 4.238453e+06 |  25.50%| unknown
18.52/18.67	c  18.7s|     1 |     0 |  8259 |     - |   224M |   0 |3955 |5948 |8315 |  73 | 40 | 230 |   5 | 3.378496e+06 | 4.238453e+06 |  25.45%| unknown
18.62/18.74	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.74	c  18.7s|     1 |     0 |  8259 |     - |   224M |   0 |3955 |5948 |8328 |  73 | 41 | 230 |   6 | 3.378496e+06 | 4.238453e+06 |  25.45%| unknown
18.72/18.80	c  18.8s|     1 |     0 |  8259 |     - |   224M |   0 |3955 |5948 |8341 |  73 | 42 | 230 |   7 | 3.378496e+06 | 4.238453e+06 |  25.45%| unknown
18.72/18.87	c  18.9s|     1 |     0 |  8259 |     - |   224M |   0 |3955 |5948 |8354 |  73 | 43 | 230 |   8 | 3.378496e+06 | 4.238453e+06 |  25.45%| unknown
18.82/18.96	c  19.0s|     1 |     0 |  8259 |     - |   224M |   0 |3955 |5948 |8367 |  73 | 44 | 230 |  10 | 3.378496e+06 | 4.238453e+06 |  25.45%| unknown
18.92/19.02	c  19.0s|     1 |     0 |  8259 |     - |   224M |   0 |3955 |5948 |8380 |  73 | 45 | 230 |  11 | 3.378496e+06 | 4.238453e+06 |  25.45%| unknown
19.51/19.69	c  19.7s|     1 |     0 |  8259 |     - |   224M |   0 |3955 |5948 |8458 |  73 | 46 | 230 |  28 | 3.387013e+06 | 4.238453e+06 |  25.14%| unknown
19.71/19.85	c  19.8s|     1 |     0 |  8259 |     - |   224M |   0 |3955 |5948 |8474 |  73 | 47 | 230 |  33 | 3.387013e+06 | 4.238453e+06 |  25.14%| unknown
19.92/20.07	c  20.1s|     1 |     0 |  8259 |     - |   224M |   0 |3955 |5948 |8487 |  73 | 48 | 230 |  37 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
20.02/20.15	c  20.1s|     1 |     0 |  8259 |     - |   225M |   0 |3955 |5948 |8577 |  73 | 49 | 230 |  38 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
20.31/20.45	c  20.4s|     1 |     0 |  8259 |     - |   225M |   0 |3955 |5948 |8577 |  73 | 50 | 230 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
20.31/20.45	c (run 2, node 1) restarting after 423 global fixings of integer variables
20.31/20.45	c 
20.31/20.45	c (restart) converted 58 cuts from the global cut pool into linear constraints
20.31/20.45	c 
20.41/20.51	c presolving:
20.41/20.51	c (round 1, fast)       423 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 4 chg coeffs, 91 upgd conss, 0 impls, 23381 clqs
20.41/20.54	c (round 2, exhaustive) 423 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 4 chg coeffs, 126 upgd conss, 0 impls, 23381 clqs
20.41/20.56	c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
20.41/20.56	c  423 deleted vars, 2 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 6 changed coefficients
20.41/20.56	c  0 implications, 23381 cliques
20.41/20.56	c presolved problem has 3532 variables (3532 bin, 0 int, 0 impl, 0 cont) and 6004 constraints
20.41/20.56	c      78 constraints of type <knapsack>
20.41/20.56	c    3735 constraints of type <setppc>
20.41/20.56	c    1960 constraints of type <and>
20.41/20.56	c      43 constraints of type <linear>
20.41/20.56	c     188 constraints of type <logicor>
20.41/20.56	c transformed objective value is always integral (scale: 1)
20.41/20.56	c Presolving Time: 1.71
20.41/20.57	c transformed 4/5 original solutions to the transformed problem space
20.41/20.57	c 
20.51/20.66	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
20.51/20.66	c  20.7s|     1 |     0 |  8846 |     - |   223M |   0 |3532 |6004 |7864 |   0 |  0 | 230 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
20.51/20.68	c  20.7s|     1 |     0 |  8846 |     - |   223M |   0 |3532 |6005 |7863 |   0 |  0 | 231 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
21.41/21.57	c  21.6s|     1 |     0 |  8883 |     - |   225M |   0 |3532 |6005 |7868 |   5 |  1 | 231 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
22.20/22.33	c  22.3s|     1 |     0 |  8893 |     - |   226M |   0 |3532 |6006 |7869 |   6 |  2 | 232 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
22.80/22.94	c  22.9s|     1 |     0 |  8932 |     - |   232M |   0 |3532 |6009 |7871 |   8 |  3 | 235 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
23.70/23.84	c  23.8s|     1 |     0 |  8966 |     - |   235M |   0 |3532 |6012 |7874 |  11 |  4 | 238 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
24.59/24.72	c  24.7s|     1 |     0 |  8981 |     - |   239M |   0 |3532 |6012 |7875 |  12 |  5 | 238 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
25.49/25.62	c  25.6s|     1 |     0 |  9001 |     - |   244M |   0 |3532 |6012 |7876 |  13 |  6 | 238 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
26.29/26.46	c  26.5s|     1 |     0 |  9024 |     - |   248M |   0 |3532 |6013 |7877 |  14 |  7 | 239 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
27.28/27.40	c  27.4s|     1 |     0 |  9029 |     - |   253M |   0 |3532 |6013 |7879 |  16 |  8 | 239 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
28.09/28.29	c  28.3s|     1 |     0 |  9048 |     - |   257M |   0 |3532 |6014 |7881 |  18 |  9 | 240 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
28.99/29.14	c  29.1s|     1 |     0 |  9071 |     - |   264M |   0 |3532 |6016 |7882 |  19 | 10 | 242 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.08/29.21	c  29.2s|     1 |     0 |  9125 |     - |   265M |   0 |3532 |6018 |7826 |  21 | 11 | 244 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.08/29.26	c  29.3s|     1 |     0 |  9150 |     - |   266M |   0 |3532 |6020 |7827 |  22 | 12 | 246 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.18/29.31	c  29.3s|     1 |     0 |  9157 |     - |   267M |   0 |3532 |6020 |7829 |  24 | 13 | 246 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.18/29.36	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
29.18/29.36	c  29.4s|     1 |     0 |  9180 |     - |   267M |   0 |3532 |6021 |7831 |  26 | 14 | 247 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.28/29.42	c  29.4s|     1 |     0 |  9210 |     - |   268M |   0 |3532 |6022 |7834 |  29 | 15 | 248 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.28/29.46	c  29.5s|     1 |     0 |  9222 |     - |   269M |   0 |3532 |6026 |7835 |  30 | 16 | 252 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.38/29.51	c  29.5s|     1 |     0 |  9232 |     - |   270M |   0 |3532 |6026 |7828 |  31 | 17 | 252 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.38/29.56	c  29.6s|     1 |     0 |  9251 |     - |   271M |   0 |3532 |6030 |7830 |  33 | 18 | 256 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.48/29.61	c  29.6s|     1 |     0 |  9260 |     - |   272M |   0 |3532 |6030 |7831 |  34 | 19 | 256 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.48/29.66	c  29.7s|     1 |     0 |  9281 |     - |   272M |   0 |3532 |6030 |7833 |  36 | 20 | 256 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.58/29.71	c  29.7s|     1 |     0 |  9284 |     - |   272M |   0 |3532 |6031 |7836 |  39 | 21 | 257 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.58/29.76	c  29.8s|     1 |     0 |  9286 |     - |   272M |   0 |3532 |6033 |7837 |  40 | 22 | 259 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.68/29.81	c  29.8s|     1 |     0 |  9287 |     - |   272M |   0 |3532 |6034 |7825 |  41 | 23 | 260 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.68/29.85	c  29.9s|     1 |     0 |  9291 |     - |   272M |   0 |3532 |6035 |7826 |  42 | 24 | 261 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
29.78/29.90	c  29.9s|     1 |     0 |  9291 |     - |   272M |   0 |3532 |6035 |7827 |  42 | 25 | 261 |  44 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
30.08/30.21	c  30.2s|     1 |     0 |  9628 |     - |   272M |   0 |3532 |6035 |7840 |  42 | 26 | 261 |  48 | 3.396877e+06 | 4.238453e+06 |  24.77%| unknown
30.48/30.64	c  30.6s|     1 |     0 |  9628 |     - |   272M |   0 |3532 |6035 |7853 |  42 | 27 | 261 |  59 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
30.68/30.83	c  30.8s|     1 |     0 |  9628 |     - |   272M |   0 |3532 |6035 |7866 |  42 | 28 | 261 |  63 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
30.78/30.90	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
30.78/30.90	c  30.9s|     1 |     0 |  9628 |     - |   272M |   0 |3532 |6035 |7955 |  42 | 29 | 261 |  64 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
30.78/30.99	c  31.0s|     1 |     0 |  9628 |     - |   273M |   0 |3532 |6035 |7991 |  42 | 30 | 261 |  65 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
31.28/31.42	c  31.4s|     1 |     2 |  9628 |     - |   273M |   0 |3532 |6035 |7991 |  42 | 31 | 261 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
31.28/31.42	c (run 3, node 1) restarting after 165 global fixings of integer variables
31.28/31.42	c 
31.28/31.43	c (restart) converted 31 cuts from the global cut pool into linear constraints
31.28/31.43	c 
31.38/31.50	c presolving:
31.38/31.51	c (round 1, fast)       165 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 22221 clqs
31.38/31.52	c (round 2, exhaustive) 165 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 22 upgd conss, 0 impls, 22221 clqs
31.38/31.55	c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
31.38/31.55	c  165 deleted vars, 2 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 18 changed coefficients
31.38/31.55	c  0 implications, 22222 cliques
31.38/31.55	c presolved problem has 3367 variables (3367 bin, 0 int, 0 impl, 0 cont) and 6064 constraints
31.38/31.55	c      88 constraints of type <knapsack>
31.38/31.55	c    3908 constraints of type <setppc>
31.38/31.55	c    1795 constraints of type <and>
31.38/31.55	c      52 constraints of type <linear>
31.38/31.55	c     221 constraints of type <logicor>
31.38/31.55	c transformed objective value is always integral (scale: 1)
31.38/31.55	c Presolving Time: 1.76
31.38/31.55	c transformed 4/5 original solutions to the transformed problem space
31.38/31.55	c 
31.47/31.65	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
31.47/31.65	c  31.7s|     1 |     0 | 10221 |     - |   270M |   0 |3367 |6064 |7728 |   0 |  0 | 261 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
31.47/31.67	c  31.7s|     1 |     0 | 10221 |     - |   270M |   0 |3367 |6065 |7724 |   0 |  0 | 262 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
32.47/32.67	c  32.7s|     1 |     0 | 10227 |     - |   271M |   0 |3367 |6065 |7726 |   2 |  1 | 262 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
33.57/33.72	c  33.7s|     1 |     0 | 10257 |     - |   273M |   0 |3367 |6065 |7728 |   4 |  2 | 262 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
34.57/34.76	c  34.8s|     1 |     0 | 10315 |     - |   279M |   0 |3367 |6065 |7729 |   5 |  3 | 262 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
35.46/35.64	c  35.6s|     1 |     0 | 10337 |     - |   284M |   0 |3367 |6069 |7730 |   6 |  4 | 266 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
36.46/36.64	c  36.6s|     1 |     0 | 10350 |     - |   286M |   0 |3367 |6069 |7732 |   8 |  5 | 266 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
37.36/37.56	c  37.6s|     1 |     0 | 10369 |     - |   286M |   0 |3367 |6071 |7733 |   9 |  6 | 268 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
38.35/38.59	c  38.6s|     1 |     0 | 10380 |     - |   290M |   0 |3367 |6075 |7734 |  10 |  7 | 272 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
38.45/38.60	c  38.6s|     1 |     0 | 10380 |     - |   290M |   0 |3367 |6076 |7733 |  10 |  7 | 273 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
39.55/39.72	c  39.7s|     1 |     0 | 10435 |     - |   297M |   0 |3367 |6076 |7737 |  14 |  8 | 273 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
40.55/40.71	c  40.7s|     1 |     0 | 10449 |     - |   300M |   0 |3367 |6076 |7739 |  16 |  9 | 273 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
41.55/41.77	c  41.8s|     1 |     0 | 10459 |     - |   314M |   0 |3367 |6078 |7743 |  20 | 10 | 275 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
41.65/41.84	c  41.8s|     1 |     0 | 10498 |     - |   314M |   0 |3367 |6078 |7745 |  22 | 11 | 275 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
41.75/41.91	c  41.9s|     1 |     0 | 10512 |     - |   315M |   0 |3367 |6079 |7748 |  25 | 12 | 276 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
41.75/41.97	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
41.75/41.97	c  42.0s|     1 |     0 | 10530 |     - |   316M |   0 |3367 |6080 |7676 |  26 | 13 | 277 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
41.85/42.03	c  42.0s|     1 |     0 | 10564 |     - |   317M |   0 |3367 |6081 |7677 |  27 | 14 | 278 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
41.85/42.08	c  42.1s|     1 |     0 | 10575 |     - |   318M |   0 |3367 |6081 |7678 |  28 | 15 | 278 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
41.95/42.14	c  42.1s|     1 |     0 | 10585 |     - |   318M |   0 |3367 |6082 |7680 |  30 | 16 | 279 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
41.95/42.19	c  42.2s|     1 |     0 | 10591 |     - |   319M |   0 |3367 |6082 |7682 |  32 | 17 | 279 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
42.04/42.25	c  42.3s|     1 |     0 | 10596 |     - |   320M |   0 |3367 |6086 |7683 |  33 | 18 | 283 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
42.14/42.31	c  42.3s|     1 |     0 | 10599 |     - |   321M |   0 |3367 |6090 |7665 |  34 | 19 | 287 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
42.14/42.36	c  42.4s|     1 |     0 | 10610 |     - |   322M |   0 |3367 |6090 |7666 |  35 | 20 | 287 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
42.24/42.41	c  42.4s|     1 |     0 | 10614 |     - |   322M |   0 |3367 |6091 |7667 |  36 | 21 | 288 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
42.24/42.42	c  42.4s|     1 |     0 | 10614 |     - |   322M |   0 |3367 |6094 |7672 |  36 | 21 | 291 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
42.24/42.47	c  42.5s|     1 |     0 | 10625 |     - |   322M |   0 |3367 |6094 |7673 |  37 | 22 | 291 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
42.34/42.52	c  42.5s|     1 |     0 | 10634 |     - |   322M |   0 |3367 |6097 |7674 |  38 | 23 | 294 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
42.34/42.58	c  42.6s|     1 |     0 | 10638 |     - |   322M |   0 |3367 |6097 |7675 |  39 | 24 | 294 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
42.44/42.63	c  42.6s|     1 |     0 | 10639 |     - |   322M |   0 |3367 |6099 |7658 |  40 | 25 | 296 |  82 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
43.34/43.52	c  43.5s|     1 |     0 | 10938 |     - |   322M |   0 |3367 |6100 |7723 |  40 | 26 | 297 | 104 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
43.54/43.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
43.54/43.70	c  43.7s|     1 |     0 | 10938 |     - |   322M |   0 |3367 |6097 |7801 |  40 | 27 | 297 | 108 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
44.14/44.32	c  44.3s|     1 |     2 | 10938 |     - |   322M |   0 |3367 |6096 |7801 |  40 | 28 | 297 | 124 | 3.405667e+06 | 4.238453e+06 |  24.45%| unknown
50.32/50.53	o 4214237
50.32/50.53	c *50.5s|    19 |     8 | 12595 | 350.7 |strongbr|   7 |3367 |6103 |7788 |  46 |  8 | 332 | 385 | 3.405667e+06 | 4.214237e+06 |  23.74%|   3.51%
50.32/50.55	o 4165296
50.32/50.55	c *50.5s|    19 |     8 | 12612 | 351.5 |    LP  |   7 |3367 |6103 |7788 |  46 | 10 | 332 | 386 | 3.405667e+06 | 4.165296e+06 |  22.30%|   3.51%
59.19/59.46	o 3611798
59.19/59.46	c *59.5s|    55 |    10 | 16640 | 200.2 |strongbr|  10 |3367 |6077 |7807 |  75 |  2 | 439 | 855 | 3.405667e+06 | 3.611798e+06 |   6.05%|  15.28%
60.39/60.67	o 3608846
60.39/60.67	c *60.7s|    76 |     9 | 17496 | 157.2 |    LP  |  10 |3367 |5807 |8015 |  76 |  2 | 508 | 970 | 3.405667e+06 | 3.608846e+06 |   5.97%|  23.50%
61.68/61.91	c 
61.68/61.91	c SCIP Status        : problem is solved [optimal solution found]
61.68/61.91	c Solving Time (sec) : 61.91
61.68/61.91	c Solving Nodes      : 93 (total of 96 nodes in 4 runs)
61.68/61.91	c Primal Bound       : +3.60884600000000e+06 (9 solutions)
61.68/61.91	c Dual Bound         : +3.60884600000000e+06
61.68/61.91	c Gap                : 0.00 %
61.68/61.91	s OPTIMUM FOUND
61.68/61.92	v -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 
61.68/61.92	v -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 
61.68/61.92	v -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 
61.68/61.92	v -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 
61.68/61.92	v -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 
61.68/61.92	v -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 
61.68/61.92	v -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 
61.68/61.92	v -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 
61.68/61.92	v -x4628 -x4627 -x4626 -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 
61.68/61.92	v -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 x4596 -x4595 -x4594 
61.68/61.92	v -x4593 -x4592 -x4591 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 
61.68/61.92	v -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 
61.68/61.92	v -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 
61.68/61.92	v -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4525 -x4524 -x4523 -x4522 
61.68/61.92	v -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 
61.68/61.92	v -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 
61.68/61.92	v -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 
61.68/61.92	v -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 
61.68/61.92	v -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 
61.68/61.92	v -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 
61.68/61.92	v -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 
61.68/61.92	v -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 
61.68/61.92	v -x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 
61.68/61.92	v -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 
61.68/61.92	v -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 
61.68/61.92	v -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 
61.68/61.92	v -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 
61.68/61.92	v -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 
61.68/61.92	v -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 
61.68/61.92	v -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 
61.68/61.92	v -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 
61.68/61.92	v -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 
61.68/61.92	v -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 
61.68/61.92	v -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 
61.68/61.92	v -x3982 -x3981 -x3980 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 
61.68/61.92	v -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 
61.68/61.92	v -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 
61.68/61.92	v -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 
61.68/61.92	v -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 
61.68/61.92	v -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 
61.68/61.92	v -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 -x4045 -x3862 -x3861 -x3860 -x3859 -x3858 
61.68/61.92	v -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 
61.68/61.92	v -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 
61.68/61.92	v -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 
61.68/61.92	v -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 
61.68/61.92	v -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 
61.68/61.92	v -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 
61.68/61.92	v -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 
61.68/61.92	v -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 
61.68/61.92	v -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 x3884 -x3883 -x3882 -x3881 -x3880 -x3879 
61.68/61.92	v -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3680 -x3679 
61.68/61.92	v -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 
61.68/61.92	v -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 
61.68/61.92	v -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 
61.68/61.92	v -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 
61.68/61.92	v -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 
61.68/61.92	v -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 
61.68/61.92	v -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 
61.68/61.92	v -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 
61.68/61.92	v -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 
61.68/61.92	v -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 
61.68/61.92	v -x3682 -x3681 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 
61.68/61.92	v -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 
61.68/61.92	v -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 
61.68/61.92	v -x6189 -x6188 -x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 
61.68/61.92	v -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 
61.68/61.92	v -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 
61.68/61.92	v -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 
61.68/61.92	v -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 
61.68/61.92	v -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 
61.68/61.92	v -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 
61.68/61.92	v -x6246 -x6245 -x6244 -x6243 -x6242 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 
61.68/61.92	v -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 
61.68/61.92	v -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 
61.68/61.92	v -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 
61.68/61.92	v -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 
61.68/61.92	v -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 
61.68/61.92	v -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 
61.68/61.92	v -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108 -x6107 -x6106 -x6105 -x6104 
61.68/61.92	v -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 -x6086 
61.68/61.92	v -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 
61.68/61.92	v -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870 -x5869 
61.68/61.92	v -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 
61.68/61.92	v -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 
61.68/61.92	v -x5832 -x5831 -x5830 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 
61.68/61.92	v -x5814 -x5813 -x5812 -x5811 -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5981 -x5980 -x5979 
61.68/61.92	v -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964 -x5963 -x5962 -x5961 
61.68/61.92	v -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946 -x5945 -x5944 -x5943 
61.68/61.92	v -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 -x5926 
61.68/61.92	v -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 
61.68/61.92	v -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891 -x5890 
61.68/61.92	v -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 
61.68/61.92	v -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 
61.68/61.92	v -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 
61.68/61.92	v -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 
61.68/61.92	v -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 
61.68/61.92	v -x5618 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 
61.68/61.92	v -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 
61.68/61.92	v -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 
61.68/61.92	v -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5730 -x5729 
61.68/61.92	v -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 
61.68/61.92	v -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5513 -x5512 -x5511 
61.68/61.92	v -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 
61.68/61.92	v -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 
61.68/61.92	v -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 
61.68/61.92	v -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 
61.68/61.92	v -x5439 -x5438 -x5437 -x5436 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 
61.68/61.92	v -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586 
61.68/61.92	v -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 
61.68/61.92	v -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 
61.68/61.92	v -x5550 -x5549 -x5548 -x5547 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 
61.68/61.92	v -x5532 -x5531 -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 
61.68/61.92	v -x5514 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 
61.68/61.92	v -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 
61.68/61.92	v -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 
61.68/61.92	v -x5278 -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 
61.68/61.92	v -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 
61.68/61.92	v -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 
61.68/61.92	v -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 
61.68/61.92	v -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 
61.68/61.92	v -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 
61.68/61.92	v -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 
61.68/61.92	v -x5335 -x5334 -x5333 -x5332 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 
61.68/61.92	v -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 
61.68/61.92	v -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 
61.68/61.92	v -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 
61.68/61.92	v -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 
61.68/61.92	v -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 
61.68/61.92	v -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 
61.68/61.92	v -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 
61.68/61.92	v -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 
61.68/61.92	v -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 
61.68/61.92	v -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 
61.68/61.92	v -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 
61.68/61.92	v -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 
61.68/61.92	v -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 
61.68/61.92	v -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x5071 -x5070 -x5069 -x5068 
61.68/61.92	v -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 
61.68/61.92	v -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 
61.68/61.92	v -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 
61.68/61.92	v -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 
61.68/61.92	v -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 
61.68/61.92	v -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 
61.68/61.92	v -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 
61.68/61.92	v -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 
61.68/61.92	v -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 
61.68/61.92	v -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 
61.68/61.92	v -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 
61.68/61.92	v -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 
61.68/61.92	v -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 
61.68/61.92	v -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 
61.68/61.92	v -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 
61.68/61.92	v -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x6675 -x6659 -x6643 
61.68/61.92	v -x6627 -x6611 -x6595 -x6804 -x6788 -x6772 -x6756 -x6740 -x6724 -x6708 -x6692 -x6676 -x3480 -x3464 -x3448 -x3432 -x3416 -x3400 
61.68/61.92	v -x3609 -x3593 -x3577 -x3561 -x3545 -x3529 -x3513 -x3497 -x3481 -x6435 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 
61.68/61.92	v -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x6419 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 
61.68/61.92	v -x979 -x978 -x977 -x976 -x6403 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x6387 
61.68/61.92	v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x6371 -x270 -x269 -x268 -x267 -x266 
61.68/61.92	v -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x6355 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 
61.68/61.92	v -x19 -x18 -x17 -x16 -x6564 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 
61.68/61.92	v -x3376 -x6548 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x6532 
61.68/61.92	v -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x6516 -x2670 -x2669 
61.68/61.92	v -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x6500 -x2430 -x2429 -x2428 -x2427 
61.68/61.92	v -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x6484 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 
61.68/61.92	v -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x6468 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 
61.68/61.92	v -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x6452 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 
61.68/61.92	v -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x6436 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 
61.68/61.92	v -x1459 -x1458 -x1457 -x1456 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 -x6674 -x6673 -x6672 -x6671 -x6670 
61.68/61.92	v -x6669 -x6668 -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6658 -x6657 -x6656 x6655 -x6654 -x6653 -x6652 x6651 
61.68/61.92	v -x6650 -x6649 x6648 -x6647 -x6646 -x6645 -x6644 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632 
61.68/61.92	v -x6631 -x6630 -x6629 -x6628 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 
61.68/61.92	v -x6612 -x6610 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 x6599 -x6598 -x6597 -x6596 -x6594 -x6593 
61.68/61.92	v x6592 x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6803 -x6802 -x6801 -x6800 -x6799 
61.68/61.92	v -x6798 -x6797 -x6796 -x6795 -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 
61.68/61.92	v -x6779 -x6778 -x6777 -x6776 x6775 -x6774 -x6773 x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 x6764 -x6763 -x6762 -x6761 
61.68/61.92	v x6760 -x6759 -x6758 x6757 -x6755 -x6754 x6753 -x6752 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 
61.68/61.92	v -x6741 -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6723 -x6722 
61.68/61.92	v -x6721 -x6720 x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 x6711 -x6710 -x6709 -x6707 -x6706 -x6705 -x6704 -x6703 
61.68/61.92	v -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 
61.68/61.92	v -x6683 -x6682 -x6681 -x6680 -x6679 -x6678 -x6677 -x6585 x6584 -x6583 -x6582 -x6581 x6580 -x6579 -x6578 x6577 -x6576 -x6575 
61.68/61.92	v -x6574 x6573 -x6572 -x6571 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 
61.68/61.92	v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 
61.68/61.92	v -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 
61.68/61.92	v -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 
61.68/61.92	v -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 
61.68/61.92	v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 
61.68/61.92	v -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 
61.68/61.92	v -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 
61.68/61.92	v -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 
61.68/61.92	v -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 
61.68/61.92	v -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 
61.68/61.92	v -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1005 
61.68/61.92	v -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x975 -x974 -x973 -x972 -x971 -x970 
61.68/61.92	v -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 
61.68/61.92	v -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 
61.68/61.92	v -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 
61.68/61.92	v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 
61.68/61.92	v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 
61.68/61.92	v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 
61.68/61.92	v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 
61.68/61.92	v -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 
61.68/61.92	v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 
61.68/61.92	v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 
61.68/61.92	v -x1008 -x1007 -x1006 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 
61.68/61.92	v -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 
61.68/61.92	v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 
61.68/61.92	v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x915 -x914 -x913 -x912 -x911 
61.68/61.92	v -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 
61.68/61.92	v -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 
61.68/61.92	v -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 
61.68/61.92	v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 
61.68/61.92	v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 
61.68/61.92	v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 
61.68/61.92	v -x785 -x784 -x783 -x782 -x781 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 
61.68/61.92	v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 
61.68/61.92	v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 
61.68/61.92	v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x690 -x689 -x688 
61.68/61.92	v -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 
61.68/61.92	v -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 
61.68/61.92	v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 
61.68/61.92	v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 
61.68/61.92	v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 
61.68/61.92	v -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 
61.68/61.92	v -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 
61.68/61.92	v -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 
61.68/61.92	v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 
61.68/61.92	v -x274 -x273 -x272 -x271 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x465 -x464 
61.68/61.92	v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 
61.68/61.92	v -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 
61.68/61.92	v -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 
61.68/61.92	v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 
61.68/61.92	v -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 
61.68/61.92	v -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 
61.68/61.92	v -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 
61.68/61.92	v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 
61.68/61.92	v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 
61.68/61.92	v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 
61.68/61.92	v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 
61.68/61.92	v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 
61.68/61.92	v -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 
61.68/61.92	v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 
61.68/61.92	v -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 
61.68/61.92	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x3255 -x3254 
61.68/61.92	v -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 
61.68/61.92	v -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 
61.68/61.92	v -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 
61.68/61.92	v -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 
61.68/61.92	v -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3375 
61.68/61.92	v -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 
61.68/61.92	v -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 
61.68/61.92	v -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 
61.68/61.92	v -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 
61.68/61.92	v -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 
61.68/61.92	v -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 
61.68/61.92	v -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 
61.68/61.92	v -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 
61.68/61.92	v -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 
61.68/61.92	v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 
61.68/61.92	v -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 
61.68/61.92	v -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x3165 -x3164 -x3163 -x3162 -x3161 
61.68/61.92	v -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 
61.68/61.92	v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 
61.68/61.92	v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 
61.68/61.92	v -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 
61.68/61.92	v -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 
61.68/61.92	v -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 
61.68/61.92	v -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 
61.68/61.92	v -x2795 -x2794 -x2793 -x2792 x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 
61.68/61.92	v -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 
61.68/61.92	v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 
61.68/61.92	v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 
61.68/61.92	v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 
61.68/61.92	v -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 
61.68/61.92	v -x2913 -x2912 -x2911 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 
61.68/61.92	v -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 
61.68/61.92	v -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 
61.68/61.92	v -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 
61.68/61.92	v -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 
61.68/61.92	v -x2808 -x2807 -x2806 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 
61.68/61.92	v -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 
61.68/61.92	v -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 
61.68/61.92	v -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 
61.68/61.92	v -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 
61.68/61.92	v -x2494 -x2493 -x2492 -x2491 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 
61.68/61.92	v -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 
61.68/61.92	v -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2655 -x2654 -x2653 -x2652 -x2651 
61.68/61.92	v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 
61.68/61.92	v -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 
61.68/61.92	v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 
61.68/61.92	v -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2355 
61.68/61.92	v -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 
61.68/61.92	v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 
61.68/61.92	v -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 
61.68/61.92	v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 
61.68/61.92	v -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 
61.68/61.92	v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 
61.68/61.92	v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 
61.68/61.92	v -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 
61.68/61.92	v -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 
61.68/61.92	v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 
61.68/61.92	v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 
61.68/61.92	v -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2130 -x2129 -x2128 -x2127 -x2126 
61.68/61.92	v -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 
61.68/61.92	v -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 
61.68/61.92	v -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 
61.68/61.92	v -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 
61.68/61.92	v -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2265 -x2264 -x2263 -x2262 -x2261 
61.68/61.92	v -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 
61.68/61.92	v -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 
61.68/61.92	v -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 
61.68/61.92	v -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2175 
61.68/61.92	v -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 
61.68/61.92	v -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 
61.68/61.92	v -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 
61.68/61.92	v -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 
61.68/61.92	v -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 
61.68/61.92	v -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 
61.68/61.92	v -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 
61.68/61.92	v -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 
61.68/61.92	v -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 
61.68/61.92	v -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 
61.68/61.92	v -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 
61.68/61.92	v -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 
61.68/61.92	v -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 
61.68/61.92	v -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 
61.68/61.92	v -x1909 -x1908 -x1907 -x1906 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 
61.68/61.92	v -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 
61.68/61.92	v -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 
61.68/61.92	v -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 
61.68/61.92	v -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 
61.68/61.92	v -x1595 -x1594 -x1593 -x1592 -x1591 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 
61.68/61.92	v -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 
61.68/61.92	v -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 
61.68/61.92	v -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 
61.68/61.92	v -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 
61.68/61.92	v -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 
61.68/61.92	v -x1713 -x1712 -x1711 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 
61.68/61.92	v -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 
61.68/61.92	v -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 
61.68/61.92	v -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 
61.68/61.92	v -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 
61.68/61.92	v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 
61.68/61.92	v -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 
61.68/61.92	v -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 
61.68/61.92	v -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 
61.68/61.92	v -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 
61.68/61.92	v -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 
61.68/61.92	v -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 
61.68/61.92	v -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x3479 -x3478 -x3477 -x3476 -x3475 
61.68/61.92	v -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 x3466 -x3465 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 
61.68/61.92	v -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 
61.68/61.92	v -x3437 -x3436 -x3435 -x3434 -x3433 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 
61.68/61.92	v x3418 -x3417 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3399 
61.68/61.92	v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3608 -x3607 -x3606 -x3605 
61.68/61.92	v -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 
61.68/61.92	v -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 
61.68/61.92	v -x3566 -x3565 -x3564 -x3563 -x3562 -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 
61.68/61.92	v -x3547 -x3546 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3528 
61.68/61.92	v -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3512 -x3511 -x3510 -x3509 
61.68/61.92	v -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 
61.68/61.92	v -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 x6427 -x6426 
61.68/61.92	v -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 x6409 -x6408 -x6407 
61.68/61.92	v -x6406 -x6405 -x6404 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 
61.68/61.92	v -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 x6370 -x6369 -x6368 
61.68/61.92	v -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 x6356 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 
61.68/61.92	v -x6348 -x6347 -x6346 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565 -x6563 x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 
61.68/61.92	v -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6547 -x6546 -x6545 -x6544 x6543 -x6542 -x6541 x6540 -x6539 -x6538 -x6537 -x6536 -x6535 
61.68/61.92	v x6534 -x6533 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6515 
61.68/61.92	v -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6499 x6498 -x6497 -x6496 
61.68/61.92	v -x6495 x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 x6477 
61.68/61.92	v -x6476 -x6475 -x6474 x6473 -x6472 -x6471 x6470 -x6469 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 
61.68/61.92	v -x6457 -x6456 -x6455 -x6454 -x6453 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 
61.68/61.92	v -x6438 -x6437 
61.68/61.92	c SCIP Status        : problem is solved [optimal solution found]
61.68/61.92	c Total Time         :      61.91
61.68/61.92	c   solving          :      61.91
61.68/61.92	c   presolving       :       1.76 (included in solving)
61.68/61.92	c   reading          :       0.04 (included in solving)
61.68/61.92	c   copying          :       0.09 (5 #copies) (minimal 0.01, maximal 0.03, average 0.02)
61.68/61.92	c Original Problem   :
61.68/61.92	c   Problem name     : HOME/instance-4432892-1721137541.opb
61.68/61.92	c   Variables        : 6810 (6810 binary, 0 integer, 0 implicit integer, 0 continuous)
61.68/61.92	c   Constraints      : 15202 initial, 15202 maximal
61.68/61.92	c   Objective        : minimize, 3795 non-zeros (abs.min = 1, abs.max = 7.78545e+07)
61.68/61.92	c Presolved Problem  :
61.68/61.92	c   Problem name     : t_HOME/instance-4432892-1721137541.opb
61.68/61.92	c   Variables        : 3367 (3367 binary, 0 integer, 0 implicit integer, 0 continuous)
61.68/61.92	c   Constraints      : 6064 initial, 6129 maximal
61.68/61.92	c   Objective        : minimize, 1897 non-zeros (abs.min = 77, abs.max = 1.88238e+06)
61.68/61.92	c   Nonzeros         : 33417 constraint, 41372 clique table
61.68/61.92	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
61.68/61.92	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   domcol           :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
61.68/61.92	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
61.68/61.92	c   gateextraction   :       0.06       0.00     10          0          0          0          0          0      11130       2940          0          0
61.68/61.92	c   implics          :       0.00       0.00     14          0          0          0          0          0          0          0          0          0
61.68/61.92	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   milp             :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
61.68/61.92	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
61.68/61.92	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   trivial          :       0.01       0.00     19       2542          0          0          0          0          0          0          0          0
61.68/61.92	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   dualfix          :       0.00       0.00     19        645          0          0          0          0          0          0          0          0
61.68/61.92	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   probing          :       1.30       0.00      1          0          0          0          0          0          0          0          0          0
61.68/61.92	c   pseudoobj        :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
61.68/61.92	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
61.68/61.92	c   vbounds          :       0.01       0.00      5          0          0          0          0          0          0          0          0          0
61.68/61.92	c   knapsack         :       0.05       0.00     37          0          0          0          0          0       2943       8198          0          0
61.68/61.92	c   setppc           :       0.07       0.00     37          0          0          0          0          0       1859          0          0          0
61.68/61.92	c   and              :       0.05       0.01     23          0          0          0          0          0          0          0          0       1274
61.68/61.92	c   linear           :       0.08       0.01     30         46        210          0         46          0        532          0        105        316
61.68/61.92	c   logicor          :       0.02       0.00     34        723          0          0          0          0         75          0          0        469
61.68/61.92	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   components       :       0.01       0.00      4          0          0          0          0          0          0          0          0          0
61.68/61.92	c   root node        :          -          -      -       4698          -          -       4698          -          -          -          -          -
61.68/61.92	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
61.68/61.92	c   benderslp        :          0          0          0          0        239          0          0         63          0          0          0          0          0          0          0
61.68/61.92	c   integral         :          0          0          0          0        239          0          0         63          0          0       3102          0          0        235         94
61.68/61.92	c   knapsack         :         88+        91        138      17963          2          0          0         53       1676         59       1123        290          6          0          0
61.68/61.92	c   setppc           :       3908+      4383        138      17873          2          0          0         27       7779         79      17002          5          4          0          0
61.68/61.92	c   and              :       1795       1795        473      17644          2          0          0         20       1104         45      32870         56         32          0          0
61.68/61.92	c   linear           :         52+        62        138      17780          2          0          0         22       1012         66        296          7          2          0          0
61.68/61.92	c   logicor          :        221+       292        138       5013          2          0          0         18       1853         91        601          4          0          0          0
61.68/61.92	c   benders          :          0          0          0          0          2          0          0         20          0          0          0          0          0          0          0
61.68/61.92	c   fixedvar         :          0          0          0          0          2          0          0         20          0          0          0          0          0          0          0
61.68/61.92	c   countsols        :          0          0          0          0          2          0          0         20          0          0          0          0          0          0          0
61.68/61.92	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
61.68/61.92	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
61.68/61.92	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
61.68/61.92	c   integral         :      18.89       0.00       0.00       0.00      18.89       0.00       0.00       0.00       0.00       0.00
61.68/61.92	c   knapsack         :       0.63       0.00       0.30       0.12       0.00       0.00       0.00       0.00       0.00       0.20
61.68/61.92	c   setppc           :       0.83       0.00       0.03       0.45       0.00       0.00       0.00       0.01       0.00       0.33
61.68/61.92	c   and              :       1.43       0.01       0.27       0.59       0.00       0.00       0.00       0.01       0.00       0.55
61.68/61.92	c   linear           :       1.21       0.01       1.12       0.04       0.00       0.00       0.00       0.00       0.00       0.03
61.68/61.92	c   logicor          :       0.11       0.00       0.01       0.04       0.00       0.00       0.00       0.00       0.00       0.06
61.68/61.92	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
61.68/61.92	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
61.68/61.92	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
61.68/61.92	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
61.68/61.92	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
61.68/61.92	c   dualfix          :         59          0          0          0
61.68/61.92	c   genvbounds       :          0          0          0          0
61.68/61.92	c   nlobbt           :          0          0          0          0
61.68/61.92	c   obbt             :          0          0          0          0
61.68/61.92	c   probing          :          0          0          0          0
61.68/61.92	c   pseudoobj        :       1296          0          0         79
61.68/61.92	c   redcost          :        862          0          0       6112
61.68/61.92	c   rootredcost      :          5          0          0        961
61.68/61.92	c   symmetry         :          0          0          0          0
61.68/61.92	c   vbounds          :       7079          0          0          0
61.68/61.92	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
61.68/61.92	c   dualfix          :       0.01       0.00       0.00       0.01       0.00       0.00
61.68/61.92	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
61.68/61.92	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
61.68/61.92	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
61.68/61.92	c   probing          :       1.30       0.00       1.30       0.00       0.00       0.00
61.68/61.92	c   pseudoobj        :       0.05       0.00       0.00       0.04       0.00       0.00
61.68/61.92	c   redcost          :       0.09       0.00       0.00       0.09       0.00       0.00
61.68/61.92	c   rootredcost      :       0.01       0.00       0.00       0.00       0.00       0.00
61.68/61.92	c   symmetry         :       0.02       0.00       0.01       0.00       0.00       0.00
61.68/61.92	c   vbounds          :       0.03       0.00       0.01       0.01       0.00       0.01
61.68/61.92	c Symmetry           :
61.68/61.92	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
61.68/61.92	c   orbital reduction:          0 reductions applied,          0 cutoffs
61.68/61.92	c   lexicographic red:          0 reductions applied,          0 cutoffs
61.68/61.92	c   shadow tree time :       0.00 s
61.68/61.92	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
61.68/61.92	c   propagation      :       0.01        279        264          -        775       58.3         18        3.7          -          -          -
61.68/61.92	c   infeasible LP    :       0.01         12         12          -         34       18.6          1       24.0         16      119.9          0
61.68/61.92	c   bound exceed. LP :       0.44        222         36          -        139       27.2          0        0.0          1        1.0       1835
61.68/61.92	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
61.68/61.92	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
61.68/61.92	c   applied globally :       0.01          -          -          1        562       31.4          -          -         17          -          -
61.68/61.92	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
61.68/61.92	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
61.68/61.92	c   cut pool         :       0.16          -        217        215          -          -       6854      15837          -          -          -          -          -    (maximal pool size:       2131)
61.68/61.92	c   aggregation      :       1.74       0.00        139        138          0          0        105        194          0         40         40          0          0
61.68/61.92	c   > cmir           :          -          -          -          -          -          -          -         22          0          1          1          0          -
61.68/61.92	c   > flowcover      :          -          -          -          -          -          -          -        110          0         14         14          0          -
61.68/61.92	c   > knapsackcover  :          -          -          -          -          -          -          -         62          0         25         25          0          -
61.68/61.92	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   clique           :       0.28       0.00        138        138          0          0         11         12          0          3          3          0          0
61.68/61.92	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   gomory           :      28.69       0.00         41         40          0          0       6517      15366          0         74         74          0          0
61.68/61.92	c   > gomorymi       :          -          -          -          -          -          -          -      14330          0         72         72          0          -
61.68/61.92	c   > strongcg       :          -          -          -          -          -          -          -       1036          0          2          2          0          -
61.68/61.92	c   impliedbounds    :       0.24       0.00        139        138          0          0         21         22          0         13         13          0          0
61.68/61.92	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   mcf              :       0.01       0.00          4          4          0          0          0          0          0          0          0          0          0
61.68/61.92	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   multilinear      :       0.00       0.00        184        138          0          0          0          0          0          0          0          0          0
61.68/61.92	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   rapidlearning    :       0.03       0.00          0          0          0          0          0          0          0          0          0          0          0
61.68/61.92	c   rlt              :       0.50       0.00         41         40          0          0         98         99          0         98         98          0          0
61.68/61.92	c   zerohalf         :       0.18       0.00         81         80          0          0        102        144          0         69         69          0          0
61.68/61.92	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
61.68/61.92	c   hybrid           :       0.05       0.00        136        109        341          0      15858        302          0      15802
61.68/61.92	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c Pricers            :   ExecTime  SetupTime      Calls       Vars
61.68/61.92	c   problem variables:       0.00          -          0          0
61.68/61.92	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
61.68/61.92	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c   relpscost        :      18.89       0.00        237          0          0          0       3102          0        262         94
61.68/61.92	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
61.68/61.92	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
61.68/61.92	c   LP solutions     :       0.00          -          -          2          2
61.68/61.92	c   relax solutions  :       0.00          -          -          0          0
61.68/61.92	c   pseudo solutions :       0.00          -          -          0          0
61.68/61.92	c   strong branching :       0.01          -          -          2          2
61.68/61.92	c   actconsdiving    :       0.00       0.00          0          0          0
61.68/61.92	c   adaptivediving   :       0.00       0.00          0          0          0
61.68/61.92	c   alns             :       0.07       0.00          1          0          0
61.68/61.92	c   bound            :       0.00       0.00          0          0          0
61.68/61.92	c   clique           :       0.08       0.00          1          0          0
61.68/61.92	c   coefdiving       :       0.00       0.00          0          0          0
61.68/61.92	c   completesol      :       0.00       0.00          0          0          0
61.68/61.92	c   conflictdiving   :       0.22       0.00          4          1          1
61.68/61.92	c   crossover        :       0.00       0.00          0          0          0
61.68/61.92	c   dins             :       0.00       0.00          0          0          0
61.68/61.92	c   distributiondivin:       0.01       0.00          0          0          0
61.68/61.92	c   dps              :       0.00       0.00          0          0          0
61.68/61.92	c   dualval          :       0.00       0.00          0          0          0
61.68/61.92	c   farkasdiving     :       0.72       0.00          1          0          0
61.68/61.92	c   feasjump         :       0.01       0.00          1          1          1
61.68/61.92	c   feaspump         :       0.18       0.00          1          1          1
61.68/61.92	c   fixandinfer      :       0.00       0.00          0          0          0
61.68/61.92	c   fracdiving       :       0.00       0.00          0          0          0
61.68/61.92	c   gins             :       0.00       0.00          0          0          0
61.68/61.92	c   guideddiving     :       0.00       0.00          0          0          0
61.68/61.92	c   indcoefdiving    :       0.00       0.00          0          0          0
61.68/61.92	c   indicator        :       0.00       0.00          0          0          0
61.68/61.92	c   indicatordiving  :       0.00       0.00          0          0          0
61.68/61.92	c   indoneopt        :       0.00       0.00          0          0          0
61.68/61.92	c   indrounding      :       0.00       0.00          0          0          0
61.68/61.92	c   indtwoopt        :       0.00       0.00          0          0          0
61.68/61.92	c   intdiving        :       0.00       0.00          0          0          0
61.68/61.92	c   intshifting      :       0.00       0.00          0          0          0
61.68/61.92	c   linesearchdiving :       0.00       0.00          0          0          0
61.68/61.92	c   localbranching   :       0.00       0.00          0          0          0
61.68/61.92	c   locks            :       0.03       0.00          1          0          0
61.68/61.92	c   lpface           :       0.00       0.00          0          0          0
61.68/61.92	c   mpec             :       0.00       0.00          0          0          0
61.68/61.92	c   multistart       :       0.00       0.00          0          0          0
61.68/61.92	c   mutation         :       0.00       0.00          0          0          0
61.68/61.92	c   nlpdiving        :       0.00       0.00          0          0          0
61.68/61.92	c   objpscostdiving  :       0.00       0.00          0          0          0
61.68/61.92	c   octane           :       0.00       0.00          0          0          0
61.68/61.92	c   ofins            :       0.00       0.00          0          0          0
61.68/61.92	c   oneopt           :       0.01       0.00          6          0          0
61.68/61.92	c   padm             :       0.00       0.00          0          0          0
61.68/61.92	c   proximity        :       0.00       0.00          0          0          0
61.68/61.92	c   pscostdiving     :       0.00       0.00          0          0          0
61.68/61.92	c   randrounding     :       0.86       0.00        117          0          0
61.68/61.92	c   rens             :       0.60       0.00          4          2          1
61.68/61.92	c   reoptsols        :       0.00       0.00          0          0          0
61.68/61.92	c   repair           :       0.00       0.00          0          0          0
61.68/61.92	c   rins             :       0.00       0.00          0          0          0
61.68/61.92	c   rootsoldiving    :       0.00       0.00          0          0          0
61.68/61.92	c   rounding         :       0.08       0.00        204          0          0
61.68/61.92	c   scheduler        :       0.00       0.00          0          0          0
61.68/61.92	c   shiftandpropagate:       0.03       0.00          1          0          0
61.68/61.92	c   shifting         :       0.08       0.00        101          0          0
61.68/61.92	c   simplerounding   :       0.00       0.00          0          0          0
61.68/61.92	c   smallcard        :       0.00       0.00          0          0          0
61.68/61.92	c   subnlp           :       0.00       0.00          0          0          0
61.68/61.92	c   trivial          :       0.01       0.00          8          0          0
61.68/61.92	c   trivialnegation  :       0.00       0.00          0          0          0
61.68/61.92	c   trustregion      :       0.00       0.00          0          0          0
61.68/61.92	c   trysol           :       0.00       0.00          0          0          0
61.68/61.92	c   twoopt           :       0.00       0.00          0          0          0
61.68/61.92	c   undercover       :       0.11       0.00          1          0          0
61.68/61.92	c   vbounds          :       0.20       0.00          4          0          0
61.68/61.92	c   veclendiving     :       0.00       0.00          0          0          0
61.68/61.92	c   zeroobj          :       0.00       0.00          0          0          0
61.68/61.92	c   zirounding       :       0.00       0.00         49          0          0
61.68/61.92	c   other solutions  :          -          -          -          0          -
61.68/61.92	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
61.68/61.92	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
61.68/61.92	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
61.68/61.92	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
61.68/61.92	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
61.68/61.92	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
61.68/61.92	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
61.68/61.92	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
61.68/61.92	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
61.68/61.92	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
61.68/61.92	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
61.68/61.92	c   primal LP        :       0.02         14          0       0.00       0.00       0.02         14
61.68/61.92	c   dual LP          :       2.35        633      12509      32.66    5329.48       0.32        250
61.68/61.92	c   lex dual LP      :       0.00          0          0       0.00          -
61.68/61.92	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
61.68/61.92	c   resolve instable :       0.00          0          0       0.00          -
61.68/61.92	c   diving/probing LP:       1.27        213       6579      30.89    5198.32
61.68/61.92	c   strong branching :      13.67       1065      90549      85.02    6623.28          -          -         11
61.68/61.92	c     (at root node) :          -        124      21510     173.47          -
61.68/61.92	c   conflict analysis:       0.25        188       1835       9.76    7291.64
61.68/61.92	c B&B Tree           :
61.68/61.92	c   number of runs   :          4
61.68/61.92	c   nodes            :         93 (46 internal, 47 leaves)
61.68/61.92	c   feasible leaves  :          2
61.68/61.92	c   infeas. leaves   :         16
61.68/61.92	c   objective leaves :         29
61.68/61.92	c   nodes (total)    :         96 (47 internal, 49 leaves)
61.68/61.92	c   nodes left       :          0
61.68/61.92	c   max depth        :         10
61.68/61.92	c   max depth (total):         10
61.68/61.92	c   backtracks       :         20 (21.5%)
61.68/61.92	c   early backtracks :          0 (0.0%)
61.68/61.92	c   nodes exc. ref.  :          0 (0.0%)
61.68/61.92	c   delayed cutoffs  :          0
61.68/61.92	c   repropagations   :         54 (1503 domain reductions, 0 cutoffs)
61.68/61.92	c   avg switch length:       4.02
61.68/61.92	c   switching time   :       0.14
61.68/61.92	c Root Node          :
61.68/61.92	c   First LP value   : +2.62613840942029e+06
61.68/61.92	c   First LP Iters   :        530 (13040.70 Iter/sec)
61.68/61.92	c   First LP Time    :       0.04
61.68/61.92	c   Final Dual Bound : +3.40566704419276e+06
61.68/61.92	c   Final Root Iters :       5231
61.68/61.92	c   Root LP Estimate : +4.46288726970213e+06
61.68/61.92	c Solution           :
61.68/61.92	c   Solutions found  :          9 (8 improvements)
61.68/61.92	c   First Solution   : +3.63037001000000e+08   (in run 1, after 1 nodes, 1.97 seconds, depth 0, found by <feasjump>)
61.68/61.92	c   Gap First Sol.   :   infinite
61.68/61.92	c   Gap Last Sol.    :       5.97 %
61.68/61.92	c   Primal Bound     : +3.60884600000000e+06   (in run 4, after 93 nodes, 61.91 seconds, depth -1, found by <relaxation>)
61.68/61.92	c   Dual Bound       : +3.60884600000000e+06
61.68/61.92	c   Gap              :       0.00 %
61.68/61.92	c Integrals          :      Total       Avg%
61.68/61.92	c   primal-dual      :    1958.50      31.64
61.68/61.92	c   primal-ref       :          -          - (not evaluated)
61.68/61.92	c   dual-ref         :          -          - (not evaluated)
61.78/62.06	c Time complete: 61.8547.

Verifier Data

OK	3608846

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (59763 MiB free)
  memory of node 1: 64473 MiB (56457 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=858397, runsolver pid=858394

[startup+0.100921 s]*
/proc/loadavg: 4.13 4.25 4.20 5/257 858398
/proc/meminfo: memFree=118966572/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=101072 memory=59588 CPUtime=0.09 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 11710 0 0 0 8 1 0 0 20 0 1 0 165923031 103497728 14897 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 25268 14897 3577 3540 0 13525 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 101072 KiB
Current children cumulated memory: 59588 KiB

[startup+0.205773 s]*
/proc/loadavg: 4.13 4.25 4.20 5/257 858398
/proc/meminfo: memFree=118954168/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=112036 memory=72856 CPUtime=0.2 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 17458 0 0 0 18 2 0 0 20 0 1 0 165923031 114724864 18214 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 28009 18214 3768 3540 0 16266 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112036 KiB
Current children cumulated memory: 72856 KiB

[startup+0.30574 s]*
/proc/loadavg: 4.13 4.25 4.20 5/257 858398
/proc/meminfo: memFree=118944612/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=119888 memory=79952 CPUtime=0.3 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 19243 0 0 0 28 2 0 0 20 0 1 0 165923031 122765312 19988 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 29972 19988 3768 3540 0 18229 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119888 KiB
Current children cumulated memory: 79952 KiB

[startup+0.700238 s]
/proc/loadavg: 4.13 4.25 4.20 5/257 858398
/proc/meminfo: memFree=118941492/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=124216 memory=84176 CPUtime=0.68 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 20314 0 0 0 66 2 0 0 20 0 1 0 165923031 127197184 21044 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 31054 21044 3768 3540 0 19311 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 124216 KiB
Current children cumulated memory: 84176 KiB

[startup+1.50025 s]
/proc/loadavg: 4.13 4.25 4.20 5/257 858398
/proc/meminfo: memFree=118938440/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=125792 memory=85760 CPUtime=1.48 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 20706 0 0 0 146 2 0 0 20 0 1 0 165923031 128811008 21440 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 31448 21440 3768 3540 0 19705 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 125792 KiB
Current children cumulated memory: 85760 KiB

[startup+3.10569 s]
/proc/loadavg: 4.12 4.25 4.20 5/257 858398
/proc/meminfo: memFree=118874708/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=201072 memory=149760 CPUtime=3.09 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 37547 0 0 0 304 5 0 0 20 0 1 0 165923031 205897728 37440 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 50268 37440 3960 3540 0 38525 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 201072 KiB
Current children cumulated memory: 149760 KiB

[startup+6.30022 s]
/proc/loadavg: 4.12 4.25 4.20 5/257 858398
/proc/meminfo: memFree=118868736/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=207320 memory=154620 CPUtime=6.27 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 38800 0 0 0 622 5 0 0 20 0 1 0 165923031 212295680 38655 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 51830 38655 3960 3540 0 40087 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 207320 KiB
Current children cumulated memory: 154620 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.24 4.20 5/257 858399
/proc/meminfo: memFree=118808888/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=276868 memory=206948 CPUtime=12.64 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 51868 0 0 0 1257 7 0 0 20 0 1 0 165923031 283512832 51737 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 69217 51737 3975 3540 0 57474 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 276868 KiB
Current children cumulated memory: 206948 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.23 4.20 5/254 858401
/proc/meminfo: memFree=118761592/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=316028 memory=239620 CPUtime=25.39 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 60322 0 0 0 2529 10 0 0 20 0 1 0 165923031 323612672 59905 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 79007 59905 3979 3540 0 67264 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 316028 KiB
Current children cumulated memory: 239620 KiB

[startup+51.1057 s]
/proc/loadavg: 4.05 4.21 4.19 5/254 858406
/proc/meminfo: memFree=118634768/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=410460 memory=318028 CPUtime=50.93 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 79945 0 0 0 5079 14 0 0 20 0 1 0 165923031 420311040 79507 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 102615 79507 3979 3540 0 90872 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 410460 KiB
Current children cumulated memory: 318028 KiB

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

# cumulated CPU time of all completed processes:  user=61.7034 s, system=0.16433 s

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

[startup+51.2003 s]
/proc/loadavg: 4.05 4.21 4.19 5/254 858406
/proc/meminfo: memFree=118634768/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=410460 memory=318028 CPUtime=51.02 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 79945 0 0 0 5088 14 0 0 20 0 1 0 165923031 420311040 79507 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 102615 79507 3979 3540 0 90872 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 410460 KiB
Current children cumulated memory: 318028 KiB

[startup+57.6002 s]
/proc/loadavg: 4.13 4.22 4.19 5/254 858407
/proc/meminfo: memFree=118616016/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=410460 memory=318028 CPUtime=57.4 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 79948 0 0 0 5726 14 0 0 20 0 1 0 165923031 420311040 79507 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 102615 79507 3979 3540 0 90872 0
Current children cumulated CPU time: 57.4 s
Current children cumulated vsize: 410460 KiB
Current children cumulated memory: 318028 KiB

[startup+59.2002 s]
/proc/loadavg: 4.13 4.22 4.19 5/254 858407
/proc/meminfo: memFree=118599396/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=410460 memory=318276 CPUtime=58.99 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 80027 0 0 0 5885 14 0 0 20 0 1 0 165923031 420311040 79569 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 102615 79569 3979 3540 0 90872 0
Current children cumulated CPU time: 58.99 s
Current children cumulated vsize: 410460 KiB
Current children cumulated memory: 318276 KiB

[startup+60.8002 s]
/proc/loadavg: 4.13 4.22 4.19 5/254 858408
/proc/meminfo: memFree=118495048/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=410460 memory=318276 CPUtime=60.58 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 80037 0 0 0 6044 14 0 0 20 0 1 0 165923031 420311040 79569 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 102615 79569 3979 3540 0 90872 0
Current children cumulated CPU time: 60.58 s
Current children cumulated vsize: 410460 KiB
Current children cumulated memory: 318276 KiB

[startup+61.6002 s]
/proc/loadavg: 4.13 4.22 4.19 5/254 858408
/proc/meminfo: memFree=118490376/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=410460 memory=319068 CPUtime=61.38 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 80213 0 0 0 6124 14 0 0 20 0 1 0 165923031 420311040 79767 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 102615 79767 3979 3540 0 90872 0
Current children cumulated CPU time: 61.38 s
Current children cumulated vsize: 410460 KiB
Current children cumulated memory: 319068 KiB

[startup+62.0002 s]*
/proc/loadavg: 4.12 4.22 4.19 5/254 858408
/proc/meminfo: memFree=118489860/131524600 swapFree=131071996/131071996
[pid=858397] ppid=858394 vsize=409560 memory=318368 CPUtime=61.78 cores=4,6
/proc/858397/stat : 858397 (pbscip) R 858394 858397 858224 0 -1 4194304 80239 0 0 0 6164 14 0 0 20 0 1 0 165923031 419389440 79592 134679101440 4194304 18693293 140724889586944 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56418304 140724889588740 140724889588839 140724889588839 140724889595854 0
/proc/858397/statm: 102390 79592 3979 3540 0 90647 0
Current children cumulated CPU time: 61.78 s
Current children cumulated vsize: 409560 KiB
Current children cumulated memory: 318368 KiB

Child status: 0

Real time (s): 62.0747
CPU time (s): 61.8678
CPU user time (s): 61.7034
CPU system time (s): 0.16433
CPU usage (%): 99.6667
Max. virtual memory (cumulated for all children) (KiB): 410460
Max. memory (cumulated for all children) (KiB): 319068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 61.7034
system time used= 0.16433
maximum resident set size= 319068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80245
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= 10
involuntary context switches= 78


# summary of solver processes directly reported to runsolver:
#   pid: 858397
#   total CPU time (s): 61.8678
#   total CPU user time (s): 61.7034
#   total CPU system time (s): 0.16433

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.125119 second user time and 0.331837 second system time

The end

Launcher Data

Begin job on nodeC032 at 2024-07-16 15:45:53
IDJOB=4432892
IDBENCH=155667
IDSOLVER=3059
FILE ID=nodeC032/4432892-1721137541
RUNJOBID= nodeC032-1721137255-858235
SLURM_JOB_ID= 7505711
Free space on /tmp= 889952 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat15_5_3_4_mh.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-4432892-1721137541/watcher-4432892-1721137541 -o /tmp/evaluation-result-4432892-1721137541/solver-4432892-1721137541 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721137255-858235 --watchdog 3760  pbscip -f HOME/instance-4432892-1721137541.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 686c663e5ba65a1fad9d6294fae8a8ab
RANDOM SEED=475894225

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119010680 kB
MemAvailable:   120440732 kB
Buffers:          413704 kB
Cached:          1843896 kB
SwapCached:            0 kB
Active:           773504 kB
Inactive:       11105948 kB
Active(anon):       1556 kB
Inactive(anon):  9658008 kB
Active(file):     771948 kB
Inactive(file):  1447940 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19076 kB
Writeback:             0 kB
AnonPages:       9621692 kB
Mapped:           138808 kB
Shmem:             37720 kB
KReclaimable:      99976 kB
Slab:             206824 kB
SReclaimable:      99976 kB
SUnreclaim:       106848 kB
KernelStack:        4144 kB
PageTables:        28776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   10308088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64064 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1847296 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:      223956 kB
DirectMap2M:    20520960 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 889936 MiB
End job on nodeC032 at 2024-07-16 15:46:55