Trace number 4432865

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-07OPT3971977 530.536 532.323

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_4.opb
MD5SUM7079e2ef0385c9f74a24551721d50a52
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 benchmark3971977
Best CPU time to get the best result obtained on this benchmark338.862
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 119095488
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 53595180278
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 119095488
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 53595180278
Number of bits of the biggest sum of numbers36
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-4432865-1721130011.opb>
0.00/0.02	c original problem has 5100 variables (5100 bin, 0 int, 0 impl, 0 cont) and 7606 constraints
0.00/0.02	c problem read in 0.02
0.00/0.05	c presolving:
0.00/0.10	c (round 1, fast)       2550 del vars, 4902 del conss, 0 add conss, 100 chg bounds, 1225 chg sides, 1225 chg coeffs, 0 upgd conss, 0 impls, 51 clqs
0.10/0.13	c    (0.1s) running MILP presolver
0.10/0.15	c    (0.1s) MILP presolver found nothing
0.10/0.18	c (round 2, exhaustive) 2550 del vars, 4902 del conss, 0 add conss, 100 chg bounds, 1225 chg sides, 1225 chg coeffs, 2701 upgd conss, 0 impls, 51 clqs
0.41/0.42	c    (0.4s) probing: 51/2550 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.41/0.42	c    (0.4s) probing aborted: 50/50 successive totally useless probings
0.41/0.51	c    (0.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.51/0.53	c    (0.5s) no symmetry present (symcode time: 0.00)
0.51/0.54	c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
0.51/0.54	c  2550 deleted vars, 4902 deleted constraints, 0 added constraints, 100 tightened bounds, 0 added holes, 1225 changed sides, 1225 changed coefficients
0.51/0.54	c  0 implications, 51 cliques
0.51/0.54	c presolved problem has 2550 variables (2550 bin, 0 int, 0 impl, 0 cont) and 2704 constraints
0.51/0.54	c    1375 constraints of type <knapsack>
0.51/0.54	c      51 constraints of type <setppc>
0.51/0.54	c       3 constraints of type <linear>
0.51/0.54	c    1275 constraints of type <logicor>
0.51/0.54	c transformed objective value is always integral (scale: 2)
0.51/0.54	c Presolving Time: 0.49
0.51/0.54	c - non default parameters ----------------------------------------------------------------------
0.51/0.54	c # SCIP version 10.0.0
0.51/0.54	c 
0.51/0.54	c # maximal time in seconds to run
0.51/0.54	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.51/0.54	c limits/time = 3596.99701
0.51/0.54	c 
0.51/0.54	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.51/0.54	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.51/0.54	c limits/memory = 27900
0.51/0.54	c 
0.51/0.54	c # belongs reading time to solving time?
0.51/0.54	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.51/0.54	c timing/reading = TRUE
0.51/0.54	c 
0.51/0.54	c -----------------------------------------------------------------------------------------------
0.51/0.54	c start solving
0.51/0.54	c 
0.51/0.57	o 148178537
0.51/0.57	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.51/0.57	c p 0.6s|     1 |     0 |    74 |     - |  clique|   0 |2550 |2704 |2704 |   0 |  0 |   0 |   0 |-3.000000e+00 | 1.481785e+08 |    Inf | unknown
1.19/1.27	c   1.3s|     1 |     0 |  3120 |     - |    57M |   0 |2550 |2704 |2704 |   0 |  0 |  60 |   0 | 1.247170e+06 | 1.481785e+08 |  Large | unknown
1.19/1.28	c   1.3s|     1 |     0 |  3120 |     - |    57M |   0 |2550 |2705 |2640 |   0 |  0 |  61 |   0 | 1.247170e+06 | 1.481785e+08 |  Large | unknown
1.49/1.54	c   1.5s|     1 |     0 |  3701 |     - |    58M |   0 |2550 |2705 |2677 |  37 |  1 |  61 |   0 | 1.378275e+06 | 1.481785e+08 |  Large | unknown
1.59/1.68	c   1.7s|     1 |     0 |  3920 |     - |    60M |   0 |2550 |2706 |2692 |  52 |  2 |  62 |   0 | 1.395125e+06 | 1.481785e+08 |  Large | unknown
1.78/1.80	c   1.8s|     1 |     0 |  4059 |     - |    61M |   0 |2550 |2707 |2703 |  63 |  3 |  63 |   0 | 1.407832e+06 | 1.481785e+08 |  Large | unknown
1.88/1.94	c   1.9s|     1 |     0 |  4239 |     - |    61M |   0 |2550 |2707 |2709 |  69 |  4 |  63 |   0 | 1.438781e+06 | 1.481785e+08 |  Large | unknown
2.09/2.15	c   2.1s|     1 |     0 |  4387 |     - |    74M |   0 |2550 |2708 |2720 |  80 |  5 |  64 |   0 | 1.464687e+06 | 1.481785e+08 |  Large | unknown
2.18/2.29	c   2.3s|     1 |     0 |  4649 |     - |    74M |   0 |2550 |2709 |2724 |  84 |  6 |  65 |   0 | 1.478677e+06 | 1.481785e+08 |9921.02%| unknown
2.38/2.45	c   2.4s|     1 |     0 |  4893 |     - |    75M |   0 |2550 |2710 |2733 |  93 |  7 |  66 |   0 | 1.492985e+06 | 1.481785e+08 |9824.99%| unknown
2.48/2.57	c   2.6s|     1 |     0 |  5019 |     - |    76M |   0 |2550 |2711 |2741 | 101 |  8 |  67 |   0 | 1.497375e+06 | 1.481785e+08 |9795.89%| unknown
2.99/3.05	c   3.0s|     1 |     0 |  5359 |     - |    90M |   0 |2550 |2712 |2744 | 104 |  9 |  68 |   0 | 1.519779e+06 | 1.481785e+08 |9650.00%| unknown
3.17/3.25	c   3.2s|     1 |     0 |  5810 |     - |    91M |   0 |2550 |2712 |2755 | 115 | 10 |  68 |   0 | 1.533001e+06 | 1.481785e+08 |9565.91%| unknown
3.27/3.31	c   3.3s|     1 |     0 |  5980 |     - |    91M |   0 |2550 |2713 |2764 | 124 | 11 |  69 |   0 | 1.541111e+06 | 1.481785e+08 |9515.05%| unknown
3.27/3.38	c   3.4s|     1 |     0 |  6114 |     - |    92M |   0 |2550 |2714 |2771 | 131 | 12 |  70 |   0 | 1.545118e+06 | 1.481785e+08 |9490.11%| unknown
3.37/3.46	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.37/3.46	c   3.5s|     1 |     0 |  6296 |     - |    92M |   0 |2550 |2715 |2776 | 136 | 13 |  71 |   0 | 1.550492e+06 | 1.481785e+08 |9456.87%| unknown
3.48/3.52	c   3.5s|     1 |     0 |  6405 |     - |    93M |   0 |2550 |2716 |2779 | 139 | 14 |  72 |   0 | 1.552674e+06 | 1.481785e+08 |9443.44%| unknown
3.48/3.59	c   3.6s|     1 |     0 |  6503 |     - |    93M |   0 |2550 |2717 |2782 | 142 | 15 |  73 |   0 | 1.557645e+06 | 1.481785e+08 |9412.98%| unknown
3.58/3.66	c   3.7s|     1 |     0 |  6636 |     - |    93M |   0 |2550 |2718 |2773 | 144 | 16 |  74 |   0 | 1.559748e+06 | 1.481785e+08 |9400.16%| unknown
3.68/3.73	c   3.7s|     1 |     0 |  6793 |     - |    94M |   0 |2550 |2719 |2776 | 147 | 17 |  75 |   0 | 1.561223e+06 | 1.481785e+08 |9391.18%| unknown
3.78/3.82	c   3.8s|     1 |     0 |  7047 |     - |    95M |   0 |2550 |2720 |2779 | 150 | 18 |  76 |   0 | 1.567742e+06 | 1.481785e+08 |9351.72%| unknown
3.88/3.90	c   3.9s|     1 |     0 |  7232 |     - |    95M |   0 |2550 |2721 |2783 | 154 | 19 |  77 |   0 | 1.573578e+06 | 1.481785e+08 |9316.66%| unknown
3.88/3.96	c   4.0s|     1 |     0 |  7307 |     - |    95M |   0 |2550 |2722 |2788 | 159 | 20 |  78 |   0 | 1.574491e+06 | 1.481785e+08 |9311.20%| unknown
3.99/4.01	c   4.0s|     1 |     0 |  7335 |     - |    96M |   0 |2550 |2723 |2790 | 161 | 21 |  79 |   0 | 1.574592e+06 | 1.481785e+08 |9310.60%| unknown
3.99/4.05	c   4.0s|     1 |     0 |  7347 |     - |    96M |   0 |2550 |2723 |2779 | 162 | 22 |  79 |   0 | 1.574652e+06 | 1.481785e+08 |9310.24%| unknown
6.87/6.92	o 147547331
6.87/6.92	c o 6.9s|     1 |     0 | 21740 |     - |feaspump|   0 |2550 |2720 |2779 | 162 | 23 |  80 |   0 | 1.574652e+06 | 1.475473e+08 |9270.16%| unknown
7.86/7.92	c   7.9s|     1 |     0 | 28064 |     - |    97M |   0 |2550 |2720 |2779 | 162 | 23 |  80 |   0 | 1.574652e+06 | 1.475473e+08 |9270.16%| unknown
12.25/12.39	c  12.4s|     1 |     2 | 28064 |     - |    97M |   0 |2550 |2722 |2779 | 162 | 24 |  82 |  37 | 1.594541e+06 | 1.475473e+08 |9153.28%| unknown
12.25/12.39	c (run 1, node 1) restarting after 64 global fixings of integer variables
12.25/12.39	c 
12.25/12.39	c (restart) converted 70 cuts from the global cut pool into linear constraints
12.25/12.39	c 
12.35/12.41	c presolving:
12.35/12.42	c (round 1, fast)       64 del vars, 60 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 51 clqs
12.35/12.42	c (round 2, exhaustive) 64 del vars, 60 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 65 upgd conss, 0 impls, 51 clqs
12.35/12.43	c (round 3, medium)     64 del vars, 60 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 4 chg coeffs, 65 upgd conss, 0 impls, 51 clqs
12.35/12.46	c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
12.35/12.46	c  64 deleted vars, 60 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 4 changed coefficients
12.35/12.46	c  0 implications, 51 cliques
12.35/12.46	c presolved problem has 2486 variables (2486 bin, 0 int, 0 impl, 0 cont) and 2732 constraints
12.35/12.46	c    1352 constraints of type <knapsack>
12.35/12.46	c      51 constraints of type <setppc>
12.35/12.46	c       8 constraints of type <linear>
12.35/12.46	c    1321 constraints of type <logicor>
12.35/12.46	c transformed objective value is always integral (scale: 2)
12.35/12.46	c Presolving Time: 0.55
12.35/12.47	c transformed 2/2 original solutions to the transformed problem space
12.35/12.47	c 
13.15/13.29	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
13.15/13.29	c  13.3s|     1 |     0 | 33713 |     - |    98M |   0 |2486 |2732 |2710 |   0 |  0 |  82 |  37 | 1.594541e+06 | 1.475473e+08 |9153.28%| unknown
13.55/13.68	c  13.7s|     1 |     0 | 34484 |     - |    99M |   0 |2486 |2733 |2739 |  29 |  1 |  83 |  37 | 1.594541e+06 | 1.475473e+08 |9153.28%| unknown
13.85/13.96	c  14.0s|     1 |     0 | 34752 |     - |    99M |   0 |2486 |2735 |2757 |  47 |  2 |  85 |  37 | 1.594541e+06 | 1.475473e+08 |9153.28%| unknown
14.15/14.22	c  14.2s|     1 |     0 | 34864 |     - |    99M |   0 |2486 |2736 |2761 |  51 |  3 |  86 |  37 | 1.594541e+06 | 1.475473e+08 |9153.28%| unknown
14.35/14.47	c  14.5s|     1 |     0 | 35004 |     - |   100M |   0 |2486 |2737 |2764 |  54 |  4 |  87 |  37 | 1.594541e+06 | 1.475473e+08 |9153.28%| unknown
14.65/14.72	c  14.7s|     1 |     0 | 35208 |     - |   100M |   0 |2486 |2738 |2766 |  56 |  5 |  88 |  37 | 1.594541e+06 | 1.475473e+08 |9153.28%| unknown
14.85/15.00	c  15.0s|     1 |     0 | 35326 |     - |   100M |   0 |2486 |2739 |2772 |  62 |  6 |  89 |  37 | 1.594541e+06 | 1.475473e+08 |9153.28%| unknown
15.24/15.30	c  15.3s|     1 |     0 | 35574 |     - |   100M |   0 |2486 |2740 |2775 |  65 |  7 |  90 |  37 | 1.594541e+06 | 1.475473e+08 |9153.28%| unknown
15.44/15.58	c  15.6s|     1 |     0 | 35876 |     - |   100M |   0 |2486 |2741 |2777 |  67 |  8 |  91 |  37 | 1.594541e+06 | 1.475473e+08 |9153.28%| unknown
15.74/15.87	c  15.9s|     1 |     0 | 36235 |     - |   101M |   0 |2486 |2742 |2781 |  71 |  9 |  92 |  37 | 1.596907e+06 | 1.475473e+08 |9139.57%| unknown
16.06/16.16	c  16.2s|     1 |     0 | 36535 |     - |   101M |   0 |2486 |2743 |2786 |  76 | 10 |  93 |  37 | 1.599704e+06 | 1.475473e+08 |9123.41%| unknown
16.24/16.31	c  16.3s|     1 |     0 | 36628 |     - |   101M |   0 |2486 |2744 |2789 |  79 | 11 |  94 |  37 | 1.600544e+06 | 1.475473e+08 |9118.57%| unknown
16.34/16.47	c  16.5s|     1 |     0 | 36707 |     - |   102M |   0 |2486 |2745 |2772 |  82 | 12 |  95 |  37 | 1.600919e+06 | 1.475473e+08 |9116.42%| unknown
16.54/16.61	c  16.6s|     1 |     0 | 36809 |     - |   102M |   0 |2486 |2746 |2774 |  84 | 13 |  96 |  37 | 1.601756e+06 | 1.475473e+08 |9111.60%| unknown
16.64/16.79	c  16.8s|     1 |     0 | 36968 |     - |   102M |   0 |2486 |2747 |2777 |  87 | 14 |  97 |  37 | 1.603254e+06 | 1.475473e+08 |9102.99%| unknown
16.95/17.01	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
16.95/17.01	c  17.0s|     1 |     0 | 37342 |     - |   102M |   0 |2486 |2748 |2783 |  93 | 15 |  98 |  37 | 1.608271e+06 | 1.475473e+08 |9074.28%| unknown
17.05/17.19	c  17.2s|     1 |     0 | 37476 |     - |   102M |   0 |2486 |2749 |2784 |  94 | 16 |  99 |  37 | 1.609464e+06 | 1.475473e+08 |9067.48%| unknown
17.34/17.41	c  17.4s|     1 |     0 | 37907 |     - |   103M |   0 |2486 |2750 |2786 |  96 | 17 | 100 |  37 | 1.614938e+06 | 1.475473e+08 |9036.41%| unknown
17.54/17.63	c  17.6s|     1 |     0 | 38225 |     - |   103M |   0 |2486 |2751 |2779 | 101 | 18 | 101 |  37 | 1.620126e+06 | 1.475473e+08 |9007.15%| unknown
17.74/17.80	c  17.8s|     1 |     0 | 38386 |     - |   103M |   0 |2486 |2751 |2783 | 105 | 19 | 101 |  37 | 1.621466e+06 | 1.475473e+08 |8999.62%| unknown
17.84/17.99	c  18.0s|     1 |     0 | 38518 |     - |   103M |   0 |2486 |2752 |2787 | 109 | 20 | 102 |  37 | 1.622450e+06 | 1.475473e+08 |8994.11%| unknown
19.24/19.34	o 49886053
19.24/19.34	c d19.3s|     1 |     0 | 47083 |     - |conflict|   0 |2486 |2752 |2787 |   0 | 21 | 102 |  37 | 1.622450e+06 | 4.988605e+07 |2974.74%| unknown
19.54/19.69	c  19.7s|     1 |     0 | 47083 |     - |   103M |   0 |2486 |2412 |2787 | 109 | 21 | 102 |  37 | 1.622450e+06 | 4.988605e+07 |2974.74%| unknown
19.64/19.70	c  19.7s|     1 |     0 | 47083 |     - |   103M |   0 |2486 |2413 |2436 | 109 | 21 | 103 |  37 | 1.622450e+06 | 4.988605e+07 |2974.74%| unknown
22.94/23.03	c  23.0s|     1 |     2 | 47083 |     - |   103M |   0 |2486 |2402 |2436 | 109 | 22 | 103 |  60 | 1.635441e+06 | 4.988605e+07 |2950.31%| unknown
43.47/43.66	o 7233869
43.47/43.66	c *43.7s|    29 |    11 | 60926 |1489.6 |    LP  |  20 |2486 |2472 |2422 | 137 |  1 | 173 | 296 | 1.635441e+06 | 7.233869e+06 | 342.32%|   1.69%
48.66/48.80	c  48.8s|   100 |    22 | 78073 | 603.5 |   107M |  40 |2486 |2483 |2414 | 176 |  0 | 184 | 311 | 1.642583e+06 | 7.233869e+06 | 340.40%|   3.00%
55.44/55.60	c  55.6s|   200 |    42 |107799 | 450.4 |   109M |  42 |2486 |2496 |2430 | 231 |  1 | 264 | 351 | 1.642583e+06 | 7.233869e+06 | 340.40%|   3.00%
62.72/62.91	c  62.9s|   300 |    46 |136057 | 394.4 |   110M |  42 |2486 |2492 |2437 | 300 |  2 | 329 | 407 | 1.642583e+06 | 7.233869e+06 | 340.40%|   3.01%
70.70/70.96	c  71.0s|   400 |    56 |169196 | 378.7 |   111M |  63 |2486 |2511 |2451 | 334 |  0 | 386 | 443 | 1.642583e+06 | 7.233869e+06 | 340.40%|   3.01%
71.40/71.61	o 6524385
71.40/71.61	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
71.40/71.61	c *71.6s|   449 |    56 |172449 | 344.6 |    LP  |  75 |2486 |2475 |2449 | 336 |  2 | 386 | 443 | 1.642583e+06 | 6.524385e+06 | 297.20%|   3.01%
76.80/77.04	c  77.0s|   500 |    71 |197513 | 359.6 |   111M |  75 |2486 |2472 |2451 | 338 |  1 | 390 | 462 | 1.642583e+06 | 6.524385e+06 | 297.20%|   3.03%
81.37/81.67	c  81.7s|   600 |    89 |217998 | 333.8 |   112M |  84 |2486 |2483 |2451 | 339 |  1 | 424 | 498 | 1.642583e+06 | 6.524385e+06 | 297.20%|   3.03%
84.16/84.46	o 4438721
84.16/84.46	c *84.5s|   630 |    56 |227186 | 332.5 |    LP  |  91 |2486 |2483 |2418 | 359 |  1 | 432 | 519 | 1.642583e+06 | 4.438721e+06 | 170.23%|   3.07%
91.24/91.51	o 4428721
91.24/91.51	c *91.5s|   658 |    65 |251451 | 355.2 |strongbr|  91 |2486 |2510 |2429 | 423 |  2 | 466 | 550 | 1.649993e+06 | 4.428721e+06 | 168.41%|   4.43%
91.94/92.22	o 4199797
91.94/92.22	c *92.2s|   663 |    63 |253240 | 355.2 |    LP  |  91 |2486 |2485 |2426 | 442 |  1 | 466 | 552 | 1.649993e+06 | 4.199797e+06 | 154.53%|   4.48%
92.54/92.84	o 4191169
92.54/92.84	c *92.8s|   669 |    60 |254912 | 354.5 |    LP  |  91 |2486 |2485 |2434 | 456 |  9 | 466 | 552 | 1.649993e+06 | 4.191169e+06 | 154.01%|   4.59%
97.93/98.28	c  98.3s|   700 |    61 |273747 | 365.7 |   114M |  91 |2486 |2491 |2403 | 494 |  2 | 481 | 574 | 1.658359e+06 | 4.191169e+06 | 152.73%|   6.37%
108.10/108.44	c   108s|   800 |    87 |314410 | 370.9 |   115M |  91 |2486 |2505 |2427 | 609 |  2 | 517 | 613 | 1.688365e+06 | 4.191169e+06 | 148.24%|   6.43%
115.17/115.54	c   116s|   900 |   103 |343072 | 361.5 |   115M |  91 |2486 |2490 |2428 | 620 |  1 | 525 | 636 | 1.688504e+06 | 4.191169e+06 | 148.22%|   6.44%
122.45/122.88	c   123s|  1000 |   115 |372821 | 355.1 |   115M |  91 |2486 |2509 |2430 | 637 |  0 | 556 | 673 | 1.689826e+06 | 4.191169e+06 | 148.02%|   6.44%
129.02/129.46	c   129s|  1100 |   139 |398469 | 346.1 |   115M |  91 |2486 |2499 |2428 | 665 |  1 | 558 | 695 | 1.690909e+06 | 4.191169e+06 | 147.86%|   6.44%
134.71/135.19	c   135s|  1200 |   145 |423053 | 337.8 |   116M |  91 |2486 |2491 |2429 | 684 |  1 | 569 | 715 | 1.694539e+06 | 4.191169e+06 | 147.33%|   6.45%
144.87/145.36	c   145s|  1300 |   165 |467518 | 346.0 |   116M |  91 |2486 |2506 |2425 | 711 |  0 | 590 | 748 | 1.713264e+06 | 4.191169e+06 | 144.63%|   6.47%
158.32/158.80	c   159s|  1400 |   189 |539222 | 372.5 |   116M |  91 |2486 |2511 |2434 | 763 |  0 | 628 | 829 | 1.713386e+06 | 4.191169e+06 | 144.61%|   6.47%
172.16/172.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
172.16/172.73	c   173s|  1500 |   203 |600875 | 388.8 |   116M |  91 |2486 |2537 |2425 | 786 |  1 | 666 | 889 | 1.717113e+06 | 4.191169e+06 | 144.08%|   6.47%
186.82/187.49	c   187s|  1600 |   227 |668400 | 406.7 |   116M |  91 |2486 |2523 |2426 | 816 |  2 | 678 | 948 | 1.750258e+06 | 4.191169e+06 | 139.46%|   6.51%
202.16/202.81	c   203s|  1700 |   235 |735953 | 422.5 |   117M |  91 |2486 |2556 |2431 | 888 |  0 | 721 |1024 | 1.750258e+06 | 4.191169e+06 | 139.46%|   6.51%
212.93/213.69	c   214s|  1800 |   233 |782943 | 425.1 |   117M |  91 |2486 |2600 |2439 |1021 |  2 | 792 |1105 | 1.750258e+06 | 4.191169e+06 | 139.46%|   6.51%
226.18/226.95	c   227s|  1900 |   249 |841489 | 433.6 |   117M |  91 |2486 |2608 |2438 |1121 |  4 | 837 |1201 | 1.789060e+06 | 4.191169e+06 | 134.27%|   6.54%
234.45/235.23	c   235s|  2000 |   261 |876627 | 429.4 |   118M |  91 |2486 |2582 |2430 |1178 |  0 | 857 |1248 | 1.818328e+06 | 4.191169e+06 | 130.50%|   6.57%
243.62/244.40	c   244s|  2100 |   266 |917777 | 428.6 |   118M |  91 |2486 |2575 |2429 |1236 |  0 | 889 |1309 | 1.818328e+06 | 4.191169e+06 | 130.50%|   6.57%
253.58/254.42	c   254s|  2200 |   280 |961432 | 429.0 |   118M |  91 |2486 |2570 |   0 |1254 |  0 | 900 |1364 | 1.818328e+06 | 4.191169e+06 | 130.50%|   6.57%
258.28/259.18	c   259s|  2300 |   280 |982283 | 419.4 |   118M |  91 |2486 |2549 |2434 |1282 |  3 | 920 |1404 | 1.818328e+06 | 4.191169e+06 | 130.50%|   6.57%
269.83/270.76	c   271s|  2400 |   288 |  1033k| 423.2 |   118M |  91 |2486 |2551 |2432 |1317 |  1 | 951 |1466 | 1.842913e+06 | 4.191169e+06 | 127.42%|   6.60%
278.21/279.17	c   279s|  2500 |   297 |  1071k| 421.5 |   118M |  91 |2486 |2549 |2439 |1367 |  0 | 971 |1513 | 1.884165e+06 | 4.191169e+06 | 122.44%|   6.64%
286.97/287.90	c   288s|  2600 |   307 |  1108k| 419.4 |   119M |  91 |2486 |2549 |2429 |1412 |  1 | 995 |1577 | 1.897123e+06 | 4.191169e+06 | 120.92%|   6.65%
294.24/295.26	c   295s|  2700 |   303 |  1141k| 416.2 |   119M |  91 |2486 |2548 |2425 |1467 |  2 |1010 |1617 | 1.909845e+06 | 4.191169e+06 | 119.45%|   6.66%
301.81/302.89	c   303s|  2800 |   315 |  1174k| 413.2 |   119M |  91 |2486 |2559 |2429 |1485 |  1 |1035 |1651 | 1.938962e+06 | 4.191169e+06 | 116.16%|   6.69%
308.89/309.95	c   310s|  2900 |   316 |  1205k| 409.5 |   119M |  91 |2486 |2589 |2430 |1504 |  2 |1123 |1714 | 1.938962e+06 | 4.191169e+06 | 116.16%|   6.69%
315.97/317.09	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
315.97/317.09	c   317s|  3000 |   314 |  1237k| 406.7 |   119M |  91 |2486 |2578 |2436 |1559 |  0 |1148 |1752 | 1.942316e+06 | 4.191169e+06 | 115.78%|   6.70%
325.43/326.55	c   327s|  3100 |   310 |  1279k| 407.0 |   119M |  91 |2486 |2585 |2430 |1581 |  0 |1197 |1833 | 1.942316e+06 | 4.191169e+06 | 115.78%|   6.70%
333.91/335.06	c   335s|  3200 |   316 |  1315k| 405.7 |   120M |  91 |2486 |2581 |2429 |1620 |  0 |1235 |1896 | 1.973789e+06 | 4.191169e+06 | 112.34%|   6.73%
346.66/347.89	c   348s|  3300 |   308 |  1372k| 410.6 |   120M |  91 |2486 |2667 |2432 |1687 |  2 |1381 |1996 | 1.973789e+06 | 4.191169e+06 | 112.34%|   6.73%
355.63/356.86	c   357s|  3400 |   306 |  1411k| 410.1 |   120M |  91 |2486 |2629 |2445 |1756 |  0 |1432 |2067 | 2.015900e+06 | 4.191169e+06 | 107.91%|   6.77%
367.59/368.84	c   369s|  3500 |   305 |  1462k| 412.8 |   120M |  91 |2486 |2608 |2434 |1811 |  1 |1472 |2159 | 2.046535e+06 | 4.191169e+06 | 104.79%|   6.81%
375.46/376.73	c   377s|  3600 |   307 |  1498k| 411.3 |   121M |  91 |2486 |2625 |2424 |1848 |  0 |1562 |2229 | 2.060156e+06 | 4.191169e+06 | 103.44%|   7.52%
383.33/384.62	c   385s|  3700 |   305 |  1532k| 409.4 |   121M |  91 |2486 |2598 |2431 |1865 |  1 |1595 |2288 | 2.060156e+06 | 4.191169e+06 | 103.44%|   7.52%
384.22/385.55	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
384.62/385.97	c (run 2, node 3710) performing user restart
384.62/385.97	c 
384.62/385.97	c (restart) converted 62 cuts from the global cut pool into linear constraints
384.62/385.97	c 
384.62/385.99	c presolving:
384.62/386.00	c (round 1, fast)       950 del vars, 602 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 462 chg coeffs, 0 upgd conss, 0 impls, 52 clqs
384.73/386.01	c    (386.0s) running MILP presolver
384.73/386.01	c    (386.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
384.73/386.01	c (round 2, medium)     954 del vars, 606 del conss, 8 add conss, 0 chg bounds, 2 chg sides, 462 chg coeffs, 0 upgd conss, 0 impls, 57 clqs
384.73/386.01	c (round 3, fast)       954 del vars, 624 del conss, 13 add conss, 0 chg bounds, 2 chg sides, 487 chg coeffs, 0 upgd conss, 0 impls, 57 clqs
384.73/386.02	c (round 4, exhaustive) 954 del vars, 624 del conss, 13 add conss, 0 chg bounds, 2 chg sides, 487 chg coeffs, 63 upgd conss, 0 impls, 57 clqs
384.73/386.02	c (round 5, fast)       954 del vars, 626 del conss, 13 add conss, 0 chg bounds, 2 chg sides, 487 chg coeffs, 63 upgd conss, 0 impls, 57 clqs
384.73/386.03	c (round 6, exhaustive) 954 del vars, 645 del conss, 13 add conss, 0 chg bounds, 3 chg sides, 579 chg coeffs, 63 upgd conss, 0 impls, 57 clqs
384.73/386.03	c (round 7, exhaustive) 954 del vars, 651 del conss, 13 add conss, 0 chg bounds, 3 chg sides, 579 chg coeffs, 63 upgd conss, 0 impls, 57 clqs
384.73/386.06	c presolving (8 rounds: 8 fast, 5 medium, 4 exhaustive):
384.73/386.06	c  954 deleted vars, 651 deleted constraints, 13 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 595 changed coefficients
384.73/386.06	c  0 implications, 57 cliques
384.73/386.06	c presolved problem has 1532 variables (1532 bin, 0 int, 0 impl, 0 cont) and 2037 constraints
384.73/386.06	c     434 constraints of type <knapsack>
384.73/386.06	c      50 constraints of type <setppc>
384.73/386.06	c      32 constraints of type <linear>
384.73/386.06	c    1521 constraints of type <logicor>
384.73/386.06	c transformed objective value is always integral (scale: 2)
384.73/386.06	c Presolving Time: 0.62
384.73/386.06	c transformed 10/13 original solutions to the transformed problem space
384.73/386.06	c 
385.92/387.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
385.92/387.23	c   387s|     1 |     0 |  1547k|     - |   123M |   0 |1532 |2035 |1815 |   0 |  0 |1628 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
385.92/387.27	c   387s|     1 |     0 |  1547k|     - |   123M |   0 |1532 |2036 |1813 |   0 |  0 |1629 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
386.12/387.46	c   387s|     1 |     0 |  1548k|     - |   123M |   0 |1532 |2033 |1832 |  19 |  1 |1629 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
386.32/387.60	c   388s|     1 |     0 |  1548k|     - |   123M |   0 |1532 |2034 |1846 |  33 |  2 |1630 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
386.42/387.73	c   388s|     1 |     0 |  1548k|     - |   123M |   0 |1532 |2035 |1852 |  39 |  3 |1631 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
386.51/387.87	c   388s|     1 |     0 |  1548k|     - |   124M |   0 |1532 |2036 |1856 |  43 |  4 |1632 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
386.61/388.00	c   388s|     1 |     0 |  1548k|     - |   124M |   0 |1532 |2037 |1857 |  44 |  5 |1633 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
386.83/388.14	c   388s|     1 |     0 |  1549k|     - |   124M |   0 |1532 |2038 |1859 |  46 |  6 |1634 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
386.91/388.27	c   388s|     1 |     0 |  1549k|     - |   124M |   0 |1532 |2037 |1861 |  48 |  7 |1635 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
387.01/388.39	c   388s|     1 |     0 |  1549k|     - |   125M |   0 |1532 |2038 |1863 |  50 |  8 |1636 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
387.21/388.52	c   389s|     1 |     0 |  1549k|     - |   125M |   0 |1532 |2038 |1865 |  52 |  9 |1636 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
387.31/388.65	c   389s|     1 |     0 |  1549k|     - |   125M |   0 |1532 |2039 |1866 |  53 | 10 |1637 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
387.41/388.72	c   389s|     1 |     0 |  1549k|     - |   125M |   0 |1532 |2038 |1867 |  54 | 11 |1638 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
387.41/388.78	c   389s|     1 |     0 |  1549k|     - |   125M |   0 |1532 |2036 |1868 |  55 | 12 |1639 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
387.51/388.84	c   389s|     1 |     0 |  1550k|     - |   126M |   0 |1532 |2036 |1870 |  57 | 13 |1640 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
387.51/388.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
387.51/388.89	c   389s|     1 |     0 |  1550k|     - |   126M |   0 |1532 |2037 |1872 |  59 | 14 |1641 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
387.61/388.96	c   389s|     1 |     0 |  1550k|     - |   126M |   0 |1532 |2037 |1826 |  61 | 15 |1641 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
387.72/389.02	c   389s|     1 |     0 |  1550k|     - |   126M |   0 |1532 |2038 |1829 |  64 | 16 |1642 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
387.72/389.09	c   389s|     1 |     0 |  1550k|     - |   126M |   0 |1532 |2036 |1830 |  65 | 17 |1642 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
387.82/389.17	c   389s|     1 |     0 |  1550k|     - |   127M |   0 |1532 |2035 |1832 |  67 | 18 |1644 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
387.91/389.24	c   389s|     1 |     0 |  1550k|     - |   127M |   0 |1532 |2030 |1835 |  70 | 19 |1645 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
388.01/389.30	c   389s|     1 |     0 |  1550k|     - |   127M |   0 |1532 |2031 |1837 |  72 | 20 |1646 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
388.01/389.34	c   389s|     1 |     0 |  1550k|     - |   127M |   0 |1532 |2025 |1833 |  75 | 21 |1647 |2313 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
392.81/394.16	c   394s|     1 |     2 |  1572k|     - |   127M |   0 |1532 |2022 |1833 |  75 | 22 |1653 |2324 | 2.060156e+06 | 4.191169e+06 | 103.44%| unknown
409.24/410.67	c   411s|   100 |    28 |  1652k| 425.5 |   131M |  25 |1532 |2041 |1834 | 226 |  2 |1717 |2391 | 2.060156e+06 | 4.191169e+06 | 103.44%|   4.12%
426.77/428.22	c   428s|   200 |    28 |  1741k| 437.3 |   135M |  25 |1532 |2069 |1804 | 441 |  0 |1800 |2506 | 2.060156e+06 | 4.191169e+06 | 103.44%|   5.97%
445.01/446.56	c   447s|   300 |    40 |  1832k| 449.2 |   139M |  25 |1532 |2151 |1803 | 718 |  1 |1943 |2638 | 2.060156e+06 | 4.191169e+06 | 103.44%|   7.45%
462.05/463.67	c   464s|   400 |    48 |  1912k| 457.6 |   141M |  25 |1532 |2110 |1823 |1134 |  3 |2046 |2730 | 2.060156e+06 | 4.191169e+06 | 103.44%|  10.21%
476.19/477.81	o 4139277
476.19/477.81	c * 478s|   459 |    56 |  1999k| 472.1 |    LP  |  25 |1532 |2093 |1819 |1284 |  2 |2064 |2798 | 2.060156e+06 | 4.139277e+06 | 100.92%|  10.41%
476.41/478.04	o 4120715
476.41/478.04	c * 478s|   462 |    57 |  2001k| 472.2 |    LP  |  25 |1532 |2092 |1819 |1284 |  2 |2064 |2798 | 2.060156e+06 | 4.120715e+06 | 100.02%|  10.53%
479.39/481.10	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
479.39/481.10	c   481s|   500 |    53 |  2019k| 472.3 |   142M |  25 |1532 |2107 |1841 |1385 |  7 |2103 |2808 | 2.060156e+06 | 4.120715e+06 | 100.02%|  14.14%
482.28/483.91	o 4069235
482.28/483.91	c * 484s|   518 |    57 |  2030k| 472.7 |    LP  |  25 |1532 |2098 |1835 |1475 |  2 |2114 |2828 | 2.060156e+06 | 4.069235e+06 |  97.52%|  15.89%
482.28/483.99	o 4062655
482.28/483.99	c * 484s|   522 |    57 |  2030k| 472.4 |    LP  |  27 |1532 |2093 |1835 |1475 |  2 |2114 |2828 | 2.060156e+06 | 4.062655e+06 |  97.20%|  16.05%
482.78/484.41	o 4012967
482.78/484.41	c * 484s|   560 |    53 |  2033k| 468.9 |    LP  |  37 |1532 |2089 |1835 |1476 |  1 |2123 |2828 | 2.060156e+06 | 4.012967e+06 |  94.79%|  18.00%
484.39/486.08	c   486s|   600 |    53 |  2040k| 466.2 |   142M |  37 |1532 |2089 |1835 |1482 |  1 |2131 |2849 | 2.097529e+06 | 4.012967e+06 |  91.32%|  18.68%
491.05/492.72	c   493s|   700 |    57 |  2078k| 464.3 |   142M |  37 |1532 |2073 |1837 |1505 |  2 |2160 |2895 | 2.214504e+06 | 4.012967e+06 |  81.21%|  25.77%
496.53/498.23	c   498s|   800 |    55 |  2110k| 460.9 |   142M |  41 |1532 |2098 |1834 |1571 |  0 |2214 |2934 | 2.298311e+06 | 4.012967e+06 |  74.61%|  28.15%
502.32/504.11	o 3971977
502.32/504.11	c * 504s|   849 |    58 |  2139k| 462.3 |    LP  |  41 |1532 |2024 |1822 |1644 |  2 |2240 |2965 | 2.453449e+06 | 3.971977e+06 |  61.89%|  35.72%
505.31/507.08	c   507s|   900 |    56 |  2156k| 460.9 |   142M |  41 |1532 |2080 |1842 |1682 |  0 |2341 |3010 | 2.492245e+06 | 3.971977e+06 |  59.37%|  38.42%
511.39/513.16	c   513s|  1000 |    50 |  2188k| 458.0 |   143M |  41 |1532 |2084 |1846 |1764 |  1 |2415 |3096 | 2.507582e+06 | 3.971977e+06 |  58.40%|  52.20%
518.65/520.44	c   520s|  1100 |    37 |  2224k| 455.9 |   143M |  41 |1532 |2100 |1839 |1824 |  0 |2526 |3189 | 2.731356e+06 | 3.971977e+06 |  45.42%|  73.12%
523.73/525.50	c   525s|  1200 |    27 |  2252k| 452.3 |   143M |  41 |1532 |2162 |1838 |1906 |  0 |2628 |3217 | 2.860567e+06 | 3.971977e+06 |  38.85%|  82.72%
530.22/532.09	c   532s|  1300 |    11 |  2285k| 449.9 |   143M |  41 |1532 |2326 |1846 |1940 |  2 |2902 |3325 | 3.188643e+06 | 3.971977e+06 |  24.57%|  94.08%
530.41/532.28	c 
530.41/532.28	c SCIP Status        : problem is solved [optimal solution found]
530.41/532.28	c Solving Time (sec) : 532.28
530.41/532.28	c Solving Nodes      : 1313 (total of 5024 nodes in 3 runs)
530.41/532.28	c Primal Bound       : +3.97197700000000e+06 (20 solutions)
530.41/532.28	c Dual Bound         : +3.97197700000000e+06
530.41/532.28	c Gap                : 0.00 %
530.41/532.28	s OPTIMUM FOUND
530.41/532.28	v -x4850 -x4749 -x4698 -x4647 -x4596 -x4545 -x4494 -x4443 -x4392 -x4341 -x4290 -x4189 -x4138 -x4087 -x4036 -x3985 -x3934 -x3883 -x3832 
530.41/532.28	v -x3781 -x3730 -x3629 -x3578 -x3527 -x3476 -x3425 -x3374 -x3323 -x3272 -x3221 -x3170 -x3069 -x3018 -x2967 -x2916 -x2865 
530.41/532.28	v -x2814 -x2763 -x2712 -x2661 -x2610 -x5059 -x5008 -x4957 -x4906 -x4855 -x4754 -x4203 -x3652 -x3101 -x2300 -x2199 -x2148 -x2097 
530.41/532.28	v -x2046 -x1995 -x1944 -x1893 -x1842 -x1791 -x1740 -x1639 -x1588 -x1537 -x1486 -x1435 -x1384 -x1333 -x1282 -x1231 -x1180 -x1079 
530.41/532.28	v -x1028 -x977 -x926 -x875 -x824 -x773 -x722 -x671 -x620 -x519 -x468 -x417 -x366 -x315 -x264 -x213 -x162 -x111 -x60 -x2509 -x2458 
530.41/532.28	v -x2407 -x2356 -x2305 -x2204 -x1653 -x1102 -x551 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 
530.41/532.28	v -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 
530.41/532.28	v -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 
530.41/532.28	v -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 
530.41/532.28	v -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 
530.41/532.28	v -x4801 -x4750 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 
530.41/532.28	v -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 
530.41/532.28	v -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4697 
530.41/532.28	v -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 
530.41/532.28	v -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 
530.41/532.28	v -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4646 -x4645 -x4644 -x4643 -x4642 
530.41/532.28	v -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 
530.41/532.28	v -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 
530.41/532.28	v -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 
530.41/532.28	v -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 
530.41/532.28	v -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 
530.41/532.28	v -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 
530.41/532.28	v -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 
530.41/532.28	v -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 
530.41/532.28	v -x4496 -x4495 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 
530.41/532.28	v -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 
530.41/532.28	v -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4442 
530.41/532.28	v -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 
530.41/532.28	v -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 
530.41/532.28	v -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4391 -x4390 -x4389 -x4388 -x4387 
530.41/532.28	v -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 
530.41/532.28	v -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 
530.41/532.28	v -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 
530.41/532.28	v -x4331 -x4330 -x4329 -x4328 -x4327 x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 
530.41/532.28	v -x4313 x4312 -x4311 -x4310 -x4309 -x4308 -x4307 x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 
530.41/532.28	v -x4295 -x4294 -x4293 -x4292 -x4291 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 
530.41/532.28	v -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 
530.41/532.28	v -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 
530.41/532.28	v -x4191 -x4190 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 
530.41/532.28	v -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 
530.41/532.28	v -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4137 -x4136 
530.41/532.28	v -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 
530.41/532.28	v -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 
530.41/532.28	v -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4086 -x4085 -x4084 -x4083 -x4082 
530.41/532.28	v -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 
530.41/532.28	v -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 
530.41/532.28	v -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 
530.41/532.28	v -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 
530.41/532.28	v -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 
530.41/532.28	v -x3990 -x3989 -x3988 -x3987 -x3986 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 
530.41/532.28	v -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 
530.41/532.28	v -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 
530.41/532.28	v -x3936 -x3935 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 
530.41/532.28	v -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 
530.41/532.28	v -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3882 -x3881 
530.41/532.28	v -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 
530.41/532.28	v -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 
530.41/532.28	v -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3831 -x3830 -x3829 -x3828 -x3827 
530.41/532.28	v -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 
530.41/532.28	v -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 
530.41/532.28	v -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 
530.41/532.28	v -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 
530.41/532.28	v -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 
530.41/532.28	v -x3735 -x3734 -x3733 -x3732 -x3731 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 
530.41/532.28	v -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3650 
530.41/532.28	v -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 
530.41/532.28	v -x3631 -x3630 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 
530.41/532.28	v -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 
530.41/532.28	v -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3577 -x3576 
530.41/532.28	v -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 
530.41/532.28	v -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 
530.41/532.28	v -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3526 -x3525 -x3524 -x3523 -x3522 
530.41/532.28	v -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 
530.41/532.28	v -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 x3491 -x3490 -x3489 -x3488 -x3487 -x3486 
530.41/532.28	v -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 
530.41/532.28	v -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 
530.41/532.28	v -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 
530.41/532.28	v -x3430 -x3429 -x3428 -x3427 -x3426 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 
530.41/532.28	v -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 
530.41/532.28	v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 
530.41/532.28	v -x3375 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 
530.41/532.28	v -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 
530.41/532.28	v -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3322 -x3321 
530.41/532.28	v -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 
530.41/532.28	v -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 
530.41/532.28	v -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 
530.41/532.28	v -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 
530.41/532.28	v -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 
530.41/532.28	v -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 
530.41/532.28	v -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 
530.41/532.28	v -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 
530.41/532.28	v -x3175 -x3174 -x3173 -x3172 -x3171 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 
530.41/532.28	v -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 
530.41/532.28	v -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 
530.41/532.28	v -x3070 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 
530.41/532.28	v -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 
530.41/532.28	v -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3017 -x3016 
530.41/532.28	v -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 
530.41/532.28	v -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 
530.41/532.28	v -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 
530.41/532.28	v -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 
530.41/532.28	v -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 
530.41/532.28	v -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 
530.41/532.28	v -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 
530.41/532.28	v -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 
530.41/532.28	v -x2870 -x2869 -x2868 -x2867 -x2866 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 
530.41/532.28	v -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 
530.41/532.28	v -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 
530.41/532.28	v -x2815 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 
530.41/532.28	v -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 
530.41/532.28	v -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2762 -x2761 
530.41/532.28	v -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 
530.41/532.28	v -x2742 x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 
530.41/532.28	v -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2711 -x2710 -x2709 -x2708 -x2707 x2706 
530.41/532.28	v -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 
530.41/532.28	v -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 
530.41/532.28	v -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 
530.41/532.28	v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 
530.41/532.28	v -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 
530.41/532.28	v -x2615 -x2614 -x2613 -x2612 -x2611 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x5100 -x5099 -x5098 -x5097 
530.41/532.28	v -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 
530.41/532.28	v -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 
530.41/532.28	v -x5060 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 
530.41/532.28	v -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 
530.41/532.28	v -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5007 -x5006 
530.41/532.28	v -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 
530.41/532.28	v -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 
530.41/532.28	v -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 
530.41/532.28	v -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 
530.41/532.28	v -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 
530.41/532.28	v -x4914 -x4913 x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 
530.41/532.28	v -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 
530.41/532.28	v -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 
530.41/532.28	v -x4859 -x4858 -x4857 -x4856 -x4854 -x4853 -x4852 -x4851 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 
530.41/532.28	v -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 
530.41/532.28	v -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 
530.41/532.28	v -x4755 -x4753 -x4752 -x4751 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 
530.41/532.28	v -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 
530.41/532.28	v -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4202 -x4201 -x3700 
530.41/532.28	v -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 
530.41/532.28	v -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 
530.41/532.28	v -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3651 -x3150 -x3149 -x3148 -x3147 -x3146 
530.41/532.28	v -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 
530.41/532.28	v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 
530.41/532.28	v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 x2591 
530.41/532.28	v -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 x2576 -x2575 -x2574 -x2573 
530.41/532.28	v -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 
530.41/532.28	v -x2554 -x2553 -x2552 -x2551 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 x2291 -x2290 -x2289 -x2288 -x2287 -x2286 
530.41/532.28	v -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 
530.41/532.28	v -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2200 
530.41/532.28	v -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 
530.41/532.28	v -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 
530.41/532.28	v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2147 -x2146 -x2145 -x2144 
530.41/532.28	v -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 
530.41/532.28	v -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 x2112 -x2111 -x2110 -x2109 
530.41/532.28	v -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 
530.41/532.28	v -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 
530.41/532.28	v -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 
530.41/532.28	v -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 
530.41/532.28	v -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 
530.41/532.28	v -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 
530.41/532.28	v -x1998 -x1997 -x1996 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 
530.41/532.28	v -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 x1962 
530.41/532.28	v -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1943 
530.41/532.28	v -x1942 x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 
530.41/532.28	v -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 
530.41/532.28	v -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1892 -x1891 -x1890 -x1889 
530.41/532.28	v -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 
530.41/532.28	v -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 
530.41/532.28	v -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 
530.41/532.28	v -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 
530.41/532.28	v -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 x1800 x1799 -x1798 
530.41/532.28	v -x1797 -x1796 -x1795 x1794 -x1793 -x1792 -x1790 -x1789 -x1788 -x1787 x1786 x1785 x1784 -x1783 x1782 -x1781 -x1780 -x1779 x1778 
530.41/532.28	v -x1777 -x1776 -x1775 -x1774 x1773 x1772 -x1771 -x1770 x1769 -x1768 -x1767 -x1766 x1765 x1764 -x1763 -x1762 -x1761 -x1760 
530.41/532.28	v -x1759 x1758 -x1757 -x1756 x1755 x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 
530.41/532.28	v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 
530.41/532.28	v -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 
530.41/532.28	v -x1703 -x1702 -x1701 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1638 -x1637 -x1636 
530.41/532.28	v -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 
530.41/532.28	v -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 
530.41/532.28	v -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 
530.41/532.28	v -x1580 -x1579 -x1578 -x1577 x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 
530.41/532.28	v -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 
530.41/532.28	v -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 
530.41/532.28	v -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 x1512 -x1511 -x1510 -x1509 -x1508 
530.41/532.28	v -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 x1491 -x1490 
530.41/532.28	v -x1489 -x1488 -x1487 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 
530.41/532.28	v -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 
530.41/532.28	v -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1434 
530.41/532.28	v -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 
530.41/532.28	v -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 
530.41/532.28	v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1383 -x1382 -x1381 -x1380 
530.41/532.28	v -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 
530.41/532.28	v -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 
530.41/532.28	v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 
530.41/532.28	v -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 x1312 -x1311 -x1310 -x1309 -x1308 -x1307 
530.41/532.28	v -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 x1291 -x1290 -x1289 
530.41/532.28	v -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 
530.41/532.28	v -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 
530.41/532.28	v -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 
530.41/532.28	v -x1234 -x1233 -x1232 -x1230 -x1229 -x1228 -x1227 x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 
530.41/532.28	v -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 
530.41/532.28	v -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1179 
530.41/532.28	v -x1178 -x1177 x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 
530.41/532.28	v -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 
530.41/532.28	v -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1078 -x1077 -x1076 -x1075 -x1074 
530.41/532.28	v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 
530.41/532.28	v -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 x1041 -x1040 -x1039 -x1038 
530.41/532.28	v -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 
530.41/532.28	v -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 
530.41/532.28	v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 
530.41/532.28	v -x980 -x979 -x978 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 x962 -x961 -x960 -x959 
530.41/532.28	v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 x946 -x945 -x944 -x943 x942 -x941 -x940 x939 x938 -x937 
530.41/532.28	v -x936 -x935 -x934 -x933 -x932 x931 x930 -x929 -x928 -x927 x925 x924 -x923 -x922 x921 -x920 -x919 -x918 -x917 -x916 -x915 
530.41/532.28	v -x914 -x913 -x912 -x911 -x910 x909 -x908 x907 -x906 -x905 -x904 x903 x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 
530.41/532.28	v -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 x876 -x874 -x873 -x872 -x871 
530.41/532.28	v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 
530.41/532.28	v -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 
530.41/532.28	v -x828 -x827 x826 -x825 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 
530.41/532.28	v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 x791 -x790 -x789 -x788 -x787 -x786 
530.41/532.28	v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 
530.41/532.28	v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 
530.41/532.28	v -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 
530.41/532.28	v -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 
530.41/532.28	v -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 
530.41/532.28	v -x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 
530.41/532.28	v -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 
530.41/532.28	v -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x619 -x618 -x617 -x616 -x615 
530.41/532.28	v -x614 -x613 x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x550 -x549 -x548 -x547 -x546 -x545 -x544 
530.41/532.28	v -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 
530.41/532.28	v -x522 -x521 -x520 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 
530.41/532.28	v -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 
530.41/532.28	v -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 
530.41/532.28	v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 
530.41/532.28	v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x416 
530.41/532.28	v -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 
530.41/532.28	v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 
530.41/532.28	v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x365 -x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 
530.41/532.28	v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 
530.41/532.28	v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x314 -x313 -x312 -x311 -x310 -x309 
530.41/532.28	v -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 
530.41/532.28	v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 
530.41/532.28	v -x267 -x266 -x265 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 
530.41/532.28	v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 
530.41/532.28	v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 
530.41/532.28	v -x202 -x201 -x200 -x199 x198 x197 -x196 x195 -x194 x193 -x192 -x191 x190 -x189 -x188 x187 -x186 -x185 -x184 x183 -x182 -x181 
530.41/532.28	v -x180 x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 x168 x167 x166 -x165 -x164 x163 x161 x160 -x159 -x158 
530.41/532.28	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 
530.41/532.28	v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 
530.41/532.28	v -x115 -x114 -x113 x112 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 
530.41/532.28	v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 
530.41/532.28	v -x67 -x66 -x65 -x64 -x63 x62 -x61 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 
530.41/532.28	v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 x2526 
530.41/532.28	v -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2508 -x2507 
530.41/532.28	v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 x2491 -x2490 -x2489 
530.41/532.28	v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 
530.41/532.28	v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2457 -x2456 -x2455 -x2454 -x2453 
530.41/532.28	v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 
530.41/532.28	v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 
530.41/532.28	v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 
530.41/532.28	v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 
530.41/532.28	v -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 
530.41/532.28	v -x2361 -x2360 -x2359 -x2358 -x2357 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 
530.41/532.28	v -x2342 x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 
530.41/532.28	v -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 
530.41/532.28	v -x2306 -x2304 -x2303 -x2302 -x2301 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 -x2240 -x2239 -x2238 
530.41/532.28	v -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 
530.41/532.28	v -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2203 -x2202 
530.41/532.28	v -x2201 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 
530.41/532.28	v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 
530.41/532.28	v -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1652 -x1651 -x1150 -x1149 -x1148 -x1147 
530.41/532.28	v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 
530.41/532.28	v -x1128 -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 
530.41/532.28	v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1101 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 
530.41/532.28	v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 
530.41/532.28	v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 
530.41/532.28	c SCIP Status        : problem is solved [optimal solution found]
530.41/532.28	c Total Time         :     532.28
530.41/532.28	c   solving          :     532.28
530.41/532.28	c   presolving       :       0.62 (included in solving)
530.41/532.28	c   reading          :       0.02 (included in solving)
530.41/532.28	c   copying          :       0.20 (22 #copies) (minimal 0.01, maximal 0.01, average 0.01)
530.41/532.28	c Original Problem   :
530.41/532.28	c   Problem name     : HOME/instance-4432865-1721130011.opb
530.41/532.28	c   Variables        : 5100 (5100 binary, 0 integer, 0 implicit integer, 0 continuous)
530.41/532.28	c   Constraints      : 7606 initial, 7606 maximal
530.41/532.28	c   Objective        : minimize, 4950 non-zeros (abs.min = 1, abs.max = 1.19095e+08)
530.41/532.28	c Presolved Problem  :
530.41/532.28	c   Problem name     : t_HOME/instance-4432865-1721130011.opb
530.41/532.28	c   Variables        : 1532 (1532 binary, 0 integer, 0 implicit integer, 0 continuous)
530.41/532.28	c   Constraints      : 2037 initial, 2327 maximal
530.41/532.28	c   Objective        : minimize, 1436 non-zeros (abs.min = 25, abs.max = 1.70302e+06)
530.41/532.28	c   Nonzeros         : 28987 constraint, 142 clique table
530.41/532.28	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
530.41/532.28	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
530.41/532.28	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
530.41/532.28	c   domcol           :       0.13       0.00      3          0          0          0          0          0          0          0          0          0
530.41/532.29	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   dualsparsify     :       0.08       0.00      1          0          0          0          0          0          0          0          0          0
530.41/532.29	c   gateextraction   :       0.01       0.00      7          0          0          0          0          0          0          0          0          0
530.41/532.29	c   implics          :       0.00       0.00     10          0          0          0          0          0          0          0          0          0
530.41/532.29	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   milp             :       0.04       0.00      2          0          0          0          0          0          0          0          0          0
530.41/532.29	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   sparsify         :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
530.41/532.29	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   trivial          :       0.00       0.00     15       1012          0          0          0          0          0          0          0          0
530.41/532.29	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   dualfix          :       0.00       0.00     15          0          0          0          0          0          0          0          0          0
530.41/532.29	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   probing          :       0.08       0.00      1          0          0          0          0          0          0          0          0          0
530.41/532.29	c   pseudoobj        :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
530.41/532.29	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
530.41/532.29	c   vbounds          :       0.00       0.00      3          0          4          0          0          0          0          0          0          0
530.41/532.29	c   knapsack         :       0.03       0.00     29          2          0          0          0          0        665         12          6          8
530.41/532.29	c   setppc           :       0.00       0.00     29          0          0          0          0          0         11          0          0          0
530.41/532.29	c   linear           :       0.10       0.01     23        100       2450          0        100          0       4902          1       1225       1226
530.41/532.29	c   logicor          :       0.03       0.00     27          0          0          0          0          0         35          0          0        590
530.41/532.29	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   components       :       0.01       0.00      3          0          0          0          0          0          0          0          0          0
530.41/532.29	c   root node        :          -          -      -       1230          -          -       1230          -          -          -          -          -
530.41/532.29	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
530.41/532.29	c   benderslp        :          0          0          0          0       3228          0          0        432          0          0          0          0          0          0          0
530.41/532.29	c   integral         :          0          0          0          0       3228          0          0        432          0          0       3578          0          0       1286       5402
530.41/532.29	c   knapsack         :        434        434         68      36340         11          0          0        424      17189        396     100045        972        121          0          0
530.41/532.29	c   setppc           :         50         50         68      20510          2          0          0         26       5391         31      18331          0          0          0          0
530.41/532.29	c   linear           :         32+        33         68      35913         11          0          0         24       3997        269      32113          0          0          0          0
530.41/532.29	c   logicor          :       1521+      1828         68      18918         11          0          0         21       6852        153     772641          7          5          0          0
530.41/532.29	c   benders          :          0          0          0          0         11          0          0         23          0          0          0          0          0          0          0
530.41/532.29	c   fixedvar         :          0          0          0          0         11          0          0         23          0          0          0          0          0          0          0
530.41/532.29	c   countsols        :          0          0          0          0         11          0          0         23          0          0          0          0          0          0          0
530.41/532.29	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
530.41/532.29	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
530.41/532.29	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
530.41/532.29	c   integral         :     179.72       0.00       0.00       0.00     179.72       0.00       0.00       0.00       0.00       0.00
530.41/532.29	c   knapsack         :       4.74       0.00       2.32       1.88       0.00       0.00       0.00       0.01       0.02       0.51
530.41/532.29	c   setppc           :       0.15       0.00       0.00       0.11       0.00       0.00       0.00       0.00       0.00       0.04
530.41/532.29	c   linear           :       1.29       0.01       0.52       0.63       0.00       0.00       0.00       0.00       0.01       0.13
530.41/532.29	c   logicor          :       2.48       0.00       0.02       1.82       0.00       0.00       0.00       0.00       0.00       0.63
530.41/532.29	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
530.41/532.29	c   fixedvar         :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
530.41/532.29	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
530.41/532.29	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
530.41/532.29	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
530.41/532.29	c   dualfix          :         11          0          0          0
530.41/532.29	c   genvbounds       :          0          0          0          0
530.41/532.29	c   nlobbt           :          0          0          0          0
530.41/532.29	c   obbt             :          0          0          0          0
530.41/532.29	c   probing          :          0          0          0          0
530.41/532.29	c   pseudoobj        :      23730         33          0       1042
530.41/532.29	c   redcost          :      14145          0          0     210150
530.41/532.29	c   rootredcost      :         14          0          0        608
530.41/532.29	c   symmetry         :          0          0          0          0
530.41/532.29	c   vbounds          :       5973          0          0          0
530.41/532.29	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
530.41/532.29	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
530.41/532.29	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
530.41/532.29	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
530.41/532.29	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
530.41/532.29	c   probing          :       0.08       0.00       0.08       0.00       0.00       0.00
530.41/532.29	c   pseudoobj        :       0.05       0.00       0.00       0.05       0.00       0.00
530.41/532.29	c   redcost          :       1.09       0.00       0.00       1.08       0.00       0.00
530.41/532.29	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
530.41/532.29	c   symmetry         :       0.04       0.00       0.02       0.01       0.00       0.00
530.41/532.29	c   vbounds          :       0.02       0.00       0.00       0.02       0.00       0.00
530.41/532.29	c Symmetry           :
530.41/532.29	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
530.41/532.29	c   orbital reduction:          0 reductions applied,          0 cutoffs
530.41/532.29	c   lexicographic red:          0 reductions applied,          0 cutoffs
530.41/532.29	c   shadow tree time :       0.00 s
530.41/532.29	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
530.41/532.29	c   propagation      :       0.03        612        610          -       1745       58.0         22       11.5          -          -          -
530.41/532.29	c   infeasible LP    :       0.05        100         98          -        500       84.0          2        4.5         82      206.7          0
530.41/532.29	c   bound exceed. LP :       1.30       1551        295          -       1356       51.2          2        4.0         60        1.0       3306
530.41/532.29	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
530.41/532.29	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
530.41/532.29	c   applied globally :       0.01          -          -         60       2760       46.3          -          -        141          -          -
530.41/532.29	c   applied locally  :          -          -          -          0          0        0.0          -          -          1          -          -
530.41/532.29	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
530.41/532.29	c   cut pool         :       0.46          -       1955        126          -          -      10460      28643          -          -          -          -          -    (maximal pool size:       2097)
530.41/532.29	c   aggregation      :       5.38       0.00        616         68          0          0       1703       6664          8       2084       2081          3          0
530.41/532.29	c   > cmir           :          -          -          -          -          -          -          -       2770          0        554        554          0          -
530.41/532.29	c   > flowcover      :          -          -          -          -          -          -          -       2183          0        629        629          0          -
530.41/532.29	c   > knapsackcover  :          -          -          -          -          -          -          -       1711          8        901        898          3          -
530.41/532.29	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   clique           :       0.00       0.00         68         68          0          0          0          0          0          0          0          0          0
530.41/532.29	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   gomory           :      14.19       0.00        402         30          0          0       8273      18897        102        433        431          2          0
530.41/532.29	c   > gomorymi       :          -          -          -          -          -          -          -       8472         51        188        186          2          -
530.41/532.29	c   > strongcg       :          -          -          -          -          -          -          -      10425         51        245        245          0          -
530.41/532.29	c   impliedbounds    :       0.02       0.00        616         68          0          0          4          8          0          8          8          0          0
530.41/532.29	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   mcf              :       0.00       0.00          3          3          0          0          0          0          0          0          0          0          0
530.41/532.29	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   multilinear      :       0.00       0.00        205         68          0          0          0          0          0          0          0          0          0
530.41/532.29	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   rapidlearning    :       0.02       0.00          0          0          0          0          0          0          0          0          0          0          0
530.41/532.29	c   rlt              :       0.00       0.00        134         30          0          0          0          0          0          0          0          0          0
530.41/532.29	c   zerohalf         :       3.31       0.00        432         60          0          0        617       3074         27       1318       1297         21          0
530.41/532.29	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
530.41/532.29	c   hybrid           :       0.03       0.00       1123         63       3969          0      25790        346          0       1641
530.41/532.29	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c Pricers            :   ExecTime  SetupTime      Calls       Vars
530.41/532.29	c   problem variables:       0.00          -          0          0
530.41/532.29	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
530.41/532.29	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c   relpscost        :     179.71       0.00       3217          0          0          0       3578          0       1451       5402
530.41/532.29	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
530.41/532.29	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
530.41/532.29	c   LP solutions     :       0.00          -          -         11         11
530.41/532.29	c   relax solutions  :       0.00          -          -          0          0
530.41/532.29	c   pseudo solutions :       0.00          -          -          0          0
530.41/532.29	c   strong branching :       0.01          -          -          1          1
530.41/532.29	c   actconsdiving    :       0.00       0.00          0          0          0
530.41/532.29	c   adaptivediving   :       0.64       0.00          4          0          0
530.41/532.29	c   alns             :       0.12       0.00          5          0          0
530.41/532.29	c   bound            :       0.00       0.00          0          0          0
530.41/532.29	c   clique           :       0.04       0.00          1          1          1
530.41/532.29	c   coefdiving       :       0.00       0.00          0          0          0
530.41/532.29	c   completesol      :       0.00       0.00          0          0          0
530.41/532.29	c   conflictdiving   :       2.96       0.00          3          1          1
530.41/532.29	c   crossover        :       0.16       0.00          7          0          0
530.41/532.29	c   dins             :       0.00       0.00          0          0          0
530.41/532.29	c   distributiondivin:       0.36       0.00          2          0          0
530.41/532.29	c   dps              :       0.00       0.00          0          0          0
530.41/532.29	c   dualval          :       0.00       0.00          0          0          0
530.41/532.29	c   farkasdiving     :       4.04       0.00          2          0          0
530.41/532.29	c   feasjump         :       0.00       0.00          0          0          0
530.41/532.29	c   feaspump         :       0.83       0.00          1          1          1
530.41/532.29	c   fixandinfer      :       0.00       0.00          0          0          0
530.41/532.29	c   fracdiving       :       0.62       0.00          3          0          0
530.41/532.29	c   gins             :       0.01       0.00          0          0          0
530.41/532.29	c   guideddiving     :       0.21       0.00          2          0          0
530.41/532.29	c   indcoefdiving    :       0.00       0.00          0          0          0
530.41/532.29	c   indicator        :       0.00       0.00          0          0          0
530.41/532.29	c   indicatordiving  :       0.00       0.00          0          0          0
530.41/532.29	c   indoneopt        :       0.00       0.00          0          0          0
530.41/532.29	c   indrounding      :       0.00       0.00          0          0          0
530.41/532.29	c   indtwoopt        :       0.00       0.00          0          0          0
530.41/532.29	c   intdiving        :       0.00       0.00          0          0          0
530.41/532.29	c   intshifting      :       0.00       0.00          0          0          0
530.41/532.29	c   linesearchdiving :       0.21       0.00          2          0          0
530.41/532.29	c   localbranching   :       0.00       0.00          0          0          0
530.41/532.29	c   locks            :       0.01       0.00          1          0          0
530.41/532.29	c   lpface           :       0.00       0.00          0          0          0
530.41/532.29	c   mpec             :       0.00       0.00          0          0          0
530.41/532.29	c   multistart       :       0.00       0.00          0          0          0
530.41/532.29	c   mutation         :       0.00       0.00          0          0          0
530.41/532.29	c   nlpdiving        :       0.00       0.00          0          0          0
530.41/532.29	c   objpscostdiving  :       0.74       0.00          2          0          0
530.41/532.29	c   octane           :       0.00       0.00          0          0          0
530.41/532.29	c   ofins            :       0.00       0.00          0          0          0
530.41/532.29	c   oneopt           :       0.01       0.00         15          0          0
530.41/532.29	c   padm             :       0.00       0.00          0          0          0
530.41/532.29	c   proximity        :       0.00       0.00          0          0          0
530.41/532.29	c   pscostdiving     :       0.58       0.00          3          0          0
530.41/532.29	c   randrounding     :       0.22       0.00        456          0          0
530.41/532.29	c   rens             :       1.30       0.00          3          0          0
530.41/532.29	c   reoptsols        :       0.00       0.00          0          0          0
530.41/532.29	c   repair           :       0.00       0.00          0          0          0
530.41/532.29	c   rins             :       0.21       0.00          7          4          0
530.41/532.29	c   rootsoldiving    :       5.70       0.00          2          1          0
530.41/532.29	c   rounding         :       0.29       0.00       1000          0          0
530.41/532.29	c   scheduler        :       0.00       0.00          0          0          0
530.41/532.29	c   shiftandpropagate:       0.00       0.00          0          0          0
530.41/532.29	c   shifting         :       2.08       0.00        514          0          0
530.41/532.29	c   simplerounding   :       0.00       0.00          0          0          0
530.41/532.29	c   smallcard        :       0.00       0.00          0          0          0
530.41/532.29	c   subnlp           :       0.00       0.00          0          0          0
530.41/532.29	c   trivial          :       0.01       0.00          6          0          0
530.41/532.29	c   trivialnegation  :       0.00       0.00          0          0          0
530.41/532.29	c   trustregion      :       0.00       0.00          0          0          0
530.41/532.29	c   trysol           :       0.00       0.00          0          0          0
530.41/532.29	c   twoopt           :       0.00       0.00          0          0          0
530.41/532.29	c   undercover       :       0.00       0.00          0          0          0
530.41/532.29	c   vbounds          :       0.00       0.00          0          0          0
530.41/532.29	c   veclendiving     :       0.03       0.00          2          0          0
530.41/532.29	c   zeroobj          :       0.00       0.00          0          0          0
530.41/532.29	c   zirounding       :       0.08       0.00       1000          0          0
530.41/532.29	c   other solutions  :          -          -          -          0          -
530.41/532.29	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
530.41/532.29	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
530.41/532.29	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
530.41/532.29	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
530.41/532.29	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
530.41/532.29	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
530.41/532.29	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
530.41/532.29	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
530.41/532.29	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
530.41/532.29	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
530.41/532.29	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
530.41/532.29	c   primal LP        :       0.68        482          0       0.00       0.00       0.68        482
530.41/532.29	c   dual LP          :     289.91      11838    2150110     301.85    7416.50       3.07       4715
530.41/532.29	c   lex dual LP      :       0.00          0          0       0.00          -
530.41/532.29	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
530.41/532.29	c   resolve instable :       0.00          0          0       0.00          -
530.41/532.29	c   diving/probing LP:      16.94        969     136804     141.18    8074.31
530.41/532.29	c   strong branching :     172.98       3325    1227766     369.25    7097.61          -          -       1511
530.41/532.29	c     (at root node) :          -         71      53085     747.68          -
530.41/532.29	c   conflict analysis:       0.52        333       3306       9.93    6300.07
530.41/532.29	c B&B Tree           :
530.41/532.29	c   number of runs   :          3
530.41/532.29	c   nodes            :       1313 (662 internal, 651 leaves)
530.41/532.29	c   feasible leaves  :          6
530.41/532.29	c   infeas. leaves   :        154
530.41/532.29	c   objective leaves :        491
530.41/532.29	c   nodes (total)    :       5024 (2701 internal, 2323 leaves)
530.41/532.29	c   nodes left       :          0
530.41/532.29	c   max depth        :         41
530.41/532.29	c   max depth (total):         91
530.41/532.29	c   backtracks       :        251 (19.1%)
530.41/532.29	c   early backtracks :          0 (0.0%)
530.41/532.29	c   nodes exc. ref.  :          0 (0.0%)
530.41/532.29	c   delayed cutoffs  :          5
530.41/532.29	c   repropagations   :        384 (4400 domain reductions, 4 cutoffs)
530.41/532.29	c   avg switch length:       4.23
530.41/532.29	c   switching time   :       3.13
530.41/532.29	c Root Node          :
530.41/532.29	c   First LP value   : +1.24717023792756e+06
530.41/532.29	c   First LP Iters   :       3046 (4496.68 Iter/sec)
530.41/532.29	c   First LP Time    :       0.68
530.41/532.29	c   Final Dual Bound : +2.06015568442816e+06
530.41/532.29	c   Final Root Iters :      31509
530.41/532.29	c   Root LP Estimate : +6.25335125027811e+06
530.41/532.29	c Solution           :
530.41/532.29	c   Solutions found  :         20 (15 improvements)
530.41/532.29	c   First Solution   : +1.48178537000000e+08   (in run 1, after 1 nodes, 0.57 seconds, depth 6, found by <clique>)
530.41/532.29	c   Gap First Sol.   :   infinite
530.41/532.29	c   Gap Last Sol.    :      61.89 %
530.41/532.29	c   Primal Bound     : +3.97197700000000e+06   (in run 3, after 849 nodes, 504.10 seconds, depth 20, found by <relaxation>)
530.41/532.29	c   Dual Bound       : +3.97197700000000e+06
530.41/532.29	c   Gap              :       0.00 %
530.41/532.29	c Integrals          :      Total       Avg%
530.41/532.29	c   primal-dual      :   31195.10      58.61
530.41/532.29	c   primal-ref       :          -          - (not evaluated)
530.41/532.29	c   dual-ref         :          -          - (not evaluated)
530.51/532.31	c Time complete: 530.527.

Verifier Data 

OK	3971977

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432865-1721130011/watcher-4432865-1721130011 -o /tmp/evaluation-result-4432865-1721130011/solver-4432865-1721130011 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721129802-844283 --watchdog 3760 pbscip -f HOME/instance-4432865-1721130011.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=844427, runsolver pid=844424

[startup+0.100101 s]*
/proc/loadavg: 4.02 2.70 1.94 5/241 844428
/proc/meminfo: memFree=119178792/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=81840 memory=42236 CPUtime=0.1 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 7258 0 0 0 9 1 0 0 20 0 1 0 165157507 83804160 10559 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 20460 10559 3646 3540 0 8717 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 81840 KiB
Current children cumulated memory: 42236 KiB

[startup+0.21063 s]*
/proc/loadavg: 4.10 2.74 1.96 5/241 844428
/proc/meminfo: memFree=119171196/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=89104 memory=50172 CPUtime=0.21 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 9710 0 0 0 19 2 0 0 20 0 1 0 165157507 91242496 12543 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 22276 12543 3821 3540 0 10533 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 89104 KiB
Current children cumulated memory: 50172 KiB

[startup+0.310489 s]*
/proc/loadavg: 4.10 2.74 1.96 5/241 844428
/proc/meminfo: memFree=119171092/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=89584 memory=50436 CPUtime=0.31 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 9807 0 0 0 29 2 0 0 20 0 1 0 165157507 91734016 12609 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 22396 12609 3821 3540 0 10653 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 89584 KiB
Current children cumulated memory: 50436 KiB

[startup+0.700326 s]
/proc/loadavg: 4.10 2.74 1.96 5/241 844428
/proc/meminfo: memFree=119160536/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=116540 memory=72256 CPUtime=0.68 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 15405 0 0 0 65 3 0 0 20 0 1 0 165157507 119336960 18064 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 29135 18064 3981 3540 0 17392 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 116540 KiB
Current children cumulated memory: 72256 KiB

[startup+1.50032 s]
/proc/loadavg: 4.10 2.74 1.96 5/241 844428
/proc/meminfo: memFree=119149124/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=119464 memory=74628 CPUtime=1.49 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 16019 0 0 0 145 4 0 0 20 0 1 0 165157507 122331136 18657 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 29866 18657 3981 3540 0 18123 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 119464 KiB
Current children cumulated memory: 74628 KiB

[startup+3.11244 s]
/proc/loadavg: 4.10 2.74 1.96 5/241 844430
/proc/meminfo: memFree=119113176/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=152248 memory=106300 CPUtime=3.09 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 24038 0 0 0 304 5 0 0 20 0 1 0 165157507 155901952 26575 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 38062 26575 3981 3540 0 26319 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 152248 KiB
Current children cumulated memory: 106300 KiB

[startup+6.3003 s]
/proc/loadavg: 4.09 2.76 1.97 5/241 844430
/proc/meminfo: memFree=119106136/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=159028 memory=113428 CPUtime=6.27 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 25784 0 0 0 621 6 0 0 20 0 1 0 165157507 162844672 28357 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 39757 28357 3981 3540 0 28014 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 159028 KiB
Current children cumulated memory: 113428 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 2.78 1.98 5/241 844431
/proc/meminfo: memFree=119094936/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=167868 memory=122584 CPUtime=12.65 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 29894 0 0 0 1259 6 0 0 20 0 1 0 165157507 171896832 30646 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 41967 30646 3997 3540 0 30224 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 167868 KiB
Current children cumulated memory: 122584 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 2.82 2.00 5/243 844437
/proc/meminfo: memFree=119083536/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=181608 memory=134888 CPUtime=25.42 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 32996 0 0 0 2535 7 0 0 20 0 1 0 165157507 185966592 33722 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 45402 33722 3997 3540 0 33659 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 181608 KiB
Current children cumulated memory: 134888 KiB

[startup+51.1127 s]
/proc/loadavg: 4.11 2.95 2.07 5/243 844440
/proc/meminfo: memFree=119082632/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=181608 memory=134888 CPUtime=50.96 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 33002 0 0 0 5089 7 0 0 20 0 1 0 165157507 185966592 33722 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 45402 33722 3997 3540 0 33659 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 181608 KiB
Current children cumulated memory: 134888 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 3.13 2.18 5/243 844496
/proc/meminfo: memFree=120926028/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=183720 memory=138648 CPUtime=102.02 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 33883 0 0 0 10195 7 0 0 20 0 1 0 165157507 188129280 34662 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 45930 34662 4019 3540 0 34187 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 183720 KiB
Current children cumulated memory: 138648 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.31 2.30 5/243 844507
/proc/meminfo: memFree=120876460/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=190556 memory=145792 CPUtime=161.8 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 35585 0 0 0 16172 8 0 0 20 0 1 0 165157507 195129344 36448 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 47639 36448 4165 3540 0 35896 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 190556 KiB
Current children cumulated memory: 145792 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 3.47 2.42 5/243 844517
/proc/meminfo: memFree=120811216/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=190556 memory=146028 CPUtime=221.6 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 35905 0 0 0 22151 9 0 0 20 0 1 0 165157507 195129344 36507 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 47639 36507 4165 3540 0 35896 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 190556 KiB
Current children cumulated memory: 146028 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.58 2.53 5/243 844528
/proc/meminfo: memFree=120789028/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=190692 memory=146092 CPUtime=281.39 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 35957 0 0 0 28130 9 0 0 20 0 1 0 165157507 195268608 36523 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 47673 36523 4165 3540 0 35930 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 190692 KiB
Current children cumulated memory: 146092 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.68 2.63 5/241 844539
/proc/meminfo: memFree=120787648/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=190692 memory=146092 CPUtime=341.18 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 35963 0 0 0 34108 10 0 0 20 0 1 0 165157507 195268608 36523 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 47673 36523 4165 3540 0 35930 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 190692 KiB
Current children cumulated memory: 146092 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.77 2.73 5/241 844549
/proc/meminfo: memFree=120775676/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=202084 memory=156484 CPUtime=400.97 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 38576 0 0 0 40086 11 0 0 20 0 1 0 165157507 206934016 39121 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 50521 39121 4165 3540 0 38778 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 202084 KiB
Current children cumulated memory: 156484 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.83 2.82 5/241 844559
/proc/meminfo: memFree=120771244/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=204924 memory=160388 CPUtime=460.75 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 39633 0 0 0 46064 11 0 0 20 0 1 0 165157507 209842176 40097 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 51231 40097 4165 3540 0 39488 0
Current children cumulated CPU time: 460.75 s
Current children cumulated vsize: 204924 KiB
Current children cumulated memory: 160388 KiB

[startup+522.3 s]
/proc/loadavg: 4.15 3.89 2.90 5/241 844570
/proc/meminfo: memFree=120772092/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=205452 memory=160908 CPUtime=520.54 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 39778 0 0 0 52042 12 0 0 20 0 1 0 165157507 210382848 40227 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 51363 40227 4165 3540 0 39620 0
Current children cumulated CPU time: 520.54 s
Current children cumulated vsize: 205452 KiB
Current children cumulated memory: 160908 KiB

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

# cumulated CPU time of all completed processes:  user=530.405 s, system=0.130635 s

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

[startup+524.8 s]
/proc/loadavg: 4.15 3.89 2.90 5/241 844570
/proc/meminfo: memFree=120772092/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=205452 memory=160908 CPUtime=523.03 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 39778 0 0 0 52291 12 0 0 20 0 1 0 165157507 210382848 40227 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 51363 40227 4165 3540 0 39620 0
Current children cumulated CPU time: 523.03 s
Current children cumulated vsize: 205452 KiB
Current children cumulated memory: 160908 KiB

[startup+528 s]*
/proc/loadavg: 4.14 3.89 2.91 5/241 844570
/proc/meminfo: memFree=120772160/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=205452 memory=160908 CPUtime=526.23 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 39778 0 0 0 52611 12 0 0 20 0 1 0 165157507 210382848 40227 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 51363 40227 4165 3540 0 39620 0
Current children cumulated CPU time: 526.23 s
Current children cumulated vsize: 205452 KiB
Current children cumulated memory: 160908 KiB

[startup+529.6 s]
/proc/loadavg: 4.14 3.89 2.91 5/241 844570
/proc/meminfo: memFree=120772136/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=205452 memory=160908 CPUtime=527.82 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 39778 0 0 0 52770 12 0 0 20 0 1 0 165157507 210382848 40227 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 51363 40227 4165 3540 0 39620 0
Current children cumulated CPU time: 527.82 s
Current children cumulated vsize: 205452 KiB
Current children cumulated memory: 160908 KiB

[startup+531.2 s]
/proc/loadavg: 4.13 3.90 2.92 5/241 844570
/proc/meminfo: memFree=120772144/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=205452 memory=160908 CPUtime=529.41 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 39778 0 0 0 52929 12 0 0 20 0 1 0 165157507 210382848 40227 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 51363 40227 4165 3540 0 39620 0
Current children cumulated CPU time: 529.41 s
Current children cumulated vsize: 205452 KiB
Current children cumulated memory: 160908 KiB

[startup+532 s]*
/proc/loadavg: 4.13 3.90 2.92 5/241 844572
/proc/meminfo: memFree=120772096/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=205452 memory=160908 CPUtime=530.22 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 39778 0 0 0 53010 12 0 0 20 0 1 0 165157507 210382848 40227 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 51363 40227 4165 3540 0 39620 0
Current children cumulated CPU time: 530.22 s
Current children cumulated vsize: 205452 KiB
Current children cumulated memory: 160908 KiB

[startup+532.2 s]
/proc/loadavg: 4.13 3.90 2.92 5/241 844572
/proc/meminfo: memFree=120772096/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=205452 memory=160908 CPUtime=530.41 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 39778 0 0 0 53029 12 0 0 20 0 1 0 165157507 210382848 40227 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 51363 40227 4165 3540 0 39620 0
Current children cumulated CPU time: 530.41 s
Current children cumulated vsize: 205452 KiB
Current children cumulated memory: 160908 KiB

[startup+532.3 s]
/proc/loadavg: 4.13 3.90 2.92 5/241 844572
/proc/meminfo: memFree=120772096/131655788 swapFree=131071996/131071996
[pid=844427] ppid=844424 vsize=205452 memory=160908 CPUtime=530.51 cores=4,6
/proc/844427/stat : 844427 (pbscip) R 844424 844427 844272 0 -1 4194304 39779 0 0 0 53039 12 0 0 20 0 1 0 165157507 210382848 40227 134679101440 4194304 18693293 140725593898064 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 54415360 140725593904132 140725593904231 140725593904231 140725593911246 0
/proc/844427/statm: 51363 40227 4165 3540 0 39620 0
Current children cumulated CPU time: 530.51 s
Current children cumulated vsize: 205452 KiB
Current children cumulated memory: 160908 KiB

Child status: 0

Real time (s): 532.323
CPU time (s): 530.536
CPU user time (s): 530.405
CPU system time (s): 0.130635
CPU usage (%): 99.6642
Max. virtual memory (cumulated for all children) (KiB): 205452
Max. memory (cumulated for all children) (KiB): 160908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 530.405
system time used= 0.130635
maximum resident set size= 160908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39788
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= 442


# summary of solver processes directly reported to runsolver:
#   pid: 844427
#   total CPU time (s): 530.536
#   total CPU user time (s): 530.405
#   total CPU system time (s): 0.130635

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.47789 second user time and 5.14721 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-16 13:40:23
IDJOB=4432865
IDBENCH=155602
IDSOLVER=3059
FILE ID=nodeC008/4432865-1721130011
RUNJOBID= nodeC008-1721129802-844283
SLURM_JOB_ID= 7505695
Free space on /tmp= 723604 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_4.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-4432865-1721130011/watcher-4432865-1721130011 -o /tmp/evaluation-result-4432865-1721130011/solver-4432865-1721130011 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721129802-844283 --watchdog 3760  pbscip -f HOME/instance-4432865-1721130011.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52
RANDOM SEED=1213714729

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        119207116 kB
MemAvailable:   119700148 kB
Buffers:          429216 kB
Cached:           904736 kB
SwapCached:            0 kB
Active:           775712 kB
Inactive:       11124252 kB
Active(anon):       1476 kB
Inactive(anon): 10602240 kB
Active(file):     774236 kB
Inactive(file):   522012 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19032 kB
Writeback:             0 kB
AnonPages:      10566012 kB
Mapped:           138452 kB
Shmem:             37704 kB
KReclaimable:      73632 kB
Slab:             168292 kB
SReclaimable:      73632 kB
SUnreclaim:        94660 kB
KernelStack:        3840 kB
PageTables:        30976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   11992772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52576 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5179392 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723604 MiB
End job on nodeC008 at 2024-07-16 13:49:16