Trace number 4503892

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07OPT2899749 217.692 218.334

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
MD5SUMd01f39fb61de71c60f300d6712f658b6
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2899749
Best CPU time to get the best result obtained on this benchmark124.337
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 143877824
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 43040121046
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143877824
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 43040121046
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4503892-1751434407.opb>
0.00/0.03	c original problem has 5100 variables (5100 bin, 0 int, 0 impl, 0 cont) and 7606 constraints
0.00/0.03	c problem read in 0.02
0.00/0.04	c presolving:
0.00/0.06	c (round 1, fast)       2550 del vars, 4902 del conss, 0 add conss, 100 chg bounds, 1225 chg sides, 1225 chg coeffs, 0 upgd conss, 0 impls, 51 clqs
0.00/0.07	c    (0.1s) running MILP presolver
0.00/0.08	c    (0.1s) MILP presolver found nothing
0.00/0.09	c (round 2, exhaustive) 2550 del vars, 4902 del conss, 0 add conss, 100 chg bounds, 1225 chg sides, 1225 chg coeffs, 2701 upgd conss, 0 impls, 51 clqs
0.09/0.18	c    (0.2s) probing: 51/2550 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.18	c    (0.2s) probing aborted: 50/50 successive totally useless probings
0.19/0.21	c    (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.19/0.22	c    (0.2s) no symmetry present (symcode time: 0.00)
0.19/0.22	c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
0.19/0.22	c  2550 deleted vars, 4902 deleted constraints, 0 added constraints, 100 tightened bounds, 0 added holes, 1225 changed sides, 1225 changed coefficients
0.19/0.22	c  0 implications, 51 cliques
0.19/0.22	c presolved problem has 2550 variables (2550 bin, 0 int, 0 impl, 0 cont) and 2704 constraints
0.19/0.22	c    1375 constraints of type <knapsack>
0.19/0.22	c      51 constraints of type <setppc>
0.19/0.22	c       3 constraints of type <linear>
0.19/0.22	c    1275 constraints of type <logicor>
0.19/0.22	c transformed objective value is always integral (scale: 2)
0.19/0.22	c Presolving Time: 0.18
0.19/0.22	c - non default parameters ----------------------------------------------------------------------
0.19/0.22	c # SCIP version 10.0.0
0.19/0.22	c 
0.19/0.22	c # maximal time in seconds to run
0.19/0.22	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.19/0.22	c limits/time = 3596.99801
0.19/0.22	c 
0.19/0.22	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.19/0.22	c limits/memory = 27900
0.19/0.22	c 
0.19/0.22	c # belongs reading time to solving time?
0.19/0.22	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22	c timing/reading = TRUE
0.19/0.22	c 
0.19/0.22	c -----------------------------------------------------------------------------------------------
0.19/0.22	c start solving
0.19/0.22	c 
0.19/0.24	o 306093145
0.19/0.24	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.19/0.24	c p 0.2s|     1 |     0 |    93 |     - |  clique|   0 |2550 |2704 |2704 |   0 |  0 |   0 |   0 |-3.000000e+00 | 3.060931e+08 |    Inf | unknown
0.59/0.67	c   0.7s|     1 |     0 |  3307 |     - |    57M |   0 |2550 |2704 |2704 |   0 |  0 |   0 |   0 | 1.464011e+06 | 3.060931e+08 |  Large | unknown
0.79/0.86	c   0.9s|     1 |     0 |  4013 |     - |    60M |   0 |2550 |2704 |2723 |  19 |  1 |   0 |   0 | 1.543273e+06 | 3.060931e+08 |  Large | unknown
0.99/1.02	c   1.0s|     1 |     0 |  4489 |     - |    61M |   0 |2550 |2706 |2749 |  45 |  2 |   2 |   0 | 1.581323e+06 | 3.060931e+08 |  Large | unknown
1.09/1.14	c   1.1s|     1 |     0 |  4742 |     - |    62M |   0 |2550 |2707 |2755 |  51 |  3 |   3 |   0 | 1.596346e+06 | 3.060931e+08 |  Large | unknown
1.18/1.28	c   1.3s|     1 |     0 |  5104 |     - |    62M |   0 |2550 |2708 |2763 |  59 |  4 |   4 |   0 | 1.630061e+06 | 3.060931e+08 |  Large | unknown
1.38/1.40	c   1.4s|     1 |     0 |  5253 |     - |    63M |   0 |2550 |2709 |2770 |  66 |  5 |   5 |   0 | 1.649513e+06 | 3.060931e+08 |  Large | unknown
1.48/1.56	c   1.6s|     1 |     0 |  5628 |     - |    64M |   0 |2550 |2709 |2774 |  70 |  6 |   5 |   0 | 1.674118e+06 | 3.060931e+08 |  Large | unknown
1.68/1.72	c   1.7s|     1 |     0 |  5916 |     - |    64M |   0 |2550 |2710 |2780 |  76 |  7 |   6 |   0 | 1.691254e+06 | 3.060931e+08 |  Large | unknown
1.78/1.87	c   1.9s|     1 |     0 |  6161 |     - |    65M |   0 |2550 |2711 |2786 |  82 |  8 |   7 |   0 | 1.704735e+06 | 3.060931e+08 |  Large | unknown
1.99/2.01	c   2.0s|     1 |     0 |  6333 |     - |    66M |   0 |2550 |2712 |2793 |  89 |  9 |   8 |   0 | 1.711875e+06 | 3.060931e+08 |  Large | unknown
2.09/2.15	c   2.1s|     1 |     0 |  6476 |     - |    66M |   0 |2550 |2713 |2794 |  90 | 10 |   9 |   0 | 1.716782e+06 | 3.060931e+08 |  Large | unknown
2.18/2.22	c   2.2s|     1 |     0 |  6665 |     - |    66M |   0 |2550 |2714 |2797 |  93 | 11 |  10 |   0 | 1.728172e+06 | 3.060931e+08 |  Large | unknown
2.28/2.31	c   2.3s|     1 |     0 |  6957 |     - |    68M |   0 |2550 |2715 |2801 |  97 | 12 |  11 |   0 | 1.744477e+06 | 3.060931e+08 |  Large | unknown
2.38/2.40	c   2.4s|     1 |     0 |  7273 |     - |    69M |   0 |2550 |2716 |2804 | 100 | 13 |  12 |   0 | 1.756997e+06 | 3.060931e+08 |  Large | unknown
2.38/2.47	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2.38/2.47	c   2.5s|     1 |     0 |  7450 |     - |    69M |   0 |2550 |2716 |2808 | 104 | 14 |  12 |   0 | 1.764544e+06 | 3.060931e+08 |  Large | unknown
2.48/2.54	c   2.5s|     1 |     0 |  7593 |     - |    70M |   0 |2550 |2717 |2809 | 105 | 15 |  13 |   0 | 1.768060e+06 | 3.060931e+08 |  Large | unknown
2.58/2.62	c   2.6s|     1 |     0 |  7803 |     - |    71M |   0 |2550 |2718 |2799 | 107 | 16 |  14 |   0 | 1.773698e+06 | 3.060931e+08 |  Large | unknown
2.68/2.71	c   2.7s|     1 |     0 |  8095 |     - |    71M |   0 |2550 |2719 |2807 | 115 | 17 |  15 |   0 | 1.785868e+06 | 3.060931e+08 |  Large | unknown
2.78/2.80	c   2.8s|     1 |     0 |  8380 |     - |    71M |   0 |2550 |2720 |2813 | 121 | 18 |  16 |   0 | 1.791712e+06 | 3.060931e+08 |  Large | unknown
2.78/2.89	c   2.9s|     1 |     0 |  8625 |     - |    72M |   0 |2550 |2721 |2823 | 131 | 19 |  17 |   0 | 1.796124e+06 | 3.060931e+08 |  Large | unknown
2.87/2.98	c   3.0s|     1 |     0 |  8846 |     - |    73M |   0 |2550 |2722 |2827 | 135 | 20 |  18 |   0 | 1.799915e+06 | 3.060931e+08 |  Large | unknown
2.98/3.01	c   3.0s|     1 |     0 |  8861 |     - |    73M |   0 |2550 |2722 |2828 | 136 | 21 |  18 |   0 | 1.799967e+06 | 3.060931e+08 |  Large | unknown
11.55/11.65	c  11.6s|     1 |     2 | 36281 |     - |    74M |   0 |2550 |2733 |2828 | 136 | 22 |  29 |  31 | 1.818516e+06 | 3.060931e+08 |  Large | unknown
32.49/32.65	o 5414861
32.49/32.65	c d32.6s|    30 |    20 | 59116 |1736.1 |pscostdi|  13 |2550 |2745 |2830 |   0 |  1 |  45 | 266 | 1.818516e+06 | 5.414861e+06 | 197.76%|   0.30%
35.78/35.96	o 5413817
35.78/35.96	c *36.0s|    59 |    23 | 73367 |1113.8 |strongbr|  14 |2550 |2757 |2833 | 223 |  1 |  57 | 273 | 1.818516e+06 | 5.413817e+06 | 197.71%|   6.98%
43.36/43.55	c  43.5s|   100 |    38 | 99192 | 913.4 |    83M |  24 |2550 |2768 |2827 | 277 |  1 |  71 | 308 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
50.94/51.14	c  51.1s|   200 |    62 |129891 | 608.7 |    84M |  81 |2550 |2789 |2838 | 290 |  1 |  95 | 340 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
55.72/55.99	c  56.0s|   300 |    64 |145751 | 458.1 |    86M | 118 |2550 |2918 |2842 | 297 |  2 | 443 | 446 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
59.01/59.29	c  59.3s|   400 |    72 |156224 | 369.6 |    86M | 118 |2550 |2855 |2841 | 301 |  1 | 507 | 477 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
61.81/62.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
61.81/62.06	c  62.1s|   500 |    78 |165952 | 315.0 |    87M | 127 |2550 |2857 |2841 | 305 |  1 | 537 | 497 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
63.99/64.21	c  64.2s|   600 |    86 |173433 | 274.9 |    87M | 152 |2550 |2907 |2844 | 311 |  0 | 629 | 532 | 1.824967e+06 | 5.413817e+06 | 196.65%|   7.21%
72.07/72.33	o 5393889
72.07/72.33	c *72.3s|   672 |    86 |200067 | 285.1 |    LP  | 152 |2550 |3047 |2834 | 382 |  1 | 937 | 676 | 1.845737e+06 | 5.393889e+06 | 192.24%|   7.29%
74.56/74.81	c  74.8s|   700 |    84 |202536 | 277.2 |    90M | 152 |2550 |2961 |2841 | 383 |  0 | 946 | 681 | 1.845737e+06 | 5.393889e+06 | 192.24%|   7.72%
80.24/80.53	c  80.5s|   800 |    87 |223874 | 269.2 |    91M | 152 |2550 |2906 |2838 | 394 |  0 |1095 | 731 | 1.845737e+06 | 5.393889e+06 | 192.24%|   7.88%
87.83/88.11	c  88.1s|   900 |    95 |248082 | 266.2 |    91M | 152 |2550 |2916 |2837 | 433 |  1 |1227 | 821 | 1.845737e+06 | 5.393889e+06 | 192.24%|   9.87%
87.92/88.27	o 3293037
87.92/88.27	c *88.3s|   905 |    35 |248986 | 265.7 |    LP  | 152 |2550 |2883 |2838 | 434 |  1 |1227 | 821 | 1.845737e+06 | 3.293037e+06 |  78.41%|  14.59%
88.92/89.22	o 3292829
88.92/89.22	c *89.2s|   948 |    44 |253822 | 258.8 |    LP  | 152 |2550 |2879 |2841 | 439 |  2 |1241 | 821 | 1.845737e+06 | 3.292829e+06 |  78.40%|  14.60%
89.52/89.87	o 3276259
89.52/89.87	c *89.9s|   975 |    43 |257220 | 255.1 |    LP  | 152 |2550 |2862 |2846 | 448 |  3 |1241 | 821 | 1.845737e+06 | 3.276259e+06 |  77.50%|  14.83%
89.72/90.06	o 3271389
89.72/90.06	c *90.1s|   977 |    41 |257858 | 255.2 |strongbr| 152 |2550 |2860 |2844 | 448 |  2 |1242 | 823 | 1.845737e+06 | 3.271389e+06 |  77.24%|  15.42%
90.61/90.93	c  90.9s|  1000 |    44 |260769 | 252.3 |    92M | 152 |2550 |2842 |2847 | 460 |  1 |1244 | 836 | 1.845737e+06 | 3.271389e+06 |  77.24%|  16.43%
92.01/92.37	o 3270171
92.01/92.37	c *92.4s|  1034 |    38 |265991 | 249.0 |    LP  | 152 |2550 |2795 |2842 | 460 |  2 |1261 | 873 | 1.858991e+06 | 3.270171e+06 |  75.91%|  22.23%
93.81/94.18	o 3265889
93.81/94.18	c *94.2s|  1100 |    42 |272308 | 239.8 |    LP  | 152 |2550 |2792 |2840 | 465 |  2 |1271 | 910 | 1.858991e+06 | 3.265889e+06 |  75.68%|  23.09%
94.50/94.86	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
94.50/94.86	c (run 1, node 1126) performing user restart
94.50/94.86	c 
94.50/94.86	c (restart) converted 80 cuts from the global cut pool into linear constraints
94.50/94.86	c 
94.50/94.88	c presolving:
94.50/94.88	c (round 1, fast)       1067 del vars, 1069 del conss, 1 add conss, 0 chg bounds, 1 chg sides, 727 chg coeffs, 0 upgd conss, 0 impls, 99 clqs
94.50/94.88	c (round 2, fast)       1068 del vars, 1072 del conss, 2 add conss, 0 chg bounds, 2 chg sides, 739 chg coeffs, 0 upgd conss, 0 impls, 98 clqs
94.50/94.89	c    (94.9s) running MILP presolver
94.50/94.89	c    (94.9s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
94.50/94.89	c (round 3, medium)     1070 del vars, 1074 del conss, 6 add conss, 0 chg bounds, 5 chg sides, 742 chg coeffs, 0 upgd conss, 0 impls, 117 clqs
94.50/94.89	c (round 4, fast)       1070 del vars, 1081 del conss, 8 add conss, 0 chg bounds, 5 chg sides, 755 chg coeffs, 0 upgd conss, 0 impls, 117 clqs
94.50/94.89	c (round 5, exhaustive) 1070 del vars, 1083 del conss, 9 add conss, 0 chg bounds, 5 chg sides, 755 chg coeffs, 0 upgd conss, 0 impls, 117 clqs
94.50/94.89	c (round 6, exhaustive) 1070 del vars, 1083 del conss, 9 add conss, 0 chg bounds, 5 chg sides, 755 chg coeffs, 80 upgd conss, 0 impls, 117 clqs
94.60/94.90	c (round 7, medium)     1070 del vars, 1083 del conss, 10 add conss, 0 chg bounds, 7 chg sides, 758 chg coeffs, 80 upgd conss, 0 impls, 117 clqs
94.60/94.90	c (round 8, exhaustive) 1070 del vars, 1090 del conss, 10 add conss, 0 chg bounds, 7 chg sides, 825 chg coeffs, 80 upgd conss, 0 impls, 117 clqs
94.60/94.93	c presolving (9 rounds: 9 fast, 6 medium, 4 exhaustive):
94.60/94.93	c  1070 deleted vars, 1090 deleted constraints, 10 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 825 changed coefficients
94.60/94.93	c  0 implications, 117 cliques
94.60/94.93	c presolved problem has 1480 variables (1480 bin, 0 int, 0 impl, 0 cont) and 1792 constraints
94.60/94.93	c     357 constraints of type <knapsack>
94.60/94.93	c      51 constraints of type <setppc>
94.60/94.93	c       8 constraints of type <linear>
94.60/94.93	c    1376 constraints of type <logicor>
94.60/94.93	c transformed objective value is always integral (scale: 2)
94.60/94.93	c Presolving Time: 0.24
94.60/94.93	c transformed 13/14 original solutions to the transformed problem space
94.60/94.94	c 
95.20/95.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
95.20/95.56	c  95.6s|     1 |     0 |280814 |     - |    94M |   0 |1480 |1792 |1713 |   0 |  0 |1283 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.40/95.73	c  95.7s|     1 |     0 |281514 |     - |    94M |   0 |1480 |1793 |1734 |  21 |  1 |1284 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.40/95.74	c  95.7s|     1 |     0 |281514 |     - |    94M |   0 |1480 |1794 |1733 |  21 |  1 |1285 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.50/95.87	c  95.9s|     1 |     0 |281914 |     - |    95M |   0 |1480 |1794 |1744 |  32 |  2 |1285 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.50/95.87	c  95.9s|     1 |     0 |281914 |     - |    95M |   0 |1480 |1795 |1743 |  32 |  2 |1286 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.70/96.04	c  96.0s|     1 |     0 |282338 |     - |   105M |   0 |1480 |1795 |1754 |  43 |  3 |1286 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
95.80/96.17	c  96.2s|     1 |     0 |282624 |     - |   107M |   0 |1480 |1796 |1762 |  51 |  4 |1287 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
96.01/96.30	c  96.3s|     1 |     0 |282855 |     - |   107M |   0 |1480 |1796 |1769 |  58 |  5 |1287 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
96.11/96.42	c  96.4s|     1 |     0 |283042 |     - |   107M |   0 |1480 |1797 |1777 |  66 |  6 |1288 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
96.21/96.54	c  96.5s|     1 |     0 |283121 |     - |   108M |   0 |1480 |1798 |1784 |  73 |  7 |1289 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
96.21/96.54	c  96.5s|     1 |     0 |283121 |     - |   108M |   0 |1480 |1799 |1783 |  73 |  7 |1290 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
96.30/96.66	c  96.7s|     1 |     0 |283258 |     - |   108M |   0 |1480 |1799 |1787 |  77 |  8 |1290 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
96.50/96.80	c  96.8s|     1 |     0 |283423 |     - |   108M |   0 |1480 |1800 |1790 |  80 |  9 |1291 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
96.60/96.95	c  96.9s|     1 |     0 |283623 |     - |   108M |   0 |1480 |1801 |1795 |  85 | 10 |1292 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
96.71/97.01	c  97.0s|     1 |     0 |283724 |     - |   108M |   0 |1480 |1802 |1799 |  89 | 11 |1293 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
96.71/97.08	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
96.71/97.08	c  97.1s|     1 |     0 |283938 |     - |   109M |   0 |1480 |1802 |1801 |  91 | 12 |1294 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
96.81/97.14	c  97.1s|     1 |     0 |284006 |     - |   109M |   0 |1480 |1802 |1805 |  95 | 13 |1295 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
96.90/97.22	c  97.2s|     1 |     0 |284284 |     - |   109M |   0 |1480 |1802 |1808 |  98 | 14 |1295 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
96.90/97.29	c  97.3s|     1 |     0 |284465 |     - |   109M |   0 |1480 |1803 |1773 | 101 | 15 |1296 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
97.00/97.34	c  97.3s|     1 |     0 |284612 |     - |   109M |   0 |1480 |1803 |1777 | 105 | 16 |1297 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
97.10/97.40	c  97.4s|     1 |     0 |284807 |     - |   109M |   0 |1480 |1803 |1778 | 106 | 17 |1298 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
97.10/97.46	c  97.5s|     1 |     0 |284948 |     - |   110M |   0 |1480 |1804 |1781 | 109 | 18 |1299 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
97.20/97.52	c  97.5s|     1 |     0 |285145 |     - |   110M |   0 |1480 |1804 |1786 | 114 | 19 |1299 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
97.20/97.58	c  97.6s|     1 |     0 |285283 |     - |   110M |   0 |1480 |1802 |1789 | 117 | 20 |1299 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
97.30/97.61	c  97.6s|     1 |     0 |285307 |     - |   110M |   0 |1480 |1803 |1783 | 121 | 21 |1300 | 922 | 1.858991e+06 | 3.265889e+06 |  75.68%| unknown
100.39/100.76	c   101s|     1 |     2 |295559 |     - |   110M |   0 |1480 |1799 |1783 | 121 | 22 |1303 | 939 | 1.862862e+06 | 3.265889e+06 |  75.32%| unknown
114.55/114.95	c   115s|   100 |    33 |367770 | 284.4 |   113M |  28 |1480 |1808 |1762 | 170 |  0 |1324 |1008 | 1.927559e+06 | 3.265889e+06 |  69.43%|   8.08%
115.45/115.80	o 3236881
115.45/115.80	c * 116s|   118 |    33 |374959 | 286.1 |    LP  |  28 |1480 |1812 |1766 | 176 |  2 |1328 |1008 | 1.927559e+06 | 3.236881e+06 |  67.93%|   8.09%
115.45/115.86	o 2904069
115.45/115.86	c * 116s|   121 |    27 |375460 | 285.8 |    LP  |  28 |1480 |1782 |1766 | 176 |  1 |1328 |1008 | 1.927559e+06 | 2.904069e+06 |  50.66%|   8.73%
116.24/116.65	c   117s|   200 |    38 |381129 | 273.0 |   113M |  40 |1480 |1789 |1771 | 182 |  2 |1335 |1008 | 1.927559e+06 | 2.904069e+06 |  50.66%|  12.52%
121.83/122.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
121.83/122.20	c   122s|   300 |    62 |413998 | 276.9 |   114M |  40 |1480 |1826 |1770 | 205 |  0 |1400 |1048 | 1.946209e+06 | 2.904069e+06 |  49.22%|  25.15%
125.92/126.31	c   126s|   400 |    74 |436087 | 273.2 |   114M |  40 |1480 |1831 |1769 | 234 |  1 |1444 |1093 | 1.973439e+06 | 2.904069e+06 |  47.16%|  25.27%
128.61/129.07	c   129s|   500 |    88 |449043 | 264.4 |   114M |  40 |1480 |1856 |1774 | 259 |  0 |1484 |1114 | 1.979445e+06 | 2.904069e+06 |  46.71%|  25.30%
131.80/132.25	c   132s|   600 |    96 |464871 | 258.2 |   118M |  59 |1480 |1916 |1768 | 313 |  1 |1561 |1170 | 1.979445e+06 | 2.904069e+06 |  46.71%|  25.30%
134.49/134.96	c   135s|   700 |   104 |478476 | 251.6 |   118M |  59 |1480 |1894 |1770 | 363 |  0 |1599 |1197 | 1.979445e+06 | 2.904069e+06 |  46.71%|  25.30%
137.48/137.90	o 2902277
137.48/137.90	c * 138s|   783 |   111 |490955 | 247.2 |    LP  |  59 |1480 |1921 |1796 | 424 |  6 |1650 |1243 | 1.979445e+06 | 2.902277e+06 |  46.62%|  25.30%
137.88/138.30	c   138s|   800 |   114 |494167 | 246.6 |   119M |  59 |1480 |1927 |   0 | 436 |  0 |1657 |1243 | 1.979445e+06 | 2.902277e+06 |  46.62%|  25.40%
139.88/140.31	c   140s|   900 |   118 |503527 | 239.1 |   120M |  64 |1480 |1981 |1781 | 479 |  0 |1717 |1266 | 1.979445e+06 | 2.902277e+06 |  46.62%|  25.92%
145.86/146.39	c   146s|  1000 |   138 |535515 | 242.9 |   122M |  64 |1480 |1983 |1793 | 547 |  3 |1750 |1307 | 1.988751e+06 | 2.902277e+06 |  45.93%|  25.96%
151.14/151.68	c   152s|  1100 |   156 |563681 | 244.6 |   122M |  64 |1480 |2064 |1773 | 639 |  1 |1863 |1349 | 2.001725e+06 | 2.902277e+06 |  44.99%|  25.97%
157.32/157.81	c   158s|  1200 |   174 |593583 | 247.0 |   123M |  64 |1480 |2083 |1793 | 724 |  1 |1895 |1397 | 2.017442e+06 | 2.902277e+06 |  43.86%|  25.99%
160.81/161.38	c   161s|  1300 |   174 |609385 | 243.3 |   123M |  65 |1480 |2151 |1789 | 731 |  1 |1972 |1439 | 2.039866e+06 | 2.902277e+06 |  42.28%|  26.02%
163.01/163.57	c   164s|  1400 |   182 |623135 | 239.1 |   123M |  69 |1480 |2172 |1797 | 742 |  0 |2015 |1451 | 2.039866e+06 | 2.902277e+06 |  42.28%|  26.02%
164.01/164.59	o 2899749
164.01/164.59	c * 165s|  1465 |   183 |628181 | 235.1 |    LP  |  74 |1480 |2184 |1797 | 742 |  2 |2045 |1467 | 2.067051e+06 | 2.899749e+06 |  40.28%|  26.06%
164.41/164.97	c   165s|  1500 |   186 |631120 | 233.0 |   123M |  74 |1480 |2175 |1797 | 745 |  1 |2053 |1467 | 2.067051e+06 | 2.899749e+06 |  40.28%|  26.09%
167.00/167.54	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
167.00/167.54	c   168s|  1600 |   196 |647692 | 230.6 |   123M |  75 |1480 |2213 |1798 | 764 |  1 |2127 |1492 | 2.067051e+06 | 2.899749e+06 |  40.28%|  26.75%
171.28/171.81	c   172s|  1700 |   198 |682378 | 234.7 |   123M |  75 |1480 |2243 |1797 | 767 |  0 |2222 |1541 | 2.106784e+06 | 2.899749e+06 |  37.64%|  28.05%
173.98/174.59	c   175s|  1800 |   210 |693738 | 230.5 |   124M |  75 |1480 |2152 |1794 | 790 |  0 |2240 |1567 | 2.131051e+06 | 2.899749e+06 |  36.07%|  28.62%
175.37/175.97	c   176s|  1900 |   222 |704216 | 226.4 |   124M |  75 |1480 |2144 |1796 | 807 |  0 |2272 |1570 | 2.157381e+06 | 2.899749e+06 |  34.41%|  29.01%
177.17/177.78	c   178s|  2000 |   218 |713706 | 222.2 |   124M |  75 |1480 |2267 |1798 | 818 |  0 |2425 |1620 | 2.157381e+06 | 2.899749e+06 |  34.41%|  29.01%
179.26/179.88	c   180s|  2100 |   212 |721647 | 217.8 |   124M |  75 |1480 |2314 |1798 | 824 |  2 |2530 |1674 | 2.180323e+06 | 2.899749e+06 |  33.00%|  29.04%
181.25/181.86	c   182s|  2200 |   212 |734500 | 215.1 |   124M |  75 |1480 |2220 |1797 | 846 |  3 |2558 |1697 | 2.193813e+06 | 2.899749e+06 |  32.18%|  29.50%
183.55/184.17	c   184s|  2300 |   220 |746456 | 212.3 |   124M |  75 |1480 |2249 |1795 | 858 |  2 |2597 |1722 | 2.193813e+06 | 2.899749e+06 |  32.18%|  29.50%
186.04/186.68	c   187s|  2400 |   224 |760019 | 210.1 |   124M |  86 |1480 |2311 |1800 | 869 |  0 |2668 |1763 | 2.221852e+06 | 2.899749e+06 |  30.51%|  29.53%
188.54/189.10	c   189s|  2500 |   228 |773161 | 207.9 |   125M |  91 |1480 |2289 |1800 | 884 |  1 |2700 |1798 | 2.227055e+06 | 2.899749e+06 |  30.21%|  29.87%
191.33/191.92	c   192s|  2600 |   234 |788176 | 206.4 |   125M |  92 |1480 |2255 |1798 | 897 |  1 |2714 |1824 | 2.227055e+06 | 2.899749e+06 |  30.21%|  32.79%
193.12/193.73	c   194s|  2700 |   232 |798315 | 203.6 |   125M |  95 |1480 |2308 |1798 | 903 |  0 |2808 |1854 | 2.227055e+06 | 2.899749e+06 |  30.21%|  32.79%
196.21/196.89	c   197s|  2800 |   222 |814173 | 202.5 |   125M |  95 |1480 |2056 |1793 | 929 |  1 |2911 |1911 | 2.237491e+06 | 2.899749e+06 |  29.60%|  35.88%
199.51/200.13	c   200s|  2900 |   218 |830414 | 201.5 |   125M |  95 |1480 |2046 |1753 | 936 |  1 |2988 |1971 | 2.241061e+06 | 2.899749e+06 |  29.39%|  39.18%
202.59/203.28	c   203s|  3000 |   212 |847814 | 200.8 |   125M |  95 |1480 |1990 |1782 | 995 |  1 |3052 |2015 | 2.250219e+06 | 2.899749e+06 |  28.87%|  40.83%
205.78/206.45	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
205.78/206.45	c   206s|  3100 |   188 |864175 | 199.9 |   126M |  95 |1480 |2041 |1816 |1006 |  0 |3186 |2076 | 2.273722e+06 | 2.899749e+06 |  27.53%|  44.89%
208.08/208.74	c   209s|  3200 |   186 |876431 | 198.2 |   126M |  95 |1480 |1968 |1768 |1041 |  1 |3247 |2106 | 2.292831e+06 | 2.899749e+06 |  26.47%|  46.29%
211.27/211.97	c   212s|  3300 |   153 |893768 | 197.6 |   126M |  95 |1480 |2011 |1799 |1092 |  0 |3360 |2174 | 2.312311e+06 | 2.899749e+06 |  25.40%|  51.35%
214.16/214.89	c   215s|  3400 |   110 |909690 | 196.8 |   127M |  95 |1480 |1922 |   0 |1135 |  0 |3413 |2213 | 2.363213e+06 | 2.899749e+06 |  22.70%|  60.82%
217.25/217.97	c   218s|  3500 |     5 |925127 | 195.8 |   127M |  95 |1480 |1972 |1796 |1135 |  2 |3613 |2306 | 2.794132e+06 | 2.899749e+06 |   3.78%|  99.84%
217.65/218.30	c 
217.65/218.30	c SCIP Status        : problem is solved [optimal solution found]
217.65/218.30	c Solving Time (sec) : 218.29
217.65/218.30	c Solving Nodes      : 3505 (total of 4631 nodes in 2 runs)
217.65/218.30	c Primal Bound       : +2.89974900000000e+06 (19 solutions)
217.65/218.30	c Dual Bound         : +2.89974900000000e+06
217.65/218.30	c Gap                : 0.00 %
217.65/218.30	s OPTIMUM FOUND
217.65/218.30	v -x4850 -x4749 -x4698 -x4647 -x4596 -x4545 -x4494 -x4443 -x4392 -x4341 -x4290 -x4189 -x4138 -x4087 -x4036 -x3985 -x3934 -x3883 -x3832 
217.65/218.30	v -x3781 -x3730 -x3629 -x3578 -x3527 -x3476 -x3425 -x3374 -x3323 -x3272 -x3221 -x3170 -x3069 -x3018 -x2967 -x2916 -x2865 
217.65/218.30	v -x2814 -x2763 -x2712 -x2661 -x2610 -x5059 -x5008 -x4957 -x4906 -x4855 -x4754 -x4203 -x3652 -x3101 -x2300 -x2199 -x2148 -x2097 
217.65/218.30	v -x2046 -x1995 -x1944 -x1893 -x1842 -x1791 -x1740 -x1639 -x1588 -x1537 -x1486 -x1435 -x1384 -x1333 -x1282 -x1231 -x1180 -x1079 
217.65/218.30	v -x1028 -x977 -x926 -x875 -x824 -x773 -x722 -x671 -x620 -x519 -x468 -x417 -x366 -x315 -x264 -x213 -x162 -x111 -x60 -x2509 -x2458 
217.65/218.30	v -x2407 -x2356 -x2305 -x2204 -x1653 -x1102 -x551 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 
217.65/218.30	v -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 
217.65/218.30	v -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 -x4842 -x4841 -x4840 x4839 -x4838 
217.65/218.30	v -x4837 -x4836 -x4835 -x4834 x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 
217.65/218.30	v -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 
217.65/218.30	v -x4801 -x4750 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737 -x4736 -x4735 -x4734 -x4733 
217.65/218.30	v -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4715 
217.65/218.30	v -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4697 -x4696 
217.65/218.30	v -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 
217.65/218.30	v -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 
217.65/218.30	v -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4646 -x4645 -x4644 -x4643 -x4642 
217.65/218.30	v -x4641 -x4640 -x4639 -x4638 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4625 -x4624 
217.65/218.30	v -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 
217.65/218.30	v -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 
217.65/218.30	v -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 
217.65/218.30	v -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 
217.65/218.30	v -x4550 -x4549 -x4548 -x4547 -x4546 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 
217.65/218.30	v -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 
217.65/218.30	v -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 
217.65/218.30	v -x4496 -x4495 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 
217.65/218.30	v -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 
217.65/218.30	v -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446 -x4445 -x4444 -x4442 -x4441 
217.65/218.30	v -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 
217.65/218.30	v -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 
217.65/218.30	v -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4391 -x4390 -x4389 -x4388 -x4387 
217.65/218.30	v -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 
217.65/218.30	v -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 
217.65/218.30	v -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4340 -x4339 -x4338 -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 
217.65/218.30	v -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 
217.65/218.30	v -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 
217.65/218.30	v -x4295 -x4294 -x4293 -x4292 -x4291 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 
217.65/218.30	v -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 
217.65/218.30	v -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 
217.65/218.30	v -x4191 -x4190 -x4188 -x4187 -x4186 -x4185 -x4184 x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 x4175 -x4174 -x4173 
217.65/218.30	v -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158 -x4157 -x4156 -x4155 
217.65/218.30	v -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4137 -x4136 
217.65/218.30	v -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 
217.65/218.30	v -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4102 -x4101 -x4100 
217.65/218.30	v -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 
217.65/218.30	v -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 
217.65/218.30	v -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 
217.65/218.30	v -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 
217.65/218.30	v -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 -x4012 -x4011 -x4010 -x4009 
217.65/218.30	v -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3991 
217.65/218.30	v -x3990 -x3989 -x3988 -x3987 -x3986 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 
217.65/218.30	v -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 
217.65/218.30	v -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 
217.65/218.30	v -x3935 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 
217.65/218.30	v -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 x3900 
217.65/218.30	v -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3892 -x3891 -x3890 x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3882 -x3881 
217.65/218.30	v -x3880 -x3879 -x3878 -x3877 -x3876 x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 
217.65/218.30	v -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 
217.65/218.30	v -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 
217.65/218.30	v -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 
217.65/218.30	v -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 
217.65/218.30	v -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 
217.65/218.30	v -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 
217.65/218.30	v -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 
217.65/218.30	v -x3735 -x3734 -x3733 -x3732 -x3731 -x3729 -x3728 -x3727 -x3726 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 
217.65/218.30	v -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3650 -x3649 
217.65/218.30	v -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 
217.65/218.30	v -x3630 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3614 -x3613 -x3612 
217.65/218.30	v -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 
217.65/218.30	v -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 -x3577 -x3576 -x3575 
217.65/218.30	v -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3559 -x3558 
217.65/218.30	v -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 
217.65/218.30	v -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 
217.65/218.30	v -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 
217.65/218.30	v -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489 -x3488 -x3487 -x3486 -x3485 
217.65/218.30	v -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3475 -x3474 -x3473 -x3472 -x3471 -x3470 -x3469 -x3468 -x3467 -x3466 
217.65/218.30	v -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 
217.65/218.30	v -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 x3439 -x3438 -x3437 -x3436 -x3435 -x3434 x3433 -x3432 -x3431 -x3430 
217.65/218.30	v -x3429 -x3428 -x3427 -x3426 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 
217.65/218.30	v -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 
217.65/218.30	v -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381 -x3380 -x3379 -x3378 -x3377 -x3376 
217.65/218.30	v -x3375 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 
217.65/218.30	v -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 
217.65/218.30	v -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 -x3325 -x3324 -x3322 -x3321 -x3320 
217.65/218.30	v -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 
217.65/218.30	v -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 
217.65/218.30	v -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 
217.65/218.30	v -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 
217.65/218.30	v -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 
217.65/218.30	v -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 
217.65/218.30	v -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 
217.65/218.30	v -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 
217.65/218.30	v -x3174 -x3173 -x3172 -x3171 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 
217.65/218.30	v -x3155 -x3154 -x3153 -x3152 -x3151 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 
217.65/218.30	v -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 
217.65/218.30	v -x3070 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 
217.65/218.30	v -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 
217.65/218.30	v -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3017 -x3016 -x3015 
217.65/218.30	v -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 
217.65/218.30	v -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 
217.65/218.30	v -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 
217.65/218.30	v -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 
217.65/218.30	v -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 
217.65/218.30	v -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 
217.65/218.30	v -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 
217.65/218.30	v -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 
217.65/218.30	v -x2869 -x2868 -x2867 -x2866 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 
217.65/218.30	v -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 
217.65/218.30	v -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 
217.65/218.30	v -x2815 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 
217.65/218.30	v -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 
217.65/218.30	v -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2762 -x2761 -x2760 
217.65/218.30	v -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 
217.65/218.30	v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 
217.65/218.30	v -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 
217.65/218.30	v -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 
217.65/218.30	v -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 
217.65/218.30	v -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 
217.65/218.30	v -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 
217.65/218.30	v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 
217.65/218.30	v -x2614 -x2613 -x2612 -x2611 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x5100 -x5099 -x5098 -x5097 -x5096 
217.65/218.30	v -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 
217.65/218.30	v -x5078 -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 
217.65/218.30	v -x5060 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 
217.65/218.30	v -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 
217.65/218.30	v -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5007 -x5006 -x5005 
217.65/218.30	v -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 
217.65/218.30	v -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969 
217.65/218.30	v -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 
217.65/218.30	v -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 
217.65/218.30	v -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 
217.65/218.30	v -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 
217.65/218.30	v -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 
217.65/218.30	v -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 
217.65/218.30	v -x4859 -x4858 -x4857 -x4856 -x4854 -x4853 -x4852 -x4851 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 
217.65/218.30	v -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 
217.65/218.30	v -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 
217.65/218.30	v -x4755 -x4753 -x4752 -x4751 -x4250 -x4249 -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 
217.65/218.30	v -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 
217.65/218.30	v -x4218 -x4217 -x4216 -x4215 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4202 -x4201 -x3700 
217.65/218.30	v -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 
217.65/218.30	v -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 
217.65/218.30	v -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3651 -x3150 -x3149 -x3148 -x3147 -x3146 
217.65/218.30	v -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128 
217.65/218.30	v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 
217.65/218.30	v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 
217.65/218.30	v -x2590 x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 x2575 -x2574 -x2573 
217.65/218.30	v -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 
217.65/218.30	v -x2554 -x2553 -x2552 -x2551 x2299 -x2298 x2297 x2296 x2295 -x2294 x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 x2286 -x2285 
217.65/218.30	v -x2284 -x2283 -x2282 -x2281 x2280 -x2279 -x2278 -x2277 x2276 -x2275 -x2274 x2273 -x2272 -x2271 x2270 -x2269 -x2268 -x2267 
217.65/218.30	v x2266 -x2265 -x2264 x2263 x2262 -x2261 -x2260 -x2259 x2258 -x2257 -x2256 x2255 -x2254 -x2253 -x2252 x2251 x2200 -x2198 -x2197 
217.65/218.30	v -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 
217.65/218.30	v -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 
217.65/218.30	v -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 
217.65/218.30	v -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 x2125 -x2124 
217.65/218.30	v -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 
217.65/218.30	v -x2105 -x2104 -x2103 -x2102 -x2101 x2100 -x2099 -x2098 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 
217.65/218.30	v -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 
217.65/218.30	v -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 
217.65/218.30	v -x2051 x2050 -x2049 -x2048 -x2047 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 
217.65/218.30	v -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 
217.65/218.30	v -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2002 -x2001 x2000 -x1999 -x1998 -x1997 
217.65/218.30	v -x1996 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 
217.65/218.30	v -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 
217.65/218.30	v -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1943 -x1942 -x1941 
217.65/218.30	v -x1940 x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 
217.65/218.30	v -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 
217.65/218.30	v -x1904 -x1903 -x1902 -x1901 x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 
217.65/218.30	v -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 
217.65/218.30	v -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 
217.65/218.30	v -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 
217.65/218.30	v -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 
217.65/218.30	v -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 
217.65/218.30	v -x1795 -x1794 -x1793 -x1792 -x1790 x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 
217.65/218.30	v -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 
217.65/218.30	v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 
217.65/218.30	v -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 x1725 -x1724 -x1723 -x1722 
217.65/218.30	v -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 
217.65/218.30	v -x1703 -x1702 -x1701 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 x1644 -x1643 -x1642 x1641 -x1640 x1638 -x1637 -x1636 x1635 
217.65/218.30	v x1634 -x1633 -x1632 x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 x1624 -x1623 x1622 x1621 -x1620 x1619 -x1618 x1617 -x1616 
217.65/218.30	v -x1615 -x1614 -x1613 -x1612 x1611 -x1610 -x1609 -x1608 -x1607 x1606 -x1605 -x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 
217.65/218.30	v -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 x1589 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 
217.65/218.30	v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 
217.65/218.30	v -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 
217.65/218.30	v -x1542 -x1541 -x1540 -x1539 -x1538 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 x1525 -x1524 
217.65/218.30	v -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 
217.65/218.30	v -x1505 -x1504 -x1503 -x1502 -x1501 x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 
217.65/218.30	v -x1487 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 
217.65/218.30	v -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 
217.65/218.30	v -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 x1439 -x1438 -x1437 -x1436 -x1434 -x1433 
217.65/218.30	v -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 
217.65/218.30	v -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 
217.65/218.30	v -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 x1389 -x1388 -x1387 -x1386 -x1385 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 
217.65/218.30	v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 
217.65/218.30	v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 
217.65/218.30	v -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 
217.65/218.30	v -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 
217.65/218.30	v -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 
217.65/218.30	v -x1287 -x1286 -x1285 -x1284 -x1283 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 
217.65/218.30	v -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 
217.65/218.30	v -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 
217.65/218.30	v -x1232 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 
217.65/218.30	v -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 x1200 -x1199 -x1198 -x1197 -x1196 
217.65/218.30	v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1179 -x1178 -x1177 
217.65/218.30	v -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 
217.65/218.30	v -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 
217.65/218.30	v -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1078 -x1077 -x1076 x1075 -x1074 -x1073 -x1072 
217.65/218.30	v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 
217.65/218.30	v -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 
217.65/218.30	v -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1027 -x1026 x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 
217.65/218.30	v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 
217.65/218.30	v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 
217.65/218.30	v -x978 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 
217.65/218.30	v -x956 -x955 -x954 -x953 -x952 -x951 x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 
217.65/218.30	v -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 
217.65/218.30	v -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 
217.65/218.30	v x892 -x891 x890 -x889 -x888 x887 -x886 -x885 -x884 -x883 x882 -x881 -x880 x879 x878 x877 -x876 -x874 -x873 -x872 -x871 -x870 
217.65/218.30	v -x869 x868 -x867 -x866 x865 x864 -x863 -x862 -x861 x860 x859 -x858 x857 -x856 -x855 x854 x853 -x852 -x851 -x850 -x849 -x848 
217.65/218.30	v -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 
217.65/218.30	v -x826 -x825 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 
217.65/218.30	v -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 
217.65/218.30	v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 
217.65/218.30	v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 
217.65/218.30	v -x740 x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x721 -x720 -x719 
217.65/218.30	v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 
217.65/218.30	v -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 
217.65/218.30	v -x677 -x676 -x675 -x674 -x673 -x672 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 
217.65/218.30	v -x655 -x654 -x653 -x652 -x651 x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 
217.65/218.30	v -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x619 -x618 -x617 -x616 -x615 -x614 -x613 
217.65/218.30	v -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 
217.65/218.30	v -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 
217.65/218.30	v -x520 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 
217.65/218.30	v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 
217.65/218.30	v -x477 -x476 x475 -x474 -x473 -x472 -x471 -x470 -x469 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 
217.65/218.30	v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436 -x435 
217.65/218.30	v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x416 -x415 -x414 
217.65/218.30	v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 
217.65/218.30	v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 
217.65/218.30	v -x371 -x370 -x369 -x368 -x367 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 
217.65/218.30	v -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 
217.65/218.30	v -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 
217.65/218.30	v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 
217.65/218.30	v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 
217.65/218.30	v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 
217.65/218.30	v -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 
217.65/218.30	v -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 
217.65/218.30	v x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 
217.65/218.30	v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x161 -x160 -x159 -x158 
217.65/218.30	v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 
217.65/218.30	v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 
217.65/218.30	v -x115 -x114 -x113 -x112 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 
217.65/218.30	v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 
217.65/218.30	v -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 
217.65/218.30	v -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 
217.65/218.30	v x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2508 -x2507 
217.65/218.30	v -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 
217.65/218.30	v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 
217.65/218.30	v -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2457 -x2456 -x2455 -x2454 -x2453 
217.65/218.30	v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 
217.65/218.30	v -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 
217.65/218.30	v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 
217.65/218.30	v -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 
217.65/218.30	v -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 
217.65/218.30	v -x2361 -x2360 -x2359 -x2358 -x2357 -x2355 -x2354 -x2353 -x2352 -x2351 x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 
217.65/218.30	v -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 
217.65/218.30	v -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 
217.65/218.30	v -x2306 -x2304 -x2303 -x2302 -x2301 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 
217.65/218.30	v -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 x2225 -x2224 -x2223 -x2222 -x2221 
217.65/218.30	v -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2203 -x2202 
217.65/218.30	v -x2201 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 
217.65/218.30	v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 
217.65/218.30	v -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1652 -x1651 -x1150 -x1149 -x1148 -x1147 
217.65/218.30	v -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 
217.65/218.30	v -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 
217.65/218.30	v -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1101 x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 
217.65/218.30	v -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 
217.65/218.30	v -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 
217.65/218.30	c SCIP Status        : problem is solved [optimal solution found]
217.65/218.30	c Total Time         :     218.29
217.65/218.30	c   solving          :     218.29
217.65/218.30	c   presolving       :       0.24 (included in solving)
217.65/218.30	c   reading          :       0.02 (included in solving)
217.65/218.30	c   copying          :       0.18 (23 #copies) (minimal 0.01, maximal 0.01, average 0.01)
217.65/218.30	c Original Problem   :
217.65/218.30	c   Problem name     : HOME/instance-4503892-1751434407.opb
217.65/218.30	c   Variables        : 5100 (5100 binary, 0 integer, 0 implicit integer, 0 continuous)
217.65/218.30	c   Constraints      : 7606 initial, 7606 maximal
217.65/218.30	c   Objective        : minimize, 4950 non-zeros (abs.min = 1, abs.max = 1.43878e+08)
217.65/218.30	c Presolved Problem  :
217.65/218.30	c   Problem name     : t_HOME/instance-4503892-1751434407.opb
217.65/218.30	c   Variables        : 1480 (1480 binary, 0 integer, 0 implicit integer, 0 continuous)
217.65/218.30	c   Constraints      : 1792 initial, 2338 maximal
217.65/218.30	c   Objective        : minimize, 1384 non-zeros (abs.min = 36, abs.max = 970299)
217.65/218.30	c   Nonzeros         : 17274 constraint, 328 clique table
217.65/218.30	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
217.65/218.30	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   domcol           :       0.05       0.00      2          0          0          0          0          0          0          0          0          0
217.65/218.30	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   dualsparsify     :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
217.65/218.30	c   gateextraction   :       0.00       0.00      5          0          0          0          0          0          2          1          0          0
217.65/218.30	c   implics          :       0.00       0.00      8          0          0          0          0          0          0          0          0          0
217.65/218.30	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   milp             :       0.02       0.00      2          0          0          0          0          0          0          0          0          0
217.65/218.30	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   sparsify         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
217.65/218.30	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   trivial          :       0.00       0.00     12       1064          0          0          0          0          0          0          0          0
217.65/218.30	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   dualfix          :       0.00       0.00     12          0          0          0          0          0          0          0          0          0
217.65/218.30	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   probing          :       0.03       0.00      1          0          0          0          0          0          0          0          0          0
217.65/218.30	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
217.65/218.30	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
217.65/218.30	c   vbounds          :       0.00       0.00      2          0          2          0          0          0          0          0          0          0
217.65/218.30	c   knapsack         :       0.01       0.00     21          3          0          0          0          0       1072          9          7         18
217.65/218.30	c   setppc           :       0.00       0.00     21          0          0          0          0          0          6          0          0          0
217.65/218.30	c   linear           :       0.04       0.00     17        100       2450          0        100          0       4902          0       1225       1226
217.65/218.30	c   logicor          :       0.02       0.00     20          1          0          0          0          0         10          0          0        806
217.65/218.30	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   components       :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
217.65/218.30	c   root node        :          -          -      -       2465          -          -       2465          -          -          -          -          -
217.65/218.30	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
217.65/218.30	c   benderslp        :          0          0          0          0       2801          0          0        353          0          0          0          0          0          0          0
217.65/218.30	c   integral         :          0          0          0          0       2801          0          0        353          0          0       5539          0          0       2113       4756
217.65/218.30	c   knapsack         :        357        357         44      28759         10          0          0        346      26067        269      81955        878         87          0          0
217.65/218.30	c   setppc           :         51+        68         44      26677          3          0          0         27       1801         32       4822          0          0          0          0
217.65/218.30	c   linear           :          8+        10         44      28458         10          0          0         27       5752        392      18958          0          0          0          0
217.65/218.30	c   logicor          :       1376+      1922         44      15153         10          0          0         24      21472        193     418032          4          2          0          0
217.65/218.30	c   benders          :          0          0          0          0         10          0          0         26          0          0          0          0          0          0          0
217.65/218.30	c   fixedvar         :          0          0          0          0         10          0          0         26          0          0          0          0          0          0          0
217.65/218.30	c   countsols        :          0          0          0          0         10          0          0         26          0          0          0          0          0          0          0
217.65/218.30	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
217.65/218.30	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
217.65/218.30	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
217.65/218.30	c   integral         :      79.02       0.00       0.00       0.00      79.02       0.00       0.00       0.00       0.00       0.00
217.65/218.30	c   knapsack         :       0.98       0.00       0.20       0.54       0.00       0.00       0.00       0.01       0.02       0.21
217.65/218.30	c   setppc           :       0.03       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.01
217.65/218.30	c   linear           :       0.45       0.00       0.10       0.28       0.00       0.00       0.00       0.00       0.01       0.06
217.65/218.30	c   logicor          :       1.13       0.00       0.01       0.75       0.00       0.00       0.00       0.00       0.01       0.35
217.65/218.30	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
217.65/218.30	c   fixedvar         :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
217.65/218.30	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
217.65/218.30	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
217.65/218.30	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
217.65/218.30	c   dualfix          :          4          0          0          0
217.65/218.30	c   genvbounds       :          0          0          0          0
217.65/218.30	c   nlobbt           :          0          0          0          0
217.65/218.30	c   obbt             :          0          0          0          0
217.65/218.30	c   probing          :          0          0          0          0
217.65/218.30	c   pseudoobj        :      19228         13          2         84
217.65/218.30	c   redcost          :       9926          0          0     119673
217.65/218.30	c   rootredcost      :         15          0          0       1081
217.65/218.30	c   symmetry         :          0          0          0          0
217.65/218.30	c   vbounds          :       9519          0          0          0
217.65/218.30	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
217.65/218.30	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
217.65/218.30	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
217.65/218.30	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
217.65/218.30	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
217.65/218.30	c   probing          :       0.03       0.00       0.03       0.00       0.00       0.00
217.65/218.30	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00       0.00
217.65/218.30	c   redcost          :       0.44       0.00       0.00       0.44       0.00       0.00
217.65/218.30	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
217.65/218.30	c   symmetry         :       0.01       0.00       0.01       0.00       0.00       0.00
217.65/218.30	c   vbounds          :       0.02       0.00       0.00       0.02       0.00       0.00
217.65/218.30	c Symmetry           :
217.65/218.30	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
217.65/218.30	c   orbital reduction:          0 reductions applied,          0 cutoffs
217.65/218.30	c   lexicographic red:          0 reductions applied,          0 cutoffs
217.65/218.30	c   shadow tree time :       0.00 s
217.65/218.30	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
217.65/218.30	c   propagation      :       0.06        510        498          -       2472      122.7         22       13.0          -          -          -
217.65/218.30	c   infeasible LP    :       0.02         24         23          -        179      134.8          0        0.0         12      201.9          0
217.65/218.30	c   bound exceed. LP :       1.94       1295        320          -       3639      106.6         16        3.4          0        0.0       9320
217.65/218.30	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
217.65/218.30	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
217.65/218.30	c   applied globally :       0.02          -          -          0       3619       94.4          -          -         12          -          -
217.65/218.30	c   applied locally  :          -          -          -          0          1      755.0          -          -          0          -          -
217.65/218.30	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
217.65/218.30	c   cut pool         :       0.14          -        952         82          -          -       2962       7654          -          -          -          -          -    (maximal pool size:        946)
217.65/218.30	c   aggregation      :       1.88       0.00        194         44          0          0        691       2676          0        975        975          0          0
217.65/218.30	c   > cmir           :          -          -          -          -          -          -          -        888          0        209        209          0          -
217.65/218.30	c   > flowcover      :          -          -          -          -          -          -          -        983          0        279        279          0          -
217.65/218.30	c   > knapsackcover  :          -          -          -          -          -          -          -        805          0        487        487          0          -
217.65/218.30	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   clique           :       0.00       0.00         44         44          0          0          2         10          0          2          2          0          0
217.65/218.30	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   gomory           :       6.60       0.00        140         20          0          0       2016       4160          0         94         94          0          0
217.65/218.30	c   > gomorymi       :          -          -          -          -          -          -          -       2100          0         68         68          0          -
217.65/218.30	c   > strongcg       :          -          -          -          -          -          -          -       2060          0         26         26          0          -
217.65/218.30	c   impliedbounds    :       0.01       0.00        194         44          0          1          6          8          0          6          6          0          0
217.65/218.30	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
217.65/218.30	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   multilinear      :       0.00       0.00        144         44          0          0          0          0          0          0          0          0          0
217.65/218.30	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   rapidlearning    :       0.01       0.00          0          0          0          0          0          0          0          0          0          0          0
217.65/218.30	c   rlt              :       0.00       0.00         59         20          0          0          0          0          0          0          0          0          0
217.65/218.30	c   zerohalf         :       1.33       0.00        160         40          0          0        247        800          0        436        436          0          0
217.65/218.30	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
217.65/218.30	c   hybrid           :       0.01       0.00        508         42       1602          0       6934        257          0       1332
217.65/218.30	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c Pricers            :   ExecTime  SetupTime      Calls       Vars
217.65/218.30	c   problem variables:       0.00          -          0          0
217.65/218.30	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
217.65/218.30	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c   relpscost        :      79.02       0.00       2791          0          0          0       5539          0       2325       4756
217.65/218.30	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
217.65/218.30	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
217.65/218.30	c   LP solutions     :       0.00          -          -         10         10
217.65/218.30	c   relax solutions  :       0.00          -          -          0          0
217.65/218.30	c   pseudo solutions :       0.00          -          -          0          0
217.65/218.30	c   strong branching :       0.00          -          -          2          2
217.65/218.30	c   actconsdiving    :       0.00       0.00          0          0          0
217.65/218.30	c   adaptivediving   :       0.85       0.00          4          0          0
217.65/218.30	c   alns             :       1.93       0.00          5          0          0
217.65/218.30	c   bound            :       0.00       0.00          0          0          0
217.65/218.30	c   clique           :       0.02       0.00          1          1          1
217.65/218.30	c   coefdiving       :       0.00       0.00          0          0          0
217.65/218.30	c   completesol      :       0.00       0.00          0          0          0
217.65/218.30	c   conflictdiving   :       1.31       0.00          3          0          0
217.65/218.30	c   crossover        :       0.16       0.00          9          0          0
217.65/218.30	c   dins             :       0.00       0.00          0          0          0
217.65/218.30	c   distributiondivin:       0.61       0.00          2          0          0
217.65/218.30	c   dps              :       0.00       0.00          0          0          0
217.65/218.30	c   dualval          :       0.00       0.00          0          0          0
217.65/218.30	c   farkasdiving     :       3.41       0.00          2          0          0
217.65/218.30	c   feasjump         :       0.00       0.00          0          0          0
217.65/218.30	c   feaspump         :       1.32       0.00          1          0          0
217.65/218.30	c   fixandinfer      :       0.00       0.00          0          0          0
217.65/218.30	c   fracdiving       :       0.35       0.00          3          0          0
217.65/218.30	c   gins             :       0.02       0.00          1          0          0
217.65/218.30	c   guideddiving     :       0.02       0.00          2          0          0
217.65/218.30	c   indcoefdiving    :       0.00       0.00          0          0          0
217.65/218.30	c   indicator        :       0.00       0.00          0          0          0
217.65/218.30	c   indicatordiving  :       0.00       0.00          0          0          0
217.65/218.30	c   indoneopt        :       0.00       0.00          0          0          0
217.65/218.30	c   indrounding      :       0.00       0.00          0          0          0
217.65/218.30	c   indtwoopt        :       0.00       0.00          0          0          0
217.65/218.30	c   intdiving        :       0.00       0.00          0          0          0
217.65/218.30	c   intshifting      :       0.00       0.00          0          0          0
217.65/218.30	c   linesearchdiving :       0.08       0.00          2          0          0
217.65/218.30	c   localbranching   :       0.00       0.00          0          0          0
217.65/218.30	c   locks            :       0.01       0.00          1          0          0
217.65/218.30	c   lpface           :       0.00       0.00          0          0          0
217.65/218.30	c   mpec             :       0.00       0.00          0          0          0
217.65/218.30	c   multistart       :       0.00       0.00          0          0          0
217.65/218.30	c   mutation         :       0.00       0.00          0          0          0
217.65/218.30	c   nlpdiving        :       0.00       0.00          0          0          0
217.65/218.30	c   objpscostdiving  :       0.76       0.00          2          0          0
217.65/218.30	c   octane           :       0.00       0.00          0          0          0
217.65/218.30	c   ofins            :       0.00       0.00          0          0          0
217.65/218.30	c   oneopt           :       0.01       0.00         14          0          0
217.65/218.30	c   padm             :       0.00       0.00          0          0          0
217.65/218.30	c   proximity        :       0.00       0.00          0          0          0
217.65/218.30	c   pscostdiving     :       0.36       0.00          3          1          1
217.65/218.30	c   randrounding     :       0.11       0.00        356          0          0
217.65/218.30	c   rens             :       0.23       0.00          2          0          0
217.65/218.30	c   reoptsols        :       0.00       0.00          0          0          0
217.65/218.30	c   repair           :       0.00       0.00          0          0          0
217.65/218.30	c   rins             :       0.75       0.00          6          4          0
217.65/218.30	c   rootsoldiving    :       1.76       0.00          2          1          0
217.65/218.30	c   rounding         :       0.15       0.00        803          0          0
217.65/218.30	c   scheduler        :       0.00       0.00          0          0          0
217.65/218.30	c   shiftandpropagate:       0.00       0.00          0          0          0
217.65/218.30	c   shifting         :       1.13       0.00        344          0          0
217.65/218.30	c   simplerounding   :       0.00       0.00          0          0          0
217.65/218.30	c   smallcard        :       0.00       0.00          0          0          0
217.65/218.30	c   subnlp           :       0.00       0.00          0          0          0
217.65/218.30	c   trivial          :       0.00       0.00          4          0          0
217.65/218.30	c   trivialnegation  :       0.00       0.00          0          0          0
217.65/218.30	c   trustregion      :       0.00       0.00          0          0          0
217.65/218.30	c   trysol           :       0.00       0.00          0          0          0
217.65/218.30	c   twoopt           :       0.00       0.00          0          0          0
217.65/218.30	c   undercover       :       0.00       0.00          0          0          0
217.65/218.30	c   vbounds          :       0.00       0.00          0          0          0
217.65/218.30	c   veclendiving     :       0.12       0.00          2          0          0
217.65/218.30	c   zeroobj          :       0.00       0.00          0          0          0
217.65/218.30	c   zirounding       :       0.06       0.00       1000          0          0
217.65/218.30	c   other solutions  :          -          -          -          0          -
217.65/218.30	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
217.65/218.30	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
217.65/218.30	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
217.65/218.30	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
217.65/218.30	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
217.65/218.30	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
217.65/218.30	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
217.65/218.30	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
217.65/218.30	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
217.65/218.30	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
217.65/218.30	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
217.65/218.30	c   primal LP        :       0.24        265          0       0.00       0.00       0.24        265
217.65/218.30	c   dual LP          :     107.45       8554     838948     153.79    7807.94       1.54       3099
217.65/218.30	c   lex dual LP      :       0.00          0          0       0.00          -
217.65/218.30	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
217.65/218.30	c   resolve instable :       0.00          0          0       0.00          -
217.65/218.30	c   diving/probing LP:      10.99        726      87270     120.21    7939.90
217.65/218.30	c   strong branching :      74.44       2328     552433     237.30    7420.73          -          -        740
217.65/218.30	c     (at root node) :          -         48      33975     707.81          -
217.65/218.30	c   conflict analysis:       1.36        934       9320       9.98    6851.88
217.65/218.30	c B&B Tree           :
217.65/218.30	c   number of runs   :          2
217.65/218.30	c   nodes            :       3505 (1760 internal, 1745 leaves)
217.65/218.30	c   feasible leaves  :          4
217.65/218.30	c   infeas. leaves   :        334
217.65/218.30	c   objective leaves :       1407
217.65/218.30	c   nodes (total)    :       4631 (2378 internal, 2253 leaves)
217.65/218.30	c   nodes left       :          0
217.65/218.30	c   max depth        :         95
217.65/218.30	c   max depth (total):        152
217.65/218.30	c   backtracks       :        567 (16.2%)
217.65/218.30	c   early backtracks :          0 (0.0%)
217.65/218.30	c   nodes exc. ref.  :          0 (0.0%)
217.65/218.30	c   delayed cutoffs  :          9
217.65/218.30	c   repropagations   :        964 (6061 domain reductions, 3 cutoffs)
217.65/218.30	c   avg switch length:       5.31
217.65/218.30	c   switching time   :       1.22
217.65/218.30	c Root Node          :
217.65/218.30	c   First LP value   : +1.46401127120857e+06
217.65/218.30	c   First LP Iters   :       3214 (7720.71 Iter/sec)
217.65/218.30	c   First LP Time    :       0.42
217.65/218.30	c   Final Dual Bound : +1.86286195573846e+06
217.65/218.30	c   Final Root Iters :      19391
217.65/218.30	c   Root LP Estimate : +6.45230016108826e+06
217.65/218.30	c Solution           :
217.65/218.30	c   Solutions found  :         19 (14 improvements)
217.65/218.30	c   First Solution   : +3.06093145000000e+08   (in run 1, after 1 nodes, 0.24 seconds, depth 6, found by <clique>)
217.65/218.30	c   Gap First Sol.   :   infinite
217.65/218.30	c   Gap Last Sol.    :      40.28 %
217.65/218.30	c   Primal Bound     : +2.89974900000000e+06   (in run 2, after 3505 nodes, 218.29 seconds, depth -1, found by <relaxation>)
217.65/218.30	c   Dual Bound       : +2.89974900000000e+06
217.65/218.30	c   Gap              :       0.00 %
217.65/218.30	c Integrals          :      Total       Avg%
217.65/218.30	c   primal-dual      :   10854.01      49.72
217.65/218.30	c   primal-ref       :          -          - (not evaluated)
217.65/218.30	c   dual-ref         :          -          - (not evaluated)
217.65/218.32	c Time complete: 217.682.

Verifier Data 

OK	2899749

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: 63665 MiB (54930 MiB free)
  memory of node 1: 64507 MiB (55682 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503892-1751434407/watcher-4503892-1751434407 -o /tmp/evaluation-result-4503892-1751434407/solver-4503892-1751434407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751426802-65543 --watchdog 3760 pbscip -f HOME/instance-4503892-1751434407.opb -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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=67117, runsolver pid=67114
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.11 4.11 4.09 5/263 67118
/proc/meminfo: memFree=113232172/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=76072 memory=49804 CPUtime=0.09 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 9671 0 0 0 8 1 0 0 20 0 1 0 59118553 77897728 12451 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 19018 12451 3776 3530 0 10469 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76072 KiB
Current children cumulated memory: 49804 KiB

[startup+0.205496 s]*
/proc/loadavg: 4.11 4.11 4.09 5/263 67118
/proc/meminfo: memFree=113224360/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=88912 memory=60556 CPUtime=0.19 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 12412 0 0 0 18 1 0 0 20 0 1 0 59118553 91045888 15139 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 22228 15139 3776 3530 0 13679 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 88912 KiB
Current children cumulated memory: 60556 KiB

[startup+0.30546 s]*
/proc/loadavg: 4.11 4.11 4.09 5/263 67118
/proc/meminfo: memFree=113208996/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=103848 memory=72000 CPUtime=0.3 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 15403 0 0 0 28 2 0 0 20 0 1 0 59118553 106340352 18000 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 25962 18000 3936 3530 0 17413 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 103848 KiB
Current children cumulated memory: 72000 KiB

[startup+0.700143 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 67118
/proc/meminfo: memFree=113208996/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=105864 memory=73920 CPUtime=0.69 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 15881 0 0 0 67 2 0 0 20 0 1 0 59118553 108404736 18480 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 26466 18480 3936 3530 0 17917 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 105864 KiB
Current children cumulated memory: 73920 KiB

[startup+1.50014 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 67118
/proc/meminfo: memFree=113200932/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=111228 memory=78912 CPUtime=1.48 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 17142 0 0 0 146 2 0 0 20 0 1 0 59118553 113897472 19728 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 27807 19728 3936 3530 0 19258 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 111228 KiB
Current children cumulated memory: 78912 KiB

[startup+3.1054 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 67118
/proc/meminfo: memFree=113186320/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=122540 memory=90176 CPUtime=3.08 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 20033 0 0 0 306 2 0 0 20 0 1 0 59118553 125480960 22544 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 30635 22544 3936 3530 0 22086 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 122540 KiB
Current children cumulated memory: 90176 KiB

[startup+6.30011 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 67118
/proc/meminfo: memFree=113179012/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=124216 memory=91840 CPUtime=6.26 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 20453 0 0 0 624 2 0 0 20 0 1 0 59118553 127197184 22960 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 31054 22960 3936 3530 0 22505 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 124216 KiB
Current children cumulated memory: 91840 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 67118
/proc/meminfo: memFree=113146384/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=136368 memory=103424 CPUtime=12.64 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 24524 0 0 0 1261 3 0 0 20 0 1 0 59118553 139640832 25856 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 34092 25856 3968 3530 0 25543 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 136368 KiB
Current children cumulated memory: 103424 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 67118
/proc/meminfo: memFree=113146696/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=136368 memory=103424 CPUtime=25.41 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 24526 0 0 0 2538 3 0 0 20 0 1 0 59118553 139640832 25856 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 34092 25856 3968 3530 0 25543 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 136368 KiB
Current children cumulated memory: 103424 KiB

[startup+51.1053 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 67118
/proc/meminfo: memFree=113124280/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=145720 memory=113536 CPUtime=50.94 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 27039 0 0 0 5090 4 0 0 20 0 1 0 59118553 149217280 28384 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 36430 28384 3968 3530 0 27881 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 145720 KiB
Current children cumulated memory: 113536 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 67120
/proc/meminfo: memFree=113132264/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=171244 memory=136960 CPUtime=101.98 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 32918 0 0 0 10193 5 0 0 20 0 1 0 59118553 175353856 34240 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 42811 34240 3968 3530 0 34262 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 171244 KiB
Current children cumulated memory: 136960 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/266 67129
/proc/meminfo: memFree=113090908/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=179480 memory=145408 CPUtime=161.81 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 35036 0 0 0 16176 5 0 0 20 0 1 0 59118553 183787520 36352 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 44870 36352 3968 3530 0 36321 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 179480 KiB
Current children cumulated memory: 145408 KiB

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

# cumulated CPU time of all completed processes:  user=217.62 s, system=0.072723 s

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

[startup+179.2 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 67129
/proc/meminfo: memFree=113082980/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=184484 memory=151424 CPUtime=178.66 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 36536 0 0 0 17860 6 0 0 20 0 1 0 59118553 188911616 37856 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 46121 37856 3968 3530 0 37572 0
Current children cumulated CPU time: 178.66 s
Current children cumulated vsize: 184484 KiB
Current children cumulated memory: 151424 KiB

[startup+204.8 s]
/proc/loadavg: 4.15 4.11 4.09 5/266 67131
/proc/meminfo: memFree=113096764/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=184484 memory=151424 CPUtime=204.19 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 36541 0 0 0 20413 6 0 0 20 0 1 0 59118553 188911616 37856 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 46121 37856 3968 3530 0 37572 0
Current children cumulated CPU time: 204.19 s
Current children cumulated vsize: 184484 KiB
Current children cumulated memory: 151424 KiB

[startup+211.2 s]
/proc/loadavg: 4.14 4.11 4.09 5/266 67131
/proc/meminfo: memFree=113094248/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=184484 memory=151424 CPUtime=210.57 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 36541 0 0 0 21051 6 0 0 20 0 1 0 59118553 188911616 37856 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 46121 37856 3968 3530 0 37572 0
Current children cumulated CPU time: 210.57 s
Current children cumulated vsize: 184484 KiB
Current children cumulated memory: 151424 KiB

[startup+214.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 67131
/proc/meminfo: memFree=113102564/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=184484 memory=151424 CPUtime=213.76 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 36541 0 0 0 21370 6 0 0 20 0 1 0 59118553 188911616 37856 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 46121 37856 3968 3530 0 37572 0
Current children cumulated CPU time: 213.76 s
Current children cumulated vsize: 184484 KiB
Current children cumulated memory: 151424 KiB

[startup+216 s]*
/proc/loadavg: 4.13 4.11 4.09 5/266 67131
/proc/meminfo: memFree=113103068/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=184484 memory=151424 CPUtime=215.36 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 36541 0 0 0 21530 6 0 0 20 0 1 0 59118553 188911616 37856 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 46121 37856 3968 3530 0 37572 0
Current children cumulated CPU time: 215.36 s
Current children cumulated vsize: 184484 KiB
Current children cumulated memory: 151424 KiB

[startup+217.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 67131
/proc/meminfo: memFree=113102352/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=184484 memory=151424 CPUtime=216.95 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 36541 0 0 0 21689 6 0 0 20 0 1 0 59118553 188911616 37856 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 46121 37856 3968 3530 0 37572 0
Current children cumulated CPU time: 216.95 s
Current children cumulated vsize: 184484 KiB
Current children cumulated memory: 151424 KiB

[startup+218 s]*
/proc/loadavg: 4.12 4.11 4.09 5/266 67131
/proc/meminfo: memFree=113102432/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=184484 memory=151424 CPUtime=217.35 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 36541 0 0 0 21729 6 0 0 20 0 1 0 59118553 188911616 37856 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 46121 37856 3968 3530 0 37572 0
Current children cumulated CPU time: 217.35 s
Current children cumulated vsize: 184484 KiB
Current children cumulated memory: 151424 KiB

[startup+218.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 67131
/proc/meminfo: memFree=113102432/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=184484 memory=151424 CPUtime=217.55 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 36541 0 0 0 21749 6 0 0 20 0 1 0 59118553 188911616 37856 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 46121 37856 3968 3530 0 37572 0
Current children cumulated CPU time: 217.55 s
Current children cumulated vsize: 184484 KiB
Current children cumulated memory: 151424 KiB

[startup+218.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 67131
/proc/meminfo: memFree=113102432/131250000 swapFree=33010416/33010684
[pid=67117] ppid=67114 vsize=184484 memory=151424 CPUtime=217.65 cores=0,2
/proc/67117/stat : 67117 (pbscip) R 67114 67117 65533 0 -1 4194304 36541 0 0 0 21759 6 0 0 20 0 1 0 59118553 188911616 37856 18446744073709551615 4235264 18693293 140731563587776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 48103424 140731563596169 140731563596268 140731563596268 140731563601870 0
/proc/67117/statm: 46121 37856 3968 3530 0 37572 0
Current children cumulated CPU time: 217.65 s
Current children cumulated vsize: 184484 KiB
Current children cumulated memory: 151424 KiB

Child status: 0

Real time (s): 218.334
CPU time (s): 217.692
CPU user time (s): 217.62
CPU system time (s): 0.072723
CPU usage (%): 99.7061
Max. virtual memory (cumulated for all children) (KiB): 184484
Max. memory (cumulated for all children) (KiB): 151424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 217.62
system time used= 0.072723
maximum resident set size= 151424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36548
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80
involuntary context switches= 1346


# summary of solver processes directly reported to runsolver:
#   pid: 67117
#   total CPU time (s): 217.692
#   total CPU user time (s): 217.62
#   total CPU system time (s): 0.072723

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.327133 second user time and 0.968528 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-02 07:33:27
IDJOB=4503892
IDBENCH=155610
IDSOLVER=3365
FILE ID=nodeC018/4503892-1751434407
RUNJOBID= nodeC018-1751426802-65543
SLURM_JOB_ID= 9598360
Free space on /tmp= 432788 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_1.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503892-1751434407/watcher-4503892-1751434407 -o /tmp/evaluation-result-4503892-1751434407/solver-4503892-1751434407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751426802-65543 --watchdog 3760  pbscip -f HOME/instance-4503892-1751434407.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= d01f39fb61de71c60f300d6712f658b6
RANDOM SEED=1356740633

nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.824
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.825
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.847
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.819
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.844
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.838
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        113268412 kB
MemAvailable:   121212660 kB
Buffers:            2128 kB
Cached:          8710620 kB
SwapCached:           32 kB
Active:          8800172 kB
Inactive:        8374076 kB
Active(anon):    8479260 kB
Inactive(anon):      288 kB
Active(file):     320912 kB
Inactive(file):  8373788 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29368 kB
Writeback:             0 kB
AnonPages:       8464016 kB
Mapped:           138388 kB
Shmem:             18044 kB
KReclaimable:     177172 kB
Slab:             267452 kB
SReclaimable:     177172 kB
SUnreclaim:        90280 kB
KernelStack:        4304 kB
PageTables:        20552 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    9686532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3987456 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432768 MiB
End job on nodeC018 at 2025-07-02 07:37:06