Trace number 4455902

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 NameAnswerCPU timeWall clock time
SCIP 2024-07-07OPTIMUM 1096.07 1100.68

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.rf8.ucl--soft-0-100-0.wbo
MD5SUM422b47731253e11b6937aedb0da90672
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark4.35122
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6832
Total number of constraints19477
Number of soft constraints19477
Number of constraints which are clauses18953
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints524
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 989271
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 989270
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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.15	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.15	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.15	c 
0.00/0.15	c user parameter file <scip.set> not found - using default parameters
0.00/0.15	c reading problem <HOME/instance-4455902-1721717817.wbo>
0.17/0.38	c original problem has 26309 variables (26309 bin, 0 int, 0 impl, 0 cont) and 38955 constraints
0.17/0.38	c problem read in 0.23
0.73/0.97	o 989270
0.86/1.02	c feasible solution found by trivial heuristic after 0.9 seconds, objective value 9.892700e+05
0.86/1.02	c presolving:
0.95/1.12	c (round 1, fast)       0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 262 chg sides, 524 chg coeffs, 0 upgd conss, 19477 impls, 0 clqs
0.95/1.14	c (round 2, fast)       0 del vars, 1 del conss, 0 add conss, 19477 chg bounds, 262 chg sides, 524 chg coeffs, 0 upgd conss, 19477 impls, 0 clqs
1.53/1.73	c    (1.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.74/1.92	c    (1.8s) no symmetry present (symcode time: 0.09)
1.74/1.96	c presolving (3 rounds: 3 fast, 1 medium, 1 exhaustive):
1.74/1.96	c  25 deleted vars, 1 deleted constraints, 0 added constraints, 19477 tightened bounds, 0 added holes, 262 changed sides, 524 changed coefficients
1.74/1.96	c  19477 implications, 0 cliques
1.74/1.96	c presolved problem has 45761 variables (26309 bin, 0 int, 19452 impl, 0 cont) and 38954 constraints
1.74/1.96	c   19477 constraints of type <linear>
1.74/1.96	c   19477 constraints of type <indicator>
1.74/1.96	c transformed objective value is always integral (scale: 1)
1.74/1.96	c Presolving Time: 1.40
1.74/1.96	c - non default parameters ----------------------------------------------------------------------
1.74/1.96	c # SCIP version 10.0.0
1.74/1.96	c 
1.74/1.96	c # maximal time in seconds to run
1.74/1.96	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.74/1.96	c limits/time = 3596.993266
1.74/1.96	c 
1.74/1.96	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.74/1.96	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.74/1.96	c limits/memory = 27900
1.74/1.96	c 
1.74/1.96	c # belongs reading time to solving time?
1.74/1.96	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.74/1.96	c timing/reading = TRUE
1.74/1.96	c 
1.74/1.96	c -----------------------------------------------------------------------------------------------
1.74/1.96	c start solving
1.74/2.01	c 
5.52/5.75	o 988061
5.52/5.75	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
5.52/5.75	c i 5.6s|     1 |     0 |     0 |     - |  oneopt|   0 |  45k|  38k|  38k|   0 |  0 |   0 |   0 | 0.000000e+00 | 9.880610e+05 |    Inf | unknown
139.68/140.49	c   140s|     1 |     0 | 10220 |     - |   342M |   0 |  45k|  38k|  38k|   0 |  0 |   0 |   0 | 0.000000e+00 | 9.880610e+05 |    Inf | unknown
145.05/145.81	c   146s|     1 |     0 | 14872 |     - |   372M |   0 |  45k|  38k|  38k|  59 |  1 |   0 |   0 | 0.000000e+00 | 9.880610e+05 |    Inf | unknown
148.34/149.16	c   149s|     1 |     0 | 16932 |     - |   392M |   0 |  45k|  38k|  39k|  91 |  2 |   0 |   0 | 0.000000e+00 | 9.880610e+05 |    Inf | unknown
151.72/152.55	c   152s|     1 |     0 | 18517 |     - |   422M |   0 |  45k|  38k|  39k| 114 |  3 |   0 |   0 | 0.000000e+00 | 9.880610e+05 |    Inf | unknown
156.21/157.09	c   157s|     1 |     0 | 20603 |     - |   450M |   0 |  45k|  38k|  39k| 133 |  4 |   0 |   0 | 0.000000e+00 | 9.880610e+05 |    Inf | unknown
161.47/162.39	c   162s|     1 |     0 | 23987 |     - |   458M |   0 |  45k|  38k|  39k| 148 |  5 |   0 |   0 | 0.000000e+00 | 9.880610e+05 |    Inf | unknown
165.95/166.89	c   167s|     1 |     0 | 26544 |     - |   470M |   0 |  45k|  38k|  39k| 164 |  6 |   0 |   0 | 0.000000e+00 | 9.880610e+05 |    Inf | unknown
170.92/171.84	c   172s|     1 |     0 | 30148 |     - |   483M |   0 |  45k|  38k|  39k| 185 |  7 |   0 |   0 | 0.000000e+00 | 9.880610e+05 |    Inf | unknown
176.30/177.23	c   177s|     1 |     0 | 33156 |     - |   494M |   0 |  45k|  38k|  39k| 202 |  8 |   0 |   0 | 0.000000e+00 | 9.880610e+05 |    Inf | unknown
180.98/181.99	c   182s|     1 |     0 | 35766 |     - |   511M |   0 |  45k|  38k|  39k| 220 |  9 |   0 |   0 | 0.000000e+00 | 9.880610e+05 |    Inf | unknown
185.66/186.65	c   186s|     1 |     0 | 38660 |     - |   531M |   0 |  45k|  38k|  39k| 235 | 10 |   0 |   0 | 0.000000e+00 | 9.880610e+05 |    Inf | unknown
188.34/189.37	c   189s|     1 |     0 | 40581 |     - |   534M |   0 |  45k|  38k|  39k| 240 | 11 |   0 |   0 | 0.000000e+00 | 9.880610e+05 |    Inf | unknown
243.61/244.84	o 538
243.61/244.84	c d 245s|     1 |     0 |179071 |     - |farkasdi|   0 |  45k|  38k|  39k|   0 | 11 |   6 |   0 | 0.000000e+00 | 5.380000e+02 |    Inf | unknown
257.66/258.95	o 443
257.66/258.95	c L 259s|     1 |     0 |194167 |     - |    alns|   0 |  45k|  38k|  39k| 240 | 11 |   6 |   0 | 0.000000e+00 | 4.430000e+02 |    Inf | unknown
257.77/259.03	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
257.77/259.03	c   259s|     1 |     0 |194167 |     - |   551M |   0 |  45k|  38k|  39k| 240 | 11 |   6 |   0 | 0.000000e+00 | 4.430000e+02 |    Inf | unknown
260.34/261.60	c   261s|     1 |     0 |195381 |     - |   555M |   0 |  45k|  38k|  39k| 249 | 12 |   6 |   0 | 0.000000e+00 | 4.430000e+02 |    Inf | unknown
261.34/262.62	c   262s|     1 |     0 |195658 |     - |   555M |   0 |  45k|  38k|  39k| 250 | 13 |   6 |   0 | 0.000000e+00 | 4.430000e+02 |    Inf | unknown
277.56/278.91	c   279s|     1 |     2 |196118 |     - |   557M |   0 |  45k|  38k|  39k| 250 | 13 |   6 |  22 | 0.000000e+00 | 4.430000e+02 |    Inf | unknown
397.64/399.51	o 344
397.64/399.51	c d 399s|    35 |    36 |263731 |6519.4 |pscostdi|  34 |  45k|  38k|  39k|   0 |  1 |   6 | 245 | 0.000000e+00 | 3.440000e+02 |    Inf | unknown
417.94/419.93	o 255
417.94/419.93	c L 420s|    66 |    67 |303062 |4015.2 |    alns|  41 |  45k|  38k|  39k| 464 |  4 |   6 | 245 | 0.000000e+00 | 2.550000e+02 |    Inf | unknown
417.94/419.96	o 172
417.94/419.96	c L 420s|    66 |    67 |303062 |4015.2 |    alns|  41 |  45k|  38k|  39k| 464 |  4 |   6 | 245 | 0.000000e+00 | 1.720000e+02 |    Inf | unknown
417.94/419.99	o 83
417.94/419.99	c L 420s|    66 |    64 |303062 |4015.2 |    alns|  41 |  45k|  38k|  39k| 464 |  4 |   6 | 245 | 0.000000e+00 | 8.300000e+01 |    Inf | unknown
454.76/456.99	c   457s|   100 |    96 |365442 |3266.4 |   682M |  44 |  45k|  35k|  39k| 744 |  5 |  10 | 313 | 0.000000e+00 | 8.300000e+01 |    Inf | unknown
490.73/493.05	c   493s|   200 |   196 |476842 |2184.8 |   689M |  62 |  45k|  35k|  39k|1113 |  1 |  10 | 329 | 0.000000e+00 | 8.300000e+01 |    Inf | unknown
512.93/515.32	o 29
512.93/515.32	c L 515s|   266 |   224 |525604 |1824.6 |    rins|  69 |  45k|  35k|  39k|1285 |  1 |  23 | 345 | 0.000000e+00 | 2.900000e+01 |    Inf | unknown
516.81/519.29	c   519s|   300 |   254 |533506 |1643.6 |   700M |  71 |  45k|  24k|  39k|1330 |  1 |  55 | 345 | 0.000000e+00 | 2.900000e+01 |    Inf | unknown
526.57/529.11	o 23
526.57/529.11	c * 529s|   372 |   255 |560358 |1397.0 |    LP  |  88 |  45k|  25k|  39k|1392 |  1 | 135 | 382 | 0.000000e+00 | 2.300000e+01 |    Inf | unknown
528.85/531.33	c   531s|   400 |   268 |560962 |1300.5 |   709M |  88 |  45k|  23k|   0 |1400 |  0 | 155 | 382 | 0.000000e+00 | 2.300000e+01 |    Inf | unknown
566.19/568.84	o 18
566.19/568.84	c r 569s|   428 |   229 |601851 |1311.0 |shifting|  88 |  45k|  23k|  39k|1510 |  0 | 238 | 414 | 0.000000e+00 | 1.800000e+01 |    Inf | unknown
587.32/590.10	o 16
587.32/590.10	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
587.32/590.10	c d 590s|   499 |   147 |657184 |1235.2 |farkasdi|  88 |  45k|  22k|  39k|   0 |  1 | 271 | 414 | 0.000000e+00 | 1.600000e+01 |    Inf | unknown
587.90/590.69	c   591s|   500 |   148 |659923 |1238.2 |   728M |  88 |  45k|  22k|  39k|1606 |  2 | 271 | 414 | 0.000000e+00 | 1.600000e+01 |    Inf | unknown
627.07/629.95	o 15
627.07/629.95	c d 630s|   596 |   136 |734234 |1163.3 |farkasdi|  88 |  45k|  22k|  39k|   0 |  1 | 429 | 460 | 0.000000e+00 | 1.500000e+01 |    Inf | unknown
627.76/630.63	c   630s|   600 |   138 |734373 |1155.8 |   741M |  88 |  45k|  22k|  39k|1910 |  1 | 429 | 460 | 0.000000e+00 | 1.500000e+01 |    Inf | unknown
637.14/640.06	o 14
637.14/640.06	c r 640s|   684 |   164 |740774 |1023.0 |shifting|  88 |  45k|  22k|  39k|2045 |  0 | 477 | 476 | 0.000000e+00 | 1.400000e+01 |    Inf |  14.72%
637.92/640.85	o 13
637.92/640.85	c r 641s|   688 |   131 |740807 |1017.1 |rounding|  88 |  45k|  22k|  39k|2045 |  0 | 477 | 476 | 0.000000e+00 | 1.300000e+01 |    Inf |  14.94%
639.51/642.48	c   642s|   700 |   140 |742760 |1002.4 |   760M |  88 |  45k|  22k|  39k|2091 |  2 | 479 | 476 | 0.000000e+00 | 1.300000e+01 |    Inf |  15.81%
640.91/643.84	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
640.91/643.84	o 12
640.91/643.84	c d 644s|   708 |   127 |746202 | 995.9 |adaptive|  88 |  45k|  22k|  39k|   0 |  1 | 483 | 476 | 0.000000e+00 | 1.200000e+01 |    Inf |  16.24%
640.91/643.85	c (run 1, node 708) performing user restart
640.91/643.85	c 
640.91/643.88	c (restart) converted 169 cuts from the global cut pool into linear constraints
640.91/643.88	c 
641.12/644.08	c presolving:
641.22/644.17	c (round 1, fast)       34770 del vars, 316 del conss, 52 add conss, 188 chg bounds, 65 chg sides, 650 chg coeffs, 0 upgd conss, 19477 impls, 11338 clqs
641.22/644.18	c (round 2, medium)     35042 del vars, 322 del conss, 52 add conss, 188 chg bounds, 65 chg sides, 656 chg coeffs, 0 upgd conss, 19477 impls, 10901 clqs
641.22/644.19	c (round 3, fast)       35044 del vars, 876 del conss, 52 add conss, 188 chg bounds, 65 chg sides, 764 chg coeffs, 0 upgd conss, 19477 impls, 10909 clqs
641.31/644.26	c (round 4, exhaustive) 35044 del vars, 886 del conss, 52 add conss, 188 chg bounds, 66 chg sides, 764 chg coeffs, 16913 upgd conss, 19477 impls, 10909 clqs
641.31/644.28	c (round 5, medium)     35046 del vars, 901 del conss, 53 add conss, 188 chg bounds, 69 chg sides, 777 chg coeffs, 16913 upgd conss, 19477 impls, 10906 clqs
641.41/644.33	c (round 6, exhaustive) 35046 del vars, 13740 del conss, 4331 add conss, 188 chg bounds, 69 chg sides, 777 chg coeffs, 16913 upgd conss, 19477 impls, 10906 clqs
641.41/644.36	c (round 7, exhaustive) 35057 del vars, 13742 del conss, 4333 add conss, 188 chg bounds, 69 chg sides, 781 chg coeffs, 16913 upgd conss, 19477 impls, 10889 clqs
641.41/644.38	c (round 8, exhaustive) 35062 del vars, 13761 del conss, 4344 add conss, 188 chg bounds, 69 chg sides, 785 chg coeffs, 16913 upgd conss, 19477 impls, 10880 clqs
641.51/644.41	c (round 9, exhaustive) 35064 del vars, 13766 del conss, 4346 add conss, 188 chg bounds, 69 chg sides, 786 chg coeffs, 16918 upgd conss, 19477 impls, 10877 clqs
641.51/644.44	c (round 10, exhaustive) 35067 del vars, 13794 del conss, 4346 add conss, 188 chg bounds, 69 chg sides, 791 chg coeffs, 16918 upgd conss, 19477 impls, 10872 clqs
641.60/644.50	c presolving (11 rounds: 11 fast, 9 medium, 7 exhaustive):
641.60/644.50	c  35069 deleted vars, 13795 deleted constraints, 4347 added constraints, 188 tightened bounds, 0 added holes, 69 changed sides, 1509 changed coefficients
641.60/644.50	c  19477 implications, 10868 cliques
641.60/644.50	c presolved problem has 10692 variables (8598 bin, 0 int, 2094 impl, 0 cont) and 12789 constraints
641.60/644.50	c     568 constraints of type <knapsack>
641.60/644.50	c    2359 constraints of type <setppc>
641.60/644.50	c    4250 constraints of type <and>
641.60/644.50	c    2107 constraints of type <linear>
641.60/644.50	c    1364 constraints of type <logicor>
641.60/644.50	c      47 constraints of type <bounddisjunction>
641.60/644.50	c    2094 constraints of type <indicator>
641.60/644.50	c transformed objective value is always integral (scale: 1)
641.60/644.50	c Presolving Time: 1.95
641.60/644.58	c 
642.11/645.03	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
642.11/645.03	c   645s|     1 |     0 |747843 |     - |   771M |   0 |  10k|  12k|  16k|   0 |  0 | 547 | 476 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
642.70/645.69	c   646s|     1 |     0 |749465 |     - |   777M |   0 |  10k|  12k|  17k| 245 |  1 | 548 | 476 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
643.40/646.35	c   646s|     1 |     0 |750991 |     - |   780M |   0 |  10k|  12k|  17k| 492 |  2 | 549 | 476 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
644.39/647.35	c   647s|     1 |     0 |752896 |     - |   782M |   0 |  10k|  12k|  17k| 733 |  3 | 558 | 476 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
645.39/648.38	c   648s|     1 |     0 |754483 |     - |   784M |   0 |  10k|  12k|  17k| 938 |  4 | 558 | 476 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
646.39/649.31	c   649s|     1 |     0 |755731 |     - |   786M |   0 |  10k|  12k|  17k|1105 |  5 | 568 | 476 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
647.38/650.34	c   650s|     1 |     0 |757110 |     - |   788M |   0 |  10k|  12k|  18k|1266 |  6 | 569 | 476 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
648.38/651.39	c   651s|     1 |     0 |758509 |     - |   790M |   0 |  10k|  12k|  18k|1412 |  7 | 572 | 476 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
649.38/652.37	c   652s|     1 |     0 |759523 |     - |   793M |   0 |  10k|  12k|  18k|1539 |  8 | 578 | 476 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
650.77/653.78	c   654s|     1 |     0 |761261 |     - |   795M |   0 |  10k|  12k|  18k|1654 |  9 | 581 | 476 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
651.97/654.96	c   655s|     1 |     0 |762555 |     - |   801M |   0 |  10k|  12k|  18k|1791 | 10 | 584 | 476 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
652.76/655.78	c   656s|     1 |     0 |763940 |     - |   803M |   0 |  10k|  12k|  18k|1921 | 11 | 585 | 476 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
685.24/688.39	c   688s|     1 |     2 |797494 |     - |   804M |   0 |  10k|  12k|  18k|1921 | 11 | 602 | 494 | 0.000000e+00 | 1.200000e+01 |    Inf | unknown
709.46/712.61	o 7
709.46/712.61	c d 712s|    20 |    19 |848988 |1085.5 |adaptive|   8 |  10k|  12k|  18k|   0 |  2 | 625 | 531 | 0.000000e+00 | 7.000000e+00 |    Inf | unknown
727.29/730.53	o 2
727.29/730.53	c d 730s|    32 |    24 |871108 |1097.8 |adaptive|  14 |  10k|  11k|  18k|   0 |  2 | 637 | 548 | 0.000000e+00 | 2.000000e+00 |    Inf |   2.97%
727.69/731.00	o 1
727.69/731.00	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
727.69/731.00	c d 731s|    39 |     5 |875139 |1092.9 |adaptive|  19 |  10k|  10k|  18k|   0 |  2 | 638 | 548 | 0.000000e+00 | 1.000000e+00 |    Inf |  36.07%
742.75/746.06	c   746s|   100 |    19 |920664 |1066.7 |   860M |  19 |  10k|  10k|  18k|7764 |  2 | 753 | 558 | 0.000000e+00 | 1.000000e+00 |    Inf |  38.79%
758.98/762.30	c   762s|   200 |    20 |957284 | 989.5 |   909M |  19 |  10k|  11k|   0 |  10k|  0 |1161 | 637 | 0.000000e+00 | 1.000000e+00 |    Inf |  39.41%
776.41/779.80	c   780s|   300 |    13 |998487 | 932.2 |   944M |  19 |  10k|  11k|  18k|  14k|  2 |1646 | 757 | 0.000000e+00 | 1.000000e+00 |    Inf |  48.54%
787.26/790.79	c   791s|   400 |     9 |  1025k| 872.6 |   965M |  19 |  10k|  11k|   0 |  16k|  0 |1950 | 846 | 0.000000e+00 | 1.000000e+00 |    Inf |  56.14%
813.66/817.27	c   817s|   500 |    15 |  1086k| 850.7 |   992M |  19 |  10k|  11k|  18k|  20k|  2 |2310 | 940 | 0.000000e+00 | 1.000000e+00 |    Inf |  61.30%
823.93/827.59	c   827s|   600 |    14 |  1119k| 810.9 |  1012M |  19 |  10k|  11k|  18k|  23k|  1 |2770 |1008 | 0.000000e+00 | 1.000000e+00 |    Inf |  69.06%
832.88/836.51	c   836s|   700 |    16 |  1150k| 775.4 |  1026M |  20 |  10k|  11k|  19k|  25k|  2 |3112 |1038 | 0.000000e+00 | 1.000000e+00 |    Inf |  69.16%
841.55/845.24	c   845s|   800 |    19 |  1178k| 742.1 |  1032M |  23 |  10k|  12k|  18k|  26k|  2 |3422 |1086 | 0.000000e+00 | 1.000000e+00 |    Inf |  69.24%
850.81/854.58	c   854s|   900 |    10 |  1201k| 710.2 |  1045M |  23 |  10k|  12k|  18k|  28k|  2 |3819 |1200 | 0.000000e+00 | 1.000000e+00 |    Inf |  69.31%
859.59/863.39	c   863s|  1000 |    13 |  1223k| 681.5 |  1054M |  23 |  10k|  12k|  18k|  30k|  2 |4004 |1217 | 0.000000e+00 | 1.000000e+00 |    Inf |  69.43%
870.26/874.01	c   874s|  1100 |    26 |  1256k| 662.4 |  1063M |  23 |  10k|  12k|   0 |  31k|  0 |4357 |1249 | 0.000000e+00 | 1.000000e+00 |    Inf |  69.46%
880.70/884.54	c   884s|  1200 |    11 |  1282k| 641.3 |  1073M |  23 |  10k|  12k|  18k|  33k|  2 |4733 |1350 | 0.000000e+00 | 1.000000e+00 |    Inf |  69.57%
889.76/893.64	c   893s|  1300 |    16 |  1308k| 622.1 |  1077M |  23 |  10k|  12k|  19k|  35k|  2 |5016 |1365 | 0.000000e+00 | 1.000000e+00 |    Inf |  69.69%
907.00/910.97	c   911s|  1400 |    11 |  1345k| 610.3 |  1094M |  23 |  10k|  11k|  18k|  38k|  2 |5268 |1433 | 0.000000e+00 | 1.000000e+00 |    Inf |  82.17%
943.98/948.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
943.98/948.02	c   948s|  1500 |    21 |  1419k| 615.9 |  1135M |  23 |  10k|  11k|  18k|  44k|  2 |5640 |1586 | 0.000000e+00 | 1.000000e+00 |    Inf |  82.82%
969.06/973.28	c   973s|  1600 |    25 |  1451k| 603.1 |  1143M |  23 |  10k|  12k|   0 |  46k|  0 |5967 |1606 | 0.000000e+00 | 1.000000e+00 |    Inf |  82.89%
981.51/985.73	c   986s|  1700 |    20 |  1479k| 589.9 |  1149M |  25 |  10k|  12k|   0 |  48k|  0 |6199 |1666 | 0.000000e+00 | 1.000000e+00 |    Inf |  82.95%
988.29/992.58	c   992s|  1800 |    17 |  1499k| 574.1 |  1151M |  25 |  10k|  12k|  18k|  50k|  2 |6398 |1679 | 0.000000e+00 | 1.000000e+00 |    Inf |  83.00%
1003.33/1007.65	c  1008s|  1900 |     8 |  1540k| 567.8 |  1156M |  25 |  10k|  12k|  18k|  52k|  2 |6865 |1793 | 0.000000e+00 | 1.000000e+00 |    Inf |  83.09%
1021.06/1025.47	c  1025s|  2000 |    11 |  1575k| 560.0 |  1166M |  25 |  10k|  12k|  18k|  55k|  2 |7082 |1847 | 0.000000e+00 | 1.000000e+00 |    Inf |  91.14%
1045.97/1050.42	c  1050s|  2100 |    12 |  1642k| 563.7 |  1180M |  25 |  10k|  12k|  18k|  58k|  2 |7536 |1946 | 0.000000e+00 | 1.000000e+00 |    Inf |  92.05%
1069.97/1074.50	c  1074s|  2200 |    14 |  1690k| 561.0 |  1191M |  25 |  10k|  12k|   0 |  62k|  0 |7941 |2056 | 0.000000e+00 | 1.000000e+00 |    Inf |  92.33%
1094.08/1098.75	c  1099s|  2300 |     8 |  1745k| 560.6 |  1210M |  25 |  10k|  11k|  18k|  66k|  2 |8194 |2163 | 0.000000e+00 | 1.000000e+00 |    Inf |  92.68%
1095.77/1100.45	c 
1095.77/1100.45	c SCIP Status        : problem is solved [optimal solution found]
1095.77/1100.45	c Solving Time (sec) : 1100.30
1095.77/1100.45	c Solving Nodes      : 2312 (total of 3020 nodes in 2 runs)
1095.77/1100.45	c Primal Bound       : +1.00000000000000e+00 (21 solutions)
1095.77/1100.45	c Dual Bound         : +1.00000000000000e+00
1095.77/1100.45	c Gap                : 0.00 %
1095.87/1100.50	s OPTIMUM FOUND
1095.87/1100.50	v -x6832 -x6831 -x6830 -x6829 -x6828 x6827 -x6826 -x6825 x6824 -x6823 -x6822 -x6821 -x6820 x6819 x6818 x6817 -x6816 x6815 -x6814 
1095.87/1100.50	v -x6813 x6812 -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 x6804 -x6803 x6802 x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795 
1095.87/1100.50	v x6794 -x6793 -x6792 x6791 -x6790 -x6789 -x6788 x6787 -x6786 -x6785 -x6784 -x6783 x6782 -x6781 -x6780 -x6779 x6778 -x6777 
1095.87/1100.50	v -x6776 -x6775 -x6774 x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 x6762 -x6761 -x6760 x6759 -x6758 
1095.87/1100.50	v -x6757 -x6756 x6755 -x6754 x6753 -x6752 x6751 -x6750 x6749 -x6748 -x6747 x6746 x6745 -x6744 -x6743 -x6742 -x6741 x6740 -x6739 
1095.87/1100.50	v x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 x6731 -x6730 -x6729 -x6728 x6727 x6726 -x6725 x6724 x6723 -x6722 -x6721 
1095.87/1100.50	v -x6720 -x6719 x6718 x6717 -x6716 -x6715 x6714 -x6713 -x6712 x6711 -x6710 x6709 x6708 -x6707 -x6706 -x6705 -x6704 x6703 -x6702 
1095.87/1100.50	v -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686 -x6685 -x6684 
1095.87/1100.50	v -x6683 x6682 x6681 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668 -x6667 x6666 
1095.87/1100.50	v x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 x6650 -x6649 -x6648 
1095.87/1100.50	v -x6647 x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 x6637 x6636 -x6635 -x6634 -x6633 -x6632 -x6631 -x6630 -x6629 
1095.87/1100.50	v -x6628 -x6627 -x6626 -x6625 x6624 x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 -x6612 x6611 
1095.87/1100.50	v -x6610 -x6609 -x6608 -x6607 -x6606 x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 x6596 x6595 -x6594 -x6593 
1095.87/1100.50	v -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 x6586 x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6577 x6576 -x6575 -x6574 
1095.87/1100.50	v -x6573 -x6572 -x6571 -x6570 -x6569 x6568 -x6567 -x6566 -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 
1095.87/1100.50	v -x6555 -x6554 -x6553 -x6552 x6551 -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 x6544 x6543 -x6542 -x6541 -x6540 -x6539 -x6538 
1095.87/1100.50	v -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 x6525 x6524 -x6523 -x6522 -x6521 -x6520 
1095.87/1100.50	v -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6512 -x6511 -x6510 -x6509 -x6508 -x6507 x6506 x6505 -x6504 -x6503 -x6502 
1095.87/1100.50	v -x6501 -x6500 -x6499 x6498 x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489 -x6488 -x6487 -x6486 -x6485 -x6484 
1095.87/1100.50	v -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 x6476 x6475 -x6474 -x6473 -x6472 -x6471 -x6470 -x6469 -x6468 -x6467 -x6466 
1095.87/1100.50	v -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 x6454 -x6453 -x6452 -x6451 -x6450 -x6449 -x6448 
1095.87/1100.50	v -x6447 -x6446 -x6445 x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 x6437 x6436 -x6435 -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 
1095.87/1100.50	v -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 
1095.87/1100.50	v -x6410 x6409 x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 
1095.87/1100.50	v -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 x6381 -x6380 -x6379 -x6378 -x6377 -x6376 -x6375 
1095.87/1100.50	v -x6374 -x6373 -x6372 x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 
1095.87/1100.50	v -x6356 -x6355 -x6354 -x6353 -x6352 x6351 x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 
1095.87/1100.50	v -x6338 x6337 x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 x6323 -x6322 -x6321 
1095.87/1100.50	v -x6320 x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 x6311 x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 
1095.87/1100.50	v -x6302 -x6301 x6300 x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290 x6289 -x6288 -x6287 -x6286 -x6285 -x6284 
1095.87/1100.50	v x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 x6275 x6274 -x6273 -x6272 -x6271 -x6270 -x6269 -x6268 x6267 x6266 
1095.87/1100.50	v -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 x6259 -x6258 -x6257 -x6256 -x6255 -x6254 -x6253 -x6252 x6251 -x6250 -x6249 -x6248 
1095.87/1100.50	v -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 x6235 -x6234 -x6233 -x6232 -x6231 -x6230 
1095.87/1100.50	v x6229 x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6213 x6212 x6211 
1095.87/1100.50	v -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 x6195 x6194 -x6193 
1095.87/1100.50	v -x6192 -x6191 -x6190 -x6189 x6188 x6187 -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 
1095.87/1100.50	v -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 x6168 x6167 -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 
1095.87/1100.50	v -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 x6148 -x6147 -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 
1095.87/1100.50	v x6138 -x6137 -x6136 -x6135 -x6134 -x6133 x6132 x6131 -x6130 -x6129 -x6128 -x6127 -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 
1095.87/1100.50	v -x6119 -x6118 -x6117 -x6116 -x6115 -x6114 -x6113 -x6112 -x6111 -x6110 x6109 x6108 -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 
1095.87/1100.50	v -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091 -x6090 -x6089 -x6088 -x6087 x6086 -x6085 -x6084 
1095.87/1100.50	v -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 
1095.87/1100.50	v x6065 x6064 x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 
1095.87/1100.50	v -x6047 -x6046 -x6045 -x6044 x6043 x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 
1095.87/1100.50	v -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 x6022 x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 
1095.87/1100.50	v x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 
1095.87/1100.50	v -x5993 x5992 x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 x5980 x5979 -x5978 -x5977 -x5976 -x5975 
1095.87/1100.50	v -x5974 -x5973 -x5972 -x5971 -x5970 -x5969 x5968 -x5967 -x5966 -x5965 x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 x5957 
1095.87/1100.50	v x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 x5948 x5947 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 x5939 
1095.87/1100.50	v -x5938 -x5937 -x5936 -x5935 -x5934 x5933 -x5932 -x5931 -x5930 -x5929 -x5928 -x5927 x5926 x5925 -x5924 -x5923 -x5922 -x5921 x5920 
1095.87/1100.50	v x5919 -x5918 -x5917 -x5916 -x5915 x5914 -x5913 -x5912 -x5911 -x5910 -x5909 -x5908 -x5907 x5906 -x5905 -x5904 -x5903 -x5902 
1095.87/1100.50	v -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 x5891 -x5890 -x5889 -x5888 -x5887 x5886 x5885 -x5884 
1095.87/1100.50	v -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 x5871 x5870 -x5869 -x5868 -x5867 -x5866 -x5865 
1095.87/1100.50	v -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 x5856 x5855 -x5854 -x5853 -x5852 -x5851 x5850 x5849 -x5848 -x5847 
1095.87/1100.50	v -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5836 -x5835 -x5834 -x5833 x5832 x5831 -x5830 -x5829 
1095.87/1100.50	v -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 x5814 -x5813 -x5812 -x5811 
1095.87/1100.50	v -x5810 -x5809 -x5808 -x5807 -x5806 -x5805 x5804 -x5803 -x5802 -x5801 -x5800 x5799 x5798 -x5797 -x5796 -x5795 -x5794 -x5793 
1095.87/1100.50	v -x5792 -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 x5778 x5777 -x5776 -x5775 -x5774 
1095.87/1100.50	v -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 x5757 -x5756 
1095.87/1100.50	v -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 
1095.87/1100.50	v -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731 x5730 x5729 x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 
1095.87/1100.50	v -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713 -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 
1095.87/1100.50	v -x5701 x5700 x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5692 -x5691 -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 
1095.87/1100.50	v -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672 x5671 x5670 -x5669 -x5668 -x5667 -x5666 
1095.87/1100.50	v -x5665 -x5664 -x5663 -x5662 -x5661 x5660 -x5659 -x5658 -x5657 -x5656 -x5655 -x5654 x5653 x5652 x5651 -x5650 -x5649 -x5648 
1095.87/1100.50	v -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 x5633 x5632 -x5631 -x5630 -x5629 
1095.87/1100.50	v -x5628 -x5627 -x5626 -x5625 -x5624 -x5623 -x5622 -x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 x5614 x5613 -x5612 -x5611 
1095.87/1100.50	v -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 
1095.87/1100.50	v -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 x5586 x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 x5576 x5575 
1095.87/1100.50	v -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568 -x5567 x5566 -x5565 -x5564 -x5563 x5562 -x5561 -x5560 -x5559 -x5558 -x5557 
1095.87/1100.50	v x5556 x5555 -x5554 -x5553 -x5552 -x5551 -x5550 x5549 x5548 -x5547 -x5546 -x5545 -x5544 -x5543 x5542 -x5541 -x5540 -x5539 -x5538 
1095.87/1100.50	v -x5537 x5536 -x5535 -x5534 -x5533 -x5532 -x5531 x5530 x5529 -x5528 -x5527 x5526 x5525 -x5524 -x5523 x5522 -x5521 -x5520 -x5519 
1095.87/1100.50	v -x5518 -x5517 -x5516 -x5515 x5514 -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 
1095.87/1100.50	v x5500 -x5499 -x5498 -x5497 x5496 x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 x5483 
1095.87/1100.50	v x5482 -x5481 -x5480 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472 -x5471 x5470 x5469 -x5468 -x5467 -x5466 x5465 
1095.87/1100.50	v x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 x5449 x5448 -x5447 -x5446 
1095.87/1100.50	v -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 x5433 -x5432 -x5431 -x5430 -x5429 -x5428 
1095.87/1100.50	v -x5427 -x5426 -x5425 -x5424 x5423 -x5422 -x5421 -x5420 x5419 x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 
1095.87/1100.50	v -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5402 -x5401 x5400 x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 
1095.87/1100.50	v -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 
1095.87/1100.50	v -x5373 -x5372 x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 
1095.87/1100.50	v -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349 -x5348 -x5347 -x5346 x5345 x5344 x5343 -x5342 -x5341 -x5340 -x5339 -x5338 
1095.87/1100.50	v -x5337 -x5336 -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 x5320 
1095.87/1100.50	v -x5319 x5318 -x5317 -x5316 -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 x5303 x5302 -x5301 
1095.87/1100.50	v -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 
1095.87/1100.50	v -x5282 -x5281 -x5280 x5279 -x5278 x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 
1095.87/1100.50	v -x5264 -x5263 x5262 x5261 -x5260 -x5259 -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 x5251 -x5250 -x5249 -x5248 -x5247 
1095.87/1100.50	v -x5246 x5245 x5244 x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 
1095.87/1100.50	v -x5228 x5227 -x5226 x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 x5218 x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 
1095.87/1100.50	v -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5202 x5201 -x5200 x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 x5192 
1095.87/1100.50	v x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 x5181 -x5180 -x5179 -x5178 -x5177 -x5176 x5175 x5174 
1095.87/1100.50	v x5173 -x5172 -x5171 x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 x5162 -x5161 x5160 x5159 x5158 -x5157 -x5156 x5155 
1095.87/1100.50	v -x5154 -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 x5147 -x5146 x5145 x5144 x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 
1095.87/1100.50	v -x5135 -x5134 x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 x5124 x5123 x5122 x5121 x5120 x5119 x5118 -x5117 
1095.87/1100.50	v -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 
1095.87/1100.50	v -x5098 -x5097 -x5096 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 
1095.87/1100.50	v -x5080 -x5079 -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 
1095.87/1100.50	v -x5063 -x5062 -x5061 -x5060 -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 x5046 
1095.87/1100.50	v -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 
1095.87/1100.50	v -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 
1095.87/1100.50	v -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 
1095.87/1100.50	v -x4991 -x4990 x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 
1095.87/1100.50	v -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 
1095.87/1100.50	v -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 
1095.87/1100.50	v -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 
1095.87/1100.50	v -x4919 x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 x4903 -x4902 
1095.87/1100.50	v -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 
1095.87/1100.50	v -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 
1095.87/1100.50	v -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 
1095.87/1100.50	v -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 
1095.87/1100.50	v -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 x4816 -x4815 -x4814 -x4813 
1095.87/1100.50	v -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 
1095.87/1100.50	v -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 
1095.87/1100.50	v -x4776 -x4775 -x4774 -x4773 -x4772 -x4771 x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 
1095.87/1100.50	v -x4758 -x4757 -x4756 -x4755 x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 
1095.87/1100.50	v -x4740 -x4739 x4738 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 
1095.87/1100.50	v x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 x4705 
1095.87/1100.50	v x4704 x4703 x4702 x4701 x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 
1095.87/1100.50	v -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 x4670 x4669 -x4668 
1095.87/1100.50	v -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 
1095.87/1100.50	v -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 
1095.87/1100.50	v -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 
1095.87/1100.50	v -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 
1095.87/1100.50	v -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 
1095.87/1100.50	v -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 x4564 x4563 -x4562 -x4561 -x4560 
1095.87/1100.50	v -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 
1095.87/1100.50	v -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 
1095.87/1100.50	v -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 
1095.87/1100.51	v -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 
1095.87/1100.51	v x4488 x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 
1095.87/1100.51	v -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 
1095.87/1100.51	v -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 
1095.87/1100.51	v -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 
1095.87/1100.51	v -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 
1095.87/1100.51	v -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 x4382 x4381 
1095.87/1100.51	v -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 
1095.87/1100.51	v -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 
1095.87/1100.51	v -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 
1095.87/1100.51	v -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 
1095.87/1100.51	v -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 
1095.87/1100.51	v -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 
1095.87/1100.51	v -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 x4258 x4257 x4256 
1095.87/1100.51	v x4255 x4254 x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 
1095.87/1100.51	v -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 
1095.87/1100.51	v -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 
1095.87/1100.51	v -x4201 -x4200 -x4199 -x4198 -x4197 x4196 -x4195 -x4194 -x4193 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 
1095.87/1100.51	v -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 
1095.87/1100.51	v -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 x4151 -x4150 -x4149 -x4148 
1095.87/1100.51	v -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 
1095.87/1100.51	v -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 
1095.87/1100.51	v -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 x4095 -x4094 
1095.87/1100.51	v -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 x4082 -x4081 -x4080 -x4079 -x4078 x4077 -x4076 
1095.87/1100.51	v -x4075 -x4074 x4073 -x4072 -x4071 -x4070 x4069 -x4068 -x4067 -x4066 x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 
1095.87/1100.51	v x4057 -x4056 -x4055 -x4054 -x4053 -x4052 x4051 -x4050 -x4049 -x4048 x4047 -x4046 -x4045 x4044 -x4043 -x4042 -x4041 -x4040 x4039 
1095.87/1100.51	v -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 
1095.87/1100.51	v -x4020 x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 x4005 -x4004 -x4003 
1095.87/1100.51	v -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 
1095.87/1100.51	v -x3984 -x3983 -x3982 -x3981 x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 x3969 x3968 x3967 x3966 
1095.87/1100.51	v x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 
1095.87/1100.51	v -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 
1095.87/1100.51	v x3929 x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 
1095.87/1100.51	v -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 
1095.87/1100.51	v -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 
1095.87/1100.51	v -x3876 -x3875 x3874 x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 
1095.87/1100.51	v -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 
1095.87/1100.51	v -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 
1095.87/1100.51	v -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 
1095.87/1100.51	v -x3804 -x3803 -x3802 x3801 x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 
1095.87/1100.51	v -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 
1095.87/1100.51	v -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 
1095.87/1100.51	v -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 
1095.87/1100.51	v -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 
1095.87/1100.51	v -x3714 -x3713 -x3712 -x3711 x3710 x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 
1095.87/1100.51	v -x3696 x3695 -x3694 -x3693 -x3692 -x3691 x3690 -x3689 -x3688 -x3687 -x3686 x3685 -x3684 -x3683 -x3682 -x3681 -x3680 x3679 
1095.87/1100.51	v -x3678 -x3677 -x3676 x3675 -x3674 -x3673 -x3672 -x3671 x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 
1095.87/1100.51	v x3660 -x3659 -x3658 -x3657 -x3656 -x3655 x3654 -x3653 -x3652 -x3651 -x3650 x3649 -x3648 -x3647 -x3646 -x3645 x3644 -x3643 -x3642 
1095.87/1100.51	v -x3641 x3640 -x3639 -x3638 -x3637 -x3636 x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 x3625 -x3624 
1095.87/1100.51	v -x3623 -x3622 -x3621 -x3620 x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 
1095.87/1100.51	v -x3605 -x3604 -x3603 x3602 -x3601 -x3600 -x3599 -x3598 x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 
1095.87/1100.51	v -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 x3579 -x3578 -x3577 -x3576 -x3575 -x3574 x3573 -x3572 -x3571 -x3570 
1095.87/1100.51	v -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 x3556 -x3555 -x3554 -x3553 -x3552 
1095.87/1100.51	v -x3551 x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 
1095.87/1100.51	v x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525 x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 
1095.87/1100.51	v -x3514 -x3513 -x3512 -x3511 -x3510 x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 
1095.87/1100.51	v -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 x3485 x3484 x3483 x3482 x3481 -x3480 -x3479 
1095.87/1100.51	v -x3478 -x3477 x3476 x3475 x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 
1095.87/1100.51	v -x3459 -x3458 -x3457 x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 
1095.87/1100.51	v -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 
1095.87/1100.51	v -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 
1095.87/1100.51	v -x3406 -x3405 x3404 x3403 x3402 x3401 x3400 x3399 x3398 x3397 x3396 x3395 x3394 x3393 x3392 x3391 x3390 x3389 x3388 x3387 x3386 
1095.87/1100.51	v -x3385 -x3384 -x3383 x3382 x3381 -x3380 -x3379 x3378 -x3377 -x3376 x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 x3368 
1095.87/1100.51	v x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 x3350 -x3349 
1095.87/1100.51	v -x3348 x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 x3340 -x3339 -x3338 -x3337 -x3336 x3335 -x3334 x3333 x3332 x3331 
1095.87/1100.51	v x3330 -x3329 x3328 -x3327 x3326 x3325 x3324 x3323 -x3322 x3321 -x3320 -x3319 -x3318 x3317 x3316 x3315 x3314 x3313 x3312 x3311 
1095.87/1100.51	v x3310 x3309 x3308 x3307 x3306 x3305 x3304 x3303 x3302 x3301 x3300 -x3299 -x3298 -x3297 x3296 x3295 -x3294 -x3293 x3292 -x3291 
1095.87/1100.51	v -x3290 x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 x3282 x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 x3273 -x3272 
1095.87/1100.51	v -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 x3264 -x3263 -x3262 x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 x3254 
1095.87/1100.51	v -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 x3244 -x3243 x3242 x3241 x3240 x3239 -x3238 x3237 -x3236 x3235 
1095.87/1100.51	v x3234 x3233 x3232 -x3231 x3230 -x3229 -x3228 -x3227 x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 
1095.87/1100.51	v -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 
1095.87/1100.51	v -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 
1095.87/1100.51	v -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 x3173 x3172 x3171 x3170 x3169 x3168 -x3167 x3166 -x3165 -x3164 -x3163 -x3162 
1095.87/1100.51	v x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 x3145 -x3144 
1095.87/1100.51	v -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 x3131 x3130 x3129 x3128 x3127 x3126 x3125 
1095.87/1100.51	v x3124 x3123 x3122 x3121 x3120 x3119 x3118 -x3117 -x3116 -x3115 x3114 x3113 -x3112 x3111 x3110 -x3109 x3108 -x3107 x3106 x3105 
1095.87/1100.51	v -x3104 -x3103 x3102 x3101 x3100 x3099 x3098 x3097 x3096 x3095 x3094 x3093 x3092 x3091 x3090 -x3089 -x3088 -x3087 x3086 x3085 
1095.87/1100.51	v -x3084 x3083 x3082 -x3081 x3080 -x3079 x3078 x3077 -x3076 -x3075 x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 
1095.87/1100.51	v -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 
1095.87/1100.51	v -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 
1095.87/1100.51	v -x3030 -x3029 -x3028 -x3027 x3026 x3025 x3024 x3023 -x3022 -x3021 -x3020 x3019 x3018 x3017 x3016 x3015 x3014 x3013 x3012 x3011 
1095.87/1100.51	v -x3010 x3009 -x3008 -x3007 x3006 x3005 x3004 x3003 x3002 x3001 x3000 x2999 -x2998 x2997 -x2996 -x2995 x2994 -x2993 -x2992 
1095.87/1100.51	v -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 
1095.87/1100.51	v -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 
1095.87/1100.51	v -x2955 -x2954 x2953 x2952 x2951 -x2950 -x2949 -x2948 x2947 x2946 x2945 x2944 x2943 x2942 -x2941 -x2940 -x2939 -x2938 -x2937 
1095.87/1100.51	v -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 
1095.87/1100.51	v -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 
1095.87/1100.51	v -x2900 -x2899 -x2898 -x2897 -x2896 x2895 x2894 x2893 -x2892 -x2891 x2890 x2889 x2888 x2887 x2886 -x2885 -x2884 -x2883 x2882 
1095.87/1100.51	v x2881 x2880 x2879 x2878 x2877 x2876 x2875 -x2874 x2873 -x2872 x2871 x2870 -x2869 x2868 -x2867 x2866 x2865 x2864 x2863 -x2862 
1095.87/1100.51	v x2861 -x2860 x2859 x2858 x2857 x2856 x2855 x2854 -x2853 x2852 -x2851 x2850 x2849 x2848 x2847 x2846 x2845 x2844 x2843 -x2842 
1095.87/1100.51	v -x2841 x2840 x2839 x2838 x2837 x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 
1095.87/1100.51	v -x2822 x2821 x2820 x2819 x2818 x2817 x2816 x2815 x2814 x2813 x2812 x2811 x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 
1095.87/1100.51	v -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 x2795 x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 
1095.87/1100.51	v -x2784 -x2783 -x2782 x2781 x2780 x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 
1095.87/1100.51	v -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 
1095.87/1100.51	v -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 x2732 x2731 
1095.87/1100.51	v x2730 x2729 -x2728 x2727 x2726 x2725 -x2724 -x2723 -x2722 x2721 x2720 x2719 x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 
1095.87/1100.51	v -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 
1095.87/1100.51	v -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 
1095.87/1100.51	v -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 
1095.87/1100.51	v -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 x2649 x2648 x2647 x2646 x2645 -x2644 x2643 x2642 x2641 x2640 -x2639 
1095.87/1100.51	v -x2638 -x2637 -x2636 x2635 x2634 x2633 x2632 x2631 x2630 x2629 x2628 x2627 x2626 x2625 x2624 x2623 x2622 x2621 -x2620 -x2619 
1095.87/1100.51	v -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 
1095.87/1100.51	v x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 
1095.87/1100.51	v -x2582 -x2581 -x2580 x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 
1095.87/1100.51	v -x2564 -x2563 -x2562 -x2561 -x2560 x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 
1095.87/1100.51	v -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 
1095.87/1100.51	v -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 x2515 -x2514 -x2513 -x2512 -x2511 
1095.87/1100.51	v -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 
1095.87/1100.51	v -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 
1095.87/1100.51	v -x2474 x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 x2457 
1095.87/1100.51	v -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 
1095.87/1100.51	v x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 
1095.87/1100.51	v -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 
1095.87/1100.51	v -x2402 -x2401 x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 
1095.87/1100.51	v -x2384 x2383 -x2382 -x2381 -x2380 x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 x2369 -x2368 -x2367 
1095.87/1100.51	v -x2366 -x2365 -x2364 x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 x2352 -x2351 -x2350 -x2349 
1095.87/1100.51	v -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 x2339 -x2338 -x2337 x2336 x2335 x2334 x2333 x2332 x2331 -x2330 
1095.87/1100.51	v x2329 x2328 x2327 x2326 x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 x2311 
1095.87/1100.51	v -x2310 x2309 x2308 x2307 x2306 -x2305 -x2304 -x2303 x2302 -x2301 -x2300 -x2299 -x2298 -x2297 x2296 -x2295 -x2294 x2293 x2292 
1095.87/1100.51	v -x2291 -x2290 x2289 -x2288 -x2287 -x2286 -x2285 -x2284 x2283 -x2282 -x2281 -x2280 x2279 -x2278 -x2277 -x2276 -x2275 -x2274 
1095.87/1100.51	v x2273 -x2272 -x2271 -x2270 x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 x2256 
1095.87/1100.51	v -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 x2242 -x2241 -x2240 -x2239 -x2238 
1095.87/1100.51	v -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 
1095.87/1100.51	v -x2219 -x2218 -x2217 -x2216 -x2215 x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 x2202 
1095.87/1100.51	v x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 x2184 -x2183 
1095.87/1100.51	v -x2182 x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 x2174 -x2173 -x2172 -x2171 -x2170 -x2169 x2168 -x2167 -x2166 -x2165 
1095.87/1100.51	v -x2164 -x2163 x2162 -x2161 -x2160 -x2159 x2158 -x2157 -x2156 -x2155 -x2154 -x2153 x2152 -x2151 -x2150 -x2149 x2148 -x2147 
1095.87/1100.51	v -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 
1095.87/1100.51	v -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 x2112 -x2111 
1095.87/1100.51	v -x2110 -x2109 -x2108 -x2107 -x2106 x2105 -x2104 x2103 -x2102 -x2101 x2100 x2099 -x2098 x2097 -x2096 -x2095 x2094 x2093 x2092 
1095.87/1100.51	v -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 x2084 x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 
1095.87/1100.51	v -x2072 -x2071 x2070 x2069 x2068 x2067 x2066 x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 
1095.87/1100.51	v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 
1095.87/1100.51	v -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 
1095.87/1100.51	v -x2018 -x2017 -x2016 -x2015 x2014 x2013 x2012 x2011 x2010 x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 
1095.87/1100.51	v -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 
1095.87/1100.51	v -x1981 -x1980 x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 
1095.87/1100.51	v -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 
1095.87/1100.51	v -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 
1095.87/1100.51	v -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 
1095.87/1100.51	v -x1910 -x1909 x1908 -x1907 -x1906 -x1905 -x1904 -x1903 x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 
1095.87/1100.51	v -x1892 x1891 -x1890 -x1889 -x1888 x1887 -x1886 -x1885 x1884 -x1883 -x1882 -x1881 -x1880 x1879 -x1878 -x1877 -x1876 -x1875 -x1874 
1095.87/1100.51	v x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 
1095.87/1100.51	v -x1855 -x1854 -x1853 x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 x1843 -x1842 -x1841 -x1840 -x1839 -x1838 
1095.87/1100.51	v -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 x1822 -x1821 -x1820 
1095.87/1100.51	v -x1819 -x1818 -x1817 x1816 -x1815 -x1814 -x1813 x1812 -x1811 -x1810 -x1809 -x1808 -x1807 x1806 -x1805 -x1804 -x1803 x1802 -x1801 
1095.87/1100.51	v -x1800 x1799 -x1798 -x1797 -x1796 -x1795 x1794 -x1793 -x1792 -x1791 -x1790 -x1789 x1788 -x1787 -x1786 -x1785 -x1784 -x1783 
1095.87/1100.51	v -x1782 -x1781 -x1780 -x1779 -x1778 x1777 -x1776 -x1775 x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 x1767 -x1766 -x1765 
1095.87/1100.51	v -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 x1754 -x1753 -x1752 x1751 -x1750 -x1749 -x1748 -x1747 
1095.87/1100.51	v -x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 x1737 -x1736 x1735 -x1734 -x1733 -x1732 -x1731 -x1730 x1729 -x1728 
1095.87/1100.51	v -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 
1095.87/1100.51	v -x1709 -x1708 x1707 x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 
1095.87/1100.51	v -x1691 -x1690 x1689 -x1688 -x1687 x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 x1679 -x1678 -x1677 -x1676 -x1675 -x1674 
1095.87/1100.51	v -x1673 x1672 -x1671 x1670 -x1669 -x1668 x1667 x1666 -x1665 x1664 -x1663 -x1662 x1661 x1660 x1659 -x1658 -x1657 x1656 -x1655 
1095.87/1100.51	v -x1654 x1653 x1652 x1651 x1650 -x1649 -x1648 -x1647 x1646 -x1645 x1644 -x1643 -x1642 -x1641 -x1640 -x1639 x1638 -x1637 -x1636 
1095.87/1100.51	v -x1635 x1634 -x1633 -x1632 -x1631 -x1630 -x1629 x1628 -x1627 -x1626 -x1625 x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 
1095.87/1100.51	v -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 
1095.87/1100.51	v -x1599 x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 x1581 
1095.87/1100.51	v -x1580 x1579 -x1578 -x1577 x1576 x1575 -x1574 x1573 -x1572 -x1571 x1570 x1569 x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 
1095.87/1100.51	v -x1561 x1560 x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 x1546 x1545 x1544 
1095.87/1100.51	v x1543 x1542 x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 
1095.87/1100.51	v -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 
1095.87/1100.51	v -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 
1095.87/1100.51	v -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 
1095.87/1100.51	v -x1471 -x1470 -x1469 x1468 -x1467 x1466 x1465 x1464 x1463 x1462 x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 
1095.87/1100.51	v -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 
1095.87/1100.51	v -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 x1420 x1419 -x1418 -x1417 
1095.87/1100.51	v -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 
1095.87/1100.51	v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 
1095.87/1100.51	v -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 
1095.87/1100.51	v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 
1095.87/1100.51	v -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 
1095.87/1100.51	v -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 
1095.87/1100.51	v -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 x1297 -x1296 -x1295 -x1294 -x1293 -x1292 
1095.87/1100.51	v -x1291 -x1290 -x1289 x1288 x1287 x1286 x1285 -x1284 x1283 x1282 -x1281 x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 
1095.87/1100.51	v -x1272 -x1271 -x1270 x1269 -x1268 -x1267 -x1266 -x1265 x1264 -x1263 -x1262 -x1261 x1260 -x1259 -x1258 -x1257 -x1256 x1255 -x1254 
1095.87/1100.51	v -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 
1095.87/1100.51	v -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 
1095.87/1100.51	v -x1217 -x1216 -x1215 x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 
1095.87/1100.51	v x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 x1188 -x1187 -x1186 -x1185 -x1184 -x1183 x1182 
1095.87/1100.51	v -x1181 -x1180 -x1179 -x1178 x1177 x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 x1168 -x1167 -x1166 -x1165 x1164 
1095.87/1100.51	v -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 x1157 -x1156 -x1155 -x1154 x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 
1095.87/1100.51	v -x1145 -x1144 x1143 -x1142 x1141 x1140 x1139 x1138 x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 
1095.87/1100.51	v -x1126 x1125 -x1124 -x1123 x1122 -x1121 -x1120 x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108 
1095.87/1100.51	v -x1107 -x1106 x1105 -x1104 -x1103 -x1102 x1101 -x1100 -x1099 -x1098 x1097 -x1096 -x1095 -x1094 -x1093 x1092 x1091 x1090 
1095.87/1100.51	v x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 
1095.87/1100.51	v -x1071 x1070 -x1069 -x1068 x1067 x1066 -x1065 -x1064 x1063 -x1062 -x1061 -x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 x1053 
1095.87/1100.51	v -x1052 -x1051 -x1050 -x1049 -x1048 x1047 -x1046 -x1045 -x1044 x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 
1095.87/1100.51	v -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 x1020 -x1019 -x1018 -x1017 
1095.87/1100.51	v -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 
1095.87/1100.51	v -x998 x997 -x996 -x995 x994 -x993 -x992 -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 -x978 -x977 
1095.87/1100.51	v x976 -x975 -x974 -x973 x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 
1095.87/1100.51	v x955 -x954 x953 -x952 -x951 x950 x949 -x948 -x947 -x946 -x945 -x944 x943 x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 
1095.87/1100.51	v x933 x932 x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 x915 -x914 -x913 -x912 
1095.87/1100.51	v -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 
1095.87/1100.51	v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 x870 
1095.87/1100.51	v -x869 -x868 -x867 x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 x855 -x854 -x853 -x852 x851 -x850 -x849 
1095.87/1100.51	v -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 x832 -x831 -x830 -x829 -x828 -x827 
1095.87/1100.51	v -x826 x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812 -x811 -x810 -x809 x808 -x807 -x806 
1095.87/1100.51	v -x805 -x804 -x803 x802 -x801 -x800 -x799 x798 -x797 -x796 x795 -x794 -x793 -x792 -x791 x790 -x789 -x788 -x787 -x786 -x785 
1095.87/1100.51	v -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769 -x768 -x767 -x766 -x765 -x764 x763 
1095.87/1100.51	v -x762 x761 -x760 -x759 -x758 -x757 -x756 x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 
1095.87/1100.51	v x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 x727 -x726 x725 -x724 -x723 x722 x721 -x720 
1095.87/1100.51	v x719 -x718 -x717 x716 x715 x714 -x713 -x712 x711 -x710 x709 -x708 -x707 -x706 -x705 -x704 x703 -x702 -x701 -x700 x699 -x698 
1095.87/1100.51	v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 x682 -x681 x680 -x679 -x678 x677 
1095.87/1100.51	v x676 -x675 -x674 -x673 -x672 -x671 x670 x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 x660 x659 x658 x657 -x656 -x655 
1095.87/1100.51	v -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 x639 -x638 x637 x636 -x635 -x634 -x633 
1095.87/1100.51	v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 
1095.87/1100.51	v -x611 -x610 x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 
1095.87/1100.51	v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 
1095.87/1100.51	v -x570 -x569 -x568 x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 x555 x554 x553 x552 -x551 -x550 -x549 
1095.87/1100.51	v -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 
1095.87/1100.51	v -x526 -x525 x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508 -x507 -x506 
1095.87/1100.51	v -x505 -x504 -x503 -x502 -x501 -x500 x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 x491 -x490 -x489 -x488 x487 -x486 -x485 
1095.87/1100.51	v x484 x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 x467 -x466 -x465 -x464 -x463 
1095.87/1100.51	v -x462 x461 -x460 x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 x450 x449 x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 
1095.87/1100.51	v -x440 -x439 -x438 -x437 x436 -x435 x434 -x433 -x432 x431 -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 x420 -x419 
1095.87/1100.51	v -x418 -x417 x416 -x415 -x414 -x413 -x412 x411 x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 
1095.87/1100.51	v -x397 -x396 -x395 x394 -x393 -x392 -x391 x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 x380 -x379 -x378 -x377 -x376 
1095.87/1100.51	v -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 
1095.87/1100.51	v -x354 -x353 x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 x339 x338 -x337 -x336 -x335 -x334 -x333 
1095.87/1100.51	v -x332 -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 x314 -x313 -x312 
1095.87/1100.51	v -x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 x292 -x291 
1095.87/1100.51	v -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 
1095.87/1100.51	v x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 x259 -x258 -x257 x256 x255 -x254 x253 -x252 x251 -x250 -x249 -x248 -x247 
1095.87/1100.51	v -x246 x245 -x244 -x243 x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 x228 -x227 -x226 
1095.87/1100.51	v -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 -x207 -x206 -x205 -x204 
1095.87/1100.51	v -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 x194 x193 -x192 x191 x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 
1095.87/1100.51	v -x182 -x181 -x180 x179 -x178 x177 x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 x164 -x163 -x162 x161 
1095.87/1100.51	v -x160 -x159 -x158 x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 
1095.87/1100.51	v -x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 
1095.87/1100.51	v -x117 x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 x96 -x95 
1095.87/1100.51	v x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 x82 x81 x80 x79 x78 -x77 -x76 x75 -x74 -x73 x72 -x71 -x70 x69 -x68 
1095.87/1100.51	v -x67 -x66 x65 x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 x56 -x55 -x54 x53 -x52 -x51 -x50 x49 x48 x47 -x46 -x45 -x44 -x43 -x42 
1095.87/1100.51	v -x41 -x40 x39 -x38 -x37 x36 -x35 x34 x33 x32 -x31 -x30 x29 x28 x27 -x26 -x25 x24 x23 x22 -x21 x20 x19 -x18 -x17 x16 -x15 x14 
1095.87/1100.51	v x13 x12 -x11 x10 x9 -x8 x7 -x6 -x5 x4 -x3 -x2 x1 
1095.87/1100.51	c SCIP Status        : problem is solved [optimal solution found]
1095.87/1100.51	c Total Time         :    1100.30
1095.87/1100.51	c   solving          :    1100.30
1095.87/1100.51	c   presolving       :       1.95 (included in solving)
1095.87/1100.51	c   reading          :       0.23 (included in solving)
1095.87/1100.51	c   copying          :       1.14 (12 #copies) (minimal 0.03, maximal 0.15, average 0.10)
1095.87/1100.51	c Original Problem   :
1095.87/1100.51	c   Problem name     : HOME/instance-4455902-1721717817.wbo
1095.87/1100.51	c   Variables        : 26309 (26309 binary, 0 integer, 0 implicit integer, 0 continuous)
1095.87/1100.51	c   Constraints      : 38955 initial, 38955 maximal
1095.87/1100.51	c   Objective        : minimize, 19477 non-zeros (abs.min = 1, abs.max = 100)
1095.87/1100.51	c Presolved Problem  :
1095.87/1100.51	c   Problem name     : t_HOME/instance-4455902-1721717817.wbo
1095.87/1100.51	c   Variables        : 10692 (8598 binary, 0 integer, 2094 implicit integer, 0 continuous)
1095.87/1100.51	c   Constraints      : 12789 initial, 12905 maximal
1095.87/1100.51	c   Objective        : minimize, 2095 non-zeros (abs.min = 1, abs.max = 11)
1095.87/1100.51	c   Nonzeros         : 65502 constraint, 16228 clique table
1095.87/1100.51	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1095.87/1100.51	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   domcol           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   gateextraction   :       0.06       0.00      7          0          0          0          0          0      12841       4279          0          0
1095.87/1100.51	c   implics          :       0.00       0.00     10          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   trivial          :       0.05       0.00     14      34382          0          0          0          0          0          0          0          0
1095.87/1100.51	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   dualfix          :       0.01       0.00     14          4          0          0          0          0          0          0          0          0
1095.87/1100.51	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   probing          :       0.53       0.00      1          0         25          0          0          0          0          0          0          0
1095.87/1100.51	c   pseudoobj        :       0.00       0.00      2          0          0          0        188          0          0          0          0          0
1095.87/1100.51	c   symmetry         :       0.19       0.00      1          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   vbounds          :       0.01       0.00      1          2        270          0          0          0          0          0          0          0
1095.87/1100.51	c   knapsack         :       0.01       0.00     26          0          0          0          0          0          3          3          3         18
1095.87/1100.51	c   setppc           :       0.05       0.00     26          0          0          0          0          0          9          0          0          0
1095.87/1100.51	c   and              :       0.04       0.00     10          3         20          0          0          0         23         13          0          3
1095.87/1100.51	c   linear           :       0.27       0.01     19        188         10          0      19477          0        582          0        328        654
1095.87/1100.51	c   logicor          :       0.05       0.01     22          0          0          0          0          0         94          0          0       1358
1095.87/1100.51	c   bounddisjunction :       0.00       0.00     11          0          0          0          0          0         52         52          0          0
1095.87/1100.51	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   indicator        :       0.01       0.00     10        190          0          0          0          0        192          0          0          0
1095.87/1100.51	c   components       :       0.05       0.00      2          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   root node        :          -          -      -      42911          -          -      42911          -          -          -          -          -
1095.87/1100.51	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
1095.87/1100.51	c   benderslp        :          0          0          0          0       2628          0          0       7425          0          0          0          0          0          0          0
1095.87/1100.51	c   integral         :          0          0          0          0       2628          0          0       7425          0          1      33164          0          0       1930       4370
1095.87/1100.51	c   knapsack         :        568+       569         11      92678          0          0          0        324       6265         18       5393       2208        113          0          0
1095.87/1100.51	c   setppc           :       2359+      2386         11      91982          0          0          0         17     104083        287     108165          3          0          0          0
1095.87/1100.51	c   and              :       4250       4250       3590      85046          0          0          0         17     435311       1234     587056      66347      50440          0          0
1095.87/1100.51	c   linear           :       2107+      2112         23     165321          1          0          0       7108      85059        362     188675          0          0          0          0
1095.87/1100.51	c   logicor          :       1364+      4788         12      63207          0          0          0          3      60777        906      70563         19          6          0          0
1095.87/1100.51	c   bounddisjunction :         47         47          0       1732          0          0          0          0          2          0         12          0          0          0          0
1095.87/1100.51	c   benders          :          0          0          0          0          1          0          0       6846          0          0          0          0          0          0          0
1095.87/1100.51	c   indicator        :       2094       2094        163      86989          1          0          0       6844       1308         10     144308          0          0          0          0
1095.87/1100.51	c   fixedvar         :          0          0          0          0          1          0          0         23          0          0          0          0          0          0          0
1095.87/1100.51	c   countsols        :          0          0          0          0          1          0          0         23          0          0          0          0          0          0          0
1095.87/1100.51	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
1095.87/1100.51	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1095.87/1100.51	c   integral         :     333.89       0.00       0.00       0.00     325.26       0.00       0.00       8.63       0.00       0.00
1095.87/1100.51	c   knapsack         :       0.16       0.00       0.02       0.09       0.00       0.00       0.00       0.00       0.00       0.03
1095.87/1100.51	c   setppc           :       0.66       0.00       0.00       0.39       0.00       0.00       0.00       0.01       0.05       0.21
1095.87/1100.51	c   and              :       6.29       0.00       1.77       2.81       0.00       0.00       0.00       0.01       0.21       1.49
1095.87/1100.51	c   linear           :      46.45       0.01       0.05       1.67       0.00       0.00       0.00      44.35       0.09       0.28
1095.87/1100.51	c   logicor          :       0.95       0.01       0.00       0.61       0.00       0.00       0.00       0.00       0.07       0.26
1095.87/1100.51	c   bounddisjunction :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1095.87/1100.51	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1095.87/1100.51	c   indicator        :      83.58       0.00       0.19      20.85       0.00       0.00       0.00      62.53       0.00       0.01
1095.87/1100.51	c   fixedvar         :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.01       0.00       0.00
1095.87/1100.51	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1095.87/1100.51	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
1095.87/1100.51	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1095.87/1100.51	c   dualfix          :          4          0          0          0
1095.87/1100.51	c   genvbounds       :          0          0          0          0
1095.87/1100.51	c   nlobbt           :          0          0          0          0
1095.87/1100.51	c   obbt             :          0          0          0          0
1095.87/1100.51	c   probing          :          0          0          0          0
1095.87/1100.51	c   pseudoobj        :      48924        283          0      33916
1095.87/1100.51	c   redcost          :       9108          0          0      73027
1095.87/1100.51	c   rootredcost      :         14          0          0      19287
1095.87/1100.51	c   symmetry         :          0          0          0          0
1095.87/1100.51	c   vbounds          :      82440          0          0          0
1095.87/1100.51	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
1095.87/1100.51	c   dualfix          :       0.02       0.00       0.01       0.01       0.00       0.00
1095.87/1100.51	c   genvbounds       :       0.02       0.00       0.00       0.02       0.00       0.00
1095.87/1100.51	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
1095.87/1100.51	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
1095.87/1100.51	c   probing          :       0.53       0.00       0.53       0.00       0.00       0.00
1095.87/1100.51	c   pseudoobj        :       0.22       0.00       0.00       0.15       0.06       0.00
1095.87/1100.51	c   redcost          :       5.63       0.00       0.00       5.63       0.00       0.00
1095.87/1100.51	c   rootredcost      :       0.06       0.00       0.00       0.06       0.00       0.00
1095.87/1100.51	c   symmetry         :       0.22       0.00       0.19       0.02       0.00       0.01
1095.87/1100.51	c   vbounds          :      13.61       0.00       0.01      13.55       0.00       0.06
1095.87/1100.51	c Symmetry           :
1095.87/1100.51	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
1095.87/1100.51	c   orbital reduction:          0 reductions applied,          0 cutoffs
1095.87/1100.51	c   lexicographic red:          0 reductions applied,          0 cutoffs
1095.87/1100.51	c   shadow tree time :       0.00 s
1095.87/1100.51	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
1095.87/1100.51	c   propagation      :       0.65       2725       2602          -      16779       45.4        319       15.5          -          -          -
1095.87/1100.51	c   infeasible LP    :       0.23         65         64          -        188       37.2          8       27.4         64       10.7          0
1095.87/1100.51	c   bound exceed. LP :       0.81         55         17          -         87       58.0          3        7.0         15     4076.3        440
1095.87/1100.51	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
1095.87/1100.51	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
1095.87/1100.51	c   applied globally :       0.25          -          -          0       8154       32.1          -          -         75          -          -
1095.87/1100.51	c   applied locally  :          -          -          -          0          0        0.0          -          -          4          -          -
1095.87/1100.51	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
1095.87/1100.51	c   cut pool         :       1.56          -        763         45          -          -      20153      90946          -          -          -          -          -    (maximal pool size:       7454)
1095.87/1100.51	c   aggregation      :       2.54       0.00        240         23          0          0       2175      26286          2       2460       2460          0          0
1095.87/1100.51	c   > cmir           :          -          -          -          -          -          -          -      19074          2       1569       1569          0          -
1095.87/1100.51	c   > flowcover      :          -          -          -          -          -          -          -       6619          0        733        733          0          -
1095.87/1100.51	c   > knapsackcover  :          -          -          -          -          -          -          -        593          0        158        158          0          -
1095.87/1100.51	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   clique           :       1.11       0.00         12         12          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   gomory           :      35.34       0.00        245         20          0          0      15357      43493       3029       3575       3429        146          0
1095.87/1100.51	c   > gomorymi       :          -          -          -          -          -          -          -      14911       1525        950        867         83          -
1095.87/1100.51	c   > strongcg       :          -          -          -          -          -          -          -      28582       1504       2625       2562         63          -
1095.87/1100.51	c   impliedbounds    :       0.31       0.00        253         23          0          0       4333       9918          0       7851       7851          0          0
1095.87/1100.51	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   mcf              :       0.10       0.00          2          2          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   mixing           :       0.00       0.00        253         23          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   multilinear      :       0.00       0.00        411         23          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   rapidlearning    :       0.10       0.00          0          0          0          0          0          0          0          0          0          0          0
1095.87/1100.51	c   rlt              :       6.46       0.00        154         20          0          0        940        275        783        615        184        431          0
1095.87/1100.51	c   zerohalf         :       3.71       0.00        235         23          0          0       2018      10974        856       4224       3783        441          0
1095.87/1100.51	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
1095.87/1100.51	c   hybrid           :       0.24       0.00       3577         24      69230         60      94963       2171          0      10854
1095.87/1100.51	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1095.87/1100.51	c   problem variables:       0.00          -          0          0
1095.87/1100.51	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
1095.87/1100.51	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c   relpscost        :     325.25       0.00       2627          0          0          1      33164          0       2294       4370
1095.87/1100.51	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
1095.87/1100.51	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
1095.87/1100.51	c   LP solutions     :       0.01          -          -          1          1
1095.87/1100.51	c   relax solutions  :       0.00          -          -          0          0
1095.87/1100.51	c   pseudo solutions :       0.00          -          -          0          0
1095.87/1100.51	c   strong branching :       0.01          -          -          0          0
1095.87/1100.51	c   actconsdiving    :       0.00       0.00          0          0          0
1095.87/1100.51	c   adaptivediving   :      11.98       0.00         50          4          4
1095.87/1100.51	c   alns             :       2.48       0.00          5          4          4
1095.87/1100.51	c   bound            :       0.00       0.00          0          0          0
1095.87/1100.51	c   clique           :       0.08       0.00          1          0          0
1095.87/1100.51	c   coefdiving       :       0.00       0.00          0          0          0
1095.87/1100.51	c   completesol      :       0.00       0.00          0          0          0
1095.87/1100.51	c   conflictdiving   :      13.37       0.00         27          0          0
1095.87/1100.51	c   crossover        :       0.10       0.00          1          0          0
1095.87/1100.51	c   dins             :       0.00       0.00          0          0          0
1095.87/1100.51	c   distributiondivin:      10.33       0.00         27          0          0
1095.87/1100.51	c   dps              :       0.00       0.00          0          0          0
1095.87/1100.51	c   dualval          :       0.00       0.00          0          0          0
1095.87/1100.51	c   farkasdiving     :      95.77       0.00         12          3          3
1095.87/1100.51	c   feasjump         :       0.00       0.00          0          0          0
1095.87/1100.51	c   feaspump         :       4.83       0.00          2          0          0
1095.87/1100.51	c   fixandinfer      :       0.00       0.00          0          0          0
1095.87/1100.51	c   fracdiving       :       9.35       0.00         28          0          0
1095.87/1100.51	c   gins             :       0.02       0.00          0          0          0
1095.87/1100.51	c   guideddiving     :       5.52       0.00         28          0          0
1095.87/1100.51	c   indcoefdiving    :       0.00       0.00          0          0          0
1095.87/1100.51	c   indicator        :       0.00       0.00          0          0          0
1095.87/1100.51	c   indicatordiving  :       0.00       0.00          0          0          0
1095.87/1100.51	c   indoneopt        :     131.77       0.01         15          0          0
1095.87/1100.51	c   indrounding      :       0.00       0.00          0          0          0
1095.87/1100.51	c   indtwoopt        :       0.00       0.01          0          0          0
1095.87/1100.51	c   intdiving        :       0.00       0.00          0          0          0
1095.87/1100.51	c   intshifting      :       0.00       0.00          0          0          0
1095.87/1100.51	c   linesearchdiving :       7.40       0.00         27          0          0
1095.87/1100.51	c   localbranching   :       0.00       0.00          0          0          0
1095.87/1100.51	c   locks            :       3.64       0.00          1          0          0
1095.87/1100.51	c   lpface           :      34.37       0.00          2          0          0
1095.87/1100.51	c   mpec             :       0.00       0.00          0          0          0
1095.87/1100.51	c   multistart       :       0.00       0.00          0          0          0
1095.87/1100.51	c   mutation         :       0.00       0.00          0          0          0
1095.87/1100.51	c   nlpdiving        :       0.00       0.00          0          0          0
1095.87/1100.51	c   objpscostdiving  :      11.49       0.00          4          0          0
1095.87/1100.51	c   octane           :       0.00       0.00          0          0          0
1095.87/1100.51	c   ofins            :       0.00       0.00          0          0          0
1095.87/1100.51	c   oneopt           :       0.17       0.00         14          1          1
1095.87/1100.51	c   padm             :       0.00       0.00          0          0          0
1095.87/1100.51	c   proximity        :       0.00       0.00          0          0          0
1095.87/1100.51	c   pscostdiving     :      10.55       0.00         28          1          1
1095.87/1100.51	c   randrounding     :      13.52       0.00        235          0          0
1095.87/1100.51	c   rens             :       0.64       0.00          2          0          0
1095.87/1100.51	c   reoptsols        :       0.00       0.00          0          0          0
1095.87/1100.51	c   repair           :       0.00       0.00          0          0          0
1095.87/1100.51	c   rins             :       0.81       0.00          4          1          1
1095.87/1100.51	c   rootsoldiving    :       9.74       0.00          3          0          0
1095.87/1100.51	c   rounding         :       2.40       0.00       3156          1          1
1095.87/1100.51	c   scheduler        :       0.00       0.00          0          0          0
1095.87/1100.51	c   shiftandpropagate:       0.00       0.00          0          0          0
1095.87/1100.51	c   shifting         :       3.87       0.00        766          2          2
1095.87/1100.51	c   simplerounding   :       0.21       0.00       6234          0          0
1095.87/1100.51	c   smallcard        :       0.00       0.00          0          0          0
1095.87/1100.51	c   subnlp           :       0.01       0.00          0          0          0
1095.87/1100.51	c   trivial          :       0.15       0.00          4          1          1
1095.87/1100.51	c   trivialnegation  :       0.00       0.00          0          0          0
1095.87/1100.51	c   trustregion      :       0.00       0.00          0          0          0
1095.87/1100.51	c   trysol           :       0.11       0.00          5          2          0
1095.87/1100.51	c   twoopt           :       0.00       0.00          0          0          0
1095.87/1100.51	c   undercover       :       0.09       0.00          1          0          0
1095.87/1100.51	c   vbounds          :       0.12       0.00          1          0          0
1095.87/1100.51	c   veclendiving     :       3.51       0.00         28          0          0
1095.87/1100.51	c   zeroobj          :       0.00       0.00          0          0          0
1095.87/1100.51	c   zirounding       :       0.86       0.00       1000          0          0
1095.87/1100.51	c   other solutions  :          -          -          -          0          -
1095.87/1100.51	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
1095.87/1100.51	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
1095.87/1100.51	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
1095.87/1100.51	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
1095.87/1100.51	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
1095.87/1100.51	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
1095.87/1100.51	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
1095.87/1100.51	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
1095.87/1100.51	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
1095.87/1100.51	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
1095.87/1100.51	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
1095.87/1100.51	c   primal LP        :       1.36        177          0       0.00       0.00       1.36        177
1095.87/1100.51	c   dual LP          :     271.76       6476     962066     155.12    3540.07       2.50        274
1095.87/1100.51	c   lex dual LP      :       0.00          0          0       0.00          -
1095.87/1100.51	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1095.87/1100.51	c   resolve instable :       0.00          0          0       0.00          -
1095.87/1100.51	c   diving/probing LP:     249.54       1374     788914     574.17    3161.50
1095.87/1100.51	c   strong branching :     216.78       2186     615461     281.55    2839.09          -          -        708
1095.87/1100.51	c     (at root node) :          -         40      34671     866.77          -
1095.87/1100.51	c   conflict analysis:       0.38         47        440       9.36    1157.95
1095.87/1100.51	c B&B Tree           :
1095.87/1100.51	c   number of runs   :          2
1095.87/1100.51	c   nodes            :       2312 (1553 internal, 759 leaves)
1095.87/1100.51	c   feasible leaves  :          0
1095.87/1100.51	c   infeas. leaves   :        759
1095.87/1100.51	c   objective leaves :          0
1095.87/1100.51	c   nodes (total)    :       3020 (2185 internal, 835 leaves)
1095.87/1100.51	c   nodes left       :          0
1095.87/1100.51	c   max depth        :         25
1095.87/1100.51	c   max depth (total):         88
1095.87/1100.51	c   backtracks       :        852 (36.9%)
1095.87/1100.51	c   early backtracks :          0 (0.0%)
1095.87/1100.51	c   nodes exc. ref.  :          0 (0.0%)
1095.87/1100.51	c   delayed cutoffs  :        766
1095.87/1100.51	c   repropagations   :       1948 (289111 domain reductions, 556 cutoffs)
1095.87/1100.51	c   avg switch length:       3.29
1095.87/1100.51	c   switching time   :       5.55
1095.87/1100.51	c Root Node          :
1095.87/1100.51	c   First LP value   : +0.00000000000000e+00
1095.87/1100.51	c   First LP Iters   :      10220 (2575.06 Iter/sec)
1095.87/1100.51	c   First LP Time    :       3.97
1095.87/1100.51	c   Final Dual Bound : +0.00000000000000e+00
1095.87/1100.51	c   Final Root Iters :      59810
1095.87/1100.51	c   Root LP Estimate : +7.82220247985568e+00
1095.87/1100.51	c Solution           :
1095.87/1100.51	c   Solutions found  :         21 (19 improvements)
1095.87/1100.51	c   First Solution   : +9.89270000000000e+05   (in run 1, after 0 nodes, 0.75 seconds, depth 0, found by <trivial>)
1095.87/1100.51	c   Gap First Sol.   :   infinite
1095.87/1100.51	c   Gap Last Sol.    :   infinite
1095.87/1100.51	c   Primal Bound     : +1.00000000000000e+00   (in run 2, after 39 nodes, 730.85 seconds, depth 52, found by <adaptivediving>)
1095.87/1100.51	c   Dual Bound       : +1.00000000000000e+00
1095.87/1100.51	c   Gap              :       0.00 %
1095.87/1100.51	c Integrals          :      Total       Avg%
1095.87/1100.51	c   primal-dual      :  110030.20     100.00
1095.87/1100.51	c   primal-ref       :          -          - (not evaluated)
1095.87/1100.51	c   dual-ref         :          -          - (not evaluated)
1095.98/1100.67	c Time complete: 1096.06.

Verifier Data 

OK	1

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: 64096 MiB (61113 MiB free)
  memory of node 1: 64473 MiB (61375 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4455902-1721717817/watcher-4455902-1721717817 -o /tmp/evaluation-result-4455902-1721717817/solver-4455902-1721717817 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721717817-79008 --watchdog 3760 pbscip -f HOME/instance-4455902-1721717817.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=79067, runsolver pid=79058

[startup+0.100105 s]*
/proc/loadavg: 1.80 2.02 2.07 4/244 79075
/proc/meminfo: memFree=125426128/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=37532 memory=616 CPUtime=0 cores=0,2
/proc/79067/stat : 79067 (pbscip) D 79058 79067 78998 0 -1 4194304 77 0 1 0 0 0 0 0 20 0 1 0 7771164 38432768 154 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 0 0 0 0 17 2 0 0 7 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 9383 154 135 3540 0 1343 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37532 KiB
Current children cumulated memory: 616 KiB

[startup+0.216731 s]*
/proc/loadavg: 1.80 2.02 2.07 8/244 79075
/proc/meminfo: memFree=125358432/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=71536 memory=30224 CPUtime=0.07 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 4610 0 4 0 6 1 0 0 20 0 1 0 7771164 73252864 7556 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 0 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 17884 7556 3252 3540 0 6141 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 71536 KiB
Current children cumulated memory: 30224 KiB

[startup+0.315495 s]*
/proc/loadavg: 1.80 2.02 2.07 8/244 79075
/proc/meminfo: memFree=125298276/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=89628 memory=49224 CPUtime=0.17 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 9382 0 4 0 14 3 0 0 20 0 1 0 7771164 91779072 12306 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 0 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 22407 12306 3252 3540 0 10664 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 89628 KiB
Current children cumulated memory: 49224 KiB

[startup+0.700352 s]
/proc/loadavg: 1.80 2.02 2.07 7/244 79075
/proc/meminfo: memFree=125166000/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=180292 memory=139456 CPUtime=0.54 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 31816 0 4 0 43 11 0 0 20 0 1 0 7771164 184619008 34864 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 45073 34864 3603 3540 0 33330 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 180292 KiB
Current children cumulated memory: 139456 KiB

[startup+1.50037 s]
/proc/loadavg: 1.80 2.02 2.07 8/244 79077
/proc/meminfo: memFree=124932528/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=242312 memory=196912 CPUtime=1.33 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 46175 0 4 0 118 15 0 0 20 0 1 0 7771164 248127488 49228 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 60578 49228 3635 3540 0 48835 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 242312 KiB
Current children cumulated memory: 196912 KiB

[startup+3.11461 s]
/proc/loadavg: 1.80 2.02 2.07 8/244 79077
/proc/meminfo: memFree=124534728/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=406312 memory=289948 CPUtime=2.94 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 74421 0 4 0 272 22 0 0 20 0 1 0 7771164 416063488 72487 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 101578 72487 3731 3540 0 89835 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 406312 KiB
Current children cumulated memory: 289948 KiB

[startup+6.30031 s]
/proc/loadavg: 1.90 2.04 2.07 7/244 79169
/proc/meminfo: memFree=124284548/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=412536 memory=296380 CPUtime=6.11 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 76072 0 4 0 588 23 0 0 20 0 1 0 7771164 422436864 74095 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 103134 74095 3731 3540 0 91391 0
Current children cumulated CPU time: 6.11 s
Current children cumulated vsize: 412536 KiB
Current children cumulated memory: 296380 KiB

[startup+12.7003 s]
/proc/loadavg: 2.07 2.07 2.08 7/244 79170
/proc/meminfo: memFree=124279036/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=412536 memory=296380 CPUtime=12.49 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 76074 0 4 0 1226 23 0 0 20 0 1 0 7771164 422436864 74095 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 103134 74095 3731 3540 0 91391 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 412536 KiB
Current children cumulated memory: 296380 KiB

[startup+25.5004 s]
/proc/loadavg: 2.58 2.18 2.12 7/244 79172
/proc/meminfo: memFree=124153988/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=412536 memory=296380 CPUtime=25.23 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 76076 0 4 0 2500 23 0 0 20 0 1 0 7771164 422436864 74095 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 103134 74095 3731 3540 0 91391 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 412536 KiB
Current children cumulated memory: 296380 KiB

[startup+51.114 s]
/proc/loadavg: 3.06 2.33 2.17 7/244 79222
/proc/meminfo: memFree=123382548/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=412536 memory=296380 CPUtime=50.74 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 76078 0 4 0 5051 23 0 0 20 0 1 0 7771164 422436864 74095 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 103134 74095 3731 3540 0 91391 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 412536 KiB
Current children cumulated memory: 296380 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 2.60 2.27 7/246 79401
/proc/meminfo: memFree=123203236/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=412536 memory=296380 CPUtime=101.73 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 76081 0 4 0 10149 24 0 0 20 0 1 0 7771164 422436864 74095 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 103134 74095 3731 3540 0 91391 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 412536 KiB
Current children cumulated memory: 296380 KiB

[startup+162.3 s]
/proc/loadavg: 3.99 2.89 2.39 6/246 79457
/proc/meminfo: memFree=123107304/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=569904 memory=425252 CPUtime=161.47 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 107312 0 4 0 16119 28 0 0 20 0 1 0 7771164 583581696 106313 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 142476 106313 3891 3540 0 130733 0
Current children cumulated CPU time: 161.47 s
Current children cumulated vsize: 569904 KiB
Current children cumulated memory: 425252 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.11 2.50 6/244 79469
/proc/meminfo: memFree=123047716/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=647436 memory=482880 CPUtime=221.21 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 122021 0 4 0 22090 31 0 0 20 0 1 0 7771164 662974464 120720 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 161859 120720 3891 3540 0 150116 0
Current children cumulated CPU time: 221.21 s
Current children cumulated vsize: 647436 KiB
Current children cumulated memory: 482880 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.29 2.60 6/244 79491
/proc/meminfo: memFree=122842296/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=851592 memory=681136 CPUtime=280.95 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 183479 0 4 0 28056 39 0 0 20 0 1 0 7771164 872030208 170284 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 212898 170284 4002 3540 0 201155 0
Current children cumulated CPU time: 280.95 s
Current children cumulated vsize: 851592 KiB
Current children cumulated memory: 681136 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.45 2.70 6/240 79503
/proc/meminfo: memFree=122798136/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=894292 memory=725020 CPUtime=340.69 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 204722 0 4 0 34026 43 0 0 20 0 1 0 7771164 915755008 181255 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 223573 181255 4018 3540 0 211830 0
Current children cumulated CPU time: 340.69 s
Current children cumulated vsize: 894292 KiB
Current children cumulated memory: 725020 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.57 2.79 6/239 79513
/proc/meminfo: memFree=122712420/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=894488 memory=726380 CPUtime=400.42 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 205148 0 4 0 39999 43 0 0 20 0 1 0 7771164 915955712 181595 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 223622 181595 4018 3540 0 211879 0
Current children cumulated CPU time: 400.42 s
Current children cumulated vsize: 894488 KiB
Current children cumulated memory: 726380 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.68 2.88 6/239 79523
/proc/meminfo: memFree=122540320/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=920424 memory=762264 CPUtime=460.13 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 232901 0 4 0 45965 48 0 0 20 0 1 0 7771164 942514176 190566 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 230106 190566 4018 3540 0 218363 0
Current children cumulated CPU time: 460.13 s

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

/proc/loadavg: 4.45 4.22 3.30 6/239 79565
/proc/meminfo: memFree=121670804/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=980428 memory=856792 CPUtime=699.19 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 249191 0 4 0 69868 51 0 0 20 0 1 0 7771164 1003958272 214198 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 245107 214198 4018 3540 0 233364 0
Current children cumulated CPU time: 699.19 s
Current children cumulated vsize: 980428 KiB
Current children cumulated memory: 856792 KiB

[startup+762.3 s]
/proc/loadavg: 4.28 4.21 3.35 6/239 79576
/proc/meminfo: memFree=121609096/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=1012528 memory=880320 CPUtime=758.98 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 254798 0 4 0 75845 53 0 0 20 0 1 0 7771164 1036828672 220080 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 253132 220080 4018 3540 0 241389 0
Current children cumulated CPU time: 758.98 s
Current children cumulated vsize: 1012528 KiB
Current children cumulated memory: 880320 KiB

[startup+822.3 s]
/proc/loadavg: 4.16 4.18 3.40 6/240 79590
/proc/meminfo: memFree=121512732/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=1102784 memory=959004 CPUtime=818.75 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 274663 0 4 0 81818 57 0 0 20 0 1 0 7771164 1129250816 239751 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 275696 239751 4018 3540 0 263953 0
Current children cumulated CPU time: 818.75 s
Current children cumulated vsize: 1102784 KiB
Current children cumulated memory: 959004 KiB

[startup+882.3 s]
/proc/loadavg: 4.06 4.15 3.44 6/240 79601
/proc/meminfo: memFree=121412988/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=1169340 memory=1011232 CPUtime=878.51 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 287278 0 4 0 87790 61 0 0 20 0 1 0 7771164 1197404160 252808 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 292335 252808 4018 3540 0 280592 0
Current children cumulated CPU time: 878.51 s
Current children cumulated vsize: 1169340 KiB
Current children cumulated memory: 1011232 KiB

[startup+942.3 s]
/proc/loadavg: 4.12 4.15 3.49 6/240 79612
/proc/meminfo: memFree=121314608/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=1227756 memory=1065680 CPUtime=938.28 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 299152 0 4 0 93765 63 0 0 20 0 1 0 7771164 1257222144 266420 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 306939 266420 4018 3540 0 295196 0
Current children cumulated CPU time: 938.28 s
Current children cumulated vsize: 1227756 KiB
Current children cumulated memory: 1065680 KiB

[startup+1002.3 s]
/proc/loadavg: 4.20 4.16 3.54 6/240 79623
/proc/meminfo: memFree=121096968/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=1378624 memory=1234676 CPUtime=998.05 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 340562 0 4 0 99733 72 0 0 20 0 1 0 7771164 1411710976 308669 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 344656 308669 4018 3540 0 332913 0
Current children cumulated CPU time: 998.05 s
Current children cumulated vsize: 1378624 KiB
Current children cumulated memory: 1234676 KiB

[startup+1062.3 s]
/proc/loadavg: 4.11 4.15 3.58 6/240 79633
/proc/meminfo: memFree=121062652/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=1378624 memory=1249284 CPUtime=1057.82 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 340882 0 4 0 105710 72 0 0 20 0 1 0 7771164 1411710976 312321 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 344656 312321 4018 3540 0 332913 0
Current children cumulated CPU time: 1057.82 s
Current children cumulated vsize: 1378624 KiB
Current children cumulated memory: 1249284 KiB

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

# cumulated CPU time of all completed processes:  user=1095.32 s, system=0.748577 s

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

[startup+1075.2 s]
/proc/loadavg: 4.09 4.14 3.58 6/240 79635
/proc/meminfo: memFree=121035340/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=1378624 memory=1251692 CPUtime=1070.67 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 340886 0 4 0 106995 72 0 0 20 0 1 0 7771164 1411710976 312923 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 344656 312923 4018 3540 0 332913 0
Current children cumulated CPU time: 1070.67 s
Current children cumulated vsize: 1378624 KiB
Current children cumulated memory: 1251692 KiB

[startup+1088 s]*
/proc/loadavg: 4.07 4.13 3.59 6/240 79636
/proc/meminfo: memFree=121030696/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=1378624 memory=1252776 CPUtime=1083.43 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 341000 0 4 0 108271 72 0 0 20 0 1 0 7771164 1411710976 313194 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 344656 313194 4018 3540 0 332913 0
Current children cumulated CPU time: 1083.43 s
Current children cumulated vsize: 1378624 KiB
Current children cumulated memory: 1252776 KiB

[startup+1094.4 s]
/proc/loadavg: 4.07 4.13 3.59 6/240 79638
/proc/meminfo: memFree=121028964/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=1378624 memory=1252776 CPUtime=1089.8 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 341086 0 4 0 108908 72 0 0 20 0 1 0 7771164 1411710976 313194 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 344656 313194 4018 3540 0 332913 0
Current children cumulated CPU time: 1089.8 s
Current children cumulated vsize: 1378624 KiB
Current children cumulated memory: 1252776 KiB

[startup+1097.6 s]
/proc/loadavg: 4.06 4.13 3.59 6/240 79638
/proc/meminfo: memFree=121023824/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=1378624 memory=1255140 CPUtime=1092.99 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 341088 0 4 0 109227 72 0 0 20 0 1 0 7771164 1411710976 313785 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 344656 313785 4018 3540 0 332913 0
Current children cumulated CPU time: 1092.99 s
Current children cumulated vsize: 1378624 KiB
Current children cumulated memory: 1255140 KiB

[startup+1099.2 s]
/proc/loadavg: 4.06 4.13 3.59 6/240 79639
/proc/meminfo: memFree=121022956/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=1378624 memory=1255140 CPUtime=1094.58 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 341088 0 4 0 109386 72 0 0 20 0 1 0 7771164 1411710976 313785 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 344656 313785 4018 3540 0 332913 0
Current children cumulated CPU time: 1094.58 s
Current children cumulated vsize: 1378624 KiB
Current children cumulated memory: 1255140 KiB

[startup+1100 s]*
/proc/loadavg: 4.14 4.14 3.60 6/240 79639
/proc/meminfo: memFree=121022376/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=1378624 memory=1255140 CPUtime=1095.39 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 341088 0 4 0 109467 72 0 0 20 0 1 0 7771164 1411710976 313785 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 344656 313785 4018 3540 0 332913 0
Current children cumulated CPU time: 1095.39 s
Current children cumulated vsize: 1378624 KiB
Current children cumulated memory: 1255140 KiB

[startup+1100.4 s]
/proc/loadavg: 4.14 4.14 3.60 6/240 79639
/proc/meminfo: memFree=121022376/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=1378624 memory=1255140 CPUtime=1095.77 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 341088 0 4 0 109505 72 0 0 20 0 1 0 7771164 1411710976 313785 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 2 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 344656 313785 4018 3540 0 332913 0
Current children cumulated CPU time: 1095.77 s
Current children cumulated vsize: 1378624 KiB
Current children cumulated memory: 1255140 KiB

[startup+1100.6 s]
/proc/loadavg: 4.14 4.14 3.60 6/240 79639
/proc/meminfo: memFree=121022376/131655788 swapFree=131071996/131071996
[pid=79067] ppid=79058 vsize=1377780 memory=1254296 CPUtime=1095.98 cores=0,2
/proc/79067/stat : 79067 (pbscip) R 79058 79067 78998 0 -1 4194304 341109 0 4 0 109525 73 0 0 20 0 1 0 7771164 1410846720 313574 134679101440 4194304 18693293 140734507289552 0 0 0 0 0 0 0 0 0 17 0 0 0 12 0 0 21375888 21430392 37883904 140734507295751 140734507295850 140734507295850 140734507302862 0
/proc/79067/statm: 344445 313574 4018 3540 0 332702 0
Current children cumulated CPU time: 1095.98 s
Current children cumulated vsize: 1377780 KiB
Current children cumulated memory: 1254296 KiB

Child status: 0

Real time (s): 1100.68
CPU time (s): 1096.07
CPU user time (s): 1095.32
CPU system time (s): 0.748577
CPU usage (%): 99.581
Max. virtual memory (cumulated for all children) (KiB): 1401976
Max. memory (cumulated for all children) (KiB): 1255140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1095.32
system time used= 0.748577
maximum resident set size= 1255140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 341203
page faults= 4
swaps= 0
block input operations= 2640
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91
involuntary context switches= 7514


# summary of solver processes directly reported to runsolver:
#   pid: 79067
#   total CPU time (s): 1096.07
#   total CPU user time (s): 1095.32
#   total CPU system time (s): 0.748577

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.89952 second user time and 11.2802 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-23 08:56:57
IDJOB=4455902
IDBENCH=143108
IDSOLVER=3038
FILE ID=nodeC007/4455902-1721717817
RUNJOBID= nodeC007-1721717817-79008
SLURM_JOB_ID= 7770389
Free space on /tmp= 723780 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl--soft-0-100-0.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4455902-1721717817/watcher-4455902-1721717817 -o /tmp/evaluation-result-4455902-1721717817/solver-4455902-1721717817 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721717817-79008 --watchdog 3760  pbscip -f HOME/instance-4455902-1721717817.wbo -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 422b47731253e11b6937aedb0da90672
RANDOM SEED=263981301

nodeC007.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		: 1199.245
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.67
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		: 1239.766
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.37
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		: 1258.822
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.67
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		: 1224.096
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.37
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		: 1208.669
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.67
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		: 1260.775
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.37
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		: 1192.415
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.67
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		: 1194.441
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125430244 kB
MemAvailable:   130029692 kB
Buffers:          134188 kB
Cached:          5242332 kB
SwapCached:            0 kB
Active:           864456 kB
Inactive:        4764604 kB
Active(anon):       1364 kB
Inactive(anon):   280720 kB
Active(file):     863092 kB
Inactive(file):  4483884 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             77388 kB
Writeback:            12 kB
AnonPages:        252280 kB
Mapped:            98532 kB
Shmem:             29504 kB
KReclaimable:     185344 kB
Slab:             282252 kB
SReclaimable:     185344 kB
SUnreclaim:        96908 kB
KernelStack:        3504 kB
PageTables:         9412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     576296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17344 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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:      279368 kB
DirectMap2M:    23742464 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 723704 MiB
End job on nodeC007 at 2024-07-23 09:15:18