Trace number 4530287

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.00a2OPT9 66.9407 67.498

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.71/28.17	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530287-1752253826.opb
27.71/28.17	c Solving mode: optimization
27.71/28.17	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
27.71/28.17	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
27.71/28.17	c original problem has 7164 variables (7164 bin, 0 int, 0 impl, 0 cont) and 7824 constraints
27.71/28.17	c presolving:
27.71/28.17	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.71/28.17	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.71/28.17	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.71/28.17	c    (0.4s) probing: 51/7155 (0.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
27.71/28.17	c    (0.4s) probing aborted: 50/50 successive totally useless probings
27.71/28.17	c    (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
27.71/28.17	c    (3.8s) symmetry computation finished: 646 generators found (max: 1500, log10 of symmetry group size: 220.0) (symcode time: 3.30)
27.71/28.17	c dynamic symmetry handling statistics:
27.71/28.17	c    orbitopal reduction:       no components
27.71/28.17	c    orbital reduction:         no components
27.71/28.17	c    lexicographic reduction:   no permutations
27.71/28.17	c handled 1 out of 1 symmetry components
27.71/28.17	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.71/28.17	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.71/28.17	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.71/28.17	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.71/28.17	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.71/28.17	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.71/28.17	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.71/28.17	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.71/28.17	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.71/28.17	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.71/28.17	c    (3.9s) probing: 57/7155 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
27.71/28.17	c    (3.9s) probing aborted: 50/50 successive totally useless probings
27.71/28.17	c presolving (14 rounds: 14 fast, 10 medium, 3 exhaustive):
27.71/28.17	c  829 deleted vars, 7158 deleted constraints, 575 added constraints, 9 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
27.71/28.17	c  0 implications, 1717 cliques
27.71/28.17	c presolved problem has 6336 variables (6336 bin, 0 int, 0 impl, 0 cont) and 1241 constraints
27.71/28.17	c     576 constraints of type <knapsack>
27.71/28.17	c      90 constraints of type <setppc>
27.71/28.17	c     575 constraints of type <orbitope>
27.71/28.17	c transformed objective value is always integral (scale: 1)
27.71/28.17	c Presolving Time: 3.85
27.71/28.17	c 
27.71/28.17	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
27.71/28.17	c   4.3s|     1 |     0 |  1016 |     - |   153M |   0 |6336 |1359 | 666 |   0 |  0 | 117 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c   4.6s|     1 |     0 |  1461 |     - |   158M |   0 |6336 |1359 | 691 |  25 |  1 | 117 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c   4.7s|     1 |     0 |  1535 |     - |   162M |   0 |6336 |1359 | 718 |  52 |  2 | 117 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c   4.8s|     1 |     0 |  1636 |     - |   164M |   0 |6336 |1359 | 745 |  79 |  3 | 117 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c   4.9s|     1 |     0 |  1737 |     - |   164M |   0 |6336 |1361 | 773 | 107 |  4 | 119 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c   5.0s|     1 |     0 |  1841 |     - |   168M |   0 |6336 |1361 | 798 | 132 |  5 | 119 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c   5.1s|     1 |     0 |  1968 |     - |   170M |   0 |6336 |1362 | 824 | 158 |  6 | 120 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c   5.2s|     1 |     0 |  2085 |     - |   171M |   0 |6336 |1362 | 854 | 188 |  7 | 120 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c   5.3s|     1 |     0 |  2233 |     - |   174M |   0 |6336 |1362 | 880 | 214 |  8 | 120 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c   5.4s|     1 |     0 |  2382 |     - |   177M |   0 |6336 |1362 | 909 | 243 |  9 | 120 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c   5.6s|     1 |     0 |  2522 |     - |   179M |   0 |6336 |1362 | 935 | 269 | 10 | 120 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c   5.7s|     1 |     0 |  2671 |     - |   183M |   0 |6336 |1371 | 966 | 300 | 11 | 129 |   0 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c   6.2s|     1 |     2 |  3278 |     - |   183M |   0 |6336 |1382 | 966 | 300 | 11 | 140 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  14.3s|   100 |   101 | 36469 | 342.1 |   189M |  24 |6336 |1804 | 788 | 756 |  1 | 568 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  15.4s|   200 |   185 | 40464 | 190.3 |   193M |  69 |6336 |1980 | 833 | 893 |  1 | 745 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
27.71/28.17	c  16.1s|   300 |   198 | 41774 | 131.0 |   207M |  80 |6336 |2067 | 833 | 899 |  1 | 839 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  17.0s|   400 |   224 | 44489 | 105.0 |   215M |  80 |6336 |2135 | 834 | 942 |  0 | 923 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  17.8s|   500 |   253 | 46709 |  88.4 |   222M |  80 |6336 |2240 | 835 | 972 |  0 |1042 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  18.8s|   600 |   278 | 50170 |  79.4 |   231M |  80 |6336 |2300 |   0 |1004 |  0 |1145 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  20.0s|   700 |   286 | 51269 |  69.6 |   244M |  80 |6336 |2413 | 835 |1008 |  0 |1303 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  20.8s|   800 |   298 | 52652 |  62.6 |   249M |  80 |6336 |2448 | 837 |1012 |  0 |1391 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  21.5s|   900 |   300 | 53751 |  56.9 |   254M |  80 |6336 |2454 | 835 |1016 |  1 |1486 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  22.4s|  1000 |   327 | 55177 |  52.6 |   256M |  80 |6336 |2426 |   0 |1025 |  0 |1603 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  23.0s|  1100 |   343 | 56494 |  49.0 |   260M |  80 |6336 |2489 | 835 |1035 |  0 |1693 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  23.9s|  1200 |   356 | 57798 |  46.0 |   261M |  80 |6336 |2555 | 835 |1045 |  1 |1800 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  24.7s|  1300 |   365 | 59128 |  43.5 |   265M |  80 |6336 |2633 | 834 |1049 |  1 |1938 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  25.4s|  1400 |   378 | 60860 |  41.6 |   268M |  80 |6336 |2638 |   0 |1056 |  0 |2033 |  11 | 9.000000e+00 |      --      |    Inf | unknown
27.71/28.17	c  26.6s|  1500 |   381 | 61850 |  39.5 |   269M |  80 |6336 |2748 | 834 |1057 |  0 |2184 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  27.7s|  1600 |   390 | 62791 |  37.6 |   271M |  80 |6336 |2793 | 834 |1057 |  1 |2275 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  28.7s|  1700 |   398 | 63863 |  36.1 |   277M |  80 |6336 |2854 |   0 |1065 |  0 |2399 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
60.04/60.62	c  29.4s|  1800 |   420 | 64896 |  34.6 |   278M |  80 |6336 |2840 | 835 |1069 |  1 |2460 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  30.5s|  1900 |   428 | 66201 |  33.5 |   280M |  80 |6336 |2893 |   0 |1069 |  0 |2566 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  31.9s|  2000 |   434 | 67673 |  32.6 |   282M |  80 |6336 |2966 | 833 |1076 |  0 |2720 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  32.5s|  2100 |   442 | 68785 |  31.5 |   286M |  80 |6336 |2997 | 833 |1085 |  1 |2797 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  33.3s|  2200 |   449 | 69865 |  30.6 |   287M |  80 |6336 |3017 | 833 |1085 |  1 |2870 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  34.0s|  2300 |   450 | 71022 |  29.8 |   291M |  80 |6336 |3012 | 835 |1085 |  0 |2905 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  34.6s|  2400 |   460 | 72228 |  29.0 |   292M |  80 |6336 |3006 | 837 |1089 |  1 |2954 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  36.5s|  2500 |   474 | 73080 |  28.2 |   294M |  85 |6336 |3037 | 836 |1092 |  1 |3026 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  37.2s|  2600 |   473 | 73657 |  27.3 |   297M |  90 |6336 |3046 | 838 |1094 |  0 |3080 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  37.7s|  2700 |   466 | 74356 |  26.6 |   298M |  90 |6336 |3032 | 836 |1094 |  1 |3116 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  38.4s|  2800 |   480 | 75875 |  26.2 |   299M |  90 |6336 |2974 | 834 |1105 |  1 |3195 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  39.0s|  2900 |   488 | 77114 |  25.7 |   300M |  90 |6336 |3047 | 834 |1112 |  0 |3290 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  39.7s|  3000 |   505 | 78533 |  25.3 |   303M |  90 |6336 |2994 | 835 |1129 |  1 |3355 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  40.3s|  3100 |   516 | 79392 |  24.8 |   306M |  90 |6336 |2978 | 834 |1135 |  1 |3413 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  40.9s|  3200 |   539 | 80630 |  24.4 |   307M |  90 |6336 |2978 | 833 |1148 |  1 |3532 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
60.04/60.62	c  41.5s|  3300 |   556 | 81821 |  24.0 |   312M |  90 |6336 |2974 | 834 |1155 |  2 |3624 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  42.0s|  3400 |   561 | 82992 |  23.7 |   313M |  90 |6336 |2964 |   0 |1161 |  0 |3680 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  42.7s|  3500 |   558 | 83831 |  23.2 |   315M |  90 |6336 |2961 | 836 |1165 |  1 |3737 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  43.4s|  3600 |   578 | 85362 |  23.0 |   316M |  90 |6336 |3001 | 835 |1174 |  1 |3917 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  43.9s|  3700 |   598 | 86325 |  22.6 |   317M |  90 |6336 |3066 |   0 |1180 |  0 |4028 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  44.4s|  3800 |   608 | 86912 |  22.2 |   320M |  90 |6336 |3199 | 833 |1184 |  1 |4201 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  44.9s|  3900 |   616 | 87690 |  21.8 |   321M |  90 |6336 |3240 | 832 |1186 |  1 |4350 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  45.3s|  4000 |   622 | 88307 |  21.4 |   322M |  90 |6336 |3311 | 833 |1192 |  1 |4481 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  45.9s|  4100 |   627 | 89722 |  21.3 |   323M |  90 |6336 |3222 | 832 |1199 |  1 |4583 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  46.5s|  4200 |   637 | 90860 |  21.0 |   323M |  90 |6336 |3204 | 835 |1211 |  0 |4667 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  47.0s|  4300 |   654 | 91691 |  20.7 |   323M |  90 |6336 |3135 | 834 |1223 |  1 |4812 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  47.7s|  4400 |   657 | 92863 |  20.5 |   324M |  90 |6336 |3003 | 833 |1226 |  0 |4902 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  48.2s|  4500 |   662 | 93538 |  20.2 |   327M |  90 |6336 |3086 | 833 |1228 |  1 |5019 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  48.8s|  4600 |   685 | 94823 |  20.1 |   328M |  90 |6336 |3042 | 833 |1238 |  1 |5112 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  49.2s|  4700 |   712 | 95836 |  19.8 |   329M |  90 |6336 |3045 | 834 |1246 |  0 |5180 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
60.04/60.62	c  49.8s|  4800 |   739 | 97192 |  19.7 |   329M |  90 |6336 |3031 | 834 |1259 |  1 |5249 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  50.5s|  4900 |   737 | 98115 |  19.5 |   330M |  90 |6336 |2994 | 834 |1264 |  1 |5362 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  51.0s|  5000 |   737 | 98814 |  19.2 |   330M |  90 |6336 |3057 | 832 |1267 |  1 |5514 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  51.5s|  5100 |   789 |100289 |  19.2 |   331M |  90 |6336 |2910 | 829 |1278 |  1 |5614 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  51.9s|  5200 |   814 |100761 |  18.9 |   331M |  90 |6336 |2866 | 829 |1281 |  1 |5761 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  52.4s|  5300 |   817 |101424 |  18.6 |   332M |  90 |6336 |2865 |   0 |1283 |  0 |5884 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  52.9s|  5400 |   818 |102161 |  18.4 |   333M |  90 |6336 |2884 | 830 |1286 |  1 |5949 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  53.3s|  5500 |   817 |102948 |  18.2 |   333M |  90 |6336 |2900 | 828 |1286 |  1 |6022 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  53.7s|  5600 |   819 |103746 |  18.1 |   333M |  90 |6336 |2927 |   0 |1288 |  0 |6082 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  54.2s|  5700 |   824 |104682 |  17.9 |   334M |  90 |6336 |2938 | 829 |1290 |  1 |6153 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  54.8s|  5800 |   826 |105527 |  17.7 |   334M |  90 |6336 |2981 | 829 |1295 |  1 |6233 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  55.2s|  5900 |   831 |106177 |  17.6 |   335M |  90 |6336 |3064 | 831 |1300 |  1 |6352 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  55.7s|  6000 |   841 |107358 |  17.5 |   335M |  90 |6336 |2984 | 828 |1301 |  0 |6445 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  56.2s|  6100 |   849 |108251 |  17.3 |   338M |  90 |6336 |2970 | 830 |1301 |  1 |6486 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  56.7s|  6200 |   845 |109125 |  17.2 |   338M |  90 |6336 |3011 |   0 |1303 |  0 |6602 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
60.04/60.62	c  57.3s|  6300 |   853 |109945 |  17.0 |   339M |  90 |6336 |3037 | 832 |1305 |  0 |6650 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  57.9s|  6400 |   863 |110742 |  16.9 |   341M |  90 |6336 |3031 | 832 |1307 |  1 |6716 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  58.5s|  6500 |   860 |111913 |  16.8 |   342M |  90 |6336 |3052 | 834 |1307 |  1 |6805 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  59.1s|  6600 |   866 |112697 |  16.7 |   342M |  90 |6336 |3057 |   0 |1308 |  0 |6848 |  11 | 9.000000e+00 |      --      |    Inf | unknown
60.04/60.62	c  59.6s|  6700 |   873 |113609 |  16.6 |   343M |  90 |6336 |2995 | 832 |1308 |  1 |6921 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.82/67.40	c  60.2s|  6800 |   875 |114526 |  16.5 |   343M |  90 |6336 |3048 | 834 |1312 |  1 |7058 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.82/67.40	c  60.6s|  6900 |   882 |115112 |  16.3 |   344M |  90 |6336 |3119 | 829 |1316 |  1 |7229 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.82/67.40	c  61.0s|  7000 |   887 |115590 |  16.1 |   344M |  90 |6336 |3137 | 832 |1318 |  1 |7297 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.82/67.40	c  61.5s|  7100 |   905 |116923 |  16.1 |   344M |  90 |6336 |3082 | 835 |1325 |  1 |7362 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.82/67.40	c  62.2s|  7200 |   903 |118239 |  16.1 |   344M |  90 |6336 |3060 |   0 |1330 |  0 |7471 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.82/67.40	c  62.8s|  7300 |   904 |118947 |  15.9 |   345M |  90 |6336 |3095 |   0 |1330 |  0 |7538 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.82/67.40	c  63.2s|  7400 |   906 |119469 |  15.8 |   345M |  90 |6336 |3109 |   0 |1331 |  0 |7703 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.82/67.40	c  63.8s|  7500 |   909 |120553 |  15.7 |   346M |  90 |6336 |3143 | 834 |1332 |  0 |7791 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.82/67.40	c  64.3s|  7600 |   916 |121383 |  15.6 |   347M |  90 |6336 |3232 | 835 |1336 |  1 |7990 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.82/67.40	c  65.0s|  7700 |   943 |123438 |  15.7 |   348M |  90 |6336 |3111 | 829 |1344 |  1 |8076 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.82/67.40	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
66.82/67.40	c  65.5s|  7800 |   954 |124681 |  15.7 |   348M |  90 |6336 |2993 | 829 |1353 |  1 |8274 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.82/67.40	c  66.1s|  7900 |   953 |126038 |  15.6 |   348M |  90 |6336 |3028 | 829 |1356 |  1 |8378 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.82/67.40	c  66.8s|  8000 |   965 |126762 |  15.5 |   353M |  90 |6336 |2930 | 829 |1358 |  1 |8476 |  11 | 9.000000e+00 |      --      |    Inf | unknown
66.82/67.40	c *66.8s|  8012 |     0 |126782 |  15.5 |    LP  |  90 |6336 |2954 | 829 |1358 |  1 |8501 |  11 | 9.000000e+00 | 9.000000e+00 |   0.00%| 100.00%
66.82/67.40	c 
66.82/67.40	c SCIP Status        : problem is solved [optimal solution found]
66.82/67.40	c Solving Time (sec) : 66.84
66.82/67.40	c Solving Nodes      : 8012
66.82/67.40	c Primal Bound       : +9.00000000000000e+00 (1 solutions)
66.82/67.40	c Dual Bound         : +9.00000000000000e+00
66.82/67.40	c Gap                : 0.00 %
66.82/67.40	c All original constraints are satisfied.
66.82/67.40	c SCIP's best solution is verified feasible for the original problem.
66.82/67.40	c SCIP found an optimal solution.
66.82/67.40	o 9
66.82/67.40	s OPTIMUM FOUND
66.82/67.40	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
66.82/67.40	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
66.82/67.40	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
66.82/67.40	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
66.82/67.40	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
66.82/67.40	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
66.82/67.40	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
66.82/67.40	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
66.82/67.40	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
66.82/67.41	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
66.82/67.41	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
66.82/67.41	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
66.82/67.41	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
66.82/67.41	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
66.82/67.41	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
66.82/67.41	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
66.82/67.41	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
66.82/67.41	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
66.82/67.41	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
66.82/67.41	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
66.82/67.41	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
66.82/67.41	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
66.82/67.41	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
66.82/67.41	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
66.82/67.41	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: 63837 MiB (61503 MiB free)
  memory of node 1: 64465 MiB (61435 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530287-1752253826/watcher-4530287-1752253826 -o /tmp/evaluation-result-4530287-1752253826/solver-4530287-1752253826 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1752252608-126838 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530287-1752253826.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=127613, runsolver pid=127610
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 4.17 4.11 3.96 5/257 127618
/proc/meminfo: memFree=125885284/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=19328 memory=14192 CPUtime=0.07 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 1890 0 0 0 6 1 0 0 20 0 1 0 141061746 19791872 3548 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 2 1 0 0 17 5 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 4832 3548 1984 1 0 1586 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 23520 KiB
Current children cumulated memory: 17264 KiB

[startup+0.21359 s]*
/proc/loadavg: 4.17 4.11 3.96 5/257 127618
/proc/meminfo: memFree=125883268/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1186552 memory=31160 CPUtime=0.16 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 3589 0 0 0 14 2 0 0 20 0 1 0 141061746 1215029248 7790 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 296638 7790 4850 1 0 268660 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1190744 KiB
Current children cumulated memory: 34232 KiB

[startup+0.313684 s]*
/proc/loadavg: 4.17 4.11 3.96 5/257 127618
/proc/meminfo: memFree=125878228/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1190448 memory=35384 CPUtime=0.25 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 4480 0 0 0 23 2 0 0 20 0 1 0 141061746 1219018752 8846 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 297612 8846 5042 1 0 269521 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 1194640 KiB
Current children cumulated memory: 38456 KiB

[startup+0.700292 s]
/proc/loadavg: 4.17 4.11 3.96 5/257 127618
/proc/meminfo: memFree=125843100/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1243292 memory=95288 CPUtime=0.6 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 16760 0 0 0 53 7 0 0 20 0 1 0 141061746 1273131008 23822 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 310823 23822 7954 1 0 282181 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 1247484 KiB
Current children cumulated memory: 98360 KiB

[startup+1.50019 s]
/proc/loadavg: 4.17 4.11 3.96 5/257 127618
/proc/meminfo: memFree=125802780/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1281784 memory=121784 CPUtime=1.38 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 23445 0 0 0 130 8 0 0 20 0 1 0 141061746 1312546816 30446 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 320446 30446 8018 1 0 291804 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 1285976 KiB
Current children cumulated memory: 124856 KiB

[startup+3.10544 s]
/proc/loadavg: 4.17 4.11 3.96 5/257 127618
/proc/meminfo: memFree=125786760/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1289832 memory=129848 CPUtime=2.97 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 25465 0 0 0 289 8 0 0 20 0 1 0 141061746 1320787968 32462 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 322458 32462 8018 1 0 293816 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 1294024 KiB
Current children cumulated memory: 132920 KiB

[startup+6.30022 s]
/proc/loadavg: 4.16 4.11 3.96 5/257 127618
/proc/meminfo: memFree=125670272/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1397884 memory=234752 CPUtime=6.13 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 52750 0 0 0 601 12 0 0 20 0 1 0 141061746 1431433216 58688 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 349471 58688 8146 1 0 320829 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 1402076 KiB
Current children cumulated memory: 237824 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 3.96 5/257 127618
/proc/meminfo: memFree=125646332/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1426056 memory=264404 CPUtime=12.47 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 80388 0 0 0 1230 17 0 0 20 0 1 0 141061746 1460281344 66101 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 356514 66101 8146 1 0 327872 0
Current children cumulated CPU time: 12.47 s
Current children cumulated vsize: 1430248 KiB
Current children cumulated memory: 267476 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 3.96 5/257 127618
/proc/meminfo: memFree=125555632/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1478176 memory=316660 CPUtime=25.13 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 121701 0 0 0 2489 24 0 0 20 0 1 0 141061746 1513652224 79165 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 369544 79165 8146 1 0 340902 0
Current children cumulated CPU time: 25.13 s
Current children cumulated vsize: 1482368 KiB
Current children cumulated memory: 319732 KiB

[startup+51.1132 s]
/proc/loadavg: 4.13 4.11 3.97 5/257 127618
/proc/meminfo: memFree=125507984/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1535692 memory=369644 CPUtime=50.59 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 289201 0 0 0 5003 56 0 0 20 0 1 0 141061746 1572548608 92411 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 383923 92411 8146 1 0 355281 0
Current children cumulated CPU time: 50.59 s
Current children cumulated vsize: 1539884 KiB
Current children cumulated memory: 372716 KiB

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

# cumulated CPU time of all completed processes:  user=66.317 s, system=0.623702 s

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

[startup+51.2005 s]
/proc/loadavg: 4.13 4.11 3.97 5/257 127618
/proc/meminfo: memFree=125507984/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1535692 memory=369644 CPUtime=50.68 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 289201 0 0 0 5012 56 0 0 20 0 1 0 141061746 1572548608 92411 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 383923 92411 8146 1 0 355281 0
Current children cumulated CPU time: 50.68 s
Current children cumulated vsize: 1539884 KiB
Current children cumulated memory: 372716 KiB

[startup+57.6004 s]
/proc/loadavg: 4.12 4.11 3.97 5/257 127618
/proc/meminfo: memFree=125446872/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1543928 memory=377112 CPUtime=57.06 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 295694 0 0 0 5648 58 0 0 20 0 1 0 141061746 1580982272 94278 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 385982 94278 8146 1 0 357340 0
Current children cumulated CPU time: 57.06 s
Current children cumulated vsize: 1548120 KiB
Current children cumulated memory: 380184 KiB

[startup+64.0004 s]*
/proc/loadavg: 4.11 4.11 3.97 5/257 127620
/proc/meminfo: memFree=125495620/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1550848 memory=383128 CPUtime=63.44 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 297228 0 0 0 6286 58 0 0 20 0 1 0 141061746 1588068352 95782 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 387712 95782 8146 1 0 359070 0
Current children cumulated CPU time: 63.44 s
Current children cumulated vsize: 1555040 KiB
Current children cumulated memory: 386200 KiB

[startup+65.6004 s]
/proc/loadavg: 4.10 4.11 3.97 5/257 127620
/proc/meminfo: memFree=125495620/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1552988 memory=385048 CPUtime=65.02 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 297702 0 0 0 6444 58 0 0 20 0 1 0 141061746 1590259712 96262 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 388247 96262 8146 1 0 359605 0
Current children cumulated CPU time: 65.02 s
Current children cumulated vsize: 1557180 KiB
Current children cumulated memory: 388120 KiB

[startup+66.4004 s]
/proc/loadavg: 4.10 4.11 3.97 5/257 127620
/proc/meminfo: memFree=125495872/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1553256 memory=385432 CPUtime=65.82 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 297795 0 0 0 6524 58 0 0 20 0 1 0 141061746 1590534144 96358 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 388314 96358 8146 1 0 359672 0
Current children cumulated CPU time: 65.82 s
Current children cumulated vsize: 1557448 KiB
Current children cumulated memory: 388504 KiB

[startup+67.2004 s]
/proc/loadavg: 4.10 4.11 3.97 5/257 127620
/proc/meminfo: memFree=125495872/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1557180 memory=388376 CPUtime=66.63 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 298551 0 0 0 6604 59 0 0 20 0 1 0 141061746 1594552320 97094 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 389295 97094 8146 1 0 360653 0
Current children cumulated CPU time: 66.63 s
Current children cumulated vsize: 1561372 KiB
Current children cumulated memory: 391448 KiB

[startup+67.4004 s]
/proc/loadavg: 4.10 4.11 3.97 5/257 127620
/proc/meminfo: memFree=125495872/131382116 swapFree=33009904/33010684
[pid=127613] ppid=127610 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/127613/stat : 127613 (scip-naps-1.00a) S 127610 127613 125783 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 141061743 4292608 768 18446744073709551615 94591697747968 94591698642501 140735461457488 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94591698881552 94591698929296 94591717494784 140735461464475 140735461464574 140735461464574 140735461470178 0
/proc/127613/statm: 1048 768 704 219 0 110 0
[pid=127618] ppid=127613 vsize=1563244 memory=394648 CPUtime=66.82 cores=5,7
/proc/127618/stat : 127618 (python3) R 127613 127613 125783 0 -1 4194304 300048 0 0 0 6623 59 0 0 20 0 1 0 141061746 1600761856 98662 18446744073709551615 94371955920896 94371955921273 140736710023280 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94371955932568 94371955933188 94371976142848 140736710031710 140736710031904 140736710031904 140736710037479 0
/proc/127618/statm: 390811 98662 8210 1 0 362169 0
Current children cumulated CPU time: 66.82 s
Current children cumulated vsize: 1567436 KiB
Current children cumulated memory: 397720 KiB

Child status: 0

Real time (s): 67.498
CPU time (s): 66.9407
CPU user time (s): 66.317
CPU system time (s): 0.623702
CPU usage (%): 99.1744
Max. virtual memory (cumulated for all children) (KiB): 1567436
Max. memory (cumulated for all children) (KiB): 397720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.317
system time used= 0.623702
maximum resident set size= 394648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300687
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= 699


# summary of solver processes directly reported to runsolver:
#   pid: 127613
#   total CPU time (s): 66.9407
#   total CPU user time (s): 66.317
#   total CPU system time (s): 0.623702

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.227869 second user time and 0.605266 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-07-11 19:10:26
IDJOB=4530287
IDBENCH=148773
IDSOLVER=3388
FILE ID=nodeC004/4530287-1752253826
RUNJOBID= nodeC004-1752252608-126838
SLURM_JOB_ID= 9682566
Free space on /tmp= 431656 MiB

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

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

MD5SUM BENCH= 8416d641e22e8376ddac92bbd41682d6
RANDOM SEED=851936420

nodeC004 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	: 0xb00001f
cpu MHz		: 3491.864
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.422
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.850
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.879
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.273
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.390
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1396.751
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        125890044 kB
MemAvailable:   126997892 kB
Buffers:            2128 kB
Cached:          1853332 kB
SwapCached:           32 kB
Active:          3513456 kB
Inactive:        1247196 kB
Active(anon):    2912400 kB
Inactive(anon):    10724 kB
Active(file):     601056 kB
Inactive(file):  1236472 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6308 kB
Writeback:             0 kB
AnonPages:       2906140 kB
Mapped:           136256 kB
Shmem:             17932 kB
KReclaimable:     219896 kB
Slab:             309588 kB
SReclaimable:     219896 kB
SUnreclaim:        89692 kB
KernelStack:        4128 kB
PageTables:         9528 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6712596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1710080 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431652 MiB
End job on nodeC004 at 2025-07-11 19:11:33