Trace number 4432736

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-07SAT24 3585.16 3597.1

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUM9def910af6a1ee27abcf25feff61a445
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 benchmark20
Best CPU time to get the best result obtained on this benchmark71.6563
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
Number of bits of the biggest sum of numbers10
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-4432736-1721099970.opb>
0.00/0.04	c original problem has 6027 variables (6027 bin, 0 int, 0 impl, 0 cont) and 21278 constraints
0.00/0.04	c problem read in 0.04
0.00/0.08	c presolving:
0.00/0.11	c (round 1, fast)       589 del vars, 1173 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 15305 clqs
0.10/0.13	c    (0.1s) running MILP presolver
0.10/0.15	c    (0.2s) MILP presolver (2 rounds): 9 aggregations, 0 fixings, 0 bound changes
0.10/0.16	c (round 2, medium)     598 del vars, 1173 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 15287 clqs
0.10/0.16	c (round 3, fast)       598 del vars, 1200 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 15287 clqs
0.10/0.20	c (round 4, exhaustive) 598 del vars, 1201 del conss, 0 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 20077 upgd conss, 0 impls, 15287 clqs
0.21/0.28	c (round 5, exhaustive) 598 del vars, 20688 del conss, 4784 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 20077 upgd conss, 0 impls, 15287 clqs
0.21/0.30	c (round 6, exhaustive) 733 del vars, 20823 del conss, 4784 add conss, 5 chg bounds, 9 chg sides, 10 chg coeffs, 20077 upgd conss, 0 impls, 15017 clqs
0.31/0.35	c    (0.3s) probing: 51/5294 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.31/0.35	c    (0.3s) probing aborted: 50/50 successive totally useless probings
0.31/0.35	c    (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.31/0.35	c    (0.4s) no symmetry present (symcode time: 0.00)
0.31/0.36	c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
0.31/0.36	c  733 deleted vars, 20823 deleted constraints, 4784 added constraints, 5 tightened bounds, 0 added holes, 9 changed sides, 10 changed coefficients
0.31/0.36	c  0 implications, 15017 cliques
0.31/0.36	c presolved problem has 5294 variables (5294 bin, 0 int, 0 impl, 0 cont) and 5239 constraints
0.31/0.36	c       1 constraints of type <knapsack>
0.31/0.36	c     584 constraints of type <setppc>
0.31/0.36	c    4649 constraints of type <and>
0.31/0.36	c       5 constraints of type <logicor>
0.31/0.36	c transformed objective value is always integral (scale: 1)
0.31/0.36	c Presolving Time: 0.28
0.31/0.36	c - non default parameters ----------------------------------------------------------------------
0.31/0.36	c # SCIP version 10.0.0
0.31/0.36	c 
0.31/0.36	c # maximal time in seconds to run
0.31/0.36	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.31/0.36	c limits/time = 3596.998006
0.31/0.36	c 
0.31/0.36	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.31/0.36	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.31/0.36	c limits/memory = 27900
0.31/0.36	c 
0.31/0.36	c # belongs reading time to solving time?
0.31/0.36	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.31/0.36	c timing/reading = TRUE
0.31/0.36	c 
0.31/0.36	c -----------------------------------------------------------------------------------------------
0.31/0.36	c start solving
0.31/0.36	c 
0.79/0.86	o 27
0.79/0.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.79/0.86	c p 0.9s|     1 |     0 |   144 |     - |shiftand|   0 |5294 |5370 |9887 |   0 |  0 | 130 |   0 | 5.000000e+00 | 2.700000e+01 | 440.00%| unknown
0.79/0.89	c   0.9s|     1 |     0 |   605 |     - |    95M |   0 |5294 |5370 |9887 |   0 |  0 | 130 |   0 | 7.555556e+00 | 2.700000e+01 | 257.35%| unknown
0.89/0.90	o 24
0.89/0.90	c r 0.9s|     1 |     0 |   605 |     - |shifting|   0 |5294 |5370 |9887 |   0 |  0 | 130 |   0 | 7.555556e+00 | 2.400000e+01 | 217.65%| unknown
1.88/1.96	c   2.0s|     1 |     0 |   712 |     - |   116M |   0 |5294 |5570 |9934 |  47 |  1 | 130 |   0 | 8.000000e+00 | 2.400000e+01 | 200.00%| unknown
2.48/2.57	c   2.6s|     1 |     0 |   929 |     - |   134M |   0 |5294 |5576 |9972 |  85 |  2 | 136 |   0 | 8.500000e+00 | 2.400000e+01 | 182.35%| unknown
2.68/2.70	c   2.7s|     1 |     0 |  1377 |     - |   142M |   0 |5294 |5576 |9990 | 103 |  3 | 136 |   0 | 9.500000e+00 | 2.400000e+01 | 152.63%| unknown
2.87/2.98	c   3.0s|     1 |     0 |  1717 |     - |   146M |   0 |5294 |5582 |  10k| 162 |  4 | 142 |   0 | 1.000000e+01 | 2.400000e+01 | 140.00%| unknown
3.27/3.34	c   3.3s|     1 |     0 |  2148 |     - |   155M |   0 |5294 |5582 |  10k| 220 |  5 | 142 |   0 | 1.000000e+01 | 2.400000e+01 | 140.00%| unknown
3.57/3.60	c   3.6s|     1 |     0 |  3197 |     - |   159M |   0 |5294 |5579 |  10k| 283 |  6 | 142 |   0 | 1.007143e+01 | 2.400000e+01 | 138.30%| unknown
3.99/4.08	c   4.1s|     1 |     0 |  4036 |     - |   165M |   0 |5294 |5587 |  10k| 388 |  7 | 152 |   0 | 1.097839e+01 | 2.400000e+01 | 118.61%| unknown
4.37/4.41	c   4.4s|     1 |     0 |  4685 |     - |   170M |   0 |5294 |5589 |  10k| 558 |  8 | 154 |   0 | 1.101587e+01 | 2.400000e+01 | 117.87%| unknown
4.77/4.88	c   4.9s|     1 |     0 |  5791 |     - |   176M |   0 |5294 |5585 |  10k| 678 |  9 | 154 |   0 | 1.106759e+01 | 2.400000e+01 | 116.85%| unknown
5.36/5.48	c   5.5s|     1 |     0 |  6518 |     - |   191M |   0 |5294 |5593 |  10k| 874 | 10 | 163 |   0 | 1.112734e+01 | 2.400000e+01 | 115.68%| unknown
5.56/5.67	c   5.7s|     1 |     0 |  7436 |     - |   192M |   0 |5294 |5592 |  10k|1037 | 11 | 163 |   0 | 1.116130e+01 | 2.400000e+01 | 115.03%| unknown
5.87/5.99	c   6.0s|     1 |     0 |  9191 |     - |   193M |   0 |5294 |5591 |  11k|1196 | 12 | 164 |   0 | 1.119484e+01 | 2.400000e+01 | 114.38%| unknown
6.17/6.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
6.17/6.26	c   6.3s|     1 |     0 | 10468 |     - |   194M |   0 |5294 |5599 |  11k|1357 | 13 | 174 |   0 | 1.121745e+01 | 2.400000e+01 | 113.95%| unknown
6.47/6.56	c   6.6s|     1 |     0 | 11801 |     - |   195M |   0 |5294 |5599 |  11k|1570 | 14 | 177 |   0 | 1.127888e+01 | 2.400000e+01 | 112.79%| unknown
6.67/6.79	c   6.8s|     1 |     0 | 12776 |     - |   197M |   0 |5294 |5601 |  11k|1743 | 15 | 179 |   0 | 1.129762e+01 | 2.400000e+01 | 112.43%| unknown
7.08/7.13	c   7.1s|     1 |     0 | 14295 |     - |   198M |   0 |5294 |5609 |  11k|1924 | 16 | 187 |   0 | 1.131475e+01 | 2.400000e+01 | 112.11%| unknown
7.46/7.56	c   7.6s|     1 |     0 | 16087 |     - |   199M |   0 |5294 |5610 |  11k|2073 | 17 | 190 |   0 | 1.134127e+01 | 2.400000e+01 | 111.62%| unknown
7.76/7.85	c   7.8s|     1 |     0 | 17248 |     - |   201M |   0 |5294 |5619 |  12k|2251 | 18 | 200 |   0 | 1.135701e+01 | 2.400000e+01 | 111.32%| unknown
8.16/8.26	c   8.3s|     1 |     0 | 18923 |     - |   203M |   0 |5294 |5627 |  12k|2419 | 19 | 208 |   0 | 1.138376e+01 | 2.400000e+01 | 110.83%| unknown
8.65/8.73	c   8.7s|     1 |     0 | 21014 |     - |   205M |   0 |5294 |5629 |  12k|2519 | 20 | 210 |   0 | 1.140080e+01 | 2.400000e+01 | 110.51%| unknown
8.97/9.07	c   9.1s|     1 |     0 | 22595 |     - |   205M |   0 |5294 |5638 |  12k|2648 | 21 | 219 |   0 | 1.140768e+01 | 2.400000e+01 | 110.38%| unknown
9.25/9.35	c   9.4s|     1 |     0 | 23700 |     - |   205M |   0 |5294 |5646 |  12k|2750 | 22 | 229 |   0 | 1.141179e+01 | 2.400000e+01 | 110.31%| unknown
9.45/9.57	c   9.6s|     1 |     0 | 24510 |     - |   205M |   0 |5294 |5656 |  12k|2931 | 23 | 239 |   0 | 1.141444e+01 | 2.400000e+01 | 110.26%| unknown
9.75/9.84	c   9.8s|     1 |     0 | 25459 |     - |   206M |   0 |5294 |5663 |  12k|2998 | 24 | 249 |   0 | 1.141637e+01 | 2.400000e+01 | 110.22%| unknown
10.25/10.36	c  10.4s|     1 |     0 | 28551 |     - |   206M |   0 |5294 |5664 |  12k|3071 | 25 | 250 |   0 | 1.141709e+01 | 2.400000e+01 | 110.21%| unknown
11.06/11.15	c  11.2s|     1 |     0 | 33456 |     - |   206M |   0 |5294 |5665 |  12k|3188 | 26 | 254 |   0 | 1.141841e+01 | 2.400000e+01 | 110.19%| unknown
11.74/11.85	c  11.8s|     1 |     0 | 37848 |     - |   206M |   0 |5294 |5666 |  12k|3330 | 27 | 255 |   0 | 1.141907e+01 | 2.400000e+01 | 110.17%| unknown
12.05/12.11	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
12.05/12.11	c  12.1s|     1 |     0 | 39248 |     - |   206M |   0 |5294 |5676 |  12k|3426 | 28 | 265 |   0 | 1.141923e+01 | 2.400000e+01 | 110.17%| unknown
12.14/12.28	c  12.3s|     1 |     0 | 40068 |     - |   206M |   0 |5294 |5678 |  12k|3465 | 29 | 267 |   0 | 1.141931e+01 | 2.400000e+01 | 110.17%| unknown
12.35/12.41	c  12.4s|     1 |     0 | 40515 |     - |   206M |   0 |5294 |5688 |  12k|3531 | 30 | 277 |   0 | 1.141934e+01 | 2.400000e+01 | 110.17%| unknown
12.45/12.56	c  12.6s|     1 |     0 | 41149 |     - |   206M |   0 |5294 |5691 |  12k|3575 | 31 | 280 |   0 | 1.141939e+01 | 2.400000e+01 | 110.17%| unknown
12.55/12.62	c  12.6s|     1 |     0 | 41189 |     - |   206M |   0 |5294 |5698 |  12k|3582 | 32 | 290 |   0 | 1.141939e+01 | 2.400000e+01 | 110.17%| unknown
13.84/13.92	c  13.9s|     1 |     0 | 48295 |     - |   207M |   0 |5294 |5708 |  12k|3600 | 33 | 300 |   0 | 1.142440e+01 | 2.400000e+01 | 110.08%| unknown
14.24/14.32	c  14.3s|     1 |     0 | 50340 |     - |   207M |   0 |5294 |5711 |  12k|3734 | 34 | 303 |   0 | 1.142593e+01 | 2.400000e+01 | 110.05%| unknown
14.34/14.46	c  14.5s|     1 |     0 | 50794 |     - |   207M |   0 |5294 |5712 |  12k|3824 | 35 | 304 |   0 | 1.142628e+01 | 2.400000e+01 | 110.04%| unknown
14.54/14.67	c  14.7s|     1 |     0 | 51725 |     - |   208M |   0 |5294 |5719 |  12k|3910 | 36 | 311 |   0 | 1.142657e+01 | 2.400000e+01 | 110.04%| unknown
14.63/14.79	c  14.8s|     1 |     0 | 52180 |     - |   208M |   0 |5294 |5727 |  12k|3953 | 37 | 319 |   0 | 1.142671e+01 | 2.400000e+01 | 110.03%| unknown
14.83/14.95	c  14.9s|     1 |     0 | 52902 |     - |   208M |   0 |5294 |5728 |  12k|3978 | 38 | 320 |   0 | 1.142695e+01 | 2.400000e+01 | 110.03%| unknown
14.95/15.02	c  15.0s|     1 |     0 | 52998 |     - |   208M |   0 |5294 |5727 |  12k|3995 | 39 | 321 |   0 | 1.142698e+01 | 2.400000e+01 | 110.03%| unknown
14.95/15.07	c  15.1s|     1 |     0 | 53000 |     - |   208M |   0 |5294 |5727 |  12k|3998 | 40 | 322 |   0 | 1.142698e+01 | 2.400000e+01 | 110.03%| unknown
22.11/22.24	c  22.2s|     1 |     2 | 66380 |     - |   208M |   0 |5294 |5728 |  12k|3998 | 41 | 324 |  11 | 1.142891e+01 | 2.400000e+01 | 109.99%| unknown
643.32/645.88	c   646s|   100 |   101 |  1873k|18392.9 |   288M |  19 |5294 |8784 |  15k|  26k| 10 |3398 |1082 | 1.174099e+01 | 2.400000e+01 | 104.41%| unknown
1067.58/1071.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1067.58/1071.56	c  1072s|   200 |   201 |  3155k|15589.1 |   396M |  25 |5294 |9456 |  15k|  39k|  2 |4107 |1814 | 1.179334e+01 | 2.400000e+01 | 103.50%| unknown
1712.19/1718.32	c  1718s|   300 |   301 |  4893k|16189.9 |   516M |  25 |5294 |  10k|  15k|  53k|  2 |5358 |2761 | 1.179334e+01 | 2.400000e+01 | 103.50%| unknown
2242.55/2250.58	c  2251s|   400 |   401 |  6294k|15643.3 |   562M |  27 |5294 |  12k|  15k|  65k|  2 |6913 |3676 | 1.181145e+01 | 2.400000e+01 | 103.19%| unknown
3385.72/3397.17	c  3397s|   500 |   501 |  9259k|18450.9 |   662M |  27 |5294 |  12k|  15k|  94k|  7 |6913 |5328 | 1.194405e+01 | 2.400000e+01 | 100.94%| unknown
3584.96/3597.00	c 
3584.96/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3584.96/3597.00	c Solving Time (sec) : 3597.00
3584.96/3597.00	c Solving Nodes      : 532
3584.96/3597.00	c Primal Bound       : +2.40000000000000e+01 (39 solutions)
3584.96/3597.00	c Dual Bound         : +1.19491308098469e+01
3584.96/3597.00	c Gap                : 100.85 %
3584.96/3597.01	s SATISFIABLE
3584.96/3597.01	v -x6027 -x6026 x6025 x6024 x6022 -x6020 -x6019 -x6018 -x6017 x6015 -x6013 -x6012 -x6011 -x6010 x6008 -x6006 -x6005 -x6004 -x6003 
3584.96/3597.01	v -x6001 -x6000 x5999 x5998 x5996 -x5994 -x5993 -x5992 -x5991 -x5989 -x5987 -x5985 -x5984 -x5983 -x5982 x5980 -x5978 -x5977 -x5976 
3584.96/3597.01	v -x5975 x5973 -x5971 -x5970 x5969 x5968 x5966 -x5964 -x5963 -x5962 -x5961 x5959 -x5957 -x5956 -x5955 -x5954 -x5952 -x5950 
3584.96/3597.01	v -x5949 -x5948 -x5947 -x5945 -x5943 -x5942 -x5941 -x5940 -x5938 -x5937 -x5936 -x5935 -x5933 -x5932 -x5931 -x5930 x5928 -x5926 
3584.96/3597.01	v -x5925 -x5924 -x5923 -x5921 -x5919 -x5918 -x5917 -x5916 -x5914 -x5912 -x5911 -x5910 -x5909 -x5907 -x5905 -x5904 -x5903 x5902 
3584.96/3597.01	v x5900 -x5898 -x5897 -x5896 -x5895 x5893 -x5891 -x5890 -x5889 -x5888 -x5886 -x5884 -x5883 -x5882 -x5881 -x5879 -x5877 -x5876 
3584.96/3597.01	v -x5875 -x5874 -x5872 -x5871 -x5870 -x5869 -x5867 -x5865 -x5864 -x5863 -x5862 x5860 -x5858 -x5857 -x5856 -x5855 -x5853 -x5852 
3584.96/3597.01	v -x5851 -x5850 -x5848 -x5846 -x5845 -x5844 -x5843 -x5841 -x5839 -x5838 -x5837 x5836 x5834 -x5832 -x5831 -x5830 -x5829 -x5827 -x5826 
3584.96/3597.01	v -x5825 -x5824 x5822 -x5820 -x5819 x5818 x5817 x5815 -x5813 -x5812 -x5811 x5810 -x5808 -x5807 x5806 x5805 x5803 -x5801 -x5800 
3584.96/3597.01	v -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792 -x5791 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 
3584.96/3597.01	v -x5781 -x5780 -x5779 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5765 -x5764 -x5763 -x5762 
3584.96/3597.01	v -x5761 -x5760 -x5759 -x5758 -x5757 -x5756 -x5755 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 
3584.96/3597.01	v -x5741 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 
3584.96/3597.01	v -x5722 -x5721 -x5720 -x5719 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5705 -x5704 -x5703 
3584.96/3597.01	v -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 x5684 
3584.96/3597.01	v x5683 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 -x5671 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 
3584.96/3597.01	v -x5663 -x5662 -x5661 -x5660 -x5659 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5645 -x5644 
3584.96/3597.01	v -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 
3584.96/3597.01	v -x5624 -x5623 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5609 -x5608 -x5607 -x5606 
3584.96/3597.01	v -x5605 -x5604 -x5603 -x5602 -x5601 -x5600 -x5599 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 
3584.96/3597.01	v -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 
3584.96/3597.01	v -x5566 -x5565 -x5564 -x5563 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 x5552 x5551 -x5549 -x5548 -x5547 
3584.96/3597.01	v -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531 -x5530 -x5529 
3584.96/3597.01	v -x5528 -x5527 -x5526 -x5525 -x5524 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5513 -x5512 -x5511 -x5510 
3584.96/3597.01	v -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5495 -x5494 -x5493 -x5492 -x5491 
3584.96/3597.01	v -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 
3584.96/3597.01	v -x5472 -x5471 -x5470 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 
3584.96/3597.01	v -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 
3584.96/3597.01	v -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420 -x5419 -x5418 
3584.96/3597.01	v -x5417 -x5416 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 -x5400 -x5399 
3584.96/3597.01	v -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 x5389 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 
3584.96/3597.01	v -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 x5362 
3584.96/3597.01	v -x5360 -x5359 x5358 x5357 -x5355 -x5354 -x5353 -x5352 -x5350 -x5349 -x5348 -x5347 -x5345 -x5343 -x5342 -x5341 -x5340 x5338 
3584.96/3597.01	v -x5336 -x5335 -x5334 -x5333 -x5331 -x5330 -x5329 -x5328 -x5326 -x5325 -x5324 -x5323 -x5321 -x5320 x5319 x5318 -x5316 -x5315 -x5314 
3584.96/3597.01	v -x5313 x5311 -x5309 -x5308 -x5307 -x5306 x5304 -x5302 -x5301 -x5300 -x5299 -x5297 -x5296 -x5295 -x5294 -x5292 x5290 -x5288 
3584.96/3597.01	v -x5287 -x5286 -x5285 -x5283 -x5282 -x5281 -x5280 -x5278 -x5277 -x5276 -x5275 -x5273 -x5271 -x5270 -x5269 -x5268 -x5266 -x5264 
3584.96/3597.01	v -x5263 -x5262 -x5261 -x5259 -x5257 -x5256 -x5255 -x5254 -x5252 -x5250 -x5249 -x5248 x5247 -x5245 -x5244 -x5243 -x5242 -x5240 
3584.96/3597.01	v -x5238 -x5237 -x5236 -x5235 -x5233 -x5231 -x5230 -x5229 -x5228 x5226 -x5224 -x5223 -x5222 -x5221 -x5219 -x5218 -x5217 -x5216 
3584.96/3597.01	v -x5214 -x5212 -x5211 -x5210 -x5209 -x5207 -x5205 -x5204 -x5203 -x5202 -x5200 -x5199 -x5198 -x5197 -x5195 -x5193 -x5191 -x5190 
3584.96/3597.01	v -x5189 x5188 -x5186 -x5185 x5184 x5183 x5181 -x5179 -x5178 -x5177 -x5176 x5174 -x5172 -x5171 -x5170 -x5169 x5167 x5165 
3584.96/3597.01	v -x5163 -x5162 -x5161 x5160 x5158 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5147 -x5146 -x5144 -x5143 -x5142 
3584.96/3597.01	v -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 
3584.96/3597.01	v -x5123 -x5122 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5108 -x5107 -x5106 -x5105 -x5104 
3584.96/3597.01	v -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5084 
3584.96/3597.01	v -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 
3584.96/3597.01	v -x5064 -x5063 -x5062 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5048 -x5047 -x5046 -x5045 
3584.96/3597.01	v -x5044 -x5043 -x5042 -x5041 -x5040 x5039 x5038 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 
3584.96/3597.01	v -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 
3584.96/3597.01	v -x5005 -x5004 -x5003 -x5002 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4988 -x4987 -x4986 
3584.96/3597.01	v -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 
3584.96/3597.01	v -x4966 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4952 -x4951 -x4950 -x4949 -x4948 
3584.96/3597.01	v -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4928 
3584.96/3597.01	v -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 
3584.96/3597.01	v -x4908 x4907 x4906 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 
3584.96/3597.01	v -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 
3584.96/3597.01	v -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 
3584.96/3597.01	v -x4852 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 
3584.96/3597.01	v -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 
3584.96/3597.01	v -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4796 
3584.96/3597.01	v -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 
3584.96/3597.01	v -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 
3584.96/3597.01	v -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 x4744 -x4742 -x4741 
3584.96/3597.01	v -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 
3584.96/3597.01	v -x4722 -x4721 -x4720 -x4719 -x4718 x4717 -x4715 -x4714 -x4713 -x4712 -x4710 -x4709 -x4708 -x4707 -x4705 -x4704 -x4703 -x4702 
3584.96/3597.01	v -x4700 -x4699 -x4698 -x4697 -x4695 -x4694 -x4693 -x4692 -x4690 -x4689 -x4688 -x4687 -x4685 -x4684 -x4683 -x4682 -x4680 -x4679 
3584.96/3597.01	v -x4678 -x4677 -x4675 -x4674 -x4673 -x4672 -x4670 -x4669 -x4668 -x4667 -x4665 -x4664 -x4663 -x4662 -x4660 -x4659 -x4658 -x4657 
3584.96/3597.01	v -x4655 -x4654 -x4653 -x4652 -x4650 -x4649 -x4648 -x4647 -x4645 -x4644 -x4643 -x4642 -x4640 -x4639 -x4638 -x4637 -x4635 -x4634 
3584.96/3597.01	v -x4633 -x4632 -x4630 -x4629 -x4628 -x4627 -x4625 -x4624 -x4623 -x4622 -x4620 -x4619 -x4618 -x4617 -x4615 -x4614 -x4613 -x4612 
3584.96/3597.01	v -x4610 -x4609 -x4608 -x4607 -x4605 -x4604 -x4603 -x4602 -x4600 -x4599 -x4598 -x4597 -x4595 -x4594 -x4593 -x4592 -x4590 
3584.96/3597.01	v -x4589 -x4588 -x4587 -x4585 -x4584 -x4583 -x4582 -x4580 -x4579 -x4578 -x4577 -x4575 -x4574 -x4573 -x4572 -x4570 -x4569 -x4568 
3584.96/3597.01	v -x4567 -x4565 -x4564 -x4563 -x4562 -x4560 -x4559 -x4558 -x4557 -x4555 -x4554 -x4553 -x4552 -x4550 -x4549 -x4548 -x4547 -x4545 
3584.96/3597.01	v -x4544 -x4543 -x4542 -x4540 -x4539 -x4538 -x4537 -x4535 -x4534 -x4533 -x4532 -x4530 -x4529 -x4528 -x4527 -x4525 -x4524 -x4523 
3584.96/3597.01	v -x4522 -x4520 -x4519 -x4518 -x4517 -x4515 -x4514 x4513 x4512 -x4510 -x4509 x4508 x4507 -x4505 -x4504 -x4503 -x4502 -x4500 
3584.96/3597.01	v -x4499 -x4498 -x4497 -x4495 -x4494 -x4493 -x4492 -x4490 -x4489 -x4488 -x4487 -x4485 -x4484 -x4483 -x4482 -x4480 -x4479 -x4478 
3584.96/3597.01	v -x4477 -x4475 -x4474 -x4473 -x4472 -x4470 -x4469 -x4468 -x4467 -x4465 -x4464 x4463 x4462 -x4460 -x4459 x4458 x4457 -x4455 -x4454 
3584.96/3597.01	v -x4453 -x4452 -x4450 -x4449 -x4448 -x4447 -x4445 -x4444 -x4443 -x4442 -x4440 -x4439 -x4438 -x4437 -x4435 -x4434 -x4433 -x4432 
3584.96/3597.01	v -x4430 -x4429 -x4428 -x4427 -x4425 -x4424 -x4423 -x4422 -x4420 -x4419 x4418 x4417 -x4415 -x4414 -x4413 -x4412 -x4410 -x4409 
3584.96/3597.01	v -x4408 -x4407 -x4405 -x4404 -x4403 -x4402 -x4400 -x4399 -x4398 -x4397 -x4395 -x4394 x4393 x4392 -x4390 -x4389 -x4388 -x4387 
3584.96/3597.01	v -x4385 -x4384 -x4383 -x4382 -x4380 -x4379 -x4378 -x4377 -x4375 -x4374 x4373 x4372 -x4370 -x4369 x4368 x4367 -x4365 -x4364 
3584.96/3597.01	v -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 x4353 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 
3584.96/3597.01	v -x4343 -x4342 -x4341 x4339 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 x4325 -x4323 -x4322 
3584.96/3597.01	v -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 x4311 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 
3584.96/3597.01	v -x4301 -x4300 -x4299 x4297 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4283 -x4281 -x4280 
3584.96/3597.01	v -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4269 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 
3584.96/3597.01	v -x4259 -x4258 -x4257 x4255 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 x4241 -x4239 -x4238 
3584.96/3597.01	v -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 x4227 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 
3584.96/3597.01	v -x4217 -x4216 -x4215 x4213 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4199 -x4197 -x4196 
3584.96/3597.01	v -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4185 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 
3584.96/3597.01	v -x4175 -x4174 -x4173 -x4171 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4157 -x4155 -x4154 
3584.96/3597.01	v -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 x4143 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 
3584.96/3597.01	v -x4133 -x4132 -x4131 x4129 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4115 -x4114 -x4113 
3584.96/3597.01	v -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 x4103 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 
3584.96/3597.01	v -x4092 -x4091 x4089 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 x4075 -x4073 -x4072 -x4071 
3584.96/3597.01	v -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4061 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 
3584.96/3597.01	v -x4050 -x4049 -x4047 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4033 -x4031 -x4030 -x4029 
3584.96/3597.01	v -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4019 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 
3584.96/3597.01	v -x4008 -x4007 x4005 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3991 -x3989 -x3988 -x3987 
3584.96/3597.01	v -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3977 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 
3584.96/3597.01	v -x3966 -x3965 -x3963 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3949 -x3948 -x3947 -x3946 
3584.96/3597.01	v -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3937 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 
3584.96/3597.01	v -x3926 -x3925 -x3923 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3909 -x3907 -x3906 -x3905 
3584.96/3597.01	v -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3895 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 
3584.96/3597.01	v -x3884 x3883 x3881 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 x3867 -x3865 -x3864 -x3863 
3584.96/3597.01	v -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3853 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 
3584.96/3597.01	v -x3842 -x3841 -x3839 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3825 -x3823 -x3822 -x3821 
3584.96/3597.01	v -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3811 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 
3584.96/3597.01	v -x3800 -x3799 x3797 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3783 -x3781 -x3780 -x3779 
3584.96/3597.01	v -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3769 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 
3584.96/3597.01	v -x3758 -x3757 -x3755 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 x3741 -x3739 -x3738 -x3737 
3584.96/3597.01	v -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3727 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 
3584.96/3597.01	v -x3716 -x3715 -x3713 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3699 -x3697 -x3696 -x3695 
3584.96/3597.01	v -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3685 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 
3584.96/3597.01	v -x3675 -x3674 x3673 x3671 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 x3657 -x3655 -x3654 -x3653 
3584.96/3597.01	v -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 x3643 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 
3584.96/3597.01	v -x3632 -x3631 x3629 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 x3615 -x3613 -x3612 -x3611 
3584.96/3597.01	v -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 x3603 x3601 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 
3584.96/3597.01	v -x3590 x3589 x3587 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 
3584.96/3597.01	v -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 
3584.96/3597.01	v -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 
3584.96/3597.01	v -x3533 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 
3584.96/3597.01	v -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 
3584.96/3597.01	v -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 
3584.96/3597.01	v -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 
3584.96/3597.01	v -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 
3584.96/3597.01	v -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3423 -x3422 
3584.96/3597.01	v -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 
3584.96/3597.01	v -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 
3584.96/3597.01	v -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3369 -x3368 -x3367 -x3366 
3584.96/3597.01	v -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 
3584.96/3597.01	v -x3348 -x3347 -x3346 -x3345 -x3344 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 
3584.96/3597.01	v -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3315 -x3314 -x3313 -x3312 -x3311 
3584.96/3597.01	v -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 
3584.96/3597.01	v -x3292 -x3291 -x3290 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 
3584.96/3597.01	v -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 
3584.96/3597.01	v -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 
3584.96/3597.01	v -x3236 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 
3584.96/3597.01	v -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 
3584.96/3597.01	v -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 x3183 x3182 
3584.96/3597.01	v -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 
3584.96/3597.01	v -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 
3584.96/3597.01	v -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 -x3126 -x3125 
3584.96/3597.01	v -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 
3584.96/3597.01	v -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 
3584.96/3597.01	v -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3072 -x3071 -x3070 -x3069 
3584.96/3597.01	v -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 
3584.96/3597.01	v -x3051 -x3050 -x3049 -x3048 -x3047 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 
3584.96/3597.01	v -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3018 -x3017 -x3016 -x3015 -x3014 
3584.96/3597.01	v -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 
3584.96/3597.01	v -x2995 -x2994 -x2993 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 
3584.96/3597.01	v -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 
3584.96/3597.01	v -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 
3584.96/3597.01	v -x2939 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 
3584.96/3597.01	v -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 
3584.96/3597.01	v -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 
3584.96/3597.01	v -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 
3584.96/3597.01	v -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 
3584.96/3597.01	v -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 x2832 x2831 -x2829 -x2828 
3584.96/3597.01	v -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 
3584.96/3597.01	v -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 
3584.96/3597.01	v -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 
3584.96/3597.01	v -x2773 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 
3584.96/3597.01	v -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 
3584.96/3597.01	v -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 
3584.96/3597.01	v -x2719 -x2718 -x2717 -x2716 -x2715 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 
3584.96/3597.01	v -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 
3584.96/3597.01	v -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 
3584.96/3597.01	v -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 
3584.96/3597.01	v -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 
3584.96/3597.01	v -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 
3584.96/3597.01	v -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 
3584.96/3597.01	v -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 
3584.96/3597.01	v -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 
3584.96/3597.01	v -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2539 -x2538 -x2537 
3584.96/3597.01	v -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 
3584.96/3597.01	v -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 
3584.96/3597.01	v -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 
3584.96/3597.01	v -x2483 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 
3584.96/3597.01	v -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 
3584.96/3597.01	v -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 
3584.96/3597.01	v -x2428 -x2427 -x2426 x2425 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 
3584.96/3597.01	v -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 
3584.96/3597.01	v -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 
3584.96/3597.01	v -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 x2367 -x2365 -x2364 x2363 x2362 x2360 -x2358 -x2357 -x2356 -x2355 -x2353 -x2351 
3584.96/3597.01	v -x2350 -x2349 -x2348 -x2346 -x2344 -x2343 -x2342 -x2341 x2339 -x2337 -x2336 -x2335 -x2334 -x2332 -x2330 -x2329 -x2328 -x2327 
3584.96/3597.01	v -x2325 -x2323 -x2322 -x2321 -x2320 x2318 -x2316 -x2315 x2314 x2313 x2311 -x2309 -x2308 -x2307 -x2306 x2304 -x2302 -x2301 -x2300 
3584.96/3597.01	v -x2299 x2297 -x2295 -x2294 -x2293 -x2292 -x2290 -x2288 -x2287 -x2286 -x2285 -x2283 -x2281 -x2280 -x2279 -x2278 x2276 -x2274 
3584.96/3597.01	v -x2273 -x2272 -x2271 -x2269 -x2267 -x2266 -x2265 -x2264 -x2262 -x2260 -x2259 -x2258 -x2257 -x2255 -x2253 -x2252 -x2251 -x2250 
3584.96/3597.01	v -x2248 -x2246 -x2245 -x2244 -x2243 -x2241 -x2239 -x2238 -x2237 -x2236 -x2234 -x2232 -x2231 -x2230 x2229 x2227 -x2225 -x2224 
3584.96/3597.01	v -x2223 -x2222 -x2220 -x2218 -x2217 -x2216 -x2215 -x2213 -x2211 -x2210 -x2209 -x2208 x2206 -x2204 -x2203 -x2202 -x2201 -x2199 
3584.96/3597.01	v -x2197 -x2196 -x2195 -x2194 -x2192 -x2190 -x2189 -x2188 -x2187 -x2185 -x2183 -x2182 -x2181 -x2180 -x2178 -x2176 -x2175 -x2174 
3584.96/3597.01	v -x2173 -x2171 -x2169 -x2168 -x2167 -x2166 -x2164 -x2162 -x2161 -x2160 x2159 x2157 -x2155 -x2154 x2153 x2152 x2150 -x2148 
3584.96/3597.01	v -x2147 -x2146 -x2145 x2143 -x2141 -x2140 -x2139 -x2138 x2136 -x2134 -x2133 -x2132 x2131 x2129 -x2127 -x2126 -x2125 x2124 x2122 
3584.96/3597.01	v -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 
3584.96/3597.01	v -x2101 -x2100 -x2099 -x2098 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2084 -x2083 -x2082 
3584.96/3597.01	v -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 
3584.96/3597.01	v -x2063 -x2062 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2048 -x2047 -x2046 -x2045 -x2044 
3584.96/3597.01	v -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2024 
3584.96/3597.01	v -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 
3584.96/3597.01	v -x2004 x2003 x2002 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1988 -x1987 -x1986 -x1985 
3584.96/3597.01	v -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 
3584.96/3597.01	v -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 
3584.96/3597.01	v -x1945 -x1944 -x1943 -x1942 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1928 -x1927 -x1926 
3584.96/3597.01	v -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 
3584.96/3597.01	v -x1906 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1892 -x1891 -x1890 -x1889 -x1888 
3584.96/3597.01	v -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 x1871 x1870 -x1868 -x1867 
3584.96/3597.01	v -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 
3584.96/3597.01	v -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 
3584.96/3597.01	v -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1814 -x1813 -x1812 
3584.96/3597.01	v -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 
3584.96/3597.01	v -x1793 -x1792 -x1791 -x1790 -x1789 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 
3584.96/3597.01	v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1760 -x1759 -x1758 -x1757 -x1756 
3584.96/3597.01	v -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 
3584.96/3597.01	v -x1737 -x1736 -x1735 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 
3584.96/3597.01	v -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 x1708 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 
3584.96/3597.01	v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 
3584.96/3597.01	v -x1682 x1681 -x1679 -x1678 x1677 x1676 x1674 -x1672 -x1671 -x1670 -x1669 x1667 -x1665 -x1664 -x1663 -x1662 -x1660 -x1658 -x1657 
3584.96/3597.01	v -x1656 -x1655 -x1653 -x1651 -x1650 -x1649 -x1648 x1646 -x1644 -x1643 -x1642 -x1641 -x1639 -x1637 -x1636 -x1635 -x1634 -x1632 
3584.96/3597.01	v -x1630 -x1629 -x1628 -x1627 x1625 -x1623 -x1622 -x1621 -x1620 x1618 -x1616 -x1615 x1614 x1613 x1611 -x1609 -x1608 -x1607 
3584.96/3597.01	v -x1606 x1604 -x1602 -x1601 -x1600 -x1599 -x1597 -x1595 -x1594 -x1593 -x1592 -x1590 -x1588 -x1587 -x1586 -x1585 -x1583 -x1581 
3584.96/3597.01	v -x1580 -x1579 -x1578 -x1576 -x1574 -x1573 -x1572 -x1571 -x1569 -x1567 -x1566 -x1565 -x1564 -x1562 -x1560 -x1559 -x1558 -x1557 
3584.96/3597.01	v -x1555 -x1553 -x1552 -x1551 -x1550 -x1548 -x1546 -x1545 -x1544 x1543 x1541 -x1539 -x1538 -x1537 -x1536 x1534 -x1532 -x1531 -x1530 
3584.96/3597.01	v -x1529 -x1527 -x1525 -x1524 -x1523 -x1522 -x1520 -x1518 -x1517 -x1516 -x1515 -x1513 -x1511 -x1510 -x1509 -x1508 -x1506 
3584.96/3597.01	v -x1504 -x1503 -x1502 -x1501 -x1499 -x1497 -x1496 -x1495 -x1494 -x1492 -x1490 -x1489 -x1488 -x1487 -x1485 -x1483 -x1482 -x1481 
3584.96/3597.01	v -x1480 -x1478 -x1476 -x1475 -x1474 x1473 x1471 -x1469 -x1468 -x1467 -x1466 x1464 -x1462 -x1461 -x1460 -x1459 x1457 -x1455 -x1454 
3584.96/3597.01	v x1453 x1452 x1450 -x1448 -x1447 -x1446 x1445 x1443 -x1441 -x1440 -x1439 x1438 x1436 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 
3584.96/3597.01	v -x1428 -x1427 -x1426 -x1425 -x1424 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1410 
3584.96/3597.01	v -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 
3584.96/3597.01	v -x1390 -x1389 -x1388 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1374 -x1373 -x1372 -x1371 
3584.96/3597.01	v -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 
3584.96/3597.01	v -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 
3584.96/3597.01	v -x1331 -x1330 -x1329 -x1328 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 x1317 x1316 -x1314 -x1313 -x1312 
3584.96/3597.01	v -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 
3584.96/3597.01	v -x1292 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 
3584.96/3597.01	v -x1272 -x1271 -x1270 -x1269 -x1268 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1254 -x1253 
3584.96/3597.01	v -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 
3584.96/3597.01	v -x1234 -x1233 -x1232 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1218 -x1217 -x1216 -x1215 
3584.96/3597.01	v -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 
3584.96/3597.01	v -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 x1185 x1184 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 
3584.96/3597.01	v -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 
3584.96/3597.01	v -x1157 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 
3584.96/3597.01	v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 
3584.96/3597.01	v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1101 
3584.96/3597.01	v -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 
3584.96/3597.01	v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 
3584.96/3597.01	v -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1047 -x1046 
3584.96/3597.01	v -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 
3584.96/3597.01	v -x1027 -x1026 -x1025 -x1024 -x1023 x1022 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 
3584.96/3597.01	v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 x995 -x847 -x846 -x845 -x844 -x843 -x842 
3584.96/3597.01	v -x841 -x993 -x991 x992 -x990 -x988 -x989 -x987 -x985 -x986 -x984 -x983 -x982 -x980 -x981 -x979 -x977 -x978 -x975 -x976 -x974 
3584.96/3597.01	v -x972 -x973 -x971 -x969 -x970 -x968 -x966 -x967 -x965 -x963 -x964 -x962 -x960 -x961 -x959 -x957 -x958 -x956 -x955 -x954 
3584.96/3597.01	v -x953 -x952 -x950 -x951 -x949 -x947 -x948 -x946 -x944 -x945 -x943 -x941 -x942 -x940 -x938 -x939 -x937 -x935 -x936 -x934 -x932 
3584.96/3597.01	v -x933 -x931 -x929 -x930 -x928 -x927 -x926 -x924 -x925 -x923 -x921 -x922 -x920 -x919 -x918 -x916 -x917 -x915 -x913 -x914 -x912 
3584.96/3597.01	v -x910 -x911 -x909 -x908 -x907 -x905 -x906 -x904 -x902 -x903 -x901 -x900 -x899 -x897 -x898 -x896 -x895 -x894 -x892 -x891 -x890 
3584.96/3597.01	v -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x879 -x878 -x877 -x876 -x874 -x873 -x872 -x871 -x870 -x869 -x867 -x866 
3584.96/3597.01	v -x865 -x864 -x862 -x861 -x860 -x859 -x857 -x856 -x854 -x853 -x852 -x851 -x850 x849 x848 -x707 -x706 -x705 -x704 -x703 -x702 
3584.96/3597.01	v -x701 -x839 -x838 -x837 -x836 -x835 -x833 -x834 -x832 -x830 -x831 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x819 
3584.96/3597.01	v -x820 -x818 -x816 -x817 -x815 -x814 -x813 -x811 -x812 -x809 -x810 -x808 -x807 -x806 -x805 -x804 -x802 -x803 -x801 -x799 -x800 
3584.96/3597.01	v -x798 -x796 -x797 -x795 -x793 -x794 -x792 -x791 -x790 -x788 -x789 -x787 -x785 -x786 -x784 -x782 -x783 -x781 -x780 -x779 
3584.96/3597.01	v -x777 -x778 -x776 -x774 -x775 -x773 -x772 -x771 -x769 -x770 -x767 -x768 -x766 -x765 -x764 -x762 -x763 -x761 -x759 -x760 -x758 
3584.96/3597.01	v -x756 -x757 -x754 -x755 -x753 -x751 -x752 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 
3584.96/3597.01	v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 
3584.96/3597.01	v -x714 -x713 -x712 -x711 -x710 x709 x708 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x699 -x697 -x698 -x696 -x694 -x695 
3584.96/3597.01	v -x693 -x691 -x692 -x690 -x688 -x689 -x687 -x685 -x686 -x684 -x682 -x683 -x681 -x679 -x680 -x678 -x676 -x677 -x675 -x673 -x674 
3584.96/3597.01	v -x672 -x670 -x671 -x669 -x667 -x668 -x666 -x664 -x665 -x663 -x661 -x662 -x660 -x658 -x659 -x657 -x655 -x656 -x654 -x652 -x653 
3584.96/3597.01	v -x651 -x649 -x650 -x648 -x646 -x647 -x645 -x643 -x644 -x642 -x640 -x641 -x639 -x637 -x638 -x636 -x634 -x635 -x633 -x631 -x632 
3584.96/3597.01	v -x630 -x628 -x629 -x627 -x625 -x626 -x624 -x622 -x623 -x621 -x619 -x620 -x618 -x616 -x617 -x615 -x613 -x614 -x612 -x610 
3584.96/3597.01	v -x611 -x609 -x607 -x608 -x606 -x604 -x605 -x603 -x601 -x602 -x600 -x598 -x599 x597 -x595 -x596 -x594 -x592 -x593 -x591 -x589 
3584.96/3597.01	v -x590 -x588 -x586 -x587 -x585 -x583 -x584 -x582 -x580 -x581 -x579 -x577 -x578 -x576 -x574 -x575 -x573 -x571 -x572 -x570 -x568 
3584.96/3597.01	v -x569 -x567 -x565 -x566 -x564 -x562 -x563 -x561 -x559 -x560 -x558 -x556 -x557 -x555 -x553 -x554 -x552 -x550 -x551 -x549 -x547 
3584.96/3597.01	v -x548 -x546 -x544 -x545 -x543 -x542 -x541 -x539 -x540 -x538 -x536 -x537 -x535 -x533 -x534 -x532 -x530 -x531 -x529 -x527 -x528 
3584.96/3597.01	v -x526 -x524 -x525 -x523 -x521 -x522 -x520 -x518 -x519 -x517 -x515 -x516 -x514 -x512 -x513 -x511 -x509 -x510 -x508 -x507 -x506 
3584.96/3597.01	v -x504 -x505 -x503 -x501 -x502 -x500 -x498 -x499 -x497 -x495 -x496 -x494 -x492 -x493 -x491 -x489 -x490 -x488 -x486 -x487 -x485 
3584.96/3597.01	v -x483 -x484 -x482 -x480 -x481 -x479 -x477 -x478 -x476 -x474 -x475 -x473 -x471 -x472 -x470 -x468 -x469 -x467 -x465 -x466 
3584.96/3597.01	v -x464 -x462 -x463 -x461 -x459 -x460 -x458 -x456 -x457 -x455 -x453 -x454 -x452 -x450 -x451 -x449 -x447 -x448 -x446 -x444 -x445 
3584.96/3597.01	v -x443 -x441 -x442 -x440 -x438 -x439 -x437 -x435 -x436 -x434 -x432 -x433 -x431 -x429 -x430 -x428 -x426 -x425 -x423 -x422 -x421 
3584.96/3597.01	v -x420 -x418 -x417 -x415 -x414 -x412 -x411 -x409 -x408 -x407 -x406 -x404 -x403 -x402 -x401 -x399 -x398 -x397 -x396 -x394 -x393 
3584.96/3597.01	v -x391 -x390 -x389 -x388 -x387 -x386 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x375 -x374 -x372 -x371 -x369 -x368 -x367 
3584.96/3597.01	v -x366 -x364 -x363 -x361 -x360 -x358 x357 x355 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x345 -x343 x344 -x342 -x340 -x341 
3584.96/3597.01	v -x339 -x337 -x338 -x336 -x334 -x335 -x333 -x331 -x332 -x330 -x328 -x329 -x327 -x325 -x326 -x324 -x322 -x323 -x321 -x319 -x320 
3584.96/3597.01	v -x318 -x316 -x317 -x315 -x313 -x314 -x312 -x310 -x311 -x309 -x307 -x308 -x306 -x304 -x305 -x303 -x301 -x302 -x300 -x298 -x299 
3584.96/3597.01	v -x297 -x295 -x296 -x294 -x292 -x293 -x291 -x289 -x290 -x288 -x286 -x287 -x285 -x283 -x284 -x282 -x280 -x281 -x279 -x277 -x278 
3584.96/3597.01	v -x276 -x274 -x275 -x273 -x271 -x272 -x270 -x268 -x269 -x267 -x265 -x266 -x264 -x262 -x263 -x261 -x259 -x260 -x258 -x256 
3584.96/3597.01	v -x257 -x255 -x253 -x254 -x252 -x250 -x251 -x249 -x247 -x248 -x246 -x244 -x245 -x243 -x241 -x242 -x240 -x238 -x237 -x235 -x234 
3584.96/3597.01	v -x232 -x231 -x229 -x228 -x227 -x226 -x224 -x223 -x222 -x221 -x219 -x218 -x217 -x216 -x214 -x213 -x212 -x211 -x209 -x208 -x206 
3584.96/3597.01	v -x205 -x204 -x203 -x201 -x200 -x198 -x197 -x195 -x194 -x192 -x191 -x189 -x188 -x187 x186 x184 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x175 
3584.96/3597.01	v -x173 x174 -x172 -x170 -x171 -x169 -x167 -x168 -x166 -x164 -x165 -x163 -x161 -x162 -x160 -x158 -x159 -x157 -x155 -x156 -x154 
3584.96/3597.01	v -x152 -x153 -x151 -x149 -x150 -x148 -x146 -x147 -x145 -x143 -x144 -x142 -x140 -x141 -x139 -x137 -x138 -x136 -x134 -x135 
3584.96/3597.01	v -x133 -x131 -x132 -x130 -x128 -x129 -x127 -x125 -x126 -x124 -x122 -x123 -x121 -x119 -x120 -x118 -x116 -x117 -x115 -x113 -x114 
3584.96/3597.01	v -x112 -x110 -x111 -x109 -x107 -x108 -x106 -x104 -x105 -x103 -x101 -x102 -x100 -x98 -x99 -x97 -x95 -x96 -x94 -x92 -x93 -x91 -x89 
3584.96/3597.01	v -x90 -x88 -x86 -x87 -x85 -x83 -x84 -x82 -x80 -x81 -x79 -x77 -x78 -x76 -x74 -x75 -x73 -x71 -x72 -x70 -x68 -x67 -x65 -x64 -x62 
3584.96/3597.01	v -x61 -x60 -x59 -x57 -x56 -x54 -x53 -x51 -x50 -x48 -x47 -x45 -x44 -x42 -x41 -x39 -x38 -x36 -x35 -x33 -x32 -x30 -x29 -x27 -x26 
3584.96/3597.01	v -x24 -x23 -x21 -x20 -x18 -x17 -x15 -x14 -x12 x11 x9 -x6023 x6021 -x6016 -x6014 -x6009 -x6007 -x6002 -x5997 -x5995 -x5990 
3584.96/3597.01	v -x5988 -x5986 -x5981 -x5979 -x5974 -x5972 -x5967 -x5965 -x5960 -x5958 -x5953 -x5951 -x5946 -x5944 -x5939 -x5934 -x5929 -x5927 
3584.96/3597.01	v -x5922 -x5920 -x5915 -x5913 -x5908 -x5906 -x5901 -x5899 -x5894 -x5892 -x5887 -x5885 -x5880 -x5878 -x5873 -x5868 -x5866 -x5861 
3584.96/3597.01	v -x5859 -x5854 -x5849 -x5847 -x5842 -x5840 -x5835 -x5833 -x5828 -x5823 -x5821 -x5816 -x5814 -x5809 -x5804 -x5802 -x5790 -x5778 
3584.96/3597.01	v -x893 -x5766 -x5754 -x5742 -x5730 -x5718 -x5706 -x880 -x5694 -x5682 x875 -x5670 -x5658 -x5646 -x868 -x5634 -x5622 -x863 -x5610 
3584.96/3597.01	v -x5598 -x858 -x5586 -x855 -x5574 -x5562 x5550 -x5523 -x5496 -x5469 -x5442 -x5415 -x5388 -x5361 -x5356 -x5351 -x5346 -x5344 
3584.96/3597.01	v -x5339 -x5337 -x5332 -x5327 -x5322 -x5317 -x5312 -x5310 -x5305 -x5303 -x5298 -x5293 -x5291 -x5289 -x5284 -x5279 -x5274 -x5272 
3584.96/3597.01	v -x5267 -x5265 -x5260 -x5258 -x5253 -x5251 -x5246 -x5241 -x5239 -x5234 -x5232 -x5227 -x5225 -x5220 -x5215 -x5213 -x5208 -x5206 
3584.96/3597.01	v -x5201 -x5196 -x5194 -x5192 -x5187 -x5182 -x5180 -x5175 -x5173 -x5168 -x5166 -x5164 -x5159 -x5157 -x5145 -x5133 -x5121 -x5109 
3584.96/3597.01	v -x5097 -x5085 -x5073 -x5061 -x5049 -x5037 -x5025 -x5013 -x5001 -x725 -x4989 -x4977 -x4965 -x4953 -x4941 -x4929 -x4917 x4905 
3584.96/3597.01	v -x4878 -x4851 -x4824 -x4797 -x4770 -x4743 -x4716 -x4711 -x4706 -x4701 -x4696 -x4691 -x4686 -x4681 -x4676 -x4671 -x4666 -x4661 
3584.96/3597.01	v -x4656 -x4651 -x4646 -x4641 -x4636 -x4631 -x4626 -x4621 -x4616 -x4611 -x4606 -x4601 -x4596 -x4591 -x4586 -x4581 -x4576 
3584.96/3597.01	v -x4571 -x4566 -x4561 -x4556 -x4551 -x4546 -x4541 -x4536 -x4531 -x4526 -x4521 -x4516 -x4511 -x4506 -x4501 -x4496 -x4491 -x4486 
3584.96/3597.01	v -x4481 -x4476 -x4471 -x4466 -x4461 -x4456 -x4451 -x4446 -x4441 -x4436 -x4431 -x4426 -x4421 -x4416 -x4411 -x4406 -x4401 -x4396 
3584.96/3597.01	v -x4391 -x4386 -x4381 -x4376 x4371 -x4366 -x4354 -x4352 -x4340 -x4338 -x4326 -x4324 -x4312 -x4310 -x4298 -x4296 -x4284 -x4282 
3584.96/3597.01	v -x4270 -x4268 -x4256 -x4254 -x4242 -x4240 -x4228 -x4226 -x4214 -x4212 -x4200 -x4198 -x4186 -x4184 -x4172 -x4170 -x4158 -x4156 
3584.96/3597.01	v -x4144 -x4142 -x4130 -x4128 -x4116 -x4104 -x4102 -x4090 -x4088 -x4076 -x4074 -x4062 -x4060 -x4048 -x4046 -x4034 -x4032 -x4020 
3584.96/3597.01	v -x4018 -x4006 -x4004 -x3992 -x3990 -x3978 -x3976 -x3964 -x3962 -x3950 -x3938 -x3936 -x3924 -x3922 -x3910 -x3908 -x3896 -x3894 
3584.96/3597.01	v -x3882 -x3880 -x3868 -x3866 -x3854 -x3852 -x3840 -x3838 -x3826 -x3824 -x3812 -x3810 -x3798 -x3796 -x3784 -x3782 -x3770 -x3768 
3584.96/3597.01	v -x3756 -x3754 -x3742 -x3740 -x3728 -x3726 -x3714 -x3712 -x3700 -x3698 -x3686 -x3684 -x3672 -x3670 -x3658 -x3656 -x3644 
3584.96/3597.01	v -x3642 -x3630 -x3628 -x3616 -x3614 -x3602 -x3600 -x3588 -x3586 -x3559 x427 -x3532 -x424 -x3505 -x3478 -x419 -x3451 -x416 -x3424 
3584.96/3597.01	v x413 -x3397 -x410 -x3370 -x3343 -x405 -x3316 -x3289 -x400 -x3262 -x3235 -x395 -x3208 -x392 -x3181 -x3154 -x3127 -x385 -x3100 
3584.96/3597.01	v -x3073 -x3046 -x3019 -x376 -x2992 -x373 -x2965 -x370 -x2938 -x2911 -x365 -x2884 -x362 -x2857 -x359 x2830 x356 -x2772 -x2714 
3584.96/3597.01	v -x2656 -x2598 -x2540 -x2482 -x2424 -x2366 -x2361 x2359 -x2354 -x2352 -x2347 -x2345 -x2340 -x2338 -x2333 -x2331 -x2326 -x2324 
3584.96/3597.01	v -x2319 -x2317 -x2312 -x2310 -x2305 -x2303 -x2298 -x2296 -x2291 -x2289 -x2284 -x2282 -x2277 -x2275 -x2270 -x2268 -x2263 -x2261 
3584.96/3597.01	v -x2256 -x2254 -x2249 -x2247 -x2242 -x2240 -x2235 -x2233 -x2228 -x2226 -x2221 -x2219 -x2214 -x2212 -x2207 -x2205 -x2200 -x2198 
3584.96/3597.01	v -x2193 -x2191 -x2186 -x2184 -x2179 -x2177 -x2172 -x2170 -x2165 -x2163 -x2158 -x2156 -x2151 -x2149 -x2144 -x2142 -x2137 -x2135 
3584.96/3597.01	v -x2130 -x2128 -x2123 -x2121 -x2109 -x239 -x2097 -x236 -x2085 x233 -x2073 -x230 -x2061 -x2049 -x225 -x2037 -x2025 -x220 -x2013 
3584.96/3597.01	v -x2001 x215 -x1989 -x1977 -x210 -x1965 -x207 -x1953 -x1941 -x202 -x1929 -x199 -x1917 -x196 -x1905 -x193 -x1893 -x190 -x1881 
3584.96/3597.01	v x1869 x185 -x1842 -x1815 -x1788 -x1761 -x1734 -x1707 -x1680 -x1675 x1673 -x1668 -x1666 -x1661 -x1659 -x1654 -x1652 -x1647 
3584.96/3597.01	v -x1645 -x1640 -x1638 -x1633 -x1631 -x1626 -x1624 -x1619 -x1617 -x1612 -x1610 -x1605 -x1603 -x1598 -x1596 -x1591 -x1589 -x1584 
3584.96/3597.01	v -x1582 -x1577 -x1575 -x1570 -x1568 -x1563 -x1561 -x1556 -x1554 -x1549 -x1547 -x1542 -x1540 -x1535 -x1533 -x1528 -x1526 -x1521 
3584.96/3597.01	v -x1519 -x1514 -x1512 -x1507 -x1505 -x1500 -x1498 -x1493 -x1491 -x1486 -x1484 -x1479 -x1477 -x1472 -x1470 -x1465 -x1463 -x1458 
3584.96/3597.01	v -x1456 -x1451 -x1449 -x1444 -x1442 -x1437 -x1435 -x1423 x69 -x1411 -x66 -x1399 -x63 -x1387 -x1375 -x58 -x1363 -x55 -x1351 
3584.96/3597.01	v -x52 -x1339 -x49 -x1327 -x46 -x1315 x43 -x1303 -x40 -x1291 -x37 -x1279 -x34 -x1267 -x31 -x1255 -x28 -x1243 -x25 -x1231 -x22 
3584.96/3597.01	v -x1219 -x19 -x1207 -x16 -x1195 -x13 x1183 x10 -x1156 -x1129 -x1102 -x1075 -x1048 -x1021 -x994 x840 x700 x346 x176 x1 
3584.96/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3584.96/3597.01	c Total Time         :    3597.00
3584.96/3597.01	c   solving          :    3597.00
3584.96/3597.01	c   presolving       :       0.28 (included in solving)
3584.96/3597.01	c   reading          :       0.04 (included in solving)
3584.96/3597.01	c   copying          :       0.26 (11 #copies) (minimal 0.01, maximal 0.04, average 0.02)
3584.96/3597.01	c Original Problem   :
3584.96/3597.01	c   Problem name     : HOME/instance-4432736-1721099970.opb
3584.96/3597.01	c   Variables        : 6027 (6027 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.96/3597.01	c   Constraints      : 21278 initial, 21278 maximal
3584.96/3597.01	c   Objective        : minimize, 650 non-zeros (abs.min = 1, abs.max = 1)
3584.96/3597.01	c Presolved Problem  :
3584.96/3597.01	c   Problem name     : t_HOME/instance-4432736-1721099970.opb
3584.96/3597.01	c   Variables        : 5294 (5294 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.96/3597.01	c   Constraints      : 5239 initial, 14925 maximal
3584.96/3597.01	c   Objective        : minimize, 645 non-zeros (abs.min = 1, abs.max = 1)
3584.96/3597.01	c   Nonzeros         : 21274 constraint, 30034 clique table
3584.96/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3585.07/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   gateextraction   :       0.05       0.00      3          0          0          0          0          0      19487       4784          0          0
3585.07/3597.01	c   implics          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   milp             :       0.05       0.00      1          0          9          0          0          0          0          0          0          0
3585.07/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   trivial          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   dualfix          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   probing          :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   knapsack         :       0.01       0.00      8          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   setppc           :       0.02       0.00      8          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   and              :       0.03       0.00      4          0        135          0          0          0        135          0          0          0
3585.07/3597.01	c   linear           :       0.07       0.01      5          5        584          0          5          0       1201          0          9         10
3585.07/3597.01	c   logicor          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3585.07/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3585.07/3597.01	c   benderslp        :          0          0          0          0        532          0          0        122          0          0          0          0          0          0          0
3585.07/3597.01	c   integral         :          0          0          0          0        532          0          0        122          0          0          1          0          0          1       1062
3585.07/3597.01	c   knapsack         :          1          1          0      48799          0          0          0        116       1974        679          0          0          0          0          0
3585.07/3597.01	c   setppc           :        584        584         41      48099          0          0          0        100       7762         34        457          0          0          0          0
3585.07/3597.01	c   and              :       4649       4649       1763      48103          0          0          0         49      78155        338      37066     252149      77645          0          0
3585.07/3597.01	c   linear           :          0+       201         41      42875          0          0          0          3         20         10          0         39         13          0          0
3585.07/3597.01	c   logicor          :          5+      9519         41      13162          0          0          0         41        106         39         11        215         30          0          0
3585.07/3597.01	c   benders          :          0          0          0          0          0          0          0         42          0          0          0          0          0          0          0
3585.07/3597.01	c   fixedvar         :          0          0          0          0          0          0          0         42          0          0          0          0          0          0          0
3585.07/3597.01	c   countsols        :          0          0          0          0          0          0          0         42          0          0          0          0          0          0          0
3585.07/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3585.07/3597.01	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.07/3597.01	c   integral         :    1114.74       0.00       0.00       0.00    1114.74       0.00       0.00       0.00       0.00       0.00
3585.07/3597.01	c   knapsack         :       0.22       0.00       0.00       0.20       0.00       0.00       0.00       0.00       0.01       0.01
3585.07/3597.01	c   setppc           :       0.13       0.00       0.00       0.09       0.00       0.00       0.00       0.01       0.00       0.03
3585.07/3597.01	c   and              :       5.81       0.00       2.20       1.21       0.00       0.00       0.00       0.03       0.02       2.35
3585.07/3597.01	c   linear           :       0.11       0.01       0.01       0.04       0.00       0.00       0.00       0.00       0.00       0.05
3585.07/3597.01	c   logicor          :       0.25       0.00       0.01       0.19       0.00       0.00       0.00       0.00       0.00       0.05
3585.07/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.07/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.07/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.07/3597.01	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.07/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3585.07/3597.01	c   dualfix          :          2          0          0          0
3585.07/3597.01	c   genvbounds       :          0          0          0          0
3585.07/3597.01	c   nlobbt           :          0          0          0          0
3585.07/3597.01	c   obbt             :          0          0          0          0
3585.07/3597.01	c   probing          :          0          0          0          0
3585.07/3597.01	c   pseudoobj        :       1964          0          0          0
3585.07/3597.01	c   redcost          :       1053          0          0          0
3585.07/3597.01	c   rootredcost      :          1          0          0          0
3585.07/3597.01	c   symmetry         :          0          0          0          0
3585.07/3597.01	c   vbounds          :      30369          0          0          0
3585.07/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3585.07/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3585.07/3597.01	c   genvbounds       :       0.01       0.00       0.00       0.00       0.00       0.01
3585.07/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3585.07/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3585.07/3597.01	c   probing          :       0.03       0.00       0.03       0.00       0.00       0.00
3585.07/3597.01	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
3585.07/3597.01	c   redcost          :       0.10       0.00       0.00       0.09       0.00       0.00
3585.07/3597.01	c   rootredcost      :       0.01       0.00       0.00       0.00       0.00       0.01
3585.07/3597.01	c   symmetry         :       0.02       0.00       0.01       0.00       0.00       0.01
3585.07/3597.01	c   vbounds          :       0.04       0.00       0.00       0.02       0.00       0.02
3585.07/3597.01	c Symmetry           :
3585.07/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3585.07/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3585.07/3597.01	c   lexicographic red:          0 reductions applied,          0 cutoffs
3585.07/3597.01	c   shadow tree time :       0.00 s
3585.07/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3585.07/3597.01	c   propagation      :       0.16       1094       1094          -      13990      102.7         85       11.7          -          -          -
3585.07/3597.01	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3585.07/3597.01	c   bound exceed. LP :       0.13         23          7          -        317     1174.5          0        0.0          4      587.0        190
3585.07/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3585.07/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3585.07/3597.01	c   applied globally :       0.08          -          -          0       9963       33.7          -          -          4          -          -
3585.07/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3585.07/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3585.07/3597.01	c   cut pool         :       0.64          -        728         80          -          -      15153      54514          -          -          -          -          -    (maximal pool size:       7989)
3585.07/3597.01	c   aggregation      :       0.72       0.00        236         41          0          0         21        102          0         12         12          0          0
3585.07/3597.01	c   > cmir           :          -          -          -          -          -          -          -         69          0          1          1          0          -
3585.07/3597.01	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3585.07/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -         33          0         11         11          0          -
3585.07/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   clique           :       0.46       0.00         41         41          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   gomory           :     108.24       0.00        167         10          0          0       2377       5007          0        188        188          0          0
3585.07/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -       2828          0        140        140          0          -
3585.07/3597.01	c   > strongcg       :          -          -          -          -          -          -          -       2179          0         48         48          0          -
3585.07/3597.01	c   impliedbounds    :       0.18       0.00        236         41          0          0      12193      44453          0      22503      22503          0          0
3585.07/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   multilinear      :       0.02       0.00        181         41          0          0         74        187          0         86         86          0          0
3585.07/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.07/3597.01	c   rapidlearning    :       0.30       0.00          1          1          0          0          0          0          0          0          0          0        200
3585.07/3597.01	c   rlt              :      26.16       0.00         54         10          0          0        141       1813          0        677        677          0          0
3585.07/3597.01	c   zerohalf         :       4.04       0.00        177         20          0          0        347       2952          0       1041       1041          0          0
3585.07/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3585.07/3597.01	c   hybrid           :       0.49       0.00       1734         40     102212          0     204705       3998          0      13788
3585.07/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3585.07/3597.01	c   problem variables:       0.00          -          0          0
3585.07/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3585.07/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c   relpscost        :    1114.73       0.00        532          0          0          0          1          0          1       1062
3585.07/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3585.07/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3585.07/3597.01	c   LP solutions     :       0.00          -          -          0          0
3585.07/3597.01	c   relax solutions  :       0.00          -          -          0          0
3585.07/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3585.07/3597.01	c   strong branching :       0.01          -          -          0          0
3585.07/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3585.07/3597.01	c   adaptivediving   :      11.14       0.00          5          0          0
3585.07/3597.01	c   alns             :       0.38       0.00          3          0          0
3585.07/3597.01	c   bound            :       0.00       0.00          0          0          0
3585.07/3597.01	c   clique           :       0.05       0.00          1          0          0
3585.07/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3585.07/3597.01	c   completesol      :       0.00       0.00          0          0          0
3585.07/3597.01	c   conflictdiving   :       8.42       0.00          3          0          0
3585.07/3597.01	c   crossover        :       0.08       0.00          1          0          0
3585.07/3597.01	c   dins             :       0.00       0.00          0          0          0
3585.07/3597.01	c   distributiondivin:      23.50       0.00          4          0          0
3585.07/3597.01	c   dps              :       0.00       0.00          0          0          0
3585.07/3597.01	c   dualval          :       0.00       0.00          0          0          0
3585.07/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3585.07/3597.01	c   feasjump         :       0.00       0.00          0          0          0
3585.07/3597.01	c   feaspump         :       0.00       0.00          0          0          0
3585.07/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3585.07/3597.01	c   fracdiving       :      14.65       0.00          4          0          0
3585.07/3597.01	c   gins             :       0.00       0.00          0          0          0
3585.07/3597.01	c   guideddiving     :       4.70       0.00          3          0          0
3585.07/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3585.07/3597.01	c   indicator        :       0.00       0.00          0          0          0
3585.07/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3585.07/3597.01	c   indoneopt        :       0.00       0.00          0          0          0
3585.07/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3585.07/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3585.07/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3585.07/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3585.07/3597.01	c   linesearchdiving :       7.44       0.00          3          0          0
3585.07/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3585.07/3597.01	c   locks            :       0.02       0.00          1          0          0
3585.07/3597.01	c   lpface           :       0.00       0.00          0          0          0
3585.07/3597.01	c   mpec             :       0.00       0.00          0          0          0
3585.07/3597.01	c   multistart       :       0.00       0.00          0          0          0
3585.07/3597.01	c   mutation         :       0.00       0.00          0          0          0
3585.07/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3585.07/3597.01	c   objpscostdiving  :       6.45       0.00          2          0          0
3585.07/3597.01	c   octane           :       0.00       0.00          0          0          0
3585.07/3597.01	c   ofins            :       0.00       0.00          0          0          0
3585.07/3597.01	c   oneopt           :       0.01       0.00          2          0          0
3585.07/3597.01	c   padm             :       0.00       0.00          0          0          0
3585.07/3597.01	c   proximity        :       0.00       0.00          0          0          0
3585.07/3597.01	c   pscostdiving     :      27.55       0.00          4          0          0
3585.07/3597.01	c   randrounding     :       0.67       0.00         93          0          0
3585.07/3597.01	c   rens             :       1.47       0.00          1          1          0
3585.07/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3585.07/3597.01	c   repair           :       0.00       0.00          0          0          0
3585.07/3597.01	c   rins             :       6.03       0.00          4          3          0
3585.07/3597.01	c   rootsoldiving    :       4.49       0.00          2          0          0
3585.07/3597.01	c   rounding         :       0.68       0.00        615          0          0
3585.07/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3585.07/3597.01	c   shiftandpropagate:       0.06       0.00          1          1          1
3585.07/3597.01	c   shifting         :       1.68       0.00        548         34          1
3585.07/3597.01	c   simplerounding   :       0.00       0.00          0          0          0
3585.07/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3585.07/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3585.07/3597.01	c   trivial          :       0.00       0.00          2          0          0
3585.07/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3585.07/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3585.07/3597.01	c   trysol           :       0.00       0.00          0          0          0
3585.07/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3585.07/3597.01	c   undercover       :       0.07       0.00          1          0          0
3585.07/3597.01	c   vbounds          :       0.37       0.00          1          0          0
3585.07/3597.01	c   veclendiving     :       0.40       0.00          3          0          0
3585.07/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3585.07/3597.01	c   zirounding       :       0.54       0.00        531          0          0
3585.07/3597.01	c   other solutions  :          -          -          -          0          -
3585.07/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3585.07/3597.01	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
3585.07/3597.01	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
3585.07/3597.01	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
3585.07/3597.01	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
3585.07/3597.01	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
3585.07/3597.01	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
3585.07/3597.01	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
3585.07/3597.01	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
3585.07/3597.01	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
3585.07/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3585.07/3597.01	c   primal LP        :       1.06        131          0       0.00       0.00       1.06        131
3585.07/3597.01	c   dual LP          :    2210.21       2267    9265959    4087.32    4192.34       0.00          0
3585.07/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3585.07/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3585.07/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3585.07/3597.01	c   diving/probing LP:     140.15        658     736302    1119.00    5253.83
3585.07/3597.01	c   strong branching :    1065.21       5363    4348225     810.78    4082.03          -          -       8099
3585.07/3597.01	c     (at root node) :          -         11      11000    1000.00          -
3585.07/3597.01	c   conflict analysis:       0.05         19        190      10.00    4004.97
3585.07/3597.01	c B&B Tree           :
3585.07/3597.01	c   number of runs   :          1
3585.07/3597.01	c   nodes            :        532 (531 internal, 1 leaves)
3585.07/3597.01	c   feasible leaves  :          0
3585.07/3597.01	c   infeas. leaves   :          0
3585.07/3597.01	c   objective leaves :          0
3585.07/3597.01	c   nodes (total)    :        532 (531 internal, 1 leaves)
3585.07/3597.01	c   nodes left       :        532
3585.07/3597.01	c   max depth        :         27
3585.07/3597.01	c   max depth (total):         27
3585.07/3597.01	c   backtracks       :         76 (14.3%)
3585.07/3597.01	c   early backtracks :          0 (0.0%)
3585.07/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3585.07/3597.01	c   delayed cutoffs  :          0
3585.07/3597.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3585.07/3597.01	c   avg switch length:       3.50
3585.07/3597.01	c   switching time   :       0.65
3585.07/3597.01	c Root Node          :
3585.07/3597.01	c   First LP value   : +7.55555555555556e+00
3585.07/3597.01	c   First LP Iters   :        461 (21768.90 Iter/sec)
3585.07/3597.01	c   First LP Time    :       0.02
3585.07/3597.01	c   Final Dual Bound : +1.14289126777790e+01
3585.07/3597.01	c   Final Root Iters :      52856
3585.07/3597.01	c   Root LP Estimate : +1.45300063193612e+01
3585.07/3597.01	c Solution           :
3585.07/3597.01	c   Solutions found  :         39 (2 improvements)
3585.07/3597.01	c   First Solution   : +2.70000000000000e+01   (in run 1, after 1 nodes, 0.85 seconds, depth 908, found by <shiftandpropagate>)
3585.07/3597.01	c   Gap First Sol.   :     440.00 %
3585.07/3597.01	c   Gap Last Sol.    :     217.65 %
3585.07/3597.01	c   Primal Bound     : +2.40000000000000e+01   (in run 1, after 1 nodes, 0.90 seconds, depth 0, found by <shifting>)
3585.07/3597.01	c   Dual Bound       : +1.19491308098469e+01
3585.07/3597.01	c   Gap              :     100.85 %
3585.07/3597.01	c Integrals          :      Total       Avg%
3585.07/3597.01	c   primal-dual      :  182880.61      50.84
3585.07/3597.01	c   primal-ref       :          -          - (not evaluated)
3585.07/3597.01	c   dual-ref         :          -          - (not evaluated)
3585.07/3597.09	c Time complete: 3585.16.

Verifier Data

OK	24

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=826277, runsolver pid=826274

[startup+0.100101 s]*
/proc/loadavg: 4.15 4.19 4.20 5/241 826278
/proc/meminfo: memFree=126954148/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=100552 memory=60728 CPUtime=0.1 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 11915 0 0 0 9 1 0 0 20 0 1 0 162153492 102965248 15182 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 25138 15182 3645 3540 0 13395 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 100552 KiB
Current children cumulated memory: 60728 KiB

[startup+0.212619 s]*
/proc/loadavg: 4.15 4.19 4.20 5/241 826278
/proc/meminfo: memFree=126939572/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=114028 memory=74632 CPUtime=0.21 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 17730 0 0 0 19 2 0 0 20 0 1 0 162153492 116764672 18658 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 28507 18658 3820 3540 0 16764 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 114028 KiB
Current children cumulated memory: 74632 KiB

[startup+0.312687 s]*
/proc/loadavg: 4.15 4.19 4.20 5/241 826278
/proc/meminfo: memFree=126934724/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=119580 memory=79352 CPUtime=0.31 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 18900 0 0 0 29 2 0 0 20 0 1 0 162153492 122449920 19838 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 29895 19838 3820 3540 0 18152 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 119580 KiB
Current children cumulated memory: 79352 KiB

[startup+0.700337 s]
/proc/loadavg: 4.15 4.19 4.20 5/241 826278
/proc/meminfo: memFree=126910056/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=193492 memory=143068 CPUtime=0.69 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 34671 0 0 0 65 4 0 0 20 0 1 0 162153492 198135808 35767 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 48373 35767 4012 3540 0 36630 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 193492 KiB
Current children cumulated memory: 143068 KiB

[startup+1.50031 s]
/proc/loadavg: 4.15 4.19 4.20 5/241 826278
/proc/meminfo: memFree=126861024/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=199760 memory=152656 CPUtime=1.48 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 37030 0 0 0 144 4 0 0 20 0 1 0 162153492 204554240 38164 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 49940 38164 4043 3540 0 38197 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 199760 KiB
Current children cumulated memory: 152656 KiB

[startup+3.11275 s]
/proc/loadavg: 4.15 4.19 4.20 5/241 826280
/proc/meminfo: memFree=126829892/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=228184 memory=180964 CPUtime=3.09 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 44140 0 0 0 304 5 0 0 20 0 1 0 162153492 233660416 45241 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 57046 45241 4043 3540 0 45303 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 228184 KiB
Current children cumulated memory: 180964 KiB

[startup+6.30032 s]
/proc/loadavg: 4.22 4.20 4.20 5/241 826280
/proc/meminfo: memFree=126795452/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=268412 memory=210796 CPUtime=6.27 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 51623 0 0 0 620 7 0 0 20 0 1 0 162153492 274853888 52699 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 67103 52699 4043 3540 0 55360 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 268412 KiB
Current children cumulated memory: 210796 KiB

[startup+12.7003 s]
/proc/loadavg: 4.20 4.20 4.20 5/241 826281
/proc/meminfo: memFree=126739140/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=280160 memory=215232 CPUtime=12.65 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 52719 0 0 0 1257 8 0 0 20 0 1 0 162153492 286883840 53808 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 70040 53808 4043 3540 0 58297 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 280160 KiB
Current children cumulated memory: 215232 KiB

[startup+25.5004 s]
/proc/loadavg: 4.16 4.19 4.19 5/241 826283
/proc/meminfo: memFree=126672408/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=324796 memory=260264 CPUtime=25.39 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 64265 0 0 0 2529 10 0 0 20 0 1 0 162153492 332591104 65066 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 81199 65066 4059 3540 0 69456 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 324796 KiB
Current children cumulated memory: 260264 KiB

[startup+51.1127 s]
/proc/loadavg: 4.18 4.19 4.19 5/241 826286
/proc/meminfo: memFree=126632504/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=324796 memory=260276 CPUtime=50.92 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 64367 0 0 0 5081 11 0 0 20 0 1 0 162153492 332591104 65069 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 81199 65069 4059 3540 0 69456 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 324796 KiB
Current children cumulated memory: 260276 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.16 4.18 5/243 826300
/proc/meminfo: memFree=126597700/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=324796 memory=260316 CPUtime=101.92 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 64413 0 0 0 10181 11 0 0 20 0 1 0 162153492 332591104 65079 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 81199 65079 4059 3540 0 69456 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 324796 KiB
Current children cumulated memory: 260316 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/243 826311
/proc/meminfo: memFree=126506324/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=324796 memory=260316 CPUtime=161.71 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 64439 0 0 0 16159 12 0 0 20 0 1 0 162153492 332591104 65079 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 81199 65079 4059 3540 0 69456 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 324796 KiB
Current children cumulated memory: 260316 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/243 826321
/proc/meminfo: memFree=126415392/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=324796 memory=260580 CPUtime=221.5 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 64614 0 0 0 22138 12 0 0 20 0 1 0 162153492 332591104 65145 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 81199 65145 4059 3540 0 69456 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 324796 KiB
Current children cumulated memory: 260580 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.17 5/243 826331
/proc/meminfo: memFree=126315848/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=324796 memory=260580 CPUtime=281.28 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 64650 0 0 0 28116 12 0 0 20 0 1 0 162153492 332591104 65145 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 81199 65145 4059 3540 0 69456 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 324796 KiB
Current children cumulated memory: 260580 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/243 826388
/proc/meminfo: memFree=126572528/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=324796 memory=260960 CPUtime=341.05 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 64789 0 0 0 34093 12 0 0 20 0 1 0 162153492 332591104 65240 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 81199 65240 4059 3540 0 69456 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 324796 KiB
Current children cumulated memory: 260960 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/243 826783
/proc/meminfo: memFree=125752708/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=329024 memory=263060 CPUtime=400.79 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 65277 0 0 0 40067 12 0 0 20 0 1 0 162153492 336920576 65765 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 82256 65765 4059 3540 0 70513 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 329024 KiB
Current children cumulated memory: 263060 KiB

[startup+462.3 s]
/proc/loadavg: 4.23 4.15 4.17 5/244 826794
/proc/meminfo: memFree=125675872/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=333308 memory=267188 CPUtime=460.53 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 66341 0 0 0 46041 12 0 0 20 0 1 0 162153492 341307392 66797 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 83327 66797 4059 3540 0 71584 0
Current children cumulated CPU time: 460.53 s

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

/proc/loadavg: 2.06 2.49 3.27 3/230 828136
/proc/meminfo: memFree=125989968/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=748932 memory=710064 CPUtime=3151.56 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 132154 0 0 0 315129 27 0 0 20 0 1 0 162153492 766906368 177516 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 187233 177516 4232 3540 0 175490 0
Current children cumulated CPU time: 3151.56 s
Current children cumulated vsize: 748932 KiB
Current children cumulated memory: 710064 KiB

[startup+3222.3 s]
/proc/loadavg: 2.06 2.41 3.20 3/230 828146
/proc/meminfo: memFree=125989844/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=748932 memory=710064 CPUtime=3211.39 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 132347 0 0 0 321112 27 0 0 20 0 1 0 162153492 766906368 177516 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 187233 177516 4232 3540 0 175490 0
Current children cumulated CPU time: 3211.39 s
Current children cumulated vsize: 748932 KiB
Current children cumulated memory: 710064 KiB

[startup+3282.3 s]
/proc/loadavg: 2.17 2.38 3.13 3/230 828156
/proc/meminfo: memFree=125989548/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=748932 memory=710064 CPUtime=3271.23 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 132542 0 0 0 327096 27 0 0 20 0 1 0 162153492 766906368 177516 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 187233 177516 4232 3540 0 175490 0
Current children cumulated CPU time: 3271.23 s
Current children cumulated vsize: 748932 KiB
Current children cumulated memory: 710064 KiB

[startup+3342.3 s]
/proc/loadavg: 2.17 2.34 3.07 3/229 828167
/proc/meminfo: memFree=125989320/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=748932 memory=710064 CPUtime=3331.06 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 132739 0 0 0 333079 27 0 0 20 0 1 0 162153492 766906368 177516 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 187233 177516 4232 3540 0 175490 0
Current children cumulated CPU time: 3331.06 s
Current children cumulated vsize: 748932 KiB
Current children cumulated memory: 710064 KiB

[startup+3402.3 s]
/proc/loadavg: 2.14 2.29 3.00 3/227 828180
/proc/meminfo: memFree=125988996/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=748932 memory=710064 CPUtime=3390.9 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 132957 0 0 0 339063 27 0 0 20 0 1 0 162153492 766906368 177516 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 187233 177516 4232 3540 0 175490 0
Current children cumulated CPU time: 3390.9 s
Current children cumulated vsize: 748932 KiB
Current children cumulated memory: 710064 KiB

[startup+3462.3 s]
/proc/loadavg: 2.45 2.33 2.97 3/230 828195
/proc/meminfo: memFree=125988600/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=752692 memory=710076 CPUtime=3450.73 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 133164 0 0 0 345046 27 0 0 20 0 1 0 162153492 770756608 177519 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 188173 177519 4232 3540 0 176430 0
Current children cumulated CPU time: 3450.73 s
Current children cumulated vsize: 752692 KiB
Current children cumulated memory: 710076 KiB

[startup+3522.3 s]
/proc/loadavg: 2.56 2.41 2.96 3/230 828205
/proc/meminfo: memFree=125868572/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=896268 memory=829360 CPUtime=3510.57 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 138179 0 0 0 351027 30 0 0 20 0 1 0 162153492 917778432 207340 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 224067 207340 4232 3540 0 212324 0
Current children cumulated CPU time: 3510.57 s
Current children cumulated vsize: 896268 KiB
Current children cumulated memory: 829360 KiB

[startup+3582.3 s]
/proc/loadavg: 2.24 2.34 2.90 3/230 828216
/proc/meminfo: memFree=125868236/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=896268 memory=829404 CPUtime=3570.4 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 138411 0 0 0 357010 30 0 0 20 0 1 0 162153492 917778432 207351 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 224067 207351 4232 3540 0 212324 0
Current children cumulated CPU time: 3570.4 s
Current children cumulated vsize: 896268 KiB
Current children cumulated memory: 829404 KiB

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

# cumulated CPU time of all completed processes:  user=3584.86 s, system=0.308809 s

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

[startup+3584 s]*
/proc/loadavg: 2.24 2.34 2.90 3/230 828216
/proc/meminfo: memFree=125868280/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=896268 memory=829404 CPUtime=3572.11 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 138411 0 0 0 357181 30 0 0 20 0 1 0 162153492 917778432 207351 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 224067 207351 4232 3540 0 212324 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 896268 KiB
Current children cumulated memory: 829404 KiB

[startup+3590.4 s]
/proc/loadavg: 2.22 2.34 2.90 3/230 828216
/proc/meminfo: memFree=125868280/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=896268 memory=829404 CPUtime=3578.48 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 138517 0 0 0 357818 30 0 0 20 0 1 0 162153492 917778432 207351 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 224067 207351 4232 3540 0 212324 0
Current children cumulated CPU time: 3578.48 s
Current children cumulated vsize: 896268 KiB
Current children cumulated memory: 829404 KiB

[startup+3593.6 s]
/proc/loadavg: 2.20 2.33 2.89 3/230 828217
/proc/meminfo: memFree=125868208/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=896268 memory=829404 CPUtime=3581.67 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 138518 0 0 0 358137 30 0 0 20 0 1 0 162153492 917778432 207351 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 224067 207351 4232 3540 0 212324 0
Current children cumulated CPU time: 3581.67 s
Current children cumulated vsize: 896268 KiB
Current children cumulated memory: 829404 KiB

[startup+3595.2 s]
/proc/loadavg: 2.20 2.33 2.89 3/230 828217
/proc/meminfo: memFree=125868224/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=896268 memory=829404 CPUtime=3583.27 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 138518 0 0 0 358297 30 0 0 20 0 1 0 162153492 917778432 207351 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 224067 207351 4232 3540 0 212324 0
Current children cumulated CPU time: 3583.27 s
Current children cumulated vsize: 896268 KiB
Current children cumulated memory: 829404 KiB

[startup+3596 s]*
/proc/loadavg: 2.19 2.33 2.89 3/230 828217
/proc/meminfo: memFree=125868224/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=896268 memory=829404 CPUtime=3584.08 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 138530 0 0 0 358378 30 0 0 20 0 1 0 162153492 917778432 207351 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 224067 207351 4232 3540 0 212324 0
Current children cumulated CPU time: 3584.08 s
Current children cumulated vsize: 896268 KiB
Current children cumulated memory: 829404 KiB

[startup+3596.8 s]
/proc/loadavg: 2.19 2.33 2.89 3/230 828217
/proc/meminfo: memFree=125868224/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=896268 memory=829404 CPUtime=3584.86 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 138531 0 0 0 358456 30 0 0 20 0 1 0 162153492 917778432 207351 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 224067 207351 4232 3540 0 212324 0
Current children cumulated CPU time: 3584.86 s
Current children cumulated vsize: 896268 KiB
Current children cumulated memory: 829404 KiB

[startup+3597 s]*
/proc/loadavg: 2.19 2.33 2.89 3/230 828217
/proc/meminfo: memFree=125868224/131655788 swapFree=131071996/131071996
[pid=826277] ppid=826274 vsize=896268 memory=829404 CPUtime=3585.07 cores=0,2
/proc/826277/stat : 826277 (pbscip) R 826274 826277 820487 0 -1 4194304 138531 0 0 0 358477 30 0 0 20 0 1 0 162153492 917778432 207351 134679101440 4194304 18693293 140727706843600 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 43536384 140727706850308 140727706850407 140727706850407 140727706857422 0
/proc/826277/statm: 224067 207351 4232 3540 0 212324 0
Current children cumulated CPU time: 3585.07 s
Current children cumulated vsize: 896268 KiB
Current children cumulated memory: 829404 KiB

Child status: 0

Real time (s): 3597.1
CPU time (s): 3585.16
CPU user time (s): 3584.86
CPU system time (s): 0.308809
CPU usage (%): 99.6683
Max. virtual memory (cumulated for all children) (KiB): 896268
Max. memory (cumulated for all children) (KiB): 829404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.86
system time used= 0.308809
maximum resident set size= 829404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138596
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= 68
involuntary context switches= 24553


# summary of solver processes directly reported to runsolver:
#   pid: 826277
#   total CPU time (s): 3585.16
#   total CPU user time (s): 3584.86
#   total CPU system time (s): 0.308809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2785 second user time and 35.5737 second system time

The end

Launcher Data

Begin job on nodeC008 at 2024-07-16 05:19:43
IDJOB=4432736
IDBENCH=148185
IDSOLVER=3059
FILE ID=nodeC008/4432736-1721099970
RUNJOBID= nodeC008-1721091858-820497
SLURM_JOB_ID= 7505586
Free space on /tmp= 723712 MiB

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

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

MD5SUM BENCH= 9def910af6a1ee27abcf25feff61a445
RANDOM SEED=1976579961

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		: 3495.841
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		: 3651.208
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.244
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.274
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		: 3661.773
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		: 3608.815
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.416
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.438
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:        126999940 kB
MemAvailable:   127295352 kB
Buffers:          404492 kB
Cached:           734576 kB
SwapCached:            0 kB
Active:           636280 kB
Inactive:        3495244 kB
Active(anon):       1484 kB
Inactive(anon):  3028376 kB
Active(file):     634796 kB
Inactive(file):   466868 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             19240 kB
Writeback:             0 kB
AnonPages:       2987860 kB
Mapped:           139672 kB
Shmem:             37704 kB
KReclaimable:      67560 kB
Slab:             160576 kB
SReclaimable:      67560 kB
SUnreclaim:        93016 kB
KernelStack:        3872 kB
PageTables:        15252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3448948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51712 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1738752 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= 723720 MiB
End job on nodeC008 at 2024-07-16 06:19:40