Trace number 4499225

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-NaPS 1.00a1OPT9 67.8452 68.1084

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx92.opb
MD5SUM8416d641e22e8376ddac92bbd41682d6
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 benchmark9
Best CPU time to get the best result obtained on this benchmark0.59499
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7164
Total number of constraints7824
Number of constraints which are clauses7155
Number of constraints which are cardinality constraints (but not clauses)93
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1132
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

27.86/28.06	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4499225-1751394954.opb
27.86/28.06	c Solving mode: optimization
27.86/28.06	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
27.86/28.06	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
27.86/28.06	c original problem has 7164 variables (7164 bin, 0 int, 0 impl, 0 cont) and 7824 constraints
27.86/28.06	c presolving:
27.86/28.06	c (round 1, fast)       9 del vars, 1 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1640 clqs
27.86/28.06	c (round 2, fast)       9 del vars, 7156 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1640 clqs
27.86/28.06	c (round 3, exhaustive) 9 del vars, 7156 del conss, 0 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 668 upgd conss, 0 impls, 1640 clqs
27.86/28.06	c    (0.2s) probing: 51/7155 (0.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
27.86/28.06	c    (0.2s) probing aborted: 50/50 successive totally useless probings
27.86/28.06	c    (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
27.86/28.06	c    (3.1s) symmetry computation finished: 646 generators found (max: 1500, log10 of symmetry group size: 220.0) (symcode time: 2.88)
27.86/28.06	c dynamic symmetry handling statistics:
27.86/28.06	c    orbitopal reduction:       no components
27.86/28.06	c    orbital reduction:         no components
27.86/28.06	c    lexicographic reduction:   no permutations
27.86/28.06	c handled 1 out of 1 symmetry components
27.86/28.06	c (round 4, exhaustive) 585 del vars, 7156 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 668 upgd conss, 0 impls, 1639 clqs
27.86/28.06	c (round 5, fast)       586 del vars, 7157 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 668 upgd conss, 0 impls, 1639 clqs
27.86/28.06	c (round 6, medium)     623 del vars, 7157 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 668 upgd conss, 0 impls, 1735 clqs
27.86/28.06	c (round 7, fast)       624 del vars, 7158 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 668 upgd conss, 0 impls, 1734 clqs
27.86/28.06	c (round 8, medium)     682 del vars, 7158 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 668 upgd conss, 0 impls, 1731 clqs
27.86/28.06	c (round 9, medium)     735 del vars, 7158 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 668 upgd conss, 0 impls, 1719 clqs
27.86/28.06	c (round 10, medium)     766 del vars, 7158 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 668 upgd conss, 0 impls, 1717 clqs
27.86/28.06	c (round 11, medium)     790 del vars, 7158 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 668 upgd conss, 0 impls, 1717 clqs
27.86/28.06	c (round 12, medium)     813 del vars, 7158 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 668 upgd conss, 0 impls, 1717 clqs
27.86/28.06	c (round 13, medium)     827 del vars, 7158 del conss, 575 add conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 668 upgd conss, 0 impls, 1717 clqs
27.86/28.06	c    (3.3s) probing: 57/7155 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
27.86/28.06	c    (3.3s) probing aborted: 50/50 successive totally useless probings
27.86/28.06	c presolving (14 rounds: 14 fast, 10 medium, 3 exhaustive):
27.86/28.06	c  829 deleted vars, 7158 deleted constraints, 575 added constraints, 9 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
27.86/28.06	c  0 implications, 1717 cliques
27.86/28.06	c presolved problem has 6336 variables (6336 bin, 0 int, 0 impl, 0 cont) and 1241 constraints
27.86/28.06	c     576 constraints of type <knapsack>
27.86/28.06	c      90 constraints of type <setppc>
27.86/28.06	c     575 constraints of type <orbitope>
27.86/28.06	c transformed objective value is always integral (scale: 1)
27.86/28.06	c Presolving Time: 3.28
27.86/28.06	c 
27.86/28.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
27.86/28.06	c   3.7s|     1 |     0 |  1016 |     - |   153M |   0 |6336 |1359 | 666 |   0 |  0 | 117 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c   4.0s|     1 |     0 |  1461 |     - |   158M |   0 |6336 |1359 | 691 |  25 |  1 | 117 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c   4.1s|     1 |     0 |  1535 |     - |   162M |   0 |6336 |1359 | 718 |  52 |  2 | 117 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c   4.2s|     1 |     0 |  1636 |     - |   164M |   0 |6336 |1359 | 745 |  79 |  3 | 117 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c   4.3s|     1 |     0 |  1737 |     - |   164M |   0 |6336 |1361 | 773 | 107 |  4 | 119 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c   4.4s|     1 |     0 |  1841 |     - |   168M |   0 |6336 |1361 | 798 | 132 |  5 | 119 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c   4.5s|     1 |     0 |  1968 |     - |   170M |   0 |6336 |1362 | 824 | 158 |  6 | 120 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c   4.6s|     1 |     0 |  2085 |     - |   171M |   0 |6336 |1362 | 854 | 188 |  7 | 120 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c   4.8s|     1 |     0 |  2233 |     - |   174M |   0 |6336 |1362 | 880 | 214 |  8 | 120 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c   4.9s|     1 |     0 |  2382 |     - |   177M |   0 |6336 |1362 | 909 | 243 |  9 | 120 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c   5.0s|     1 |     0 |  2522 |     - |   179M |   0 |6336 |1362 | 935 | 269 | 10 | 120 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c   5.1s|     1 |     0 |  2671 |     - |   183M |   0 |6336 |1371 | 966 | 300 | 11 | 129 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c   5.7s|     1 |     2 |  3278 |     - |   183M |   0 |6336 |1382 | 966 | 300 | 11 | 140 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  14.0s|   100 |   101 | 36469 | 342.1 |   189M |  24 |6336 |1804 | 788 | 756 |  1 | 568 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  15.1s|   200 |   185 | 40464 | 190.3 |   193M |  69 |6336 |1980 | 833 | 893 |  1 | 745 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
27.86/28.06	c  15.9s|   300 |   198 | 41774 | 131.0 |   207M |  80 |6336 |2067 | 833 | 899 |  1 | 839 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  16.8s|   400 |   224 | 44489 | 105.0 |   215M |  80 |6336 |2135 | 834 | 942 |  0 | 923 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  17.6s|   500 |   253 | 46709 |  88.4 |   222M |  80 |6336 |2240 | 835 | 972 |  0 |1042 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  18.7s|   600 |   278 | 50170 |  79.4 |   231M |  80 |6336 |2300 |   0 |1004 |  0 |1145 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  19.9s|   700 |   286 | 51269 |  69.6 |   244M |  80 |6336 |2413 | 835 |1008 |  0 |1303 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  20.7s|   800 |   298 | 52652 |  62.6 |   249M |  80 |6336 |2448 | 837 |1012 |  0 |1391 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  21.5s|   900 |   300 | 53751 |  56.9 |   254M |  80 |6336 |2454 | 835 |1016 |  1 |1486 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  22.4s|  1000 |   327 | 55177 |  52.6 |   256M |  80 |6336 |2426 |   0 |1025 |  0 |1603 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  23.0s|  1100 |   343 | 56494 |  49.0 |   260M |  80 |6336 |2489 | 835 |1035 |  0 |1693 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  23.9s|  1200 |   356 | 57798 |  46.0 |   261M |  80 |6336 |2555 | 835 |1045 |  1 |1800 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  24.8s|  1300 |   365 | 59128 |  43.5 |   265M |  80 |6336 |2633 | 834 |1049 |  1 |1938 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  25.5s|  1400 |   378 | 60860 |  41.6 |   268M |  80 |6336 |2638 |   0 |1056 |  0 |2033 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.86/28.06	c  26.7s|  1500 |   381 | 61850 |  39.5 |   269M |  80 |6336 |2748 | 834 |1057 |  0 |2184 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  27.9s|  1600 |   390 | 62791 |  37.6 |   271M |  80 |6336 |2793 | 834 |1057 |  1 |2275 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  28.9s|  1700 |   398 | 63863 |  36.1 |   277M |  80 |6336 |2854 |   0 |1065 |  0 |2399 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
60.64/60.93	c  29.6s|  1800 |   420 | 64896 |  34.6 |   278M |  80 |6336 |2840 | 835 |1069 |  1 |2460 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  30.8s|  1900 |   428 | 66201 |  33.5 |   280M |  80 |6336 |2893 |   0 |1069 |  0 |2566 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  32.2s|  2000 |   434 | 67673 |  32.6 |   282M |  80 |6336 |2966 | 833 |1076 |  0 |2720 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  32.8s|  2100 |   442 | 68785 |  31.5 |   286M |  80 |6336 |2997 | 833 |1085 |  1 |2797 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  33.7s|  2200 |   449 | 69865 |  30.6 |   287M |  80 |6336 |3017 | 833 |1085 |  1 |2870 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  34.4s|  2300 |   450 | 71022 |  29.8 |   291M |  80 |6336 |3012 | 835 |1085 |  0 |2905 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  35.0s|  2400 |   460 | 72228 |  29.0 |   292M |  80 |6336 |3006 | 837 |1089 |  1 |2954 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  36.2s|  2500 |   474 | 73080 |  28.2 |   294M |  85 |6336 |3037 | 836 |1092 |  1 |3026 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  36.9s|  2600 |   473 | 73657 |  27.3 |   297M |  90 |6336 |3046 | 838 |1094 |  0 |3080 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  37.5s|  2700 |   466 | 74356 |  26.6 |   298M |  90 |6336 |3032 | 836 |1094 |  1 |3116 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  38.2s|  2800 |   480 | 75875 |  26.2 |   299M |  90 |6336 |2974 | 834 |1105 |  1 |3195 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  38.8s|  2900 |   488 | 77114 |  25.7 |   300M |  90 |6336 |3047 | 834 |1112 |  0 |3290 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  39.5s|  3000 |   505 | 78533 |  25.3 |   303M |  90 |6336 |2994 | 835 |1129 |  1 |3355 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  40.1s|  3100 |   516 | 79392 |  24.8 |   306M |  90 |6336 |2978 | 834 |1135 |  1 |3413 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  40.7s|  3200 |   539 | 80630 |  24.4 |   307M |  90 |6336 |2978 | 833 |1148 |  1 |3532 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
60.64/60.93	c  41.4s|  3300 |   556 | 81821 |  24.0 |   312M |  90 |6336 |2974 | 834 |1155 |  2 |3624 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  41.9s|  3400 |   561 | 82992 |  23.7 |   313M |  90 |6336 |2964 |   0 |1161 |  0 |3680 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  42.6s|  3500 |   558 | 83831 |  23.2 |   315M |  90 |6336 |2961 | 836 |1165 |  1 |3737 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  43.3s|  3600 |   578 | 85362 |  23.0 |   316M |  90 |6336 |3001 | 835 |1174 |  1 |3917 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  43.9s|  3700 |   598 | 86325 |  22.6 |   317M |  90 |6336 |3066 |   0 |1180 |  0 |4028 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  44.4s|  3800 |   608 | 86912 |  22.2 |   320M |  90 |6336 |3199 | 833 |1184 |  1 |4201 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  44.9s|  3900 |   616 | 87690 |  21.8 |   321M |  90 |6336 |3240 | 832 |1186 |  1 |4350 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  45.4s|  4000 |   622 | 88307 |  21.4 |   322M |  90 |6336 |3311 | 833 |1192 |  1 |4481 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  46.0s|  4100 |   627 | 89722 |  21.3 |   323M |  90 |6336 |3222 | 832 |1199 |  1 |4583 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  46.6s|  4200 |   637 | 90860 |  21.0 |   323M |  90 |6336 |3204 | 835 |1211 |  0 |4667 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  47.2s|  4300 |   654 | 91691 |  20.7 |   323M |  90 |6336 |3135 | 834 |1223 |  1 |4812 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  47.8s|  4400 |   657 | 92863 |  20.5 |   324M |  90 |6336 |3003 | 833 |1226 |  0 |4902 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  48.4s|  4500 |   662 | 93538 |  20.2 |   327M |  90 |6336 |3086 | 833 |1228 |  1 |5019 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  49.0s|  4600 |   685 | 94823 |  20.1 |   328M |  90 |6336 |3042 | 833 |1238 |  1 |5112 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  49.5s|  4700 |   712 | 95836 |  19.8 |   329M |  90 |6336 |3045 | 834 |1246 |  0 |5180 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
60.64/60.93	c  50.1s|  4800 |   739 | 97192 |  19.7 |   329M |  90 |6336 |3031 | 834 |1259 |  1 |5249 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  50.7s|  4900 |   737 | 98115 |  19.5 |   330M |  90 |6336 |2994 | 834 |1264 |  1 |5362 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  51.3s|  5000 |   737 | 98814 |  19.2 |   330M |  90 |6336 |3057 | 832 |1267 |  1 |5514 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  51.8s|  5100 |   789 |100289 |  19.2 |   331M |  90 |6336 |2910 | 829 |1278 |  1 |5614 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  52.2s|  5200 |   814 |100761 |  18.9 |   331M |  90 |6336 |2866 | 829 |1281 |  1 |5761 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  52.8s|  5300 |   817 |101424 |  18.6 |   332M |  90 |6336 |2865 |   0 |1283 |  0 |5884 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  53.2s|  5400 |   818 |102161 |  18.4 |   333M |  90 |6336 |2884 | 830 |1286 |  1 |5949 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  53.7s|  5500 |   817 |102948 |  18.2 |   333M |  90 |6336 |2900 | 828 |1286 |  1 |6022 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  54.1s|  5600 |   819 |103746 |  18.1 |   333M |  90 |6336 |2927 |   0 |1288 |  0 |6082 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  54.6s|  5700 |   824 |104682 |  17.9 |   334M |  90 |6336 |2938 | 829 |1290 |  1 |6153 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  55.3s|  5800 |   826 |105527 |  17.7 |   334M |  90 |6336 |2981 | 829 |1295 |  1 |6233 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  55.7s|  5900 |   831 |106177 |  17.6 |   335M |  90 |6336 |3064 | 831 |1300 |  1 |6352 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  56.1s|  6000 |   841 |107358 |  17.5 |   335M |  90 |6336 |2984 | 828 |1301 |  0 |6445 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  56.6s|  6100 |   849 |108251 |  17.3 |   338M |  90 |6336 |2970 | 830 |1301 |  1 |6486 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  57.2s|  6200 |   845 |109125 |  17.2 |   338M |  90 |6336 |3011 |   0 |1303 |  0 |6602 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
60.64/60.93	c  57.8s|  6300 |   853 |109945 |  17.0 |   339M |  90 |6336 |3037 | 832 |1305 |  0 |6650 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  58.4s|  6400 |   863 |110742 |  16.9 |   341M |  90 |6336 |3031 | 832 |1307 |  1 |6716 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  59.0s|  6500 |   860 |111913 |  16.8 |   342M |  90 |6336 |3052 | 834 |1307 |  1 |6805 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  59.7s|  6600 |   866 |112697 |  16.7 |   342M |  90 |6336 |3057 |   0 |1308 |  0 |6848 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.64/60.93	c  60.2s|  6700 |   873 |113609 |  16.6 |   343M |  90 |6336 |2995 | 832 |1308 |  1 |6921 |  11 | 9.000000e+00 |      --      |    Inf | unknown
67.73/68.02	c  60.7s|  6800 |   875 |114526 |  16.5 |   343M |  90 |6336 |3048 | 834 |1312 |  1 |7058 |  11 | 9.000000e+00 |      --      |    Inf | unknown
67.73/68.02	c  61.2s|  6900 |   882 |115112 |  16.3 |   344M |  90 |6336 |3119 | 829 |1316 |  1 |7229 |  11 | 9.000000e+00 |      --      |    Inf | unknown
67.73/68.02	c  61.6s|  7000 |   887 |115590 |  16.1 |   344M |  90 |6336 |3137 | 832 |1318 |  1 |7297 |  11 | 9.000000e+00 |      --      |    Inf | unknown
67.73/68.02	c  62.2s|  7100 |   905 |116923 |  16.1 |   344M |  90 |6336 |3082 | 835 |1325 |  1 |7362 |  11 | 9.000000e+00 |      --      |    Inf | unknown
67.73/68.02	c  62.9s|  7200 |   903 |118239 |  16.1 |   344M |  90 |6336 |3060 |   0 |1330 |  0 |7471 |  11 | 9.000000e+00 |      --      |    Inf | unknown
67.73/68.02	c  63.5s|  7300 |   904 |118947 |  15.9 |   345M |  90 |6336 |3095 |   0 |1330 |  0 |7538 |  11 | 9.000000e+00 |      --      |    Inf | unknown
67.73/68.02	c  63.9s|  7400 |   906 |119469 |  15.8 |   345M |  90 |6336 |3109 |   0 |1331 |  0 |7703 |  11 | 9.000000e+00 |      --      |    Inf | unknown
67.73/68.02	c  64.5s|  7500 |   909 |120553 |  15.7 |   346M |  90 |6336 |3143 | 834 |1332 |  0 |7791 |  11 | 9.000000e+00 |      --      |    Inf | unknown
67.73/68.02	c  65.1s|  7600 |   916 |121383 |  15.6 |   347M |  90 |6336 |3232 | 835 |1336 |  1 |7990 |  11 | 9.000000e+00 |      --      |    Inf | unknown
67.73/68.02	c  65.8s|  7700 |   943 |123438 |  15.7 |   348M |  90 |6336 |3111 | 829 |1344 |  1 |8076 |  11 | 9.000000e+00 |      --      |    Inf | unknown
67.73/68.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
67.73/68.02	c  66.4s|  7800 |   954 |124681 |  15.7 |   348M |  90 |6336 |2993 | 829 |1353 |  1 |8274 |  11 | 9.000000e+00 |      --      |    Inf | unknown
67.73/68.02	c  67.0s|  7900 |   953 |126038 |  15.6 |   348M |  90 |6336 |3028 | 829 |1356 |  1 |8378 |  11 | 9.000000e+00 |      --      |    Inf | unknown
67.73/68.02	c  67.7s|  8000 |   965 |126762 |  15.5 |   353M |  90 |6336 |2930 | 829 |1358 |  1 |8476 |  11 | 9.000000e+00 |      --      |    Inf | unknown
67.73/68.02	c *67.7s|  8012 |     0 |126782 |  15.5 |    LP  |  90 |6336 |2954 | 829 |1358 |  1 |8501 |  11 | 9.000000e+00 | 9.000000e+00 |   0.00%| 100.00%
67.73/68.02	c 
67.73/68.02	c SCIP Status        : problem is solved [optimal solution found]
67.73/68.02	c Solving Time (sec) : 67.73
67.73/68.02	c Solving Nodes      : 8012
67.73/68.02	c Primal Bound       : +9.00000000000000e+00 (1 solutions)
67.73/68.02	c Dual Bound         : +9.00000000000000e+00
67.73/68.02	c Gap                : 0.00 %
67.73/68.02	c All original constraints are satisfied.
67.73/68.02	c SCIP's best solution is verified feasible for the original problem.
67.73/68.02	c SCIP found an optimal solution.
67.73/68.02	o 9
67.73/68.02	s OPTIMUM FOUND
67.73/68.02	v x1 x2 x3 x4 x5 x6 x8 x10 x11 -x5723 -x5704 -x5752 -x5736 -x7085 -x7067 -x7156 -x7144 -x6660 -x6645 -x6691 -x6674 -x202 -x214 -x19 -x34 -x654 -x669 -x630 -x641 -x1051 -x1067 -x974 -x986 -x1529 -x1543 -x1504 -x1519 -x2189 -x2202 -x1811 -x1797 x2588 -x2620 -x2570 -x2584 -x2497 -x2463 -x2476 -x2433 -x2454 -x2400 -x2414 -x2602 -x1911 -x2046 -x2063 -x2080 -x2090 -x1981 -x1994 -x2008 -x3078 -x3075 -x3065 -x3117 -x3126 -x3099 -x3110 -x3152 -x2765 -x2753 -x2743 -x2779 -x2768 -x2801 -x2809 -x2816 -x528 -x541 -x494 -x507 -x522 -x474 -x491 -x863 -x60 -x75 -x92 -x105 -x110 -x18 -x30 -x41 -x1493 -x1514 -x1367 -x1378 -x1340 -x1328 -x1343 -x1412 -x1021 -x1032 -x1047 -x1059 -x881 -x897 -x891 -x903 -x6169 -x6159 x6096 -x6081 -x6118 -x6109 -x6253 -x6259 x3432 -x3908 -x3130 -x2948 -x2559 -x2207 -x1574 -x1524 -x1037 x3114 -x3100 -x3222 -x3215 -x3210 -x3203 -x3187 -x3175 -x411 -x423 -x443 -x457 -x237 -x257 -x279 -x293 -x786 -x798 -x855 -x866 -x832 -x845 -x712 -x730 -x1282 -x1296 -x1306 -x1323 -x1204 -x1221 -x1240 -x1260 -x1336 -x1774 -x1780 -x1795 -x1749 -x1760 -x1713 -x1734 -x5816 -x5766 -x5780 -x5786 -x5357 -x5336 -x5310 -x5293 -x6222 -x6233 -x6249 -x6266 -x6276 -x6292 -x5849 -x5830 -x6745 -x6710 -x6721 -x6688 -x6703 -x6690 -x6647 -x6662 -x7001 -x7122 -x7138 -x7148 -x7161 -x7070 -x7064 -x7083 -x1231 -x1252 -x1275 -x1290 x1300 -x1314 -x898 -x885 -x1700 -x1725 -x1668 -x1684 -x1771 -x1784 -x1740 -x1755 -x264 -x287 -x418 -x436 -x449 -x463 -x377 -x385 -x708 -x725 -x678 -x688 -x859 -x874 -x835 -x849 -x2911 -x2897 -x2930 -x2918 -x2952 -x2941 -x2803 -x2791 -x3194 -x3181 -x3171 -x3164 -x3228 -x3217 -x3213 -x3205 -x2980 -x2990 -x2164 -x2148 -x2197 -x2182 -x2114 -x2102 -x1803 -x1813 -x1833 -x1844 -x2606 -x2589 -x2575 -x2564 -x2267 -x2277 -x2250 -x2257 -x2220 -x2232 -x1217 -x1200 -x6663 -x6646 -x6826 -x6839 -x7084 -x7065 -x7108 -x7096 -x5724 -x5707 -x5818 -x5800 -x6196 -x6181 -x6229 -x6215 -x999 -x1014 -x929 -x939 -x1475 -x1488 -x1450 -x1465 -x144 -x158 -x179 -x190 -x609 -x623 -x576 -x588 -x2893
67.73/68.02	v -x2905 x2668 -x2657 -x1131 -x1183 -x1162 -x1093 -x1007 -x1664 -x1649 -x1630 -x1481 -x1439 -x1454 -x246 -x166 -x186 -x198 -x213 -x627 -x584 -x599 -x656 -x6134 -x6221 -x6209 -x6193 -x5633 -x5689 -x5674 -x5710 -x7013 -x7004 -x6992 -x6981 -x6595 -x6636 x6618 -x6560 -x2817 -x2828 -x2839 -x2850 -x2864 -x2873 -x4114 -x4132 -x4152 -x4168 x4042 -x4060 -x4076 -x4092 -x4251 -x4273 -x3991 -x3978 -x4017 -x4009 -x3924 -x3907 -x3960 -x3940 -x3604 -x3625 -x3572 -x3586 -x3531 -x3544 -x3496 -x3514 -x3251 -x3236 -x3482 -x3467 -x3446 -x3431 -x3416 -x3400 -x3383 -x3367 -x5050 -x5065 -x5083 -x5096 -x5117 -x5130 -x4883 -x4867 -x4912 -x4895 -x4945 -x4933 -x4981 -x4967 -x5002 -x4990 -x5036 -x5019 -x4602 -x4629 -x4575 -x4592 -x4341 -x4325 -x4423 -x4407 -x4391 -x4379 -x4491 -x4473 -x4462 -x4448 -x4563 -x4540 -x4523 -x4508 -x6250 -x6235 -x6034 -x6047 -x6062 -x6071 -x5983 -x5996 -x6009 -x6027 -x5900 -x5917 -x5934 -x5954 -x5829 -x5850 -x5861 -x5896 -x5579 -x5564 -x5547 -x5558 -x5515 -x5532 -x5492 -x5503 -x5462 -x5479 -x5406 -x5426 -x5369 -x5388 -x5335 -x5356 -x7014 -x7025 -x7057 -x7046 -x6866 -x6879 -x6888 -x6901 -x6916 -x6924 -x6942 -x6955 -x6769 -x6786 -x6801 -x6817 -x6549 -x6634 -x6642 -x6626 -x6611 -x6599 -x6458 -x6471 -x6425 -x6439 -x6512 -x6533 -x6481 -x6498 -x6338 -x6356 -x2981 -x3013 -x3002 -x3038 -x1854 -x1845 -x1831 -x1816 -x2262 -x2299 -x2289 -x2233 -x1126 -x997 -x1012 -x970 -x1602 -x1651 -x1636 -x1449 -x315 -x298 -x278 -x256 -x746 -x784 -x771 -x698 -x6418 -x6421 -x6435 -x6451 -x6859 -x6828 x6840 -x6890 -x4258 -x4315 -x4295 -x3768 -x3783 x3793 -x3810 -x3827 -x3650 -x3757 -x3737 -x3721 -x3704 -x3265 -x3272 -x3287 -x5235 -x5277 -x5263 -x5189 -x5173 -x5219 -x5200 -x5209 -x4572 -x4788 -x4773 -x4763 -x4751 -x4731 -x4719 -x4703 -x2381 -x2347 -x2360 -x2242 -x2253 -x2216 -x2229 -x2292 -x1917 -x1930 -x1942 -x1955 -x1969 -x1806 -x1821 -x1834 -x3093 -x3069 -x3079 -x3051 -x3062 -x3030 -x3040 -x2999 -x3097 -x2751 -x2764 -x2775 -x2790 -x2699 -x2711 -x2724 -x2794 -x2824 -x2813 -x513 -x500 -x483
67.73/68.02	v -x468 -x563 -x5040 -x4804 -x4817 -x4838 -x4554 -x4503 -x4518 -x4354 -x4021 -x3916 -x3932 -x3947 -x3481 -x3435 -x3447 -x3399 -x3504 -x6783 -x6767 -x6812 -x7130 -x7141 -x7153 -x6359 -x6661 -x6732 -x6742 -x6705 -x6263 -x6277 -x6287 -x6186 -x5584 x5799 -x5817 -x5771 -x125 x167 -x162 -x148 -x84 -x66 -x108 -x95 -x5813 -x5695 -x5712 -x5726 -x5742 -x5759 -x5624 -x5642 -x6281 -x6234 -x6251 -x6208 -x6217 -x6228 -x6180 -x6198 -x6392 -x6657 -x6671 -x6687 -x6704 -x6689 -x6709 -x6720 -x6849 -x6837 -x6823 -x7098 -x7110 -x7069 -x7066 -x7081 -x3490 -x3373 -x3387 -x3405 -x3420 -x3585 -x3563 -x3571 -x4027 -x3982 -x3995 -x3956 -x3973 -x3922 -x3937 -x4155 -x4433 -x4443 -x4458 -x4472 -x4489 -x4500 -x4515 -x4528 -x4921 -x4868 -x4890 -x4954 -x4968 -x4922 -x4937 -x5015 -x3551 -x3532 -x3440 -x3450 x3469 -x3486 -x3376 -x3391 -x3379 -x3398 -x3414 -x3311 -x3325 -x3345 -x3362 -x3240 -x3257 -x3279 -x3294 -x4310 -x4286 -x4267 -x4248 -x4226 -x4222 -x4201 -x4186 -x4156 -x4138 -x4123 -x4104 -x4091 -x4090 -x4071 -x4052 -x4036 -x4014 -x4031 -x3983 -x3996 -x3953 -x3946 -x3963 -x3915 -x3931 -x3884 -x3900 -x3847 -x3864 -x3807 -x3822 -x3776 -x3791 -x4709 -x4697 -x4743 -x4725 -x4760 -x4748 -x4787 -x4770 -x4593 -x4574 -x4627 -x4626 -x4614 -x4660 -x4643 -x4689 -x4673 -x4441 -x4457 -x4468 -x4482 -x4497 -x4502 -x4517 -x4537 -x4553 -x4327 -x4342 -x4352 -x4364 -x4384 -x4395 -x4411 -x4426 -x5228 -x5212 -x5195 -x5167 -x5281 -x5265 -x5252 -x5242 -x5097 -x5098 -x5084 -x5073 -x5058 -x5161 -x5144 -x5126 -x5113 -x4960 -x4973 -x4925 -x4931 -x4949 -x5023 -x5041 -x4994 -x5009 -x4831 -x4847 -x4809 -x4824 -x4891 -x4908 -x4861 -x4877 -x3664 -x3645 -x3684 -x3670 -x3717 -x3701 -x3754 -x3755 -x3734 -x3520 -x3505 -x3553 -x3538 -x3590 -x3573 -x3627 -x3605 -x3370 -x3384 -x3390 -x3406 -x3423 -x3442 -x3456 -x3473 -x3489 -x3231 -x3249 -x3267 -x3281 -x3296 -x3314 -x3329 -x3352 -x4235 -x4214 -x4193 -x4175 -x4302 -x4303 -x4282 -x4264 -x4242 -x4098 -x4079 -x4061 -x4043 -x4169 -x4151 -x4136 -x4116 -x3945 -x3955 -x3971 -x3923 -x3939
67.73/68.02	v -x4011 -x4028 -x3981 -x3993 -x3800 -x3816 -x3769 -x3787 -x3877 -x3894 -x3837 -x3857 -x4764 -x4756 -x4794 -x4795 -x4777 -x4715 -x4701 -x4745 -x4730 -x4653 -x4636 -x4682 -x4667 -x4583 -x4564 -x4616 -x4603 -x4611 -x4498 -x4514 -x4529 -x4545 -x4444 -x4459 -x4471 -x4487 -x4387 -x4399 -x4418 -x4432 -x4332 -x4346 -x4355 -x4370 -x5285 -x5286 -x5270 -x5259 -x5248 -x5225 -x5206 -x5191 -x5180 -x5150 -x5136 -x5119 -x5106 -x5095 -x5081 -x5067 -x5070 -x5056 -x5014 -x5031 -x4987 -x5001 -x4955 -x4969 -x4928 -x4943 -x4903 -x4918 -x4871 -x4886 -x4839 -x4857 -x4805 -x4806 -x4818 -x5567 -x5580 -x5594 -x5607 -x5626 -x5645 -x5657 -x5676 -x5708 -x5727 -x5744 -x5760 -x5770 -x5785 -x5783 -x5793 -x5812 -x5318 -x5299 -x5358 -x5337 -x5405 -x5383 -x5440 -x5418 -x5468 -x5449 -x5500 -x5485 -x5523 -x6632 -x6591 -x6606 -x6887 -x6876 -x6907 -x6899 -x6932 -x7000 -x7018 -x7030 -x7038 -x7053 -x3335 -x3356 -x3300 -x3748 -x3722 -x3708 -x3693 -x3679 -x3658 -x3644 -x3835 -x4081 -x4274 -x4257 -x4311 -x4291 -x4202 -x4187 -x4239 -x4666 -x4652 -x4637 -x4732 -x4721 -x4707 -x4695 -x4783 -x5082 -x5118 -x5105 -x5165 -x5145 -x5184 -x5168 -x5218 -x2319 -x2327 -x2338 -x2354 -x2357 -x2367 -x2380 -x2221 -x2041 -x1915 -x1926 -x1895 -x1904 -x1957 -x1973 -x1934 -x3105 -x3127 x3119 -x3064 -x3073 -x3081 -x3094 -x3025 -x83 x1334 -x926 -x2320 -x2044 -x3104 -x2841 -x4428 -x4980 -x3052 x2676 -x2243 -x1876 -x1487 -x1172 -x703 -x334 -x6489 -x770 -x806 -x794 -x824 -x336 -x317 -x302 -x404 -x6931 -x6900 -x6910 -x6877 -x6508 -x6524 -x6542 -x6430 -x6010 -x5998 -x6015 -x5968 -x6136 -x6124 -x6135 -x5450 -x5647 -x5628 -x5681 -x5691 -x5246 -x5257 -x5208 -x5227 -x4753 x4765 -x4778 -x4796 -x5680 x5463 -x5976 -x6424 -x6867 -x3377 -x3933 -x4466 -x4944 -x3212 -x3204 -x3196 -x3186 -x234 -x253 -x270 -x290 x837 -x846 -x704 -x722 -x1194 -x1214 -x1233 -x1249 -x1744 -x1756 -x1702 -x1724 -x6960 -x6947 -x6933 -x6918 -x6969 -x6983 -x6504 -x6487 -x6554 -x6565 -x6573 -x6582 -x6088 -x6102 -x6151 -x6168 -x5236 -x5249 -x5202 -x5221 -x5174 -x5188 -x5142
67.73/68.02	v -x5157 -x5155 -x5108 -x5122 x5079 -x5093 -x5047 -x5063 -x5044 -x3639 -x3665 -x3683 -x3696 -x3705 -x3719 -x3739 -x3758 -x3501 -x3506 -x3523 -x3536 -x3552 -x3574 -x3593 -x3613 -x3354 -x3334 -x4219 -x4236 -x4179 -x4197 -x4296 -x4314 -x4259 -x4281 -x4262 -x4083 -x4100 -x4047 -x4066 -x4145 -x3890 -x3872 -x3853 -x3843 -x2683 -x2673 -x2665 -x2655 -x2645 -x2635 -x2627 -x2631 -x2624 -x2784 -x2770 -x2758 -x2917 -x2931 -x2898 -x2909 -x2880 -x2887 -x2988 -x2978 -x3011 -x3001 -x2963 -x2955 -x2960 -x2974 -x2969 -x3076 -x3206 -x3214 -x3219 -x3229 -x3162 -x3172 -x3183 -x3197 -x1852 -x1836 -x1820 -x1807 -x1884 -x1882 -x1874 -x1866 -x2058 -x2073 -x2124 -x2133 -x2099 -x2112 -x2177 -x2194 -x2146 -x2162 -x2228 -x2218 -x2255 -x2244 -x2240 -x2272 -x2469 -x2482 -x2491 -x2504 -x2512 -x2523 -x2534 -x2549 -x2565 -x2580 -x2596 -x2611 -x1046 -x1058 -x1020 -x1022 -x1286 -x1270 -x1255 -x1236 -x1218 -x1201 -x1185 -x1168 -x1152 -x1137 -x1114 -x1102 -x1087 -x1075 -x1495 -x1510 -x3180 -x3193 -x1846 -x1832 -x1817 -x1802 -x1883 -x1875 -x1868 -x1860 x1920 -x1908 -x1898 -x1891 -x1977 -x1963 -x1952 -x1941 -x2007 -x2024 -x1984 -x1995 -x2074 -x2087 -x2042 -x2059 -x2131 -x2140 -x2106 -x2120 -x2110 -x2183 -x2198 -x2149 -x2165 -x2234 -x2223 -x2260 -x2246 -x2279 -x2269 -x2301 -x2290 -x2315 -x2304 -x2334 -x2331 -x2361 -x2351 -x2387 -x2374 -x2396 -x2415 -x2435 -x2445 -x2466 -x2480 -x2489 -x2502 -x2515 -x2524 -x2541 -x2535 -x2551 -x2184 -x2199 -x2150 -x2166 -x2235 -x2224 -x2261 -x2247 -x2280 -x2270 -x2302 -x2291 -x2316 -x2305 -x2335 -x2332 -x2362 -x2352 -x2388 -x2375 -x2397 -x2416 -x2436 -x2446 -x2467 -x2481 -x2490 -x2503 -x2516 -x2525 -x2542 -x2536 -x2552 -x2561 -x2576 -x2592 -x2607 -x1044 -x1054 -x1018 -x1033 -x990 -x1002 -x965 -x978 -x950 -x963 -x923 -x935 -x901 -x913 -x877 -x889 -x1319 -x1301 -x1293 -x1278 -x1261 -x1241 -x1222 -x1205 -x1178 -x1157 -x1165 -x2537 -x2553 -x2562 -x2577 -x2593 -x2608 -x1045 -x1055 -x1019 -x1034 -x991 -x1003 -x966 -x979 -x951 -x964 -x924 -x936 -x902 -x914 -x878 -x890 -x1320 -x1302
67.73/68.02	v -x1294 -x1279 -x1262 -x1242 -x1223 -x1206 -x1179 -x1158 -x1166 -x1145 -x1129 -x1120 -x1104 -x1094 -x1079 -x1500 -x1512 -x1526 -x1537 -x1444 -x1461 -x1469 -x1484 -x1388 -x1398 -x1416 -x1430 -x1325 -x1347 -x1361 -x1369 -x1765 -x1751 -x1791 -x1776 -x1696 -x1679 -x1736 -x1715 -x1617 -x1159 -x1167 -x1146 -x1130 -x1121 -x1105 -x1095 -x1080 -x1501 -x1513 -x1527 -x1538 -x1445 -x1462 -x1470 -x1485 -x1389 -x1399 -x1417 -x1431 -x1326 -x1348 -x1362 -x1370 -x1766 -x1752 -x1792 -x1777 -x1697 -x1680 -x1737 -x1716 -x1618 -x1634 -x1615 -x1663 -x1647 -x1570 -x1559 -x1600 -x1586 -x154 -x176 -x127 -x141 -x210 -x218 -x184 -x194 -x44 -x56 -x17 -x29 -x101 -x116 -x73 -x88 -x403 -x392 -x382 -x372 -x454 -x442 -x428 -x1714 -x1616 -x1633 -x1614 -x1662 -x1646 -x1569 -x1558 -x1599 -x1585 -x153 -x175 -x126 -x140 -x209 -x217 -x183 -x193 -x43 -x55 -x16 -x28 -x100 -x115 -x72 -x87 -x402 -x391 -x381 -x371 -x453 -x441 -x427 -x410 -x421 -x289 -x267 -x244 -x228 -x352 -x340 -x322 -x301 -x579 -x594 -x611 -x625 -x638 -x649 -x662 -x667 -x476 -x490 -x506 -x520 -x534 -x545 -x553 -x572 -x801 -x788 -x818 -x810 -x843 -x440 -x426 -x409 -x420 -x288 -x266 -x243 -x227 -x351 -x339 -x321 -x300 -x578 -x593 -x610 -x624 -x637 -x648 -x661 -x666 -x475 -x489 -x505 -x519 -x533 -x544 -x552 -x571 -x800 -x787 -x817 -x809 -x842 -x830 -x870 -x872 -x858 -x693 -x681 -x727 -x710 -x752 -x737 -x781 -x769 -x3936 -x3920 -x3969 -x3952 -x3999 -x3985 -x4020 -x4003 -x3798 -x3780 -x3832 -x3813 -x3863 -x3846 -x3902 -x3887 -x4172 -x4190 -x4208 -x808 -x841 -x829 -x869 -x871 -x857 -x692 -x680 -x726 -x709 -x751 -x736 -x780 -x768 -x3935 -x3919 -x3968 -x3951 -x3998 -x3984 -x4019 -x4002 -x3797 -x3779 -x3831 -x3812 -x3862 -x3845 -x3901 -x3886 -x4171 -x4189 -x4207 -x4224 -x4246 -x4269 -x4272 -x4294 -x4313 -x4038 -x4059 -x4073 -x4089 -x4103 -x4125 -x4144 -x4163 -x3427 -x3409 -x3393 -x3375 -x3484 -x3466 -x3449 -x3434 -x3286 -x3271 -x3253 -x3239 -x3361 -x3343 -x3318 -x3305 -x3673 -x4188 -x4206 -x4223 -x4245 -x4268 -x4271 -x4293 -x4312 -x4037 -x4058
67.73/68.02	v -x4072 -x4088 -x4102 -x4124 -x4143 -x4162 -x3426 -x3408 -x3392 -x3374 -x3483 -x3465 -x3448 -x3433 -x3285 -x3270 -x3252 -x3238 -x3360 -x3342 -x3317 -x3304 -x3672 -x3688 -x3637 -x3656 -x3731 -x3742 -x3761 -x3710 -x3728 -x3530 -x3547 -x3495 -x3511 -x3597 -x3617 -x3562 -x3582 -x4997 -x4984 -x5030 -x5013 -x4948 -x4930 -x4977 -x4963 -x4882 -x4864 -x4917 -x4898 -x4823 -x4808 -x4849 -x3303 -x3671 -x3687 -x3636 -x3655 -x3730 -x3741 -x3760 -x3709 -x3727 -x3529 -x3546 -x3494 -x3510 -x3596 -x3616 -x3561 -x3581 -x4996 -x4983 -x5029 -x5012 -x4947 -x4929 -x4976 -x4962 -x4881 -x4863 -x4916 -x4897 -x4822 -x4807 -x4848 -x4833 -x5245 -x5255 -x5267 -x5283 -x5280 -x5166 -x5183 -x5198 -x5217 -x5114 -x5129 -x5146 -x5160 -x5057 -x5075 -x5090 -x5103 -x4547 -x4530 -x4516 -x4501 -x4496 -x4481 -x4464 -x4451 -x4420 -x4404 -x4392 -x4383 -x4363 -x2889 -x2939 -x2949 -x2919 -x2932 -x2646 -x2634 -x2628 -x2621 -x2682 x2675 -x2663 -x2667 -x2658 -x2735 -x2721 -x2707 -x2694 -x2782 -x2772 -x2760 -x2746 -x844 -x833 -x865 -x856 -x799 -x785 -x825 -x816 -x755 -x741 -x779 -x765 -x691 -x677 -x719 -x702 -x636 -x647 -x660 -x673 -x582 -x598 -x590 -x608 -x622 -x530 -x543 -x555 -x569 -x478 -x487 -x503 -x518 -x459 -x438 -x425 -x406 -x401 -x394 -x384 -x375 -x357 -x740 -x778 -x764 -x690 -x676 -x718 -x701 -x635 -x646 -x659 -x672 -x581 -x597 -x589 -x607 -x621 -x529 -x542 -x554 -x568 -x477 -x486 -x502 -x517 -x458 -x437 -x424 -x405 -x400 -x393 -x383 -x374 -x356 -x338 -x326 -x310 -x282 -x272 -x251 -x232 -x208 -x220 -x182 -x197 -x157 -x143 -x161 -x119 -x131 -x99 -x114 -x71 -x86 -x48 -x59 -x21 -x32 -x1695 -x1682 -x1739 -x1718 -x1759 -x1747 -x1790 -x373 -x355 -x337 -x325 -x309 -x281 -x271 -x250 -x231 -x207 -x219 -x181 -x196 -x156 -x142 -x160 -x118 -x130 -x98 -x113 -x70 -x85 -x47 -x58 -x20 -x31 -x1694 -x1681 -x1738 -x1717 -x1758 -x1746 -x1789 -x1773 -x1568 -x1557 -x1598 -x1584 -x1628 -x1611 -x1657 -x1643 -x1447 -x1460 -x1472 -x1483 -x1490 -x1508 -x1522 -x1536 -x1549 -x1332 -x1351 -x1360 -x1373 -x1380 -x1395 -x1408 -x1425
67.73/68.02	v -x1257 -x1238 -x1225 -x1199 -x1311 -x1745 -x1788 -x1772 -x1567 -x1556 -x1597 -x1583 -x1627 -x1610 -x1656 -x1642 -x1446 -x1459 -x1471 -x1482 -x1489 -x1507 -x1521 -x1535 -x1548 -x1331 -x1350 -x1359 -x1372 -x1379 -x1394 -x1407 -x1424 -x1256 -x1237 -x1224 -x1198 -x1310 -x1298 -x1285 -x1269 -x1119 -x1109 -x1092 -x1074 -x1193 -x1171 -x1150 -x1136 -x993 -x1006 -x968 -x977 -x989 -x1050 -x1061 -x1024 -x1036 -x906 -x917 -x876 -x888 -x948 -x958 -x928 -x938 -x6455 -x6467 -x6434 -x1197 -x1309 -x1297 -x1284 -x1268 -x1118 -x1108 -x1091 -x1073 -x1192 -x1170 -x1149 -x1135 -x992 -x1005 -x967 -x976 -x988 -x1049 -x1060 -x1023 -x1035 -x905 -x916 -x875 -x887 -x947 -x957 -x927 -x937 -x6454 -x6466 -x6433 -x6448 -x6518 -x6539 -x6483 -x6500 -x6332 -x6351 -x6296 -x6311 -x6397 -x6407 -x6365 -x6384 -x6695 -x6683 -x6677 -x6665 -x6650 -x6741 -x6729 -x6718 -x6707 -x6588 -x6578 -x6567 -x6556 -x6644 -x6629 -x6616 -x6603 -x6872 -x6465 -x6432 -x6447 -x6517 -x6538 -x6482 -x6499 -x6331 -x6350 -x6295 -x6310 -x6396 -x6406 -x6364 -x6383 -x6694 -x6682 -x6676 -x6664 -x6649 -x6740 -x6728 -x6717 -x6706 -x6587 -x6577 -x6566 -x6555 -x6643 -x6628 -x6615 -x6602 -x6871 -x6884 -x6895 -x6909 -x6922 -x6938 -x6950 -x6967 -x6756 -x6775 -x6796 -x6810 -x6820 -x6836 -x6845 -x6855 -x7090 -x7080 -x7062 -x7106 -x7095 -x7129 -x7119 -x7155 -x7143 -x6987 -x6977 -x7009 -x6996 -x7032 -x7022 -x7056 -x6601 -x6870 -x6883 -x6894 -x6908 -x6921 -x6937 -x6949 -x6966 -x6755 -x6774 -x6795 -x6809 -x6819 -x6835 -x6844 -x6854 -x7089 -x7079 -x7061 -x7105 -x7094 -x7128 -x7118 -x7154 -x7142 -x6986 -x6976 -x7008 -x6995 -x7031 -x7021 -x7055 -x7043 -x5538 -x5554 -x5512 -x5525 -x5484 -x5497 -x5447 -x5466 -x5415 -x5436 -x5386 -x5402 -x5341 -x5368 -x5304 -x5322 -x5309 -x5821 -x5803 -x5788 -x5774 -x5755 -x5738 -x5722 -x5706 -x5678 -x5660 -x5641 -x5623 -x5610 -x7020 -x7054 -x7042 -x5537 -x5553 -x5511 -x5524 -x5483 -x5496 -x5446 -x5465 -x5414 -x5435 -x5385 -x5401 -x5340 -x5367 -x5303 -x5321 -x5308 -x5820 -x5802 -x5787 -x5773 -x5754 -x5737 -x5721 -x5705
67.73/68.02	v -x5677 -x5659 -x5640 -x5622 -x5609 -x5596 -x5587 -x5571 -x6032 -x6045 -x6056 -x6067 -x5973 -x5988 -x6000 -x6014 -x5908 -x5926 -x5950 -x5965 -x5837 -x5856 -x5871 -x5867 -x5888 -x6262 -x6244 -x6290 -x6274 -x6201 -x6185 -x6226 -x6213 -x6140 -x6129 -x6164 -x5621 -x5608 -x5595 -x5586 -x5570 -x6031 -x6044 -x6055 -x6066 -x5972 -x5987 -x5999 -x6013 -x5907 -x5925 -x5949 -x5964 -x5836 -x5855 -x5870 -x5866 -x5887 -x6261 -x6243 -x6289 -x6273 -x6200 -x6184 -x6225 -x6212 -x6139 -x6128 -x6163 -x6148 -x6089 -x6078 -x6121 -x6111 -x4376 -x4359 -x4349 -x4333 -x4430 -x4413 -x4401 -x4388 -x4483 -x4467 -x4454 -x4440 -x4549 -x4531 -x4533 -x4521 -x4506 -x4606 -x4619 -x4570 -x4588 -x4661 -x4683 -x4633 -x4650 -x4728 -x111 x3043 -x2710 -x2230 -x1819 -x5201 -x4720 -x4400 -x3785 -x1401 -x1387 -x5735 -x5751 -x6269 -x6284 -x6684 -x6700 -x6861 -x6848 -x3397 -x3415 -x4004 -x4018 -x4480 -x4495 -x4901 x4913 -x456 -x444 -x422 -x408 -x295 x275 -x259 -x242 -x3149 -x3156 -x3102 -x3116 -x3121 -x3133 -x3200 -x3207 -x2860 -x2874 -x2840 -x2851 -x2815 -x2825 -x2799 -x2807 -x2385 -x2373 -x2395 -x2412 -x2427 -x2444 -x2465 -x2478 -x1979 -x1966 -x1951 -x1938 -x2013 -x2030 -x1985 -x1998 -x4569 -x4587 -x4662 -x4679 -x4634 -x4648 -x4490 -x4474 -x5049 -x5061 -x5080 -x5094 -x5107 -x5120 -x5134 -x5149 -x3633 -x3651 -x3609 -x3630 -x3576 -x3594 -x3540 -x3555 -x4177 -x4195 -x4213 -x4230 -x4112 -x4130 -x4149 -x4167 -x3690 -x3674 -x3657 -x3638 -x5230 -x5211 -x5254 -x5243 -x4741 -x4726 -x4710 -x4700 x2308 -x2317 -x2282 -x2300 -x1887 -x1906 -x1913 -x1924 -x3029 -x3037 -x3082 -x3087 -x2700 -x2713 -x2728 -x2731 -x2866 -x2853 -x561 -x547 -x815 -x826 -x796 -x807 -x848 -x851 -x864 -x789 -x802 -x811 -x820 -x109 -x249 -x450 -x460 -x414 -x432 -x389 -x399 -x367 -x1625 -x1641 -x1659 -x1670 -x1690 -x1707 -x1729 -x1753 -x1086 -x1174 -x1191 -x1133 -x1142 -x1244 -x1263 -x1213 x5486 -x5469 -x5452 -x5551 -x5536 -x5529 -x5516 -x5348 -x6174 -x5984 -x5967 -x6012 -x5997 -x6046 -x6035 -x6070 -x6581 -x6548 -x6561 -x6541 -x6527 -x6506 -x6486
67.73/68.02	v -x6469 -x7048 -x6973 -x6982 -x6991 -x7003 -x6930 -x6917 -x6962 -x3680 -x3666 -x3649 -x3756 -x3735 -x3720 -x3703 -x3266 -x894 -x1308 -x1781 -x2086 -x2501 x2947 -x3220 -x3772 -x3244 -x2379 -x2371 -x2359 -x2346 -x2438 -x2456 -x2404 -x2421 -x2494 -x2496 -x2464 -x2477 -x2546 -x2560 -x2517 -x2526 -x2601 -x2619 -x2572 -x2586 -x5214 -x5234 -x5178 -x5192 -x5268 -x5264 -x5279 -x5241 -x5253 -x5087 -x5099 -x5055 -x5069 -x5141 -x5159 -x5112 -x5128 -x4971 -x4958 -x4942 -x4927 -x5043 -x5026 -x5008 -x4993 -x4843 -x4830 -x4816 -x4803 -x4910 -x4893 -x4876 -x4860 -x4699 -x4714 -x4723 -x4740 -x4736 -x4747 -x4759 -x4772 -x4785 -x4579 -x4599 -x5054 -x5068 -x5140 -x5158 -x5111 -x5127 -x4970 -x4957 -x4941 -x4926 -x5042 -x5025 -x5007 -x4992 -x4842 -x4829 -x4815 -x4802 -x4909 -x4892 -x4875 -x4859 -x4698 -x4713 -x4722 -x4739 -x4735 -x4746 -x4758 -x4771 -x4784 -x4578 -x4598 -x4610 -x4625 -x4642 -x4658 -x4675 -x4688 -x4453 -x4439 -x4486 -x4476 -x4520 -x4505 -x4552 -x4536 -x4340 -x4322 -x4369 -x4351 -x4397 -x4386 -x4425 -x4410 -x4289 -x4309 -x4244 -x4255 -x4276 -x4221 -x4238 -x4185 -x4205 -x4577 -x4597 -x4609 -x4624 -x4641 -x4657 -x4674 -x4687 -x4452 -x4438 -x4485 -x4475 -x4519 -x4504 -x4551 -x4535 -x4339 -x4321 -x4368 -x4350 -x4396 -x4385 -x4424 -x4409 -x4288 -x4308 -x4243 -x4254 -x4275 -x4220 -x4237 -x4184 -x4204 -x4142 -x4158 -x4111 -x4127 -x4068 -x4086 -x4034 -x4050 -x4030 -x4013 -x3988 -x3977 -x3966 -x3949 -x3930 -x3914 -x3896 -x3883 -x3866 -x3851 -x3826 -x3809 -x3790 -x3775 -x3700 -x3716 -x3726 -x3744 -x3765 -x3642 -x3661 -x4183 -x4203 -x4141 -x4157 -x4110 -x4126 -x4067 -x4085 -x4033 -x4049 -x4029 -x4012 -x3987 -x3976 -x3965 -x3948 -x3929 -x3913 -x3895 -x3882 -x3865 -x3850 -x3825 -x3808 -x3789 -x3774 -x3699 -x3715 -x3725 -x3743 -x3764 -x3641 -x3660 -x3678 -x3692 -x3565 -x3579 -x3603 -x3622 -x3499 -x3518 -x3534 -x3550 -x3452 -x3437 -x3480 -x3462 -x3381 -x3366 -x3413 -x3396 -x3324 -x3307 -x3359 -x3341 -x3261 -x3242 -x3293 -x3278 -x7011 -x6999 -x6989 -x6980 -x6972 -x3640 -x3659 -x3677
67.73/68.02	v -x3691 -x3564 -x3578 -x3602 -x3621 -x3498 -x3517 -x3533 -x3549 -x3451 -x3436 -x3479 -x3461 -x3380 -x3365 -x3412 -x3395 -x3323 -x3306 -x3358 -x3340 -x3260 -x3241 -x3292 -x3277 -x7010 -x6998 -x6988 -x6979 -x6971 -x7051 -x7041 -x7029 -x7017 -x7113 -x7101 -x7092 -x7075 -x7160 -x7147 -x7132 -x7121 -x6799 -x6815 -x6766 -x6782 -x6852 -x6863 -x6831 -x6843 -x6893 -x6906 -x6869 -x6881 -x6941 -x6954 -x6914 -x6926 -x6936 -x6564 -x6552 -x6978 -x6970 -x7050 -x7040 -x7028 -x7016 -x7112 -x7100 -x7091 -x7074 -x7159 -x7146 -x7131 -x7120 -x6798 -x6814 -x6765 -x6781 -x6851 -x6862 -x6830 -x6842 -x6892 -x6905 -x6868 -x6880 -x6940 -x6953 -x6913 -x6925 -x6935 -x6563 -x6551 -x6585 -x6575 -x6605 -x6593 -x6631 -x6620 -x6668 -x6653 -x6699 -x6679 -x6727 -x6716 -x6750 -x6731 -x6306 -x6322 -x6340 -x6361 -x6370 -x6385 -x6401 -x6413 -x6422 -x6436 -x6449 -x6461 -x6479 -x6494 -x6515 -x6521 -x6534 x6562 -x6550 -x6584 -x6574 -x6604 -x6592 -x6630 -x6619 -x6667 -x6652 -x6698 -x6678 -x6726 -x6715 -x6749 -x6730 -x6307 -x6323 -x6341 -x6362 -x6371 -x6386 -x6402 -x6414 -x6423 -x6437 -x6450 -x6462 -x6480 -x6495 -x6516 -x6522 -x6535 -x6165 -x6149 -x6142 -x6131 -x6122 -x6112 -x6097 -x6083 -x6285 -x6270 -x6254 -x6238 -x6219 -x6204 -x6202 -x6187 -x5932 -x5952 -x5898 -x5913 -x5864 -x5883 -x5822 -x5845 -x6063 -x6076 -x6039 -x6050 -x6001 -x6022 -x6017 -x6523 -x6536 -x6166 -x6150 -x6143 -x6132 -x6123 -x6113 -x6098 -x6084 -x6286 -x6271 -x6255 -x6239 -x6220 -x6205 -x6203 -x6188 -x5933 -x5953 -x5899 -x5914 -x5865 -x5884 -x5823 -x5846 -x6064 -x6077 -x6040 -x6051 -x6002 -x6023 -x6018 -x5969 -x5985 -x5655 -x5637 -x5693 -x5672 -x5589 -x5574 -x5614 -x5604 -x5775 -x5762 -x5805 -x5790 -x5715 -x5701 -x5757 -x5740 -x5378 -x5396 -x5411 -x5431 -x5288 -x5313 -x5330 -x5349 -x5513 -x5526 -x5541 -x5555 -x5459 -x6024 -x6019 -x5970 -x5986 -x5656 -x5638 -x5694 -x5673 -x5590 -x5575 -x5615 -x5605 -x5776 -x5763 -x5806 -x5791 -x5716 -x5702 -x5758 -x5741 -x5379 -x5397 -x5412 -x5432 -x5289 -x5314 -x5331 -x5350 -x5514 -x5527 -x5542 -x5556
67.73/68.02	v -x5460 -x5448 -x5467 -x5481 -x5495 -x1442 -x1453 -x1466 -x1478 -x1494 -x1511 -x1525 -x1539 -x1341 -x1356 -x1368 -x1375 -x1382 -x1400 -x1418 -x1429 -x1688 -x1674 -x1726 -x1710 -x1762 -x1750 -x1793 -x1778 -x1563 -x1554 -x1592 -x3618 -x3558 -x3583 -x3535 -x3545 -x3493 -x3509 -x6753 x6771 -x6788 -x6803 -x6824 -x6827 -x6838 -x6850 -x6860 -x6873 -x6882 -x6891 -x6903 -x6915 -x6927 -x6944 -x6957 -x6985 -x6975 -x7005 -x6994 -x7027 -x7015 -x7047 -x7036 -x7087 -x7072 -x7114 -x7102 -x7136 -x7123 -x7163 -x7149 -x6333 -x6352 -x6299 -x6314 -x6319 -x6403 -x6415 -x6375 -x6389 -x6452 -x6463 -x6419 -x6442 -x6509 -x6528 -x6475 -x6490 -x6589 -x6579 -x6570 -x6545 -x6637 -x6621 -x6608 -x7037 -x7088 -x7073 -x7115 -x7103 -x7137 -x7124 -x7164 -x7150 -x6334 -x6353 -x6300 -x6315 -x6320 -x6404 -x6416 -x6376 -x6390 -x6453 -x6464 -x6420 -x6443 -x6510 -x6529 -x6476 -x6491 -x6590 -x6580 -x6571 -x6546 -x6638 -x6622 -x6609 -x6596 -x6696 -x6680 -x6669 -x6655 -x6746 -x6735 -x6722 -x6711 -x5905 -x5923 -x5940 -x5937 -x5955 -x5824 -x5847 -x5862 -x5881 -x6041 -x6052 -x6059 -x6072 -x5978 -x5993 -x6007 -x6029 -x6137 -x6125 -x6170 -x6156 -x6099 -x6623 -x6610 -x6597 -x6697 -x6681 -x6670 -x6656 -x6747 -x6736 -x6723 -x6712 -x5906 -x5924 -x5941 -x5938 -x5956 -x5825 -x5848 -x5863 -x5882 -x6042 -x6053 -x6060 -x6073 -x5979 -x5994 -x6008 -x6030 -x6138 -x6126 -x6171 -x6157 -x6100 -x6085 -x6119 -x6107 -x6256 -x6240 -x6279 -x6267 -x6194 -x6176 -x6223 -x6210 -x5422 -x5444 -x5424 -x5370 -x5392 -x5332 -x5354 -x5290 -x5311 -x5543 -x5559 -x5517 -x5534 -x5489 -x5505 -x5453 -x5471 -x5682 -x5669 -x5651 -x6158 -x6101 -x6086 -x6120 -x6108 -x6257 -x6241 -x6280 -x6268 -x6195 -x6177 -x6224 -x6211 -x5423 -x5445 -x5425 -x5371 -x5393 -x5333 -x5355 -x5291 -x5312 -x5544 -x5560 -x5518 -x5535 -x5490 -x5506 -x5454 -x5472 -x5683 -x5670 -x5652 -x5631 -x5616 -x5600 -x5592 -x5577 -x5807 -x5797 -x5781 -x5764 -x5746 -x5729 -x5713 -x5699 -x353 -x362 -x345 -x329 -x311 -x296 -x276 -x260 -x239 -x461 -x445 -x430 -x412 -x395 -x387 -x379 -x368 -x89
67.73/68.02	v -x5671 -x5653 -x5632 -x5617 -x5601 -x5593 -x5578 -x5808 -x5798 -x5782 -x5765 -x5747 -x5730 -x5714 -x5700 -x354 -x363 -x346 -x330 -x312 -x297 -x277 -x261 -x240 -x462 -x446 -x431 -x413 -x396 -x388 -x380 -x369 -x90 -x102 -x62 -x77 -x39 -x53 -x12 -x25 -x211 -x221 -x187 -x199 -x151 -x170 -x123 -x137 -x133 -x759 -x747 -x782 -x773 -x695 -x683 -x731 -x716 -x838 -x827 -x861 -x852 -x803 -x790 -x821 -x370 -x91 -x103 -x63 -x78 -x40 -x54 -x13 -x26 -x212 -x222 -x188 -x200 -x152 -x171 -x124 -x138 -x134 -x760 -x748 -x783 -x774 -x696 -x684 -x732 -x717 -x839 -x828 -x862 -x853 -x804 -x791 -x822 -x813 -x525 -x539 -x550 -x565 -x469 -x480 -x496 -x514 -x633 -x644 -x657 -x670 -x585 -x600 -x612 -x605 -x618 -x1111 -x1098 -x1082 -x1070 -x1180 -x1155 -x1139 -x1123 -x1266 -x1247 -x1227 -x1209 -x1315 -x792 -x823 -x814 -x526 -x540 -x551 -x566 -x470 -x481 -x497 -x515 -x634 -x645 -x658 -x671 -x586 -x601 -x613 -x606 -x619 -x1112 -x1099 -x1083 -x1071 -x1181 -x1156 -x1140 -x1124 -x1267 -x1248 -x1228 -x1210 -x1316 -x1303 -x1288 -x1271 -x908 -x918 -x882 -x895 -x952 -x961 -x932 -x940 -x994 -x1008 -x971 -x983 -x1042 -x1056 -x1064 -x1027 -x1039 -x1565 -x1551 -x1590 -x1577 -x1619 -x1605 -x1653 -x1638 -x1691 -x1671 -x1731 -x1211 -x1317 -x1304 -x1289 -x1272 -x909 -x919 -x883 -x896 -x953 -x962 -x933 -x941 -x995 -x1009 -x972 -x984 -x1043 -x1057 -x1065 -x1028 -x1040 -x1566 -x1552 -x1591 -x1578 -x1620 -x1606 -x1654 -x1639 -x1692 -x1672 -x1732 -x1708 -x1763 -x1741 -x1785 -x1768 -x1337 -x1357 -x1365 -x1376 -x1391 -x1405 -x1421 -x1435 -x1440 -x1455 -x1467 -x1479 -x1497 -x1502 -x1517 -x1531 -x1544 -x2186 -x2204 -x2154 -x2170 -x2126 -x2138 -x2103 -x2115 -x2077 -x1673 -x1733 -x1709 -x1764 -x1742 -x1786 -x1769 -x1338 -x1358 -x1366 -x1377 -x1392 -x1406 -x1422 -x1436 -x1441 -x1456 -x1468 -x1480 -x1498 -x1503 -x1518 -x1532 -x1545 -x2187 -x2205 -x2155 -x2171 -x2127 -x2139 -x2104 -x2116 -x2078 -x2089 -x2048 -x2065 -x2020 -x2035 -x1991 -x2005 -x1967 -x1956 -x1943 -x1927 -x1916 -x1907 -x1897 -x1888 -x1885 -x1877 -x1869
67.73/68.02	v -x1861 -x1855 -x1842 -x1827 -x1812 -x1798 -x2569 -x2583 -x2604 -x2616 -x2519 -x2528 -x2547 -x5124 -x5137 -x5151 -x4494 -x4479 -x4465 -x4450 -x4555 -x4585 -x4665 -x4681 -x4630 -x4645 -x2488 -x2498 -x2462 -x2378 -x2365 -x2348 -x2342 -x2333 -x2321 -x2311 -x2047 -x1828 -x1950 -x1935 -x1978 -x1964 -x1903 -x1894 -x1923 -x3004 -x2994 x2984 -x3054 -x3041 -x3031 -x3019 -x3090 -x2638 -x2670 -x2660 -x2689 -x2679 -x2708 -x2697 -x2736 -x668 -x632 -x643 -x603 -x616 -x575 -x591 -x557 -x280 -x177 -x191 -x203 -x215 -x121 -x132 -x145 -x1635 -x1622 -x1603 -x1477 -x1491 -x1451 -x1464 -x1530 -x493 -x508 -x523 -x531 -x854 -x946 -x955 -x925 -x1245 x1229 -x1208 -x1383 -x1782 -x1687 -x1675 -x1730 -x5948 -x5930 -x5951 -x5832 -x5416 -x5437 -x5433 -x5376 -x6946 -x6961 -x6757 -x6768 -x6525 -x6543 -x6488 -x6505 -x3892 -x3878 -x3784 -x3766 -x1594 -x2123 -x2538 -x2812 -x3111 x3460 -x3941 -x4538 -x4582 -x5646 x5625 -x5686 -x5663 -x6092 -x6080 -x6160 -x6145 -x6612 -x6600 -x6641 -x6627 -x7077 -x7060 -x7059 -x7044 -x3577 -x3595 -x3610 -x3631 -x4046 -x4065 -x4150 -x4165 -x4635 -x4649 -x4663 -x4680 -x4951 -x4934 -x5135 -x5156 -x2075 -x2088 -x2043 -x2060 -x3497 -x3515 -x3526 -x3541 -x3711 -x3713 -x3732 -x3751 -x4105 -x4121 -x4078 -x4095 -x4039 -x4054 -x4287 -x4305 -x2737 -x2725 -x2714 -x2701 -x2788 -x2778 -x2761 -x2747 -x2832 -x2844 -x3036 -x3026 -x3059 -x3048 -x3080 -x3071 -x3134 -x3141 -x3145 -x3153 -x1970 -x1960 -x1945 -x1929 -x2055 -x2071 -x2015 -x2033 -x1987 -x2000 -x2358 -x2343 -x2471 -x2483 -x2495 -x2505 -x2408 -x2425 -x2441 -x2459 x1153 -x1138 -x1251 -x1232 -x1219 -x1202 -x1313 -x1299 -x1624 -x1607 -x1661 -x1645 -x1685 -x1667 -x1719 -x1698 -x3053 -x3042 -x3033 -x3020 -x2861 -x2870 -x2709 -x2695 -x2430 -x2449 -x2402 -x2418 -x2092 -x2091 -x1980 -x1993 -x5629 -x5692 -x5684 -x5662 -x6175 -x6172 -x6153 -x6146 -x6713 -x6752 -x6739 -x6559 -x7071 -x7158 x7145 -x7134 -x3584 -x3598 -x3619 -x3502 -x4840 -x5499 -x6016 -x6348 x6804 -x376 -x797 -x899 -x1353 x3891 -x3842 -x3861 -x3802 -x3819 -x3767 -x3786
67.73/68.02	v -x4301 -x4550 -x4328 -x4344 -x4358 -x4372 -x4389 -x4402 -x4416 -x5032 -x4985 -x5000 -x4837 -x4854 -x4814 -x4826 -x4905 -x5419 -x5320 -x5305 -x5365 -x5342 -x5522 -x5509 -x5552 -x5945 -x5921 -x5904 -x5889 -x5872 -x5857 -x5838 -x6069 -x6190 -x6317 -x6302 -x6347 -x6327 -x6380 -x6366 -x6410 -x6724 -x6737 -x6748 -x6806 -x6790 -x6776 -x6761 -x6856 -x7086 -x7151 -x7162 -x7125 -x7139 -x452 -x464 -x419 -x94 -x82 -x64 -x49 -x35 -x23 -x7 -x836 -x3485 -x3471 -x3468 -x3378 -x4975 -x4959 -x4940 -x4946 -x4435 x4415 -x4456 -x4442 -x2147 -x2161 -x2178 -x2195 -x2509 -x2520 -x2595 -x2612 -x2921 -x2933 -x2942 -x2954 -x2648 -x2636 -x3218 -x3226 -x2973 -x2968 -x2964 -x2957 -x149 -x169 -x185 -x195 -x6654 -x6751 -x6738 x6725 -x7076 -x7116 -x7104 -x7133 -x3663 -x3600 -x3615 -x3559 -x4200 -x4216 -x4234 -x4108 -x4704 -x4774 -x4792 -x4752 -x5210 -x5199 -x5220 -x5237 -x2227 -x2215 -x2217 -x2256 -x2600 -x2617 -x1839 -x1850 -x2191 -x2208 -x2160 -x2176 -x2339 -x2328 -x2318 -x2309 -x4696 -x4712 -x4669 -x4684 -x5176 -x5196 -x5213 -x5229 -x3635 -x3653 -x3729 -x3752 -x4176 -x4194 -x4215 -x4227 -x6426 -x6438 -x6639 -x6624 -x6865 -x6878 -x6889 -x6902 x5456 -x5476 -x5548 -x5561 -x5980 -x5995 -x6011 -x6028 -x1840 -x2391 -x2730 -x3088 -x46 -x867 x1258 -x1794 -x5292 -x2169 -x2156 -x2201 -x2188 -x2121 -x2111 -x2100 -x2134 -x1824 -x1843 -x3189 -x3178 -x3169 -x3160 -x3163 -x3227 -x3008 -x3017 -x2983 -x2993 -x2884 -x2878 -x2901 -x2908 -x2640 -x2650 -x2661 -x2672 -x2680 -x2688 -x3852 -x3869 -x4263 -x4249 -x4306 -x4285 -x4192 -x4173 -x4228 -x4209 -x3522 -x3507 -x3749 -x3733 -x3714 -x3698 -x3686 -x3675 -x5123 -x5109 -x5153 -x5133 -x5194 -x5181 -x5231 -x5216 -x4589 -x4568 -x4678 -x4664 -x4651 -x4632 -x4742 -x4727 -x6242 -x6258 -x6275 x6291 -x6183 -x6199 -x6214 -x6227 -x6141 -x6103 -x6114 x6079 -x6090 -x5528 -x5521 -x5557 -x5545 -x5477 -x5455 -x5504 -x5491 -x5395 -x5384 -x5438 -x5639 -x5661 -x5679 -x5569 -x5585 -x5597 -x5611 -x1125 -x1141 -x1154 -x1177 -x1072 -x1085 -x1100 -x1113 -x1273 -x900 -x1038 -x1026 -x1066
67.73/68.02	v -x1052 -x985 -x973 -x1013 -x1000 -x1640 -x1655 -x1604 -x1623 -x1575 -x1587 -x1550 -x1354 -x1352 -x1333 -x1546 -x1533 -x1520 -x1505 -x1492 -x1476 -x1463 -x1448 -x236 -x254 -x274 -x294 -x316 -x79 -x65 -x68 -x107 -x97 -x136 -x120 -x165 -x147 -x189 -x180 -x216 -x204 -x715 -x734 -x687 -x485 -x472 -x560 -x573 -x559 -x546 -x535 -x615 -x604 -x587 -x574 -x664 -x653 -x640 -x628 -x2925 -x2749 -x2762 -x2777 -x2789 -x2786 -x2693 -x2705 -x2718 -x2732 -x2659 -x2671 -x2681 -x2685 -x2625 -x2632 -x2644 -x3108 -x3096 -x3085 -x3092 -x3070 -x3063 -x3072 -x3046 -x3057 -x3024 -x3034 -x3006 -x3014 -x2986 -x2996 -x2970 -x2072 -x2056 -x2096 -x2085 -x1886 -x1896 -x1905 -x1914 -x1925 -x1937 -x1949 -x1962 -x1975 -x1800 -x1808 -x1823 -x3332 -x3256 -x3237 -x3282 -x3873 -x3860 -x3844 -x3833 -x6411 -x6428 -x6444 -x6457 -x6857 -x6822 -x6834 -x6896 -x5434 -x5302 -x5323 -x5345 -x5966 -x5909 -x5928 -x5869 -x944 -x1253 -x1234 -x1216 -x1402 -x1420 -x1434 -x1686 -x80 -x38 -x51 x15 -x5912 -x5931 -x5947 x5963 -x5839 -x5858 -x5875 -x5891 -x5809 -x5792 -x5784 -x5769 -x5745 -x5728 -x5711 -x5698 -x5475 -x5410 -x5430 -x5441 -x5381 -x5400 -x5343 -x5363 -x5307 -x5325 -x7093 -x7068 -x7111 -x7099 -x7135 -x7126 -x6928 -x6943 -x6958 -x6763 -x6762 -x6777 -x6793 -x6808 -x6821 -x6832 -x6847 -x6858 -x6701 -x6686 -x6673 -x6659 -x6440 -x6511 -x6531 -x6477 -x6492 -x6503 -x6328 -x6346 -x6294 -x6309 -x6398 -x6408 -x6369 -x6377 -x4101 -x4120 -x3849 -x3899 -x3885 -x3792 -x3777 -x3834 -x3817 -x3799 -x4001 -x3986 -x4032 -x4015 -x3934 -x3917 -x3972 -x3954 -x3654 -x3363 -x3346 -x3326 -x3313 -x3283 -x3269 -x3268 -x3248 -x3232 -x3488 -x3470 -x3454 -x3441 -x3424 -x3407 -x5258 -x5272 -x5287 -x4821 -x4799 -x4846 -x4832 -x4884 -x4888 -x4872 -x4919 -x4902 -x4939 -x4923 -x4974 -x4961 -x4711 -x4779 -x4793 -x4755 -x4767 -x4365 -x4353 -x4343 -x4326 -x4329 -x4436 -x4419 -x4398 -x4390 -x4484 -x4469 -x2717 -x2706 -x2696 -x2783 -x2769 -x2756 -x2744 -x2819 -x2830 -x2800 -x2792 -x2802 -x2858 -x2869 -x2834 -x2846 -x2268 -x2278 -x2288 -x2295 -x1029
67.73/68.02	v -x1016 -x1011 -x996 -x1515 -x1499 -x1542 -x1528 -x1580 -x1595 -x173 -x150 -x341 -x358 -x305 -x327 -x706 -x724 -x742 -x756 -x6502 x6484 -x6540 -x6520 -x6780 -x6758 -x6968 -x6951 -x5398 -x5380 -x5442 -x5421 -x2016 -x2034 -x1988 -x2001 -x2603 -x2605 -x2409 -x2426 -x4335 -x4319 -x4375 -x4360 -x4878 -x4862 -x4850 -x4836 -x3258 -x3243 -x3295 -x3276 -x4247 -x4266 -x3823 -x3805 x6568 -x6557 -x6586 -x6576 -x7034 -x7023 -x7007 -x6997 -x5583 -x5568 -x5612 -x5598 -x14 -x52 -x1339 -x1433 -x884 -x920 -x6245 -x6236 x5885 -x5868 -x5347 -x5327 -x6816 -x6797 -x6360 -x6339 -x3811 -x3828 -x2031 -x2151 -x2167 -x2180 -x2455 -x2407 -x2424 -x2591 -x2821 -x2836 -x2845 -x2854 -x3125 -x3098 -x3109 -x3147 -x3067 -x3487 -x3472 -x3453 -x3548 -x3500 -x3516 -x3997 -x4161 -x4035 -x4053 -x4069 -x4622 -x4573 -x4590 x4676 -x5278 -x5059 -x5074 -x5091 -x3135 -x2702 -x2712 -x2723 -x2833 -x2865 -x2855 -x2370 -x2470 -x2460 -x2443 -x2423 -x2057 -x2098 x2084 -x2004 -x1632 -x1699 -x1721 -x1666 -x1147 -x1169 -x1186 -x1203 -x757 -x707 -x723 -x682 -x344 -x342 -x360 -x225 -x3587 -x3569 -x3566 -x3623 -x2951 -x4256 -x4277 -x4290 -x3770 -x3821 -x3804 -x3745 -x3302 -x3280 -x3263 -x3247 -x4810 -x4853 -x4834 -x4889 -x4499 -x4378 x4362 -x4347 -x5853 -x5879 -x5893 -x6033 -x5403 -x5339 -x5361 -x5294 -x6773 -x6794 -x6811 -x6825 -x6714 -x6324 -x6343 -x6297 -x323 -x308 -x283 -x262 -x758 -x739 -x776 -x767 -x1287 -x1274 -x1116 -x1107 -x1757 x1743 -x1783 -x1775 -x2054 -x2068 -x2019 -x2036 -x2472 -x2486 -x2492 -x2508 -x2767 -x2752 -x2810 -x2822 -x3077 -x3068 -x3091 -x3084 -x3599 -x3614 -x3503 -x3519 -x5005 -x4991 -x5034 -x5018 -x4600 -x4628 -x4576 -x4594 -x4463 -x4447 -x4560 -x4544 -x4524 -x4507 -x4106 -x4122 -x3992 -x3979 -x4026 -x4007 -x3927 -x3909 -x3959 -x3958 -x3262 -x3245 -x3475 -x3458 -x3443 -x3429 -x3419 -x3403 -x2894 -x2903 -x2875 x2883 -x2863 -x2871 -x2842 -x2852 -x3216 -x3225 -x3161 -x3170 -x3177 -x3188 -x3138 -x3143 -x2125 -x2136 -x2105 -x2117 -x2190 -x2206 -x2152 -x2172 -x2294 -x2281 -x2518 -x2527 -x2539 -x2555
67.73/68.02	v -x2574 -x2587 -x998 -x1015 -x975 -x987 -x1176 -x1160 -x1143 -x1127 -x235 -x252 -x273 -x292 -x416 -x434 -x451 -x467 -x1562 -x1572 -x1644 -x1660 -x1609 -x1626 -x1704 -x1720 -x1076 -x1088 x1101 -x1115 -x1134 -x1151 -x1175 -x1188 -x1062 -x1048 -x2613 -x2597 -x2579 -x2566 -x2548 -x2532 -x2241 -x2252 -x2219 -x2231 -x2163 -x2145 -x2196 -x2179 -x1872 -x1881 -x1796 -x1818 -x1837 -x1851 -x3195 -x3182 -x2971 -x2975 -x2958 -x2965 -x2998 -x3009 -x2977 -x2989 -x2771 -x2781 -x2626 -x2633 -x2643 -x2647 -x2654 -x2664 -x4064 -x4048 -x4099 -x4082 -x4265 -x4241 -x4316 -x4300 -x5478 -x5464 -x5507 -x5493 -x6147 -x6152 -x6167 -x6130 -x6054 -x6038 -x6026 -x6006 -x5989 -x5975 -x5974 -x1541 -x1637 -x1652 -x1601 -x1621 -x1576 -x1589 -x1555 -x1560 -x1239 -x1259 -x1128 -x1144 -x1161 -x1182 -x1068 -x1081 -x850 -x868 -x831 -x840 -x713 -x729 x686 -x699 -x390 -x397 -x407 -x429 -x439 -x455 -x238 -x255 -x3157 -x3151 -x3144 -x3139 -x3131 -x3120 -x3112 -x3106 -x2722 -x2734 -x2848 -x2837 -x2872 -x2862 -x2808 -x2798 -x2372 -x2389 -x2350 -x2364 -x2450 -x2428 -x2410 -x2392 -x6904 -x3344 -x3942 -x4541 -x4966 x2413 -x1939 -x3022 -x2741 -x1414 -x42 x651 -x6569 -x7033 -x5588 -x5540 -x6065 -x4429 -x5734 -x5753 -x5703 -x5720 -x1458 -x1443 -x1427 -x1409 -x980 -x969 -x1004 -x1001 -x595 -x580 -x674 -x663 -x139 -x128 -x174 x155 -x332 -x347 -x3000 -x3012 -x3198 -x3184 -x3173 -x3165 -x2953 -x2940 -x2888 -x2881 -x2554 -x2533 -x2521 -x2510 -x4561 -x5045 -x3611 x4147 -x6743 -x7157 -x5685 -x6161 -x479 -x6734 -x6672 -x6658 -x6702 -x6685 -x6363 -x6378 -x6393 -x6417 -x6305 -x6318 x6337 -x6357 -x6478 -x6496 -x6513 -x6530 -x6427 -x6441 -x6456 -x6470 -x6115 -x6104 -x6093 -x6094 -x6087 -x6173 -x6154 -x6144 -x6133 -x6218 -x6206 -x6191 -x6178 -x6282 -x6264 -x6247 -x6231 -x5877 -x5894 -x5827 -x5843 -x5935 -x5957 -x5901 -x5918 -x6003 -x6020 -x5981 -x5991 -x6057 -x6074 -x6036 -x6048 -x5581 -x5565 -x5572 -x5618 -x5602 -x5648 -x5635 -x5687 -x5665 -x5717 -x6207 -x6192 -x6179 -x6283 -x6265 -x6248 -x6232 -x5878 -x5895 -x5828 -x5844
67.73/68.02	v -x5936 -x5958 -x5902 -x5919 -x6004 -x6021 -x5982 -x5992 -x6058 -x6075 -x6037 -x6049 -x5582 -x5566 -x5573 -x5619 -x5603 -x5649 -x5636 -x5688 -x5666 -x5718 -x5696 -x5748 -x5731 -x5778 -x5767 -x5810 -x5794 -x5295 -x5315 -x5328 -x5351 -x5373 -x5389 -x5408 -x5427 -x5457 -x5473 -x5487 -x5501 -x5519 -x5530 -x5549 -x5562 -x5273 -x5261 -x5275 -x5238 -x5250 -x5203 -x5222 -x5170 -x5667 -x5719 -x5697 -x5749 -x5732 -x5779 -x5768 -x5811 -x5795 -x5296 -x5316 -x5329 -x5352 -x5374 -x5390 -x5409 -x5428 -x5458 -x5474 -x5488 -x5502 -x5520 -x5531 -x5550 -x5563 -x5274 -x5262 -x5276 -x5239 -x5251 -x5204 -x5223 -x5171 -x5186 -x5147 -x5163 -x5115 -x5131 -x5085 -x5100 -x5052 -x5071 -x5037 -x5021 -x5003 -x4988 -x4978 -x4964 -x4952 -x4935 -x4914 -x4899 -x4879 -x4865 -x4844 -x4827 -x4819 -x4800 -x4811 -x4749 -x4761 -x4775 -x4789 -x4692 -x5224 -x5172 -x5187 -x5148 -x5164 -x5116 -x5132 -x5086 -x5101 -x5053 -x5072 -x5038 -x5022 -x5004 -x4989 -x4979 -x4965 -x4953 -x4936 -x4915 -x4900 -x4880 -x4866 -x4845 -x4828 -x4820 -x4801 -x4812 -x4750 -x4762 -x4776 -x4790 -x4693 -x4705 -x4717 -x4733 -x4638 -x4654 -x4670 -x4685 -x4580 -x4595 -x4612 -x4617 -x4526 -x4509 -x4558 -x4542 -x4460 -x4445 -x4492 -x4477 -x4393 -x4381 -x4421 -x4405 -x4337 -x4323 -x4366 -x4373 -x4356 -x4217 -x4231 -x4180 -x4791 -x4694 -x4706 -x4718 -x4734 -x4639 -x4655 -x4671 -x4686 -x4581 -x4596 -x4613 -x4618 -x4527 -x4510 -x4559 -x4543 -x4461 -x4446 -x4493 -x4478 -x4394 -x4382 -x4422 -x4406 -x4338 -x4324 -x4367 -x4374 -x4357 -x4218 -x4232 -x4181 -x4198 -x4297 -x4317 -x4252 -x4278 -x4074 -x4093 -x4040 -x4055 -x4139 -x4159 -x4117 -x4134 -x3961 -x3943 -x3925 -x3910 -x4024 -x4005 -x3989 -x3974 -x3829 -x3814 -x3794 -x3781 -x3897 -x3879 -x3875 -x3858 -x3839 -x3646 -x4233 -x4182 -x4199 -x4298 -x4318 -x4253 -x4279 -x4075 -x4094 -x4041 -x4056 -x4140 -x4160 -x4118 -x4135 -x3962 -x3944 -x3926 -x3911 -x4025 -x4006 -x3990 -x3975 -x3830 -x3815 -x3795 -x3782 -x3898 -x3880 -x3876 -x3859 -x3840 -x3647 -x3667 -x3681 -x3694 -x3706 -x3723 -x3746 -x3762
67.73/68.02	v -x3491 -x3512 -x3527 -x3542 -x3567 -x3588 -x3606 -x3628 -x3385 -x3368 -x3417 -x3401 -x3444 -x3438 -x3477 -x3463 -x3254 -x3234 -x3288 -x3273 -x3320 -x3315 -x3297 -x3349 -x3841 -x3648 -x3668 -x3682 -x3695 -x3707 -x3724 -x3747 -x3763 -x3492 -x3513 -x3528 -x3543 -x3568 -x3589 -x3607 -x3629 -x3386 -x3369 -x3418 -x3402 -x3445 -x3439 -x3478 -x3464 -x3255 -x3235 -x3289 -x3274 -x3321 -x3316 -x3298 -x3350 -x3330 -x1899 -x1889 -x1918 -x1909 -x1947 -x1931 -x1971 -x1958 -x1814 -x1804 -x1847 -x1829 -x1863 -x1857 -x1879 -x1870 -x2107 -x2118 -x2129 -x2141 -x2158 -x2173 -x2192 -x2209 -x1982 -x1996 -x2009 -x2021 -x2037 -x2051 -x3299 -x3351 -x3331 -x1900 -x1890 -x1919 -x1910 -x1948 -x1932 -x1972 -x1959 -x1815 -x1805 -x1848 -x1830 -x1864 -x1858 -x1880 -x1871 -x2108 -x2119 -x2130 -x2142 -x2159 -x2174 -x2193 -x2210 -x1983 -x1997 -x2010 -x2022 -x2038 -x2052 -x2069 -x2082 -x2094 -x2336 -x2325 -x2313 -x2306 -x2382 -x2368 -x2355 -x2344 -x2258 -x2248 -x2237 -x2212 -x2297 -x2283 -x2275 -x2265 -x2543 -x2557 -x2513 -x2529 -x2598 -x2614 -x2567 -x2581 -x2431 -x2451 -x2398 -x2405 -x2039 -x2053 -x2070 -x2083 -x2095 -x2337 -x2326 -x2314 -x2307 -x2383 -x2369 -x2356 -x2345 -x2259 -x2249 -x2238 -x2213 -x2298 -x2284 -x2276 -x2266 -x2544 -x2558 -x2514 -x2530 -x2599 -x2615 -x2568 -x2582 -x2432 -x2452 -x2399 -x2406 -x2422 -x2493 -x2506 -x2473 -x2484 -x2766 -x2754 -x2787 -x2776 -x2716 -x2703 -x2740 -x2727 -x2662 -x2653 -x2686 -x2678 -x2630 -x2623 -x2652 -x2642 -x2914 -x2929 -x2935 -x2943 -x2879 -x2886 -x2895 -x2904 -x2838 -x2849 x5066 -x5051 -x5284 -x5269 -x5260 -x5247 -x5226 -x5207 -x5190 -x5175 -x4896 -x4911 -x4869 -x4887 -x4841 -x4855 -x4584 -x4566 -x4615 -x4601 -x4769 -x4754 -x4797 -x4781 -x4716 -x4702 -x4744 -x4729 -x4380 -x4403 -x4417 -x4431 -x4063 -x4045 -x4170 -x4153 -x4133 -x4115 -x4229 -x4211 -x4196 -x4178 -x4304 -x4283 -x4261 -x4240 -x3801 -x3820 -x3524 -x3508 -x3556 -x3539 -x3591 -x3570 -x3626 -x3612 -x3652 -x3634 -x3685 -x3669 -x3718 -x3702 -x3753 -x3738 -x3459 -x3474 -x7140 -x7152 -x7117
67.73/68.02	v -x7127 -x7097 -x7109 -x7063 -x7078 -x7045 -x7058 -x7024 -x7035 -x6993 -x7006 -x6789 -x6802 -x6785 -x6770 -x6708 -x6719 -x6733 -x6744 -x6648 -x6666 -x6675 -x6692 -x6598 -x6613 -x6625 -x6640 -x6394 -x6312 -x6321 -x6304 -x6355 -x6336 -x6216 -x6230 -x6182 -x6197 -x6272 -x6288 -x6246 -x6260 -x6105 -x6116 -x5876 -x5860 -x5841 -x5826 -x5959 -x5939 -x5915 -x5903 -x5709 -x5725 -x5743 -x5756 -x5772 -x5789 -x5801 -x5819 -x5539 -x5317 -x5297 -x5359 -x5353 -x5334 -x5391 -x5372 -x5429 -x5407 -x1397 -x1381 -x1432 -x1413 -x1344 -x1329 -x7082 -x6614 -x6091 -x5643 -x5182 x4906 -x4412 -x3871 -x3338 -x45 -x57 -x22 -x33 -x433 -x415 -x1386 -x1396 -x1689 -x1676 -x1727 -x1711 -x1292 -x1277 -x1264 x1246 -x2401 -x2419 -x2434 -x2453 -x2157 -x2175 -x2011 -x2023 -x3158 -x3166 -x3174 -x3185 -x2922 -x2923 -x2896 -x2906 -x3353 -x3333 -x3327 -x3312 -x303 -x318 -x268 -x285 -x229 -x247 -x223 -x206 -x1561 -x1571 -x1581 -x1596 -x1613 -x1631 -x1650 -x1665 -x1281 -x1283 -x1110 -x1122 -x1078 -x1096 -x1163 -x1184 -x2411 -x2394 -x2458 -x2440 -x2578 -x2563 -x2609 -x2594 -x2062 -x2045 -x2026 -x2017 -x2002 -x1989 -x2200 -x2181 -x3113 -x3101 -x3132 -x3123 -x3142 -x3137 -x3154 -x3146 -x3083 -x3086 -x2826 -x2814 -x2806 -x2793 -x2867 -x2857 -x2773 x2785 -x2745 -x2759 -x4008 -x4023 -x3980 -x3994 -x4137 -x4119 -x4097 -x4080 -x4062 -x4044 -x3430 -x3457 -x617 -x631 -x642 -x655 -x163 -x122 -x135 -x201 -x314 -x2995 -x2985 -x3015 -x3167 -x3179 -x3190 -x2690 -x2924 -x2891 -x2900 -x2876 -x2531 -x2545 -x2556 -x2571 -x2064 -x2128 -x2137 -x2109 -x2500 x2468 -x2479 -x2540 -x2027 -x2040 -x2061 -x2076 -x3364 -x5048 -x5064 -x5077 -x4995 -x5039 -x5024 -x4607 -x4449 -x4556 x4534 -x4522 -x2499 -x2461 -x2475 -x2437 -x2144 -x2049 -x2066 -x2079 -x3223 -x3202 -x3211 -x3118 -x2902 -x2913 -x2927 -x2934 -x772 -x761 -x749 -x728 -x164 -x331 -x313 -x364 -x3061 -x3050 -x2987 -x2979 -x3010 -x2997 -x2962 -x2956 -x2738 -x2726 -x2715 -x2698 -x2684 -x2674 -x2666 -x2656 -x501 -x512 -x524 -x538 -x549 -x564 x583 -x596 -x36 -x50 -x9 -x24 -x93 -x104
67.73/68.02	v -x61 -x76 -x1722 -x1701 -x1393 -x1404 -x1423 -x1438 -x1342 -x1355 -x1254 -x1235 -x1220 -x1196 -x949 -x959 -x931 -x942 -x5387 -x5404 -x5338 -x5362 -x5300 -x5319 -x5815 -x5796 -x5916 -x5922 -x5942 -x5961 -x5840 -x5859 -x5880 -x5897 -x6497 -x6335 -x6330 -x6349 -x6298 -x6313 -x6391 -x6405 -x3676 -x3689 -x3319 -x3309 -x3301 -x3355 -x3336 -x3246 -x4210 -x4225 -x4174 -x4191 -x3904 -x3889 -x3870 -x3854 -x4724 -x4737 -x4757 -x4768 -x4782 -x4798 -x4786 -x4348 -x5215 -x5233 -x5179 -x5197 -x5266 -x5282 -x5244 -x5240 -x2366 -x2353 -x2251 x2239 -x2225 -x2211 -x2296 -x2287 -x1954 -x1936 -x1974 -x1961 -x1810 -x1801 -x1841 -x1826 -x3074 -x3066 -x3055 -x3044 -x3035 -x3023 -x3016 -x3007 -x2757 -x2742 -x2780 -x2774 -x2704 -x2691 -x2733 -x2719 -x2818 -x2829 -x509 -x521 -x473 -x488 -x558 -x570 -x1187 -x1164 -x1089 -x1077 -x1117 -x1103 -x614 -x626 -x721 -x705 -x694 -x679 -x775 -x763 -x753 -x735 -x465 -x448 -x245 -x224 -x286 -x265 -x324 -x306 -x6760 -x6779 -x6791 -x6805 -x6923 -x6934 -x6952 -x6965 -x6367 x6382 -x6326 -x6344 -x6303 -x6316 -x6519 -x6537 -x5834 -x5854 -x5873 -x5890 -x5910 -x5920 -x5944 -x5962 -x5777 -x5761 -x5344 -x5366 -x5301 -x5324 -x5420 -x5443 -x5060 -x5076 -x5089 -x5104 -x4999 -x4986 -x5027 -x5016 -x4640 -x4656 -x4608 -x4623 -x4571 -x4591 -x4548 -x4532 -x4096 x3554 -x5232 -x4738 -x1853 -x2264 -x2550 -x2950 -x3192 -x4874 -x3712 -x3697 -x3750 -x3759 -x3740 -x3662 -x3643 -x3259 -x3275 -x3291 -x4307 -x4284 -x4292 -x4270 -x4250 -x3868 -x3806 -x3824 -x3773 -x3788 -x2639 -x2637 -x2649 -x2892 -x2885 -x2877 -x2946 x2938 -x2926 -x2912 -x2920 -x3150 -x3168 -x3159 -x3191 -x3176 -x3209 -x3201 -x3221 -x2012 -x1999 -x1986 -x2203 -x2185 -x2168 -x2153 -x2143 -x2487 -x2417 -x2393 -x2448 -x2429 -x2585 -x2573 -x2618 -x1265 -x1207 -x1226 -x1307 -x1322 -x1280 -x1295 -x1097 -x1415 -x1678 -x1693 -x1705 -x1735 -x1748 -x1761 -x1779 -x711 -x1243 -x1712 -x2028 -x2447 -x2720 -x3045 x3525 -x4057 -x1063 -x1025 -x1573 -x1509 -x5533 -x5546 -x5990 -x6061 -x6493 -x6514 -x6787 -x6939 -x3428 -x3476 -x3906
67.73/68.02	v x4022 -x4511 -x4557 -x1474 -x1523 -x1506 -x1547 -x1534 -x1346 -x1330 -x1374 -x205 -x192 -x178 -x159 -x146 -x129 -x117 -x112 -x650 -x639 -x629 -x665 -x652 -x592 -x577 -x620 -x1069 -x1084 -x1090 -x1053 -x1041 -x1031 -x1017 -x1010 -x1553 -x1564 -x1579 x1582 -x1593 -x1516 -x1496 -x1540 -x241 -x258 -x343 -x361 -x359 -x304 -x319 -x168 -x685 -x697 -x714 -x733 -x745 -x743 -x754 -x762 -x2805 -x2796 -x2944 -x2937 -x2928 -x2915 -x2916 -x2910 -x3115 -x3103 -x3129 -x3122 -x3208 -x3199 -x3224 -x3230 -x386 -x335 -x349 -x299 -x320 -x263 -x284 -x226 -x6846 -x6833 -x6818 -x6912 -x6897 -x6886 -x6874 -x6964 -x6329 -x6381 -x6368 -x6409 -x6395 -x6446 -x6431 x6473 -x5946 -x5927 -x5911 -x5892 -x5874 -x5852 -x5835 -x6068 -x6189 -x5399 -x5382 -x5439 -x5417 -x5326 -x5306 -x5364 -x5739 -x5733 -x5750 -x4956 -x4972 -x4924 -x4938 -x5011 -x5152 -x5138 -x5143 -x5125 -x5110 -x4437 -x4455 -x4470 -x4620 -x4605 -x4646 -x4659 -x4644 -x4691 -x4672 -x4016 -x4164 -x4146 -x4131 -x4113 -x4107 -x4087 -x4070 -x4051 x6043 -x6110 -x1452 -x1030 -x602 -x81 -x3028 -x2750 -x2303 -x3537 -x7107 -x6693 x6372 -x5833 -x5375 -x1318 -x1588 -x365 -x2692 -x2687 -x2677 -x2669 -x3021 -x3056 -x3047 -x2992 -x27 -x96 -x106 -x67 -x492 -x504 -x516 -x536 -x1212 -x945 -x956 -x930 -x1677 -x1728 -x1706 -x1384 -x5346 -x5377 x5394 -x5413 -x5886 -x5831 -x5851 -x5929 -x6468 -x6374 -x6388 -x6400 -x6308 x6358 -x6325 -x6501 -x6485 -x6544 -x6526 -x6445 -x6429 -x6472 -x6459 -x6594 -x6607 -x6617 -x6633 -x6553 -x6829 -x6813 -x6800 -x6778 -x6759 -x6959 -x6945 -x6929 -x6919 -x6911 -x6898 -x6885 -x6875 -x7039 -x7052 -x7019 -x398 -x366 -x378 -x447 -x466 -x417 -x435 -x269 -x291 -x233 -x248 -x333 -x350 -x307 -x328 -x172 -x74 -x793 -x805 -x812 -x819 -x834 -x847 -x860 -x873 -x675 -x689 -x700 -x720 -x738 -x750 -x766 -x532 -x567 -x556 -x1305 -x1321 -x1276 -x1291 -x1230 -x1250 -x1195 -x1215 -x1173 -x1190 -x1132 -x1148 -x1106 -x922 -x915 -x907 -x893 -x880 -x1754 -x1767 -x1770 -x1787 -x1669 -x1683 -x1703 -x1723 -x1608 -x1629 -x1648 -x1385 -x1426 -x1411
67.73/68.02	v -x1349 -x1324 -x1371 -x1363 -x2025 -x2018 -x2006 -x1992 -x2093 -x2081 -x2067 -x2050 -x2135 -x1862 -x1912 -x1921 -x1892 -x1902 -x1965 -x1976 -x1940 -x1953 -x2420 -x2403 -x2457 -x2439 -x2485 -x2474 -x2507 -x2274 -x2286 -x2293 -x2312 -x2322 -x2329 -x2341 -x2349 -x2363 -x2376 -x2384 -x2868 -x2859 -x2847 -x2835 -x2820 -x482 -x495 -x510 -x527 -x537 -x548 -x562 -x1312 -x982 -x954 -x960 -x934 -x943 -x910 -x921 -x886 -x1457 -x1473 -x1486 -x1390 -x1403 -x1419 -x1437 -x1335 -x6155 -x6095 -x6082 -x6117 -x6106 -x6252 -x6237 -x6278 -x5668 -x5650 -x5630 -x5613 -x5599 -x5591 -x5576 -x5804 -x6956 -x6984 -x6974 -x7002 -x6990 -x7026 -x7012 -x7049 -x6532 -x6474 -x6507 -x6583 -x6572 -x6558 -x6547 -x6635 x3881 -x3796 -x3778 -x3818 -x3803 -x4260 -x4280 -x4299 -x3347 -x3322 -x3310 -x3284 -x3264 -x3250 -x3233 -x3736 -x2890 -x2882 -x2907 -x2899 -x2522 -x2511 -x2610 -x2590 -x2113 -x2101 -x2132 -x2122 -x3328 -x3348 -x3372 -x3388 -x3874 -x3893 -x3838 -x3856 -x4414 -x4434 -x4331 -x4345 -x4904 -x4920 -x4870 x4885 -x5185 -x5169 -x5470 -x5451 -x5634 -x5654 -x5664 -x5690 -x2097 -x1990 -x2003 -x2014 -x2032 -x1946 -x1933 -x1968 -x3124 -x3095 -x3107 -x3148 -x3155 -x3136 -x3140 -x3060 -x2797 -x2795 -x2804 -x2811 -x2823 -x2831 -x2843 -x2856 -x3357 -x3339 -x3337 -x3389 -x3371 x3422 -x3404 -x3455 -x3905 -x3888 -x3867 -x3855 -x3836 -x3970 -x3957 -x3938 -x4427 -x4408 -x4336 -x4320 -x4334 -x4377 -x4361 -x4513 -x4907 -x4894 -x4873 -x4858 -x4851 -x4852 -x4835 -x4825 -x5177 -x5193 -x5461 -x5480 -x5494 -x5508 -x5498 -x5510 -x5644 -x5620 -x5675 -x5658 -x6005 -x6025 -x5977 -x5971 -x6841 -x6853 -x6864 -x6764 -x6784 -x6792 -x6807 -x6920 -x6651 -x6399 -x6412 -x6373 -x6387 -x6342 -x6345 -x6293 -x4129 -x4148 -x4166 -x3928 -x3912 -x3964 -x3950 -x4000 -x3521 -x3608 -x3632 -x3575 -x3592 -x3411 -x3394 -x3382 -x5121 -x5139 -x5154 -x5046 -x5062 -x5078 -x5092 x5006 -x4708 -x4668 -x4677 -x4631 -x4647 -x4604 -x4621 -x4567 -x2285 -x2273 -x2263 -x2340 -x2330 -x2324 -x2310 -x2386 -x1825 -x1865 -x1856 -x1878 -x1873 -x1901 -x1893
67.73/68.02	v -x1922 -x3003 -x2991 -x2982 -x2976 -x2972 -x2966 -x2959 -x3089 -x4212 -x4780 -x5205 -x1867 -x2323 x2755 -x3032 -x69 -x795 -x499 -x37 -x1364 x911 -x2442 -x2029 -x3128 -x2827 -x3771 -x6162 -x6127 -x5606 -x5627 -x5271 -x5256 -x4371 -x4766 -x3903 -x3848 -x3290 -x3308 -x4856 -x4813 -x4546 x4330 -x3967 -x3918 -x5035 -x5020 -x4950 -x4932 -x4562 -x4539 -x4525 -x4512 -x4565 -x4586 -x2936 -x2945 -x2651 -x2641 -x2629 -x2622 -x3018 -x3005 -x2967 -x2961 -x1838 -x1822 -x1809 -x1799 -x2390 -x2377 -x2226 x2214 -x904 -x912 -x879 -x892 -x1410 -x1428 -x1327 -x1345 -x5017 -x5814 -x5360 -x5298 -x5960 -x5842 -x6354 -x6301 -x6963 -x6754 -x744 -x777 x230 -x348 -x1612 -x1658 -x981 -x1189 -x3560 x3421 -x5033 -x4488 -x5943 -x5482 -x6948 -x6460 -x4010 -x511 -x498 -x484 -x471 -x2729 -x2739 -x2748 -x2763 -x3049 -x3058 -x3027 x3039 -x1835 -x1849 -x1928 -x1944 -x2245 -x2254 -x2222 -x2236 -x4128 -x4109 -x4084 -x4077 -x3580 -x3557 -x3620 -x3601 -x3410 -x3425 -x5102 -x5088 -x5010 -x5028 -x4982 -x4998 -x1859 -x2271 -x4690 -x5162 -x3624 -x4154 -x3921 -x6379 x6772

Verifier Data 

OK	9

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: 63708 MiB (61797 MiB free)
  memory of node 1: 64465 MiB (63028 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499225-1751394954/watcher-4499225-1751394954 -o /tmp/evaluation-result-4499225-1751394954/solver-4499225-1751394954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751386400-51590 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4499225-1751394954.opb 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=54494, runsolver pid=54491

[startup+0.100063 s]*
/proc/loadavg: 4.11 4.09 4.09 5/270 54499
/proc/meminfo: memFree=127807340/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1185144 memory=29636 CPUtime=0.05 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 3259 0 0 0 5 0 0 0 20 0 1 0 55117900 1213587456 7409 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 296286 7409 4785 1 0 268354 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 1189336 KiB
Current children cumulated memory: 32708 KiB

[startup+0.205718 s]*
/proc/loadavg: 4.11 4.09 4.09 5/270 54499
/proc/meminfo: memFree=127773320/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1221464 memory=74308 CPUtime=0.16 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 11683 0 0 0 14 2 0 0 20 0 1 0 55117900 1250779136 18577 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 305366 18577 7793 1 0 276724 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1225656 KiB
Current children cumulated memory: 77380 KiB

[startup+0.305706 s]*
/proc/loadavg: 4.11 4.09 4.09 5/270 54499
/proc/meminfo: memFree=127749380/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1243232 memory=94020 CPUtime=0.25 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 16513 0 0 0 23 2 0 0 20 0 1 0 55117900 1273069568 23505 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 310808 23505 7889 1 0 282166 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1247424 KiB
Current children cumulated memory: 97092 KiB

[startup+0.700223 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 54499
/proc/meminfo: memFree=127725188/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1280724 memory=120260 CPUtime=0.64 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 23110 0 0 0 61 3 0 0 20 0 1 0 55117900 1311461376 30065 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 320181 30065 7985 1 0 291539 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 1284916 KiB
Current children cumulated memory: 123332 KiB

[startup+1.50022 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 54499
/proc/meminfo: memFree=127717124/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1285756 memory=126148 CPUtime=1.44 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 24571 0 0 0 141 3 0 0 20 0 1 0 55117900 1316614144 31537 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 321439 31537 7985 1 0 292797 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 1289948 KiB
Current children cumulated memory: 129220 KiB

[startup+3.10547 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 54499
/proc/meminfo: memFree=127711944/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1292800 memory=132932 CPUtime=3.04 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 26266 0 0 0 300 4 0 0 20 0 1 0 55117900 1323827200 33233 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 323200 33233 7985 1 0 294558 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 1296992 KiB
Current children cumulated memory: 136004 KiB

[startup+6.30021 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 54499
/proc/meminfo: memFree=127575564/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1420116 memory=256400 CPUtime=6.22 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 63972 0 0 0 612 10 0 0 20 0 1 0 55117900 1454198784 64100 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 355029 64100 8081 1 0 326387 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1424308 KiB
Current children cumulated memory: 259472 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.10 4.09 5/270 54499
/proc/meminfo: memFree=127560196/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1427304 memory=265360 CPUtime=12.61 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 79670 0 0 0 1248 13 0 0 20 0 1 0 55117900 1461559296 66340 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 356826 66340 8081 1 0 328184 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1431496 KiB
Current children cumulated memory: 268432 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 54499
/proc/meminfo: memFree=127458448/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1483820 memory=321988 CPUtime=25.37 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 120285 0 0 0 2516 21 0 0 20 0 1 0 55117900 1519431680 80497 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 370955 80497 8081 1 0 342313 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1488012 KiB
Current children cumulated memory: 325060 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.11 4.09 5/270 54502
/proc/meminfo: memFree=127454612/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1535532 memory=369948 CPUtime=50.88 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 235486 0 0 0 5047 41 0 0 20 0 1 0 55117900 1572384768 92487 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 383883 92487 8081 1 0 355241 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1539724 KiB
Current children cumulated memory: 373020 KiB

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

# cumulated CPU time of all completed processes:  user=67.3814 s, system=0.463796 s

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

[startup+51.2003 s]
/proc/loadavg: 4.15 4.11 4.09 5/270 54502
/proc/meminfo: memFree=127454612/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1535532 memory=369948 CPUtime=50.98 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 235487 0 0 0 5057 41 0 0 20 0 1 0 55117900 1572384768 92487 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 383883 92487 8081 1 0 355241 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1539724 KiB
Current children cumulated memory: 373020 KiB

[startup+57.6002 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 54502
/proc/meminfo: memFree=127430964/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1543436 memory=377020 CPUtime=57.36 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 241888 0 0 0 5693 43 0 0 20 0 1 0 55117900 1580478464 94255 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 385859 94255 8081 1 0 357217 0
Current children cumulated CPU time: 57.36 s
Current children cumulated vsize: 1547628 KiB
Current children cumulated memory: 380092 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.12 4.10 4.09 5/270 54503
/proc/meminfo: memFree=127431840/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1550324 memory=383292 CPUtime=63.74 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 243456 0 0 0 6331 43 0 0 20 0 1 0 55117900 1587531776 95823 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 387581 95823 8081 1 0 358939 0
Current children cumulated CPU time: 63.74 s
Current children cumulated vsize: 1554516 KiB
Current children cumulated memory: 386364 KiB

[startup+65.6002 s]
/proc/loadavg: 4.12 4.10 4.09 5/271 54504
/proc/meminfo: memFree=127414608/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1552252 memory=384956 CPUtime=65.33 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 243876 0 0 0 6490 43 0 0 20 0 1 0 55117900 1589506048 96239 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 388063 96239 8081 1 0 359421 0
Current children cumulated CPU time: 65.33 s
Current children cumulated vsize: 1556444 KiB
Current children cumulated memory: 388028 KiB

[startup+67.2002 s]
/proc/loadavg: 4.11 4.10 4.09 5/271 54504
/proc/meminfo: memFree=127414624/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1553116 memory=385852 CPUtime=66.92 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 244112 0 0 0 6649 43 0 0 20 0 1 0 55117900 1590390784 96463 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 388279 96463 8081 1 0 359637 0
Current children cumulated CPU time: 66.92 s
Current children cumulated vsize: 1557308 KiB
Current children cumulated memory: 388924 KiB

[startup+67.6002 s]
/proc/loadavg: 4.11 4.10 4.09 5/271 54504
/proc/meminfo: memFree=127414624/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1554268 memory=386748 CPUtime=67.32 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 244341 0 0 0 6689 43 0 0 20 0 1 0 55117900 1591570432 96687 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 388567 96687 8081 1 0 359925 0
Current children cumulated CPU time: 67.32 s
Current children cumulated vsize: 1558460 KiB
Current children cumulated memory: 389820 KiB

[startup+68.0002 s]*
/proc/loadavg: 4.11 4.10 4.09 5/271 54504
/proc/meminfo: memFree=127414624/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
[pid=54499] ppid=54494 vsize=1563084 memory=395068 CPUtime=67.73 cores=0,2
/proc/54499/stat : 54499 (python3) R 54494 54494 51580 0 -1 4194304 246364 0 0 0 6729 44 0 0 20 0 1 0 55117900 1600598016 98767 18446744073709551615 94212063031296 94212063031673 140722165295072 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94212063042968 94212063043588 94212079742976 140722165299559 140722165299746 140722165299746 140722165305319 0
/proc/54499/statm: 390771 98767 8145 1 0 362129 0
Current children cumulated CPU time: 67.73 s
Current children cumulated vsize: 1567276 KiB
Current children cumulated memory: 398140 KiB

[startup+68.1055 s]
/proc/loadavg: 4.11 4.10 4.09 5/271 54504
/proc/meminfo: memFree=127414624/131250000 swapFree=33010684/33010684
[pid=54494] ppid=54491 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/54494/stat : 54494 (scip-naps-1.00.) S 54491 54494 51580 0 -1 4194304 258 344 0 0 0 0 0 0 20 0 1 0 55117897 4292608 768 18446744073709551615 94029978722304 94029979616837 140734937704320 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94029979855888 94029979903632 94030010347520 140734937713057 140734937713154 140734937713154 140734937718756 0
/proc/54494/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 68.1084
CPU time (s): 67.8452
CPU user time (s): 67.3814
CPU system time (s): 0.463796
CPU usage (%): 99.6135
Max. virtual memory (cumulated for all children) (KiB): 1567276
Max. memory (cumulated for all children) (KiB): 398140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.3814
system time used= 0.463796
maximum resident set size= 395068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247008
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 350
involuntary context switches= 129


# summary of solver processes directly reported to runsolver:
#   pid: 54494
#   total CPU time (s): 67.8452
#   total CPU user time (s): 67.3814
#   total CPU system time (s): 0.463796

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.131106 second user time and 0.367112 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-01 20:35:54
IDJOB=4499225
IDBENCH=148773
IDSOLVER=3368
FILE ID=nodeC028/4499225-1751394954
RUNJOBID= nodeC028-1751386400-51590
SLURM_JOB_ID= 9598246
Free space on /tmp= 433044 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx92.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499225-1751394954/watcher-4499225-1751394954 -o /tmp/evaluation-result-4499225-1751394954/solver-4499225-1751394954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751386400-51590 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4499225-1751394954.opb

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

MD5SUM BENCH= 8416d641e22e8376ddac92bbd41682d6
RANDOM SEED=1589797816

nodeC028 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		: 3600.083
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	: 7000.16
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		: 3600.142
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	: 7000.16
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		: 3608.136
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	: 7000.16
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		: 3580.695
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	: 7000.16
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		: 3600.151
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	: 7000.16
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		: 3600.078
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	: 7000.16
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		: 3600.325
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	: 7000.16
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		: 3581.266
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	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127821504 kB
MemAvailable:   127809604 kB
Buffers:            3280 kB
Cached:           794736 kB
SwapCached:            0 kB
Active:          2356812 kB
Inactive:         486212 kB
Active(anon):    2063076 kB
Inactive(anon):        0 kB
Active(file):     293736 kB
Inactive(file):   486212 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6164 kB
Writeback:             0 kB
AnonPages:       2044872 kB
Mapped:           133976 kB
Shmem:             18068 kB
KReclaimable:      94784 kB
Slab:             181112 kB
SReclaimable:      94784 kB
SUnreclaim:        86328 kB
KernelStack:        4352 kB
PageTables:         7764 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    5700920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:    659456 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC028 at 2025-07-01 20:37:02