Trace number 4508931

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.00a1SAT (TO)-10961 3600.3 3610.79

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-15.lin.opb
MD5SUM911059c1e959a60a23dfd4299eb920f8
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-11306
Best CPU time to get the best result obtained on this benchmark72001
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7294
Total number of constraints14468
Number of constraints which are clauses7234
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints7234
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 7294
Biggest coefficient in the objective function 1722
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 756056
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1722
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 756056
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	-10961

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (61617 MiB free)
  memory of node 1: 64507 MiB (40602 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508931-1751506691/watcher-4508931-1751506691 -o /tmp/evaluation-result-4508931-1751506691/solver-4508931-1751506691 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751500140-76141 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4508931-1751506691.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=77864, runsolver pid=77861
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.08 4.11 4.09 5/272 77869
/proc/meminfo: memFree=104662452/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=1186920 memory=31912 CPUtime=0.07 cores=4,6
/proc/77869/stat : 77869 (python3) R 77864 77864 76130 0 -1 4194304 3717 0 0 0 6 1 0 0 20 0 1 0 66347031 1215406080 7978 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 296730 7978 4911 1 0 268752 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191112 KiB
Current children cumulated memory: 34984 KiB

[startup+0.205831 s]*
/proc/loadavg: 4.08 4.11 4.09 5/272 77869
/proc/meminfo: memFree=104622132/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=1229108 memory=81960 CPUtime=0.17 cores=4,6
/proc/77869/stat : 77869 (python3) R 77864 77864 76130 0 -1 4194304 13564 0 0 0 15 2 0 0 20 0 1 0 66347031 1258606592 20458 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 307277 20458 7791 1 0 278635 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1233300 KiB
Current children cumulated memory: 85032 KiB

[startup+0.305818 s]*
/proc/loadavg: 4.08 4.11 4.09 5/272 77869
/proc/meminfo: memFree=104593596/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=1246328 memory=97576 CPUtime=0.27 cores=4,6
/proc/77869/stat : 77869 (python3) R 77864 77864 76130 0 -1 4194304 17402 0 0 0 25 2 0 0 20 0 1 0 66347031 1276239872 24394 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 311582 24394 7887 1 0 282940 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1250520 KiB
Current children cumulated memory: 100648 KiB

[startup+0.700224 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 77869
/proc/meminfo: memFree=104569404/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=1270376 memory=120872 CPUtime=0.65 cores=4,6
/proc/77869/stat : 77869 (python3) R 77864 77864 76130 0 -1 4194304 23172 0 0 0 62 3 0 0 20 0 1 0 66347031 1300865024 30218 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 317594 30218 7951 1 0 288952 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1274568 KiB
Current children cumulated memory: 123944 KiB

[startup+1.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 77869
/proc/meminfo: memFree=104532944/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=1358584 memory=183120 CPUtime=1.45 cores=4,6
/proc/77869/stat : 77869 (python3) R 77864 77864 76130 0 -1 4194304 40220 0 0 0 139 6 0 0 20 0 1 0 66347031 1391190016 45780 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 339646 45780 8079 1 0 311004 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1362776 KiB
Current children cumulated memory: 186192 KiB

[startup+3.10564 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 77869
/proc/meminfo: memFree=104343348/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=1370612 memory=192848 CPUtime=3.05 cores=4,6
/proc/77869/stat : 77869 (python3) R 77864 77864 76130 0 -1 4194304 42617 0 0 0 299 6 0 0 20 0 1 0 66347031 1403506688 48212 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 342653 48212 8143 1 0 314011 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1374804 KiB
Current children cumulated memory: 195920 KiB

[startup+6.30019 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 77869
/proc/meminfo: memFree=104104564/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=1437504 memory=259764 CPUtime=6.24 cores=4,6
/proc/77869/stat : 77869 (python3) R 77864 77864 76130 0 -1 4194304 58139 0 0 0 614 10 0 0 20 0 1 0 66347031 1472004096 64941 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 359376 64941 8143 1 0 330734 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1441696 KiB
Current children cumulated memory: 262836 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/272 77869
/proc/meminfo: memFree=102341488/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=1441388 memory=262452 CPUtime=12.63 cores=4,6
/proc/77869/stat : 77869 (python3) R 77864 77864 76130 0 -1 4194304 58808 0 0 0 1253 10 0 0 20 0 1 0 66347031 1475981312 65613 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 360347 65613 8143 1 0 331705 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1445580 KiB
Current children cumulated memory: 265524 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 77869
/proc/meminfo: memFree=97553472/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=1482436 memory=300340 CPUtime=25.39 cores=4,6
/proc/77869/stat : 77869 (python3) R 77864 77864 76130 0 -1 4194304 68272 0 0 0 2528 11 0 0 20 0 1 0 66347031 1518014464 75085 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 370609 75085 8143 1 0 341967 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1486628 KiB
Current children cumulated memory: 303412 KiB

[startup+51.1057 s]
/proc/loadavg: 4.07 4.10 4.09 5/272 77870
/proc/meminfo: memFree=85757204/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=1482436 memory=300596 CPUtime=50.92 cores=4,6
/proc/77869/stat : 77869 (python3) R 77864 77864 76130 0 -1 4194304 68325 0 0 0 5081 11 0 0 20 0 1 0 66347031 1518014464 75149 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 370609 75149 8143 1 0 341967 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1486628 KiB
Current children cumulated memory: 303668 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/271 77925
/proc/meminfo: memFree=113547108/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=1482436 memory=300980 CPUtime=101.97 cores=4,6
/proc/77869/stat : 77869 (python3) R 77864 77864 76130 0 -1 4194304 68447 0 0 0 10185 12 0 0 20 0 1 0 66347031 1518014464 75245 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 370609 75245 8143 1 0 341967 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1486628 KiB
Current children cumulated memory: 304052 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 77927
/proc/meminfo: memFree=113484296/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=1534340 memory=344628 CPUtime=161.79 cores=4,6
/proc/77869/stat : 77869 (python3) R 77864 77864 76130 0 -1 4194304 79423 0 0 0 16166 13 0 0 20 0 1 0 66347031 1571164160 86157 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 383585 86157 8143 1 0 354943 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 1538532 KiB
Current children cumulated memory: 347700 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 78124
/proc/meminfo: memFree=114110340/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=1619636 memory=398772 CPUtime=221.59 cores=4,6
/proc/77869/stat : 77869 (python3) R 77864 77864 76130 0 -1 4194304 92935 0 0 0 22144 15 0 0 20 0 1 0 66347031 1658507264 99693 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 404909 99693 8143 1 0 376267 0
Current children cumulated CPU time: 221.59 s

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

/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=2069852 memory=577308 CPUtime=997.12 cores=4,6
/proc/77869/stat : 77869 (python3) S 77864 77864 76130 0 -1 4194304 136817 0 0 0 99686 26 0 0 20 0 1 0 66347031 2119528448 144327 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 517463 144327 8207 1 0 488821 0
[pid=78212] ppid=77869 vsize=2514984 memory=2457280 CPUtime=2215.57 cores=4,6
/proc/78212/stat : 78212 (naps-1.03a6) R 77869 78212 78212 0 -1 4194304 423999 0 0 0 220928 629 0 0 20 0 1 0 66447058 2575343616 614320 18446744073709551615 4198400 7047149 140731557877520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13549568 140731557882224 140731557882355 140731557882355 140731557887945 0
/proc/78212/statm: 628746 614320 640 696 0 627907 0
Current children cumulated CPU time: 3212.69 s
Current children cumulated vsize: 4589028 KiB
Current children cumulated memory: 3037660 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/271 78587
/proc/meminfo: memFree=101417836/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=2069852 memory=577308 CPUtime=997.12 cores=4,6
/proc/77869/stat : 77869 (python3) S 77864 77864 76130 0 -1 4194304 136817 0 0 0 99686 26 0 0 20 0 1 0 66347031 2119528448 144327 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 517463 144327 8207 1 0 488821 0
[pid=78212] ppid=77869 vsize=2514984 memory=2457280 CPUtime=2275.43 cores=4,6
/proc/78212/stat : 78212 (naps-1.03a6) R 77869 78212 78212 0 -1 4194304 424481 0 0 0 226914 629 0 0 20 0 1 0 66447058 2575343616 614320 18446744073709551615 4198400 7047149 140731557877520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13549568 140731557882224 140731557882355 140731557882355 140731557887945 0
/proc/78212/statm: 628746 614320 640 696 0 627907 0
Current children cumulated CPU time: 3272.55 s
Current children cumulated vsize: 4589028 KiB
Current children cumulated memory: 3037660 KiB

[startup+3342.3 s]
/proc/loadavg: 3.87 4.07 4.08 4/264 78619
/proc/meminfo: memFree=104266032/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=2069852 memory=577308 CPUtime=997.12 cores=4,6
/proc/77869/stat : 77869 (python3) S 77864 77864 76130 0 -1 4194304 136817 0 0 0 99686 26 0 0 20 0 1 0 66347031 2119528448 144327 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 517463 144327 8207 1 0 488821 0
[pid=78212] ppid=77869 vsize=2514984 memory=2457280 CPUtime=2335.28 cores=4,6
/proc/78212/stat : 78212 (naps-1.03a6) R 77869 78212 78212 0 -1 4194304 424975 0 0 0 232899 629 0 0 20 0 1 0 66447058 2575343616 614320 18446744073709551615 4198400 7047149 140731557877520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13549568 140731557882224 140731557882355 140731557882355 140731557887945 0
/proc/78212/statm: 628746 614320 640 696 0 627907 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 4589028 KiB
Current children cumulated memory: 3037660 KiB

[startup+3402.3 s]
/proc/loadavg: 3.32 3.87 4.01 4/265 78623
/proc/meminfo: memFree=103442424/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=2069852 memory=577308 CPUtime=997.12 cores=4,6
/proc/77869/stat : 77869 (python3) S 77864 77864 76130 0 -1 4194304 136817 0 0 0 99686 26 0 0 20 0 1 0 66347031 2119528448 144327 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 517463 144327 8207 1 0 488821 0
[pid=78212] ppid=77869 vsize=2587544 memory=2529840 CPUtime=2395.14 cores=4,6
/proc/78212/stat : 78212 (naps-1.03a6) R 77869 78212 78212 0 -1 4194304 426382 0 0 0 238877 637 0 0 20 0 1 0 66447058 2649645056 632460 18446744073709551615 4198400 7047149 140731557877520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13549568 140731557882224 140731557882355 140731557882355 140731557887945 0
/proc/78212/statm: 646886 632460 640 696 0 646047 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 4661588 KiB
Current children cumulated memory: 3110220 KiB

[startup+3462.3 s]
/proc/loadavg: 3.22 3.74 3.95 4/264 78625
/proc/meminfo: memFree=103094688/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=2069852 memory=577308 CPUtime=997.12 cores=4,6
/proc/77869/stat : 77869 (python3) S 77864 77864 76130 0 -1 4194304 136817 0 0 0 99686 26 0 0 20 0 1 0 66347031 2119528448 144327 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 517463 144327 8207 1 0 488821 0
[pid=78212] ppid=77869 vsize=2587544 memory=2529840 CPUtime=2455 cores=4,6
/proc/78212/stat : 78212 (naps-1.03a6) R 77869 78212 78212 0 -1 4194304 426958 0 0 0 244863 637 0 0 20 0 1 0 66447058 2649645056 632460 18446744073709551615 4198400 7047149 140731557877520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13549568 140731557882224 140731557882355 140731557882355 140731557887945 0
/proc/78212/statm: 646886 632460 640 696 0 646047 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 4661588 KiB
Current children cumulated memory: 3110220 KiB

[startup+3522.3 s]
/proc/loadavg: 3.13 3.62 3.89 4/264 78627
/proc/meminfo: memFree=104284028/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=2069852 memory=577308 CPUtime=997.12 cores=4,6
/proc/77869/stat : 77869 (python3) S 77864 77864 76130 0 -1 4194304 136817 0 0 0 99686 26 0 0 20 0 1 0 66347031 2119528448 144327 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 517463 144327 8207 1 0 488821 0
[pid=78212] ppid=77869 vsize=2587544 memory=2529840 CPUtime=2514.86 cores=4,6
/proc/78212/stat : 78212 (naps-1.03a6) R 77869 78212 78212 0 -1 4194304 427447 0 0 0 250849 637 0 0 20 0 1 0 66447058 2649645056 632460 18446744073709551615 4198400 7047149 140731557877520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13549568 140731557882224 140731557882355 140731557882355 140731557887945 0
/proc/78212/statm: 646886 632460 640 696 0 646047 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 4661588 KiB
Current children cumulated memory: 3110220 KiB

[startup+3582.3 s]
/proc/loadavg: 3.09 3.52 3.84 4/265 78633
/proc/meminfo: memFree=104153648/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=2069852 memory=577308 CPUtime=997.12 cores=4,6
/proc/77869/stat : 77869 (python3) S 77864 77864 76130 0 -1 4194304 136817 0 0 0 99686 26 0 0 20 0 1 0 66347031 2119528448 144327 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 517463 144327 8207 1 0 488821 0
[pid=78212] ppid=77869 vsize=2587544 memory=2529840 CPUtime=2574.73 cores=4,6
/proc/78212/stat : 78212 (naps-1.03a6) R 77869 78212 78212 0 -1 4194304 427835 0 0 0 256836 637 0 0 20 0 1 0 66447058 2649645056 632460 18446744073709551615 4198400 7047149 140731557877520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13549568 140731557882224 140731557882355 140731557882355 140731557887945 0
/proc/78212/statm: 646886 632460 640 696 0 646047 0
Current children cumulated CPU time: 3571.85 s
Current children cumulated vsize: 4661588 KiB
Current children cumulated memory: 3110220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 3.05 3.47 3.81 4/265 78634
/proc/meminfo: memFree=104076956/131249996 swapFree=33010684/33010684
[pid=77864] ppid=77861 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/77864/stat : 77864 (scip-naps-1.00.) S 77861 77864 76130 0 -1 4194304 258 338 0 0 0 0 0 0 20 0 1 0 66347029 4292608 768 18446744073709551615 93973664325632 93973665220165 140732141975008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93973665459216 93973665506960 93973687279616 140732141980065 140732141980162 140732141980162 140732141985764 0
/proc/77864/statm: 1048 768 704 219 0 110 0
[pid=77869] ppid=77864 vsize=2069852 memory=577308 CPUtime=997.12 cores=4,6
/proc/77869/stat : 77869 (python3) S 77864 77864 76130 0 -1 4194304 136817 0 0 0 99686 26 0 0 20 0 1 0 66347031 2119528448 144327 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 16386 1 0 0 17 6 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 517463 144327 8207 1 0 488821 0
[pid=78212] ppid=77869 vsize=2587544 memory=2529840 CPUtime=2602.96 cores=4,6
/proc/78212/stat : 78212 (naps-1.03a6) R 77869 78212 78212 0 -1 4194304 428107 0 0 0 259659 637 0 0 20 0 1 0 66447058 2649645056 632460 18446744073709551615 4198400 7047149 140731557877520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 13549568 140731557882224 140731557882355 140731557882355 140731557887945 0
/proc/78212/statm: 646886 632460 640 696 0 646047 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4661588 KiB
Current children cumulated memory: 3110220 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.62 s]
# the end of solver process 77864 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.001466 s, system=0.004819 s

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

# cumulated CPU time of all completed processes:  user=3593.59 s, system=6.70831 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3610.72 s]*
/proc/loadavg: 3.05 3.47 3.81 4/263 78634
/proc/meminfo: memFree=106611412/131249996 swapFree=33010684/33010684
[pid=77869] ppid=77861 vsize=2059924 memory=567428 CPUtime=3600.2 cores=4,6
/proc/77869/stat : 77869 (python3) R 77861 77864 76130 0 -1 4194304 174698 428108 0 0 99695 28 259659 638 20 0 1 0 66347031 2109362176 141857 18446744073709551615 94330305499136 94330305499513 140723830291920 0 0 0 0 16781312 16386 0 0 0 17 6 0 0 0 0 0 94330305510808 94330305511428 94330308718592 140723830298983 140723830299170 140723830299170 140723830304743 0
/proc/77869/statm: 514981 141857 8207 1 0 486339 0
Current cumulated CPU time of completed processes: 0.006285 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 2059924 KiB
Current children cumulated memory: 567428 KiB

Child status: 0

Real time (s): 3610.79
CPU time (s): 3600.3
CPU user time (s): 3593.59
CPU system time (s): 6.70831
CPU usage (%): 99.7094
Max. virtual memory (cumulated for all children) (KiB): 5211404
Max. memory (cumulated for all children) (KiB): 3619128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.59
system time used= 6.70831
maximum resident set size= 3040924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 614182
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 577
involuntary context switches= 2283


# summary of solver processes directly reported to runsolver:
#   pid: 77864,77869
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3593.59
#   total CPU system time (s): 6.70831

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53688 second user time and 16.8437 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-03 03:38:11
IDJOB=4508931
IDBENCH=158525
IDSOLVER=3368
FILE ID=nodeC024/4508931-1751506691
RUNJOBID= nodeC024-1751500140-76141
SLURM_JOB_ID= 9598580
Free space on /tmp= 432288 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.lin.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508931-1751506691/watcher-4508931-1751506691 -o /tmp/evaluation-result-4508931-1751506691/solver-4508931-1751506691 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751500140-76141 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4508931-1751506691.opb

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

MD5SUM BENCH= 911059c1e959a60a23dfd4299eb920f8
RANDOM SEED=1378746889

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        104673792 kB
MemAvailable:   112320960 kB
Buffers:            3280 kB
Cached:          8414576 kB
SwapCached:            0 kB
Active:         17725652 kB
Inactive:        8106272 kB
Active(anon):   17432136 kB
Inactive(anon):        0 kB
Active(file):     293516 kB
Inactive(file):  8106272 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              6160 kB
Writeback:             0 kB
AnonPages:      17411448 kB
Mapped:           134440 kB
Shmem:             18064 kB
KReclaimable:     172836 kB
Slab:             264992 kB
SReclaimable:     172836 kB
SUnreclaim:        92156 kB
KernelStack:        4412 kB
PageTables:        38228 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   21871488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7061504 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432340 MiB
End job on nodeC024 at 2025-07-03 04:38:22