Trace number 4530315

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.00a2OPT20578507799 2.9954 3.02763

General information on the benchmark

NamePB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb
MD5SUMa14bf61ad1111286a795cfd2913f06d2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20578507799
Best CPU time to get the best result obtained on this benchmark0.250713
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7905
Total number of constraints32555
Number of constraints which are clauses32237
Number of constraints which are cardinality constraints (but not clauses)318
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 3774
Biggest coefficient in the objective function 6740558369
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 3720781084382
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 6740558369
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 3720781084382
Number of bits of the biggest sum of numbers42
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.75/0.89	c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4530315-1752254145.opb
0.75/0.89	c Solving mode: optimization
0.75/0.89	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
0.75/0.89	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.75/0.89	c original problem has 7905 variables (7905 bin, 0 int, 0 impl, 0 cont) and 32555 constraints
0.75/0.89	c presolving:
0.75/0.89	c (round 1, fast)       1433 del vars, 2551 del conss, 0 add conss, 18 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 10914 clqs
0.75/0.89	c (round 2, fast)       1704 del vars, 6720 del conss, 0 add conss, 48 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 11496 clqs
0.75/0.89	c (round 3, fast)       2248 del vars, 7836 del conss, 0 add conss, 48 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 10389 clqs
0.75/0.89	c (round 4, fast)       2253 del vars, 7849 del conss, 0 add conss, 48 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 10386 clqs
0.75/0.89	c (round 5, medium)     2499 del vars, 7849 del conss, 0 add conss, 48 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 9068 clqs
0.75/0.89	c (round 6, fast)       2796 del vars, 13045 del conss, 0 add conss, 55 chg bounds, 46 chg sides, 98 chg coeffs, 0 upgd conss, 0 impls, 9103 clqs
0.75/0.89	c (round 7, fast)       2838 del vars, 13607 del conss, 0 add conss, 55 chg bounds, 46 chg sides, 98 chg coeffs, 0 upgd conss, 0 impls, 8902 clqs
0.75/0.89	c (round 8, fast)       2863 del vars, 13684 del conss, 0 add conss, 55 chg bounds, 46 chg sides, 99 chg coeffs, 0 upgd conss, 0 impls, 8854 clqs
0.75/0.89	c (round 9, exhaustive) 2864 del vars, 15139 del conss, 0 add conss, 55 chg bounds, 46 chg sides, 99 chg coeffs, 0 upgd conss, 0 impls, 8854 clqs
0.75/0.89	c (round 10, fast)       2908 del vars, 15561 del conss, 0 add conss, 55 chg bounds, 52 chg sides, 114 chg coeffs, 0 upgd conss, 0 impls, 8771 clqs
0.75/0.89	c (round 11, fast)       2930 del vars, 15680 del conss, 0 add conss, 55 chg bounds, 52 chg sides, 115 chg coeffs, 0 upgd conss, 0 impls, 8701 clqs
0.75/0.89	c (round 12, fast)       2938 del vars, 15685 del conss, 0 add conss, 55 chg bounds, 52 chg sides, 115 chg coeffs, 0 upgd conss, 0 impls, 8694 clqs
0.75/0.89	c (round 13, exhaustive) 2940 del vars, 15696 del conss, 0 add conss, 55 chg bounds, 52 chg sides, 115 chg coeffs, 16837 upgd conss, 0 impls, 8694 clqs
0.75/0.89	c (round 14, fast)       2949 del vars, 15705 del conss, 0 add conss, 55 chg bounds, 52 chg sides, 115 chg coeffs, 16837 upgd conss, 0 impls, 8682 clqs
0.75/0.89	c (round 15, medium)     3038 del vars, 15891 del conss, 0 add conss, 55 chg bounds, 52 chg sides, 116 chg coeffs, 16837 upgd conss, 0 impls, 8484 clqs
0.75/0.89	c (round 16, fast)       3040 del vars, 16002 del conss, 0 add conss, 55 chg bounds, 52 chg sides, 116 chg coeffs, 16837 upgd conss, 0 impls, 8483 clqs
0.75/0.89	c (round 17, medium)     3053 del vars, 16027 del conss, 0 add conss, 55 chg bounds, 52 chg sides, 116 chg coeffs, 16837 upgd conss, 0 impls, 8454 clqs
0.75/0.89	c (round 18, fast)       3053 del vars, 16043 del conss, 0 add conss, 55 chg bounds, 52 chg sides, 116 chg coeffs, 16837 upgd conss, 0 impls, 8454 clqs
0.75/0.89	c (round 19, exhaustive) 3056 del vars, 22689 del conss, 1830 add conss, 55 chg bounds, 52 chg sides, 116 chg coeffs, 16837 upgd conss, 0 impls, 8450 clqs
0.75/0.89	c (round 20, medium)     3818 del vars, 22718 del conss, 1830 add conss, 55 chg bounds, 811 chg sides, 875 chg coeffs, 16837 upgd conss, 0 impls, 6902 clqs
0.75/0.89	c (round 21, fast)       3818 del vars, 22733 del conss, 1830 add conss, 55 chg bounds, 811 chg sides, 875 chg coeffs, 16837 upgd conss, 0 impls, 6902 clqs
0.75/0.89	c (round 22, exhaustive) 3818 del vars, 22742 del conss, 1833 add conss, 55 chg bounds, 811 chg sides, 875 chg coeffs, 16837 upgd conss, 0 impls, 6902 clqs
0.75/0.89	c (round 23, exhaustive) 4580 del vars, 23050 del conss, 2141 add conss, 55 chg bounds, 811 chg sides, 875 chg coeffs, 16837 upgd conss, 0 impls, 5375 clqs
0.75/0.89	c (round 24, fast)       4583 del vars, 23065 del conss, 2141 add conss, 55 chg bounds, 811 chg sides, 876 chg coeffs, 16837 upgd conss, 0 impls, 5676 clqs
0.75/0.89	c (round 25, medium)     4613 del vars, 23066 del conss, 2141 add conss, 55 chg bounds, 811 chg sides, 876 chg coeffs, 16837 upgd conss, 0 impls, 5393 clqs
0.75/0.89	c (round 26, fast)       4624 del vars, 23737 del conss, 2141 add conss, 55 chg bounds, 811 chg sides, 1265 chg coeffs, 16837 upgd conss, 0 impls, 5418 clqs
0.75/0.89	c (round 27, fast)       4635 del vars, 23833 del conss, 2141 add conss, 55 chg bounds, 811 chg sides, 1265 chg coeffs, 16837 upgd conss, 0 impls, 5331 clqs
0.75/0.89	c (round 28, fast)       4637 del vars, 23873 del conss, 2141 add conss, 55 chg bounds, 811 chg sides, 1265 chg coeffs, 16837 upgd conss, 0 impls, 5326 clqs
0.75/0.89	c (round 29, fast)       4640 del vars, 23882 del conss, 2141 add conss, 55 chg bounds, 811 chg sides, 1265 chg coeffs, 16837 upgd conss, 0 impls, 5324 clqs
0.75/0.89	c (round 30, fast)       4642 del vars, 23897 del conss, 2141 add conss, 55 chg bounds, 811 chg sides, 1265 chg coeffs, 16837 upgd conss, 0 impls, 5320 clqs
0.75/0.89	c (round 31, medium)     4646 del vars, 23901 del conss, 2141 add conss, 55 chg bounds, 811 chg sides, 1266 chg coeffs, 16837 upgd conss, 0 impls, 5318 clqs
0.75/0.89	c (round 32, exhaustive) 4646 del vars, 23927 del conss, 2154 add conss, 55 chg bounds, 811 chg sides, 1266 chg coeffs, 16837 upgd conss, 0 impls, 5318 clqs
0.75/0.89	c (round 33, fast)       4656 del vars, 24181 del conss, 2154 add conss, 55 chg bounds, 811 chg sides, 1273 chg coeffs, 16837 upgd conss, 0 impls, 5298 clqs
0.75/0.89	c (round 34, fast)       4659 del vars, 24181 del conss, 2154 add conss, 55 chg bounds, 811 chg sides, 1273 chg coeffs, 16837 upgd conss, 0 impls, 5298 clqs
0.75/0.89	c (round 35, exhaustive) 4660 del vars, 24928 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1273 chg coeffs, 16837 upgd conss, 0 impls, 5296 clqs
0.75/0.89	c (round 36, fast)       4703 del vars, 25793 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1273 chg coeffs, 16837 upgd conss, 0 impls, 5212 clqs
0.75/0.89	c (round 37, fast)       4745 del vars, 25872 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1273 chg coeffs, 16837 upgd conss, 0 impls, 5164 clqs
0.75/0.89	c (round 38, fast)       4775 del vars, 25923 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1274 chg coeffs, 16837 upgd conss, 0 impls, 5138 clqs
0.75/0.89	c (round 39, fast)       4785 del vars, 25962 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1274 chg coeffs, 16837 upgd conss, 0 impls, 5124 clqs
0.75/0.89	c (round 40, medium)     4929 del vars, 26822 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1274 chg coeffs, 16837 upgd conss, 0 impls, 4937 clqs
0.75/0.89	c (round 41, fast)       5032 del vars, 26955 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1274 chg coeffs, 16837 upgd conss, 0 impls, 4852 clqs
0.75/0.89	c (round 42, fast)       5040 del vars, 26976 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1279 chg coeffs, 16837 upgd conss, 0 impls, 4839 clqs
0.75/0.89	c (round 43, medium)     5073 del vars, 27161 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1279 chg coeffs, 16837 upgd conss, 0 impls, 4794 clqs
0.75/0.89	c (round 44, fast)       5095 del vars, 27197 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1279 chg coeffs, 16837 upgd conss, 0 impls, 4772 clqs
0.75/0.89	c (round 45, medium)     5110 del vars, 27296 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1280 chg coeffs, 16837 upgd conss, 0 impls, 4757 clqs
0.75/0.89	c (round 46, fast)       5126 del vars, 27323 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1280 chg coeffs, 16837 upgd conss, 0 impls, 4736 clqs
0.75/0.89	c (round 47, fast)       5131 del vars, 27329 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1281 chg coeffs, 16837 upgd conss, 0 impls, 4731 clqs
0.75/0.89	c (round 48, medium)     5134 del vars, 27338 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1281 chg coeffs, 16837 upgd conss, 0 impls, 4728 clqs
0.75/0.89	c (round 49, fast)       5138 del vars, 27338 del conss, 2899 add conss, 55 chg bounds, 811 chg sides, 1281 chg coeffs, 16837 upgd conss, 0 impls, 4728 clqs
0.75/0.89	c (round 50, exhaustive) 5138 del vars, 27345 del conss, 2901 add conss, 55 chg bounds, 811 chg sides, 1281 chg coeffs, 16837 upgd conss, 0 impls, 4728 clqs
1.15/1.22	c (round 51, exhaustive) 5166 del vars, 27769 del conss, 2901 add conss, 55 chg bounds, 811 chg sides, 1281 chg coeffs, 16837 upgd conss, 0 impls, 4606 clqs
1.15/1.22	c (round 52, fast)       5168 del vars, 27779 del conss, 2901 add conss, 55 chg bounds, 811 chg sides, 1293 chg coeffs, 16837 upgd conss, 0 impls, 4603 clqs
1.15/1.22	c (round 53, exhaustive) 5168 del vars, 27779 del conss, 2901 add conss, 55 chg bounds, 811 chg sides, 1293 chg coeffs, 16856 upgd conss, 0 impls, 4603 clqs
1.15/1.22	c (round 54, exhaustive) 5168 del vars, 28047 del conss, 2901 add conss, 55 chg bounds, 811 chg sides, 1490 chg coeffs, 16856 upgd conss, 0 impls, 4603 clqs
1.15/1.22	c (round 55, fast)       5213 del vars, 28128 del conss, 2901 add conss, 55 chg bounds, 811 chg sides, 1490 chg coeffs, 16856 upgd conss, 0 impls, 4602 clqs
1.15/1.22	c (round 56, fast)       5251 del vars, 28190 del conss, 2901 add conss, 55 chg bounds, 811 chg sides, 1490 chg coeffs, 16856 upgd conss, 0 impls, 4586 clqs
1.15/1.22	c (round 57, fast)       5255 del vars, 28197 del conss, 2901 add conss, 55 chg bounds, 811 chg sides, 1490 chg coeffs, 16856 upgd conss, 0 impls, 4584 clqs
1.15/1.22	c (round 58, medium)     5265 del vars, 28221 del conss, 2901 add conss, 55 chg bounds, 811 chg sides, 1495 chg coeffs, 16856 upgd conss, 0 impls, 4572 clqs
1.15/1.22	c (round 59, fast)       5268 del vars, 28234 del conss, 2901 add conss, 55 chg bounds, 811 chg sides, 1502 chg coeffs, 16856 upgd conss, 0 impls, 4572 clqs
1.15/1.22	c (round 60, exhaustive) 5268 del vars, 28345 del conss, 2953 add conss, 55 chg bounds, 811 chg sides, 1502 chg coeffs, 16856 upgd conss, 0 impls, 4572 clqs
1.15/1.22	c (round 61, fast)       5319 del vars, 28647 del conss, 2953 add conss, 55 chg bounds, 811 chg sides, 1502 chg coeffs, 16856 upgd conss, 0 impls, 4469 clqs
1.15/1.22	c (round 62, fast)       5340 del vars, 28651 del conss, 2953 add conss, 55 chg bounds, 811 chg sides, 1502 chg coeffs, 16856 upgd conss, 0 impls, 4465 clqs
1.15/1.22	c (round 63, medium)     5345 del vars, 28657 del conss, 2953 add conss, 55 chg bounds, 811 chg sides, 1502 chg coeffs, 16856 upgd conss, 0 impls, 4458 clqs
1.15/1.22	c (round 64, exhaustive) 5347 del vars, 28664 del conss, 2954 add conss, 55 chg bounds, 811 chg sides, 1503 chg coeffs, 16856 upgd conss, 0 impls, 4459 clqs
1.15/1.22	c (round 65, exhaustive) 5348 del vars, 28952 del conss, 2954 add conss, 55 chg bounds, 811 chg sides, 1537 chg coeffs, 16856 upgd conss, 0 impls, 4457 clqs
1.15/1.22	c (round 66, fast)       5408 del vars, 29022 del conss, 2954 add conss, 55 chg bounds, 811 chg sides, 1537 chg coeffs, 16856 upgd conss, 0 impls, 4434 clqs
1.15/1.22	c (round 67, fast)       5427 del vars, 29060 del conss, 2954 add conss, 55 chg bounds, 811 chg sides, 1537 chg coeffs, 16856 upgd conss, 0 impls, 4400 clqs
1.15/1.22	c (round 68, medium)     5438 del vars, 29082 del conss, 2954 add conss, 55 chg bounds, 811 chg sides, 1538 chg coeffs, 16856 upgd conss, 0 impls, 4379 clqs
1.15/1.22	c (round 69, fast)       5446 del vars, 29101 del conss, 2954 add conss, 55 chg bounds, 811 chg sides, 1538 chg coeffs, 16856 upgd conss, 0 impls, 4372 clqs
1.15/1.22	c (round 70, fast)       5449 del vars, 29103 del conss, 2954 add conss, 55 chg bounds, 811 chg sides, 1538 chg coeffs, 16856 upgd conss, 0 impls, 4370 clqs
1.15/1.22	c (round 71, medium)     5452 del vars, 29112 del conss, 2954 add conss, 55 chg bounds, 811 chg sides, 1538 chg coeffs, 16856 upgd conss, 0 impls, 4365 clqs
1.15/1.22	c (round 72, exhaustive) 5454 del vars, 29154 del conss, 2973 add conss, 55 chg bounds, 811 chg sides, 1538 chg coeffs, 16856 upgd conss, 0 impls, 4365 clqs
1.15/1.22	c (round 73, fast)       5473 del vars, 29205 del conss, 2973 add conss, 55 chg bounds, 811 chg sides, 1538 chg coeffs, 16856 upgd conss, 0 impls, 4327 clqs
1.15/1.22	c (round 74, fast)       5485 del vars, 29205 del conss, 2973 add conss, 55 chg bounds, 811 chg sides, 1538 chg coeffs, 16856 upgd conss, 0 impls, 4327 clqs
1.15/1.22	c (round 75, exhaustive) 5486 del vars, 29302 del conss, 2973 add conss, 55 chg bounds, 811 chg sides, 1541 chg coeffs, 16856 upgd conss, 0 impls, 4325 clqs
1.15/1.22	c (round 76, fast)       5497 del vars, 29305 del conss, 2973 add conss, 55 chg bounds, 811 chg sides, 1541 chg coeffs, 16856 upgd conss, 0 impls, 4321 clqs
1.15/1.22	c (round 77, medium)     5499 del vars, 29311 del conss, 2973 add conss, 55 chg bounds, 811 chg sides, 1541 chg coeffs, 16856 upgd conss, 0 impls, 4319 clqs
1.15/1.22	c (round 78, exhaustive) 5500 del vars, 29316 del conss, 2975 add conss, 55 chg bounds, 811 chg sides, 1541 chg coeffs, 16856 upgd conss, 0 impls, 4317 clqs
1.15/1.22	c (round 79, medium)     5503 del vars, 29323 del conss, 2975 add conss, 55 chg bounds, 811 chg sides, 1541 chg coeffs, 16856 upgd conss, 0 impls, 4312 clqs
1.15/1.22	c (round 80, fast)       5506 del vars, 29324 del conss, 2975 add conss, 55 chg bounds, 811 chg sides, 1541 chg coeffs, 16856 upgd conss, 0 impls, 4311 clqs
1.15/1.22	c (round 81, exhaustive) 5550 del vars, 29347 del conss, 2975 add conss, 55 chg bounds, 811 chg sides, 2300 chg coeffs, 16856 upgd conss, 0 impls, 4136 clqs
1.15/1.22	c (round 82, fast)       5621 del vars, 29484 del conss, 2975 add conss, 55 chg bounds, 811 chg sides, 2320 chg coeffs, 16856 upgd conss, 0 impls, 4721 clqs
1.15/1.22	c (round 83, fast)       5626 del vars, 29507 del conss, 2975 add conss, 55 chg bounds, 811 chg sides, 2320 chg coeffs, 16856 upgd conss, 0 impls, 4714 clqs
1.15/1.22	c (round 84, medium)     5630 del vars, 29513 del conss, 2975 add conss, 55 chg bounds, 811 chg sides, 2320 chg coeffs, 16856 upgd conss, 0 impls, 4707 clqs
1.15/1.22	c (round 85, exhaustive) 5631 del vars, 29567 del conss, 2988 add conss, 55 chg bounds, 811 chg sides, 2320 chg coeffs, 16856 upgd conss, 0 impls, 4705 clqs
1.15/1.22	c (round 86, fast)       5644 del vars, 29625 del conss, 2988 add conss, 55 chg bounds, 811 chg sides, 2320 chg coeffs, 16856 upgd conss, 0 impls, 4679 clqs
1.15/1.22	c (round 87, fast)       5650 del vars, 29630 del conss, 2988 add conss, 55 chg bounds, 811 chg sides, 2320 chg coeffs, 16856 upgd conss, 0 impls, 4674 clqs
1.15/1.22	c (round 88, medium)     5655 del vars, 29636 del conss, 2988 add conss, 55 chg bounds, 811 chg sides, 2321 chg coeffs, 16856 upgd conss, 0 impls, 4668 clqs
1.15/1.22	c (round 89, exhaustive) 5656 del vars, 29641 del conss, 2989 add conss, 55 chg bounds, 811 chg sides, 2321 chg coeffs, 16856 upgd conss, 0 impls, 4665 clqs
1.15/1.22	c (round 90, exhaustive) 5656 del vars, 29682 del conss, 2989 add conss, 55 chg bounds, 811 chg sides, 2331 chg coeffs, 16856 upgd conss, 0 impls, 4665 clqs
1.15/1.22	c (round 91, exhaustive) 5657 del vars, 29695 del conss, 2993 add conss, 55 chg bounds, 811 chg sides, 2331 chg coeffs, 16856 upgd conss, 0 impls, 4666 clqs
1.15/1.22	c (round 92, fast)       5660 del vars, 29713 del conss, 2993 add conss, 55 chg bounds, 811 chg sides, 2331 chg coeffs, 16856 upgd conss, 0 impls, 4660 clqs
1.15/1.22	c (round 93, fast)       5662 del vars, 29718 del conss, 2993 add conss, 55 chg bounds, 811 chg sides, 2331 chg coeffs, 16856 upgd conss, 0 impls, 4656 clqs
1.15/1.22	c (round 94, exhaustive) 5662 del vars, 29733 del conss, 2994 add conss, 55 chg bounds, 811 chg sides, 2332 chg coeffs, 16856 upgd conss, 0 impls, 4656 clqs
1.15/1.22	c (round 95, fast)       5663 del vars, 29744 del conss, 2994 add conss, 55 chg bounds, 811 chg sides, 2332 chg coeffs, 16856 upgd conss, 0 impls, 4646 clqs
1.15/1.22	c (round 96, exhaustive) 5673 del vars, 29750 del conss, 2995 add conss, 55 chg bounds, 811 chg sides, 2338 chg coeffs, 16856 upgd conss, 0 impls, 4611 clqs
1.15/1.22	c (round 97, fast)       5684 del vars, 29752 del conss, 2995 add conss, 55 chg bounds, 811 chg sides, 2338 chg coeffs, 16856 upgd conss, 0 impls, 4612 clqs
1.15/1.22	c (round 98, exhaustive) 5684 del vars, 29765 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2338 chg coeffs, 16856 upgd conss, 0 impls, 4612 clqs
1.15/1.22	c (round 99, fast)       5688 del vars, 29777 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2338 chg coeffs, 16856 upgd conss, 0 impls, 4604 clqs
1.15/1.22	c (round 100, fast)       5692 del vars, 29785 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2338 chg coeffs, 16856 upgd conss, 0 impls, 4597 clqs
1.15/1.22	c (round 101, medium)     5694 del vars, 29789 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2338 chg coeffs, 16856 upgd conss, 0 impls, 4593 clqs
1.15/1.22	c (round 102, exhaustive) 5720 del vars, 29790 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2338 chg coeffs, 16856 upgd conss, 0 impls, 4584 clqs
2.35/2.42	c (round 103, fast)       5720 del vars, 29917 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2352 chg coeffs, 16856 upgd conss, 0 impls, 4584 clqs
2.35/2.42	c (round 104, fast)       5722 del vars, 29921 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2352 chg coeffs, 16856 upgd conss, 0 impls, 4582 clqs
2.35/2.42	c (round 105, exhaustive) 5747 del vars, 29921 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2352 chg coeffs, 16856 upgd conss, 0 impls, 5125 clqs
2.35/2.42	c (round 106, fast)       5747 del vars, 29980 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2352 chg coeffs, 16856 upgd conss, 0 impls, 5125 clqs
2.35/2.42	c (round 107, fast)       5752 del vars, 29980 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2352 chg coeffs, 16856 upgd conss, 0 impls, 5125 clqs
2.35/2.42	c (round 108, medium)     5767 del vars, 29981 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2352 chg coeffs, 16856 upgd conss, 0 impls, 5086 clqs
2.35/2.42	c (round 109, fast)       5767 del vars, 30008 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2352 chg coeffs, 16856 upgd conss, 0 impls, 5086 clqs
2.35/2.42	c (round 110, fast)       5770 del vars, 30012 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2352 chg coeffs, 16856 upgd conss, 0 impls, 5085 clqs
2.35/2.42	c (round 111, fast)       5772 del vars, 30015 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2352 chg coeffs, 16856 upgd conss, 0 impls, 5082 clqs
2.35/2.42	c (round 112, medium)     5776 del vars, 30018 del conss, 2999 add conss, 55 chg bounds, 811 chg sides, 2352 chg coeffs, 16856 upgd conss, 0 impls, 5073 clqs
2.35/2.42	c (round 113, exhaustive) 5776 del vars, 30027 del conss, 3000 add conss, 55 chg bounds, 811 chg sides, 2352 chg coeffs, 16856 upgd conss, 0 impls, 5073 clqs
2.35/2.42	c (round 114, exhaustive) 5801 del vars, 30031 del conss, 3000 add conss, 55 chg bounds, 811 chg sides, 2372 chg coeffs, 16856 upgd conss, 0 impls, 5487 clqs
2.35/2.42	c (round 115, fast)       5803 del vars, 30116 del conss, 3000 add conss, 55 chg bounds, 811 chg sides, 2385 chg coeffs, 16856 upgd conss, 0 impls, 5491 clqs
2.35/2.42	c (round 116, fast)       5805 del vars, 30122 del conss, 3000 add conss, 55 chg bounds, 811 chg sides, 2385 chg coeffs, 16856 upgd conss, 0 impls, 5476 clqs
2.35/2.42	c (round 117, exhaustive) 5806 del vars, 30141 del conss, 3004 add conss, 55 chg bounds, 811 chg sides, 2385 chg coeffs, 16856 upgd conss, 0 impls, 5474 clqs
2.35/2.42	c (round 118, fast)       5811 del vars, 30156 del conss, 3004 add conss, 55 chg bounds, 811 chg sides, 2385 chg coeffs, 16856 upgd conss, 0 impls, 5463 clqs
2.35/2.42	c (round 119, fast)       5815 del vars, 30157 del conss, 3004 add conss, 55 chg bounds, 811 chg sides, 2385 chg coeffs, 16856 upgd conss, 0 impls, 5463 clqs
2.35/2.42	c (round 120, exhaustive) 5841 del vars, 30161 del conss, 3004 add conss, 55 chg bounds, 811 chg sides, 2414 chg coeffs, 16856 upgd conss, 0 impls, 6359 clqs
2.35/2.42	c (round 121, fast)       5844 del vars, 30215 del conss, 3004 add conss, 55 chg bounds, 811 chg sides, 2414 chg coeffs, 16856 upgd conss, 0 impls, 6320 clqs
2.35/2.42	c (round 122, medium)     5847 del vars, 30215 del conss, 3004 add conss, 55 chg bounds, 811 chg sides, 2414 chg coeffs, 16856 upgd conss, 0 impls, 6308 clqs
2.35/2.42	c (round 123, fast)       5847 del vars, 30224 del conss, 3004 add conss, 55 chg bounds, 811 chg sides, 2414 chg coeffs, 16856 upgd conss, 0 impls, 6308 clqs
2.35/2.42	c (round 124, medium)     5849 del vars, 30225 del conss, 3004 add conss, 55 chg bounds, 811 chg sides, 2415 chg coeffs, 16856 upgd conss, 0 impls, 6305 clqs
2.35/2.42	c (round 125, exhaustive) 5850 del vars, 30248 del conss, 3005 add conss, 55 chg bounds, 811 chg sides, 2415 chg coeffs, 16856 upgd conss, 0 impls, 6300 clqs
2.35/2.42	c (round 126, medium)     5852 del vars, 30250 del conss, 3005 add conss, 55 chg bounds, 811 chg sides, 2415 chg coeffs, 16856 upgd conss, 0 impls, 6293 clqs
2.35/2.42	c (round 127, exhaustive) 5878 del vars, 30252 del conss, 3006 add conss, 55 chg bounds, 811 chg sides, 2427 chg coeffs, 16856 upgd conss, 0 impls, 6430 clqs
2.35/2.42	c (round 128, fast)       5879 del vars, 30287 del conss, 3006 add conss, 55 chg bounds, 811 chg sides, 2427 chg coeffs, 16856 upgd conss, 0 impls, 6421 clqs
2.35/2.42	c (round 129, exhaustive) 5880 del vars, 30307 del conss, 3006 add conss, 55 chg bounds, 811 chg sides, 2427 chg coeffs, 16856 upgd conss, 0 impls, 6417 clqs
2.35/2.42	c (round 130, fast)       5882 del vars, 30310 del conss, 3006 add conss, 55 chg bounds, 811 chg sides, 2427 chg coeffs, 16856 upgd conss, 0 impls, 6414 clqs
2.35/2.42	c (round 131, exhaustive) 5883 del vars, 30333 del conss, 3006 add conss, 55 chg bounds, 811 chg sides, 2428 chg coeffs, 16856 upgd conss, 0 impls, 6413 clqs
2.35/2.42	c (round 132, fast)       5886 del vars, 30348 del conss, 3006 add conss, 55 chg bounds, 811 chg sides, 2428 chg coeffs, 16856 upgd conss, 0 impls, 6407 clqs
2.35/2.42	c (round 133, fast)       5891 del vars, 30354 del conss, 3006 add conss, 55 chg bounds, 811 chg sides, 2428 chg coeffs, 16856 upgd conss, 0 impls, 6394 clqs
2.35/2.42	c (round 134, medium)     5894 del vars, 30357 del conss, 3006 add conss, 55 chg bounds, 811 chg sides, 2428 chg coeffs, 16856 upgd conss, 0 impls, 6389 clqs
2.35/2.42	c (round 135, exhaustive) 5898 del vars, 30360 del conss, 3006 add conss, 55 chg bounds, 811 chg sides, 2434 chg coeffs, 16856 upgd conss, 0 impls, 6375 clqs
2.35/2.42	c (round 136, fast)       5901 del vars, 30360 del conss, 3006 add conss, 55 chg bounds, 811 chg sides, 2434 chg coeffs, 16856 upgd conss, 0 impls, 6376 clqs
2.35/2.42	c (round 137, exhaustive) 5926 del vars, 30364 del conss, 3006 add conss, 55 chg bounds, 811 chg sides, 2434 chg coeffs, 16856 upgd conss, 0 impls, 7683 clqs
2.35/2.42	c (round 138, fast)       5926 del vars, 30405 del conss, 3006 add conss, 55 chg bounds, 811 chg sides, 2434 chg coeffs, 16856 upgd conss, 0 impls, 7683 clqs
2.35/2.42	c (round 139, fast)       5928 del vars, 30411 del conss, 3006 add conss, 55 chg bounds, 811 chg sides, 2434 chg coeffs, 16856 upgd conss, 0 impls, 7640 clqs
2.35/2.42	c (round 140, exhaustive) 5928 del vars, 30421 del conss, 3006 add conss, 55 chg bounds, 811 chg sides, 2434 chg coeffs, 16856 upgd conss, 0 impls, 7640 clqs
2.35/2.42	c (round 141, exhaustive) 5953 del vars, 30423 del conss, 3008 add conss, 55 chg bounds, 811 chg sides, 2487 chg coeffs, 16856 upgd conss, 0 impls, 8935 clqs
2.35/2.42	c (round 142, fast)       5954 del vars, 30444 del conss, 3008 add conss, 55 chg bounds, 811 chg sides, 2487 chg coeffs, 16856 upgd conss, 0 impls, 8931 clqs
2.35/2.42	c (round 143, fast)       5958 del vars, 30447 del conss, 3008 add conss, 55 chg bounds, 811 chg sides, 2487 chg coeffs, 16856 upgd conss, 0 impls, 8926 clqs
2.35/2.42	c (round 144, fast)       5960 del vars, 30448 del conss, 3008 add conss, 55 chg bounds, 811 chg sides, 2487 chg coeffs, 16856 upgd conss, 0 impls, 8925 clqs
2.35/2.42	c (round 145, medium)     5965 del vars, 30461 del conss, 3008 add conss, 55 chg bounds, 811 chg sides, 2487 chg coeffs, 16856 upgd conss, 0 impls, 8888 clqs
2.35/2.42	c (round 146, exhaustive) 5965 del vars, 30466 del conss, 3008 add conss, 55 chg bounds, 811 chg sides, 2487 chg coeffs, 16856 upgd conss, 0 impls, 8888 clqs
2.35/2.42	c    (1.7s) probing: 1000/2473 (40.4%) - 68 fixings, 120 aggregations, 6021 implications, 0 bound changes
2.35/2.42	c    (2.0s) probing: 2000/2473 (80.9%) - 72 fixings, 124 aggregations, 7960 implications, 0 bound changes
2.35/2.42	c (round 147, exhaustive) 5990 del vars, 30469 del conss, 3008 add conss, 55 chg bounds, 811 chg sides, 2497 chg coeffs, 16856 upgd conss, 0 impls, 11128 clqs
2.35/2.42	c (round 148, fast)       5992 del vars, 30548 del conss, 3008 add conss, 55 chg bounds, 811 chg sides, 2534 chg coeffs, 16856 upgd conss, 0 impls, 11125 clqs
2.35/2.42	c (round 149, medium)     5995 del vars, 30548 del conss, 3008 add conss, 55 chg bounds, 811 chg sides, 2534 chg coeffs, 16856 upgd conss, 0 impls, 11097 clqs
2.35/2.42	c (round 150, fast)       5995 del vars, 30552 del conss, 3008 add conss, 55 chg bounds, 811 chg sides, 2534 chg coeffs, 16856 upgd conss, 0 impls, 11097 clqs
2.35/2.42	c (round 151, exhaustive) 5996 del vars, 30572 del conss, 3009 add conss, 55 chg bounds, 811 chg sides, 2534 chg coeffs, 16856 upgd conss, 0 impls, 11097 clqs
2.35/2.42	c    (2.2s) probing cycle finished: starting next cycle
2.35/2.42	c    (2.2s) probing: 51/2170 (2.4%) - 83 fixings, 124 aggregations, 8569 implications, 0 bound changes
2.35/2.42	c    (2.2s) probing aborted: 50/50 successive totally useless probings
2.85/2.96	c (round 152, exhaustive) 6001 del vars, 30573 del conss, 3010 add conss, 55 chg bounds, 811 chg sides, 2609 chg coeffs, 16856 upgd conss, 0 impls, 11260 clqs
2.85/2.96	c (round 153, fast)       6006 del vars, 30613 del conss, 3010 add conss, 55 chg bounds, 811 chg sides, 2717 chg coeffs, 16856 upgd conss, 0 impls, 11193 clqs
2.85/2.96	c    (2.2s) probing: 56/2170 (2.6%) - 83 fixings, 124 aggregations, 8569 implications, 0 bound changes
2.85/2.96	c    (2.2s) probing aborted: 50/50 successive totally useless probings
2.85/2.96	c    (2.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.85/2.96	c    (2.2s) symmetry computation finished: 178 generators found (max: 1500, log10 of symmetry group size: 20.0) (symcode time: 0.01)
2.85/2.96	c dynamic symmetry handling statistics:
2.85/2.96	c    orbitopal reduction:        5 components: 5x5, 2x3, 2x3, 3x3, 2x3
2.85/2.96	c    orbital reduction:          7 components of sizes 7, 18, 13, 4, 3, 3, 9
2.85/2.96	c    lexicographic reduction:   65 permutations with support sizes 2, 10, 10, 2, 2, 10, 10, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 6, 2, 6, 6, 2, 2, 2, 6, 2, 6, 6, 2, 6, 4, 4, 4, 4, 4, 4, 4, 2, 2, 2, 4, 4, 4, 6, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4, 4, 8, 4
2.85/2.96	c handled 103 out of 103 symmetry components
2.85/2.96	c (round 154, exhaustive) 6018 del vars, 30616 del conss, 3107 add conss, 55 chg bounds, 811 chg sides, 2736 chg coeffs, 16856 upgd conss, 0 impls, 11234 clqs
2.85/2.96	c (round 155, fast)       6021 del vars, 30645 del conss, 3107 add conss, 55 chg bounds, 811 chg sides, 2760 chg coeffs, 16856 upgd conss, 0 impls, 11245 clqs
2.85/2.96	c (round 156, exhaustive) 6021 del vars, 30652 del conss, 3107 add conss, 55 chg bounds, 811 chg sides, 2760 chg coeffs, 16856 upgd conss, 0 impls, 11245 clqs
2.85/2.96	c (round 157, exhaustive) 6022 del vars, 30669 del conss, 3107 add conss, 55 chg bounds, 811 chg sides, 2760 chg coeffs, 16856 upgd conss, 0 impls, 11245 clqs
2.85/2.96	c (round 158, exhaustive) 6022 del vars, 30669 del conss, 3107 add conss, 55 chg bounds, 811 chg sides, 2760 chg coeffs, 16942 upgd conss, 0 impls, 11245 clqs
2.85/2.96	c (round 159, exhaustive) 6078 del vars, 30696 del conss, 3107 add conss, 55 chg bounds, 811 chg sides, 3175 chg coeffs, 16942 upgd conss, 0 impls, 10929 clqs
2.85/2.96	c (round 160, fast)       6150 del vars, 30933 del conss, 3107 add conss, 55 chg bounds, 811 chg sides, 3181 chg coeffs, 16942 upgd conss, 0 impls, 10878 clqs
2.85/2.96	c (round 161, fast)       6155 del vars, 30949 del conss, 3107 add conss, 55 chg bounds, 811 chg sides, 3181 chg coeffs, 16942 upgd conss, 0 impls, 10860 clqs
2.85/2.96	c (round 162, fast)       6194 del vars, 31107 del conss, 3107 add conss, 55 chg bounds, 811 chg sides, 3181 chg coeffs, 16942 upgd conss, 0 impls, 10612 clqs
2.85/2.96	c (round 163, fast)       6222 del vars, 31154 del conss, 3107 add conss, 55 chg bounds, 811 chg sides, 3181 chg coeffs, 16942 upgd conss, 0 impls, 10450 clqs
2.85/2.96	c (round 164, fast)       6232 del vars, 31195 del conss, 3107 add conss, 55 chg bounds, 811 chg sides, 3181 chg coeffs, 16942 upgd conss, 0 impls, 10424 clqs
2.85/2.96	c (round 165, fast)       6237 del vars, 31199 del conss, 3107 add conss, 55 chg bounds, 811 chg sides, 3181 chg coeffs, 16942 upgd conss, 0 impls, 10413 clqs
2.85/2.96	c (round 166, exhaustive) 6238 del vars, 31204 del conss, 3109 add conss, 55 chg bounds, 811 chg sides, 3181 chg coeffs, 16942 upgd conss, 0 impls, 10412 clqs
2.85/2.96	c (round 167, fast)       6240 del vars, 31208 del conss, 3109 add conss, 55 chg bounds, 811 chg sides, 3181 chg coeffs, 16942 upgd conss, 0 impls, 10390 clqs
2.85/2.96	c (round 168, fast)       6242 del vars, 31215 del conss, 3109 add conss, 55 chg bounds, 811 chg sides, 3181 chg coeffs, 16942 upgd conss, 0 impls, 10372 clqs
2.85/2.96	c    (2.3s) probing: 63/2170 (2.9%) - 83 fixings, 124 aggregations, 8569 implications, 0 bound changes
2.85/2.96	c    (2.3s) probing aborted: 50/50 successive totally useless probings
2.85/2.96	c presolving (169 rounds: 169 fast, 77 medium, 50 exhaustive):
2.85/2.96	c  6376 deleted vars, 31368 deleted constraints, 3109 added constraints, 55 tightened bounds, 0 added holes, 811 changed sides, 3181 changed coefficients
2.85/2.96	c  0 implications, 10125 cliques
2.85/2.96	c presolved problem has 1851 variables (1851 bin, 0 int, 0 impl, 0 cont) and 4281 constraints
2.85/2.96	c    2007 constraints of type <setppc>
2.85/2.96	c       6 constraints of type <and>
2.85/2.96	c       8 constraints of type <orbitope>
2.85/2.96	c    2260 constraints of type <logicor>
2.85/2.96	c transformed objective value is always integral (scale: 1)
2.85/2.96	c Presolving Time: 2.30
2.85/2.96	c 
2.85/2.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2.85/2.96	c p 2.4s|     1 |     0 |     1 |     - |  clique|   0 |1851 |4281 |4279 |   0 |  0 |   0 |   0 |-2.895514e+11 | 5.457033e+10 |    Inf | unknown
2.85/2.96	c i 2.4s|     1 |     0 |     1 |     - |  oneopt|   0 |1851 |4343 |4279 |   0 |  0 |  63 |   0 |-2.895514e+11 | 5.453465e+10 |    Inf | unknown
2.85/2.96	c   2.4s|     1 |     0 |   731 |     - |   102M |   0 |1851 |4343 |4279 |   0 |  0 |  63 |   0 | 2.048731e+10 | 5.453465e+10 | 166.19%| unknown
2.85/2.96	c r 2.5s|     1 |     0 |   731 |     - |shifting|   0 |1851 |4343 |4270 |   0 |  0 |  63 |   0 | 2.048731e+10 | 5.418852e+10 | 164.50%| unknown
2.85/2.96	c i 2.5s|     1 |     0 |   731 |     - |  oneopt|   0 |1851 |4343 |4270 |   0 |  0 |  63 |   0 | 2.048731e+10 | 4.744796e+10 | 131.60%| unknown
2.85/2.96	c   2.5s|     1 |     0 |   731 |     - |   102M |   0 |1851 |4343 |4270 |   0 |  0 |  63 |   0 | 2.048731e+10 | 4.744796e+10 | 131.60%| unknown
2.85/2.96	c   2.5s|     1 |     0 |   731 |     - |   102M |   0 |1851 |4343 |4269 |   0 |  0 |  63 |   0 | 2.048731e+10 | 4.744796e+10 | 131.60%| unknown
2.85/2.96	c   2.5s|     1 |     0 |   825 |     - |   103M |   0 |1851 |4336 |4291 |  22 |  1 |  63 |   0 | 2.056840e+10 | 4.744796e+10 | 130.68%| unknown
2.85/2.96	c r 2.5s|     1 |     0 |   825 |     - |shifting|   0 |1851 |4336 |4291 |  22 |  1 |  63 |   0 | 2.056840e+10 | 2.058208e+10 |   0.07%| unknown
2.85/2.96	c   2.5s|     1 |     0 |   825 |     - |   103M |   0 |1851 |4336 |4291 |  22 |  1 |  63 |   0 | 2.056840e+10 | 2.058208e+10 |   0.07%| unknown
2.85/2.96	c   2.5s|     1 |     0 |   825 |     - |   104M |   0 |1851 |4336 |3788 |  22 |  1 |  63 |   0 | 2.056840e+10 | 2.058208e+10 |   0.07%| unknown
2.85/2.96	c   2.5s|     1 |     0 |   839 |     - |   104M |   0 |1851 |3955 |3574 |  51 |  2 |  63 |   0 | 2.057851e+10 | 2.058208e+10 |   0.02%| unknown
2.85/2.96	c   2.5s|     1 |     0 |   839 |     - |   104M |   0 |1851 |3955 |1970 |  51 |  2 |  63 |   0 | 2.057851e+10 | 2.058208e+10 |   0.02%| unknown
2.85/2.96	c   2.5s|     1 |     0 |   839 |     - |   104M |   0 |1851 |2241 |1739 |  51 |  3 |  63 |   0 | 2.057851e+10 | 2.058208e+10 |   0.02%| unknown
2.85/2.96	c   2.6s|     1 |     0 |   839 |     - |   104M |   0 |1851 |2117 |1695 |  51 |  4 |  63 |   0 | 2.057851e+10 | 2.058208e+10 |   0.02%| unknown
2.85/2.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2.85/2.96	c   2.6s|     1 |     0 |   839 |     - |   104M |   0 |1851 |1739 |1695 |  51 |  5 |  63 |   0 | 2.057851e+10 | 2.058208e+10 |   0.02%| unknown
2.85/2.96	c d 2.6s|     1 |     0 |   839 |     - |farkasdi|   0 |1851 |1739 |1695 |   0 |  6 |  63 |   0 | 2.057851e+10 | 2.057851e+10 |   0.00%| unknown
2.85/2.96	c   2.6s|     1 |     0 |   940 |     - |   104M |   0 |1851 |1739 |1695 |  51 |  6 |  63 |   0 | 2.057851e+10 | 2.057851e+10 |   0.00%| unknown
2.85/2.96	c 
2.85/2.96	c SCIP Status        : problem is solved [optimal solution found]
2.85/2.96	c Solving Time (sec) : 2.56
2.85/2.96	c Solving Nodes      : 1
2.85/2.96	c Primal Bound       : +2.05785077990000e+10 (6 solutions)
2.85/2.96	c Dual Bound         : +2.05785077990000e+10
2.85/2.96	c Gap                : 0.00 %
2.85/2.96	c All original constraints are satisfied.
2.85/2.96	c SCIP's best solution is verified feasible for the original problem.
2.85/2.96	c SCIP found an optimal solution.
2.85/2.96	o 20578507799
2.85/2.96	s OPTIMUM FOUND
2.85/2.96	v -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
2.85/2.96	v -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
2.85/2.96	v -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
2.85/2.96	v -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
2.85/2.96	v -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
2.85/2.96	v -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
2.85/2.96	v -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 -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
2.85/2.96	v -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
2.85/2.96	v -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
2.85/2.96	v -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
2.85/2.96	v -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 x7295 -x7296 -x7297 -x7298 x7299 -x7300 x7301 x7302 x7303 x7304 -x7305 -x7306 x7307 x7308 x7309 x7310 -x7311 -x7312 -x7313 x7314 x7315 x7316 -x7317 x7318 x7319 x7320 -x7321 x7322 x7323 -x7324 -x7325 -x7326 x7327 x7328 x7329
2.85/2.96	v -x7330 -x7331 -x7332 x7333 x7334 -x7335 x7336 x7337 x7338 -x7339 x7340 -x7341 x7342 x7343 x7344 -x7345 -x7346 x7347 x7348 -x7349 x7350 x7351 -x7352 x7353 x7354 x7355 -x7356 -x7357 x7358 x7359 x7360 x7361 x7362 -x7363 -x7364 x7365 -x7366 x7367 -x7368 x7369 -x7370 -x7371 -x7372 x7373 -x7374 x7375 x7376 x7377 x7378 x7379 x7380 x7381 x7382 -x7383 -x7384 x7385 -x7386 x7387 -x7388 -x7389 x7390 x7391 x7392 x7393 x7394 x7395 -x7396 x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 x7411 x7412 -x7413 -x7414 -x7415 x7416 -x7417 -x7418 -x7419 -x7420 x7421 x7422 x7423 -x7424 x7425 -x7426 -x7427 -x7428 x7429 x7430 x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 x7440 x7441 x7442 x7443 x7444 -x7445 x7446 x7447 x7448 -x7449 x7450 -x7451 x7452 x7453 x7454 x7455 -x7456 x7457 -x7458 -x7459 x7460 x7461 x7462 x7463 -x7464 -x7465 -x7466 -x7467 -x7468 x7469 -x7470 x7471 -x7472 x7473 x7474 -x7475 x7476 -x7477 -x7478 -x7479 -x7480 x7481 -x7482 -x7483 -x7484 -x7485 -x7486 x7487 -x7488 -x7489 x7490 x7491 x7492 -x7493 -x7494 -x7495 -x7496 x7497 -x7498 x7499 -x7500 x7501 x7502 x7503 -x7504 -x7505 x7506 -x7507 -x7508 x7509 -x7510 x7511 x7512 -x7513 x7514 x7515 x7516 -x7517 x7518 x7519 x7520 x7521 -x7522 -x7523 -x7524 x7525 x7526 x7527 -x7528 -x7529 x7530 -x7531 x7532 x7533 x7534 x7535 -x7536 x7537 -x7538 x7539 x7540 x7541 x7542 x7543 x7544 x7545 x7546 x7547 x7548 x7549 x7550 x7551 x7552 x7553 x7554 x7555 -x7556 x7557 x7558 x7559 x7560 -x7561 x7562 -x7563 x7564 -x7565 x7566 x7567 x7568 x7569 x7570 -x7571 -x7572 x7573 -x7574 x7575 x7576 x7577 x7578 x7579 -x7580 x7581 -x7582 x7583 x7584 x7585 x7586 -x7587 -x7588 x7589 x7590 x7591 x7592 x7593 x7594 -x7595 -x7596 -x7597 -x7598 x7599 x7600 -x7601 x7602 -x7603 x7604 x7605 -x7606 -x7607 -x7608 -x7609 -x7610 x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 x7621 -x7622 x7623 -x7624 x7625 x7626 x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 x7637
2.85/2.96	v -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 x7678 x7679 x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 x7688 -x7689 -x7690 -x7691 -x7692 -x7693 x7694 x7695 -x7696 x7697 x7698 x7699 x7700 x7701 -x7702 -x7703 x7704 -x7705 x7706 -x7707 x7708 -x7709 x7710 -x7711 x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 x7719 -x7720 -x7721 -x7722 x7723 -x7724 -x7725 -x7726 -x7727 x7728 -x7729 -x7730 x7731 -x7732 -x7733 -x7734 -x7735 -x7736 x7737 x7738 x7739 x7740 x7741 x7742 x7743 x7744 -x7745 -x7746 x7747 x7748 x7749 -x7750 x7751 x7752 -x7753 x7754 x7755 -x7756 x7757 x7758 x7759 x7760 -x7761 x7762 -x7763 x7764 -x7765 x7766 -x7767 -x7768 x7769 x7770 -x7771 x7772 -x7773 x7774 x7775 x7776 x7777 x7778 x7779 x7780 x7781 x7782 x7783 -x7784 x7785 x7786 x7787 x7788 x7789 -x7790 x7791 -x7792 -x7793 -x7794 -x7795 -x7796 x7797 x7798 x7799 -x7800 -x7801 -x7802 x7803 x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 x7816 -x7817 -x7818 x7819 -x7820 x7821 -x7822 -x7823 -x7824 -x7825 x7826 -x7827 -x7828 -x7829 -x7830 -x7831 x7832 -x7833 x7834 x7835 -x7836 x7837 -x7838 x7839 -x7840 x7841 x7842 x7843 -x7844 -x7845 -x7846 -x7847 -x7848 x7849 x7850 -x7851 -x7852 x7853 -x7854 -x7855 x7856 x7857 x7858 x7859 x7860 x7861 -x7862 -x7863 x7864 x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 x7879 -x7880 -x7881 -x7882 x7883 x7884 x7885 -x7886 -x7887 x7888 x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 x7898 x7899 -x7900 x7901 x7902 x7903 x7904 -x7905 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
2.85/2.96	v -x51 x52 -x53 x54 -x55 -x56 x57 x58 -x59 -x60 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
2.85/2.96	v -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
2.85/2.96	v 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
2.85/2.96	v -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
2.85/2.96	v -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
2.85/2.96	v -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
2.85/2.96	v -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 -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
2.85/2.96	v 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
2.85/2.96	v 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
2.85/2.96	v -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
2.85/2.96	v 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
2.85/2.96	v -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
2.85/2.96	v -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
2.85/2.96	v -x4059 -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

Verifier Data

OK	20578507799

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530315-1752254145/watcher-4530315-1752254145 -o /tmp/evaluation-result-4530315-1752254145/solver-4530315-1752254145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752253113-113432 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530315-1752254145.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=114006, runsolver pid=114003
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 4.08 4.05 3.68 5/268 114011
/proc/meminfo: memFree=103949556/131249988 swapFree=33010160/33010684
[pid=114006] ppid=114003 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114006/stat : 114006 (scip-naps-1.00a) S 114003 114006 112051 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141093324 4292608 768 18446744073709551615 94036357627904 94036358522437 140720482721600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94036358761488 94036358809232 94036375465984 140720482728347 140720482728446 140720482728446 140720482734050 0
/proc/114006/statm: 1048 768 704 219 0 110 0
[pid=114011] ppid=114006 vsize=1186976 memory=31984 CPUtime=0.07 cores=5,7
/proc/114011/stat : 114011 (python3) R 114006 114006 112051 0 -1 4194304 3724 0 0 0 6 1 0 0 20 0 1 0 141093326 1215463424 7996 18446744073709551615 94405309394944 94405309395321 140724386052960 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94405309406616 94405309407236 94405339717632 140724386060638 140724386060832 140724386060832 140724386066407 0
/proc/114011/statm: 296744 7996 4898 1 0 268766 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191168 KiB
Current children cumulated memory: 35056 KiB

[startup+0.205642 s]*
/proc/loadavg: 4.08 4.05 3.68 5/268 114011
/proc/meminfo: memFree=103949812/131249988 swapFree=33010160/33010684
[pid=114006] ppid=114003 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114006/stat : 114006 (scip-naps-1.00a) S 114003 114006 112051 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141093324 4292608 768 18446744073709551615 94036357627904 94036358522437 140720482721600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94036358761488 94036358809232 94036375465984 140720482728347 140720482728446 140720482728446 140720482734050 0
/proc/114006/statm: 1048 768 704 219 0 110 0
[pid=114011] ppid=114006 vsize=1220508 memory=71920 CPUtime=0.17 cores=5,7
/proc/114011/stat : 114011 (python3) R 114006 114006 112051 0 -1 4194304 11206 0 0 0 15 2 0 0 20 0 1 0 141093326 1249800192 17948 18446744073709551615 94405309394944 94405309395321 140724386052960 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94405309406616 94405309407236 94405339717632 140724386060638 140724386060832 140724386060832 140724386066407 0
/proc/114011/statm: 305127 17980 7618 1 0 276485 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1224700 KiB
Current children cumulated memory: 74992 KiB

[startup+0.305549 s]*
/proc/loadavg: 4.08 4.05 3.68 5/268 114011
/proc/meminfo: memFree=103909492/131249988 swapFree=33010160/33010684
[pid=114006] ppid=114003 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114006/stat : 114006 (scip-naps-1.00a) S 114003 114006 112051 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141093324 4292608 768 18446744073709551615 94036357627904 94036358522437 140720482721600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94036358761488 94036358809232 94036375465984 140720482728347 140720482728446 140720482728446 140720482734050 0
/proc/114006/statm: 1048 768 704 219 0 110 0
[pid=114011] ppid=114006 vsize=1259500 memory=110192 CPUtime=0.27 cores=5,7
/proc/114011/stat : 114011 (python3) R 114006 114006 112051 0 -1 4194304 20540 0 0 0 23 4 0 0 20 0 1 0 141093326 1289728000 27548 18446744073709551615 94405309394944 94405309395321 140724386052960 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94405309406616 94405309407236 94405339717632 140724386060638 140724386060832 140724386060832 140724386066407 0
/proc/114011/statm: 314875 27548 7874 1 0 286233 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1263692 KiB
Current children cumulated memory: 113264 KiB

[startup+0.700225 s]
/proc/loadavg: 4.08 4.05 3.68 5/268 114011
/proc/meminfo: memFree=103901428/131249988 swapFree=33010160/33010684
[pid=114006] ppid=114003 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114006/stat : 114006 (scip-naps-1.00a) S 114003 114006 112051 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141093324 4292608 768 18446744073709551615 94036357627904 94036358522437 140720482721600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94036358761488 94036358809232 94036375465984 140720482728347 140720482728446 140720482728446 140720482734050 0
/proc/114006/statm: 1048 768 704 219 0 110 0
[pid=114011] ppid=114006 vsize=1270388 memory=121200 CPUtime=0.65 cores=5,7
/proc/114011/stat : 114011 (python3) R 114006 114006 112051 0 -1 4194304 23263 0 0 0 61 4 0 0 20 0 1 0 141093326 1300877312 30300 18446744073709551615 94405309394944 94405309395321 140724386052960 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94405309406616 94405309407236 94405339717632 140724386060638 140724386060832 140724386060832 140724386066407 0
/proc/114011/statm: 317597 30300 7906 1 0 288955 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1274580 KiB
Current children cumulated memory: 124272 KiB

[startup+1.50022 s]
/proc/loadavg: 4.08 4.05 3.68 5/269 114012
/proc/meminfo: memFree=103901428/131249988 swapFree=33010160/33010684
[pid=114006] ppid=114003 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114006/stat : 114006 (scip-naps-1.00a) S 114003 114006 112051 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141093324 4292608 768 18446744073709551615 94036357627904 94036358522437 140720482721600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94036358761488 94036358809232 94036375465984 140720482728347 140720482728446 140720482728446 140720482734050 0
/proc/114006/statm: 1048 768 704 219 0 110 0
[pid=114011] ppid=114006 vsize=1275092 memory=125040 CPUtime=1.46 cores=5,7
/proc/114011/stat : 114011 (python3) R 114006 114006 112051 0 -1 4194304 24212 0 0 0 141 5 0 0 20 0 1 0 141093326 1305694208 31260 18446744073709551615 94405309394944 94405309395321 140724386052960 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94405309406616 94405309407236 94405339717632 140724386060638 140724386060832 140724386060832 140724386066407 0
/proc/114011/statm: 318773 31260 7938 1 0 290131 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1279284 KiB
Current children cumulated memory: 128112 KiB

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

# cumulated CPU time of all completed processes:  user=2.90957 s, system=0.085827 s

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

[startup+1.60025 s]
/proc/loadavg: 4.08 4.05 3.68 5/269 114012
/proc/meminfo: memFree=103901428/131249988 swapFree=33010160/33010684
[pid=114006] ppid=114003 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114006/stat : 114006 (scip-naps-1.00a) S 114003 114006 112051 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141093324 4292608 768 18446744073709551615 94036357627904 94036358522437 140720482721600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94036358761488 94036358809232 94036375465984 140720482728347 140720482728446 140720482728446 140720482734050 0
/proc/114006/statm: 1048 768 704 219 0 110 0
[pid=114011] ppid=114006 vsize=1275436 memory=125424 CPUtime=1.56 cores=5,7
/proc/114011/stat : 114011 (python3) R 114006 114006 112051 0 -1 4194304 24297 0 0 0 151 5 0 0 20 0 1 0 141093326 1306046464 31356 18446744073709551615 94405309394944 94405309395321 140724386052960 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94405309406616 94405309407236 94405339717632 140724386060638 140724386060832 140724386060832 140724386066407 0
/proc/114011/statm: 318859 31356 7938 1 0 290217 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 1279628 KiB
Current children cumulated memory: 128496 KiB

[startup+2.40019 s]
/proc/loadavg: 4.08 4.05 3.68 5/269 114012
/proc/meminfo: memFree=103893616/131249988 swapFree=33010160/33010684
[pid=114006] ppid=114003 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114006/stat : 114006 (scip-naps-1.00a) S 114003 114006 112051 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141093324 4292608 768 18446744073709551615 94036357627904 94036358522437 140720482721600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94036358761488 94036358809232 94036375465984 140720482728347 140720482728446 140720482728446 140720482734050 0
/proc/114006/statm: 1048 768 704 219 0 110 0
[pid=114011] ppid=114006 vsize=1277340 memory=127344 CPUtime=2.35 cores=5,7
/proc/114011/stat : 114011 (python3) R 114006 114006 112051 0 -1 4194304 24770 0 0 0 230 5 0 0 20 0 1 0 141093326 1307996160 31836 18446744073709551615 94405309394944 94405309395321 140724386052960 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94405309406616 94405309407236 94405339717632 140724386060638 140724386060832 140724386060832 140724386066407 0
/proc/114011/statm: 319335 31836 7938 1 0 290693 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 1281532 KiB
Current children cumulated memory: 130416 KiB

[startup+2.80019 s]
/proc/loadavg: 4.08 4.05 3.68 5/269 114012
/proc/meminfo: memFree=103893616/131249988 swapFree=33010160/33010684
[pid=114006] ppid=114003 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114006/stat : 114006 (scip-naps-1.00a) S 114003 114006 112051 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141093324 4292608 768 18446744073709551615 94036357627904 94036358522437 140720482721600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94036358761488 94036358809232 94036375465984 140720482728347 140720482728446 140720482728446 140720482734050 0
/proc/114006/statm: 1048 768 704 219 0 110 0
[pid=114011] ppid=114006 vsize=1310952 memory=154808 CPUtime=2.76 cores=5,7
/proc/114011/stat : 114011 (python3) R 114006 114006 112051 0 -1 4194304 44287 0 0 0 269 7 0 0 20 0 1 0 141093326 1342414848 38702 18446744073709551615 94405309394944 94405309395321 140724386052960 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94405309406616 94405309407236 94405339717632 140724386060638 140724386060832 140724386060832 140724386066407 0
/proc/114011/statm: 327738 38702 8194 1 0 299096 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 1315144 KiB
Current children cumulated memory: 157880 KiB

[startup+3.00019 s]*
/proc/loadavg: 4.08 4.05 3.68 5/269 114012
/proc/meminfo: memFree=103868276/131249988 swapFree=33010160/33010684
[pid=114006] ppid=114003 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114006/stat : 114006 (scip-naps-1.00a) S 114003 114006 112051 0 -1 4194304 257 339 0 0 0 0 0 0 20 0 1 0 141093324 4292608 768 18446744073709551615 94036357627904 94036358522437 140720482721600 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94036358761488 94036358809232 94036375465984 140720482728347 140720482728446 140720482728446 140720482734050 0
/proc/114006/statm: 1048 768 704 219 0 110 0
[pid=114011] ppid=114006 vsize=1307992 memory=155212 CPUtime=2.96 cores=5,7
/proc/114011/stat : 114011 (python3) R 114006 114006 112051 0 -1 4194304 45333 0 0 0 289 7 0 0 20 0 1 0 141093326 1339383808 38803 18446744073709551615 94405309394944 94405309395321 140724386052960 0 0 0 0 16781312 0 0 0 0 17 5 0 0 0 0 0 94405309406616 94405309407236 94405339717632 140724386060638 140724386060832 140724386060832 140724386066407 0
/proc/114011/statm: 326998 38803 8226 1 0 298356 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 1312184 KiB
Current children cumulated memory: 158284 KiB

Child status: 0

Real time (s): 3.02763
CPU time (s): 2.9954
CPU user time (s): 2.90957
CPU system time (s): 0.085827
CPU usage (%): 98.9355
Max. virtual memory (cumulated for all children) (KiB): 1319192
Max. memory (cumulated for all children) (KiB): 162104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.90957
system time used= 0.085827
maximum resident set size= 159160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 333
involuntary context switches= 13


# summary of solver processes directly reported to runsolver:
#   pid: 114006
#   total CPU time (s): 2.9954
#   total CPU user time (s): 2.90957
#   total CPU system time (s): 0.085827

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.018068 second user time and 0.046767 second system time

The end

Launcher Data

Begin job on nodeC034 at 2025-07-11 19:15:45
IDJOB=4530315
IDBENCH=150908
IDSOLVER=3388
FILE ID=nodeC034/4530315-1752254145
RUNJOBID= nodeC034-1752253113-113432
SLURM_JOB_ID= 9682578
Free space on /tmp= 429920 MiB

SOLVER NAME= SCIP-NaPS 1.00a2
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb
COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530315-1752254145/watcher-4530315-1752254145 -o /tmp/evaluation-result-4530315-1752254145/solver-4530315-1752254145 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752253113-113432 --watchdog 3760  ./scip-naps-1.00a2.sh HOME/instance-4530315-1752254145.opb

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

MD5SUM BENCH= a14bf61ad1111286a795cfd2913f06d2
RANDOM SEED=743069278

nodeC034 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.761
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.53
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.873
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.53
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		: 3599.696
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.53
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		: 3598.503
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.828
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.53
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.927
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.53
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		: 3622.840
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.53
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		: 3600.272
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        103949604 kB
MemAvailable:   128729844 kB
Buffers:            2128 kB
Cached:         25515240 kB
SwapCached:           36 kB
Active:          1509108 kB
Inactive:       24984524 kB
Active(anon):     992172 kB
Inactive(anon):     2160 kB
Active(file):     516936 kB
Inactive(file): 24982364 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25512 kB
Writeback:             0 kB
AnonPages:        979328 kB
Mapped:           128504 kB
Shmem:             18068 kB
KReclaimable:     239956 kB
Slab:             336396 kB
SReclaimable:     239956 kB
SUnreclaim:        96440 kB
KernelStack:        4320 kB
PageTables:         5600 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    4575688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429916 MiB
End job on nodeC034 at 2025-07-11 19:15:48