Trace number 4524124

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07OPT5612 18.7392 18.8163

General information on the benchmark

NamePB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-06-2_c24.opb
MD5SUM0e6a0abac6c0ea5d11b10a372b87a440
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 benchmark5612
Best CPU time to get the best result obtained on this benchmark3.22762
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3775
Total number of constraints4948
Number of constraints which are clauses1672
Number of constraints which are cardinality constraints (but not clauses)243
Number of constraints which are nor clauses,nor cardinality constraints3033
Minimum length of a constraint1
Maximum length of a constraint42
Number of terms in the objective function 216
Biggest coefficient in the objective function 200
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 18611
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 200
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 18611
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4524124-1751602467.opb>
0.00/0.05	c original problem has 3775 variables (3775 bin, 0 int, 0 impl, 0 cont) and 4948 constraints
0.00/0.05	c problem read in 0.03
0.00/0.08	c presolving:
0.00/0.11	c (round 1, fast)       1225 del vars, 1132 del conss, 0 add conss, 162 chg bounds, 687 chg sides, 849 chg coeffs, 0 upgd conss, 0 impls, 1905 clqs
0.10/0.12	c    (0.1s) running MILP presolver
0.10/0.16	c    (0.1s) MILP presolver (3 rounds): 486 aggregations, 36 fixings, 0 bound changes
0.10/0.17	c (round 2, medium)     1790 del vars, 4948 del conss, 2754 add conss, 162 chg bounds, 687 chg sides, 849 chg coeffs, 0 upgd conss, 0 impls, 847 clqs
0.10/0.18	c (round 3, fast)       1790 del vars, 4991 del conss, 2754 add conss, 162 chg bounds, 730 chg sides, 892 chg coeffs, 0 upgd conss, 0 impls, 1676 clqs
0.10/0.19	c (round 4, medium)     1833 del vars, 4991 del conss, 2754 add conss, 162 chg bounds, 730 chg sides, 892 chg coeffs, 0 upgd conss, 0 impls, 1590 clqs
0.10/0.19	c (round 5, fast)       1833 del vars, 5077 del conss, 2754 add conss, 162 chg bounds, 730 chg sides, 892 chg coeffs, 0 upgd conss, 0 impls, 1590 clqs
0.10/0.21	c (round 6, exhaustive) 1833 del vars, 5210 del conss, 2754 add conss, 162 chg bounds, 820 chg sides, 892 chg coeffs, 0 upgd conss, 0 impls, 1590 clqs
0.21/0.22	c (round 7, exhaustive) 1833 del vars, 5210 del conss, 2754 add conss, 162 chg bounds, 820 chg sides, 892 chg coeffs, 2351 upgd conss, 0 impls, 1590 clqs
0.21/0.23	c (round 8, fast)       1833 del vars, 5210 del conss, 2754 add conss, 162 chg bounds, 820 chg sides, 1252 chg coeffs, 2351 upgd conss, 0 impls, 1590 clqs
0.21/0.27	c (round 9, medium)     1927 del vars, 6837 del conss, 6779 add conss, 162 chg bounds, 820 chg sides, 1346 chg coeffs, 2351 upgd conss, 0 impls, 4863 clqs
0.21/0.27	c (round 10, fast)       1927 del vars, 6931 del conss, 6779 add conss, 162 chg bounds, 820 chg sides, 1346 chg coeffs, 2351 upgd conss, 0 impls, 4863 clqs
0.21/0.29	c (round 11, exhaustive) 1927 del vars, 7471 del conss, 7049 add conss, 162 chg bounds, 820 chg sides, 1346 chg coeffs, 2351 upgd conss, 0 impls, 4863 clqs
0.21/0.30	c (round 12, exhaustive) 1927 del vars, 7474 del conss, 7049 add conss, 162 chg bounds, 820 chg sides, 1346 chg coeffs, 2483 upgd conss, 0 impls, 4863 clqs
0.40/0.43	c (round 13, exhaustive) 1954 del vars, 7474 del conss, 7049 add conss, 162 chg bounds, 820 chg sides, 1346 chg coeffs, 2483 upgd conss, 0 impls, 8007 clqs
0.40/0.43	c (round 14, fast)       1954 del vars, 7529 del conss, 7049 add conss, 162 chg bounds, 821 chg sides, 1355 chg coeffs, 2483 upgd conss, 0 impls, 8007 clqs
0.40/0.48	c (round 15, exhaustive) 1981 del vars, 7529 del conss, 7049 add conss, 162 chg bounds, 821 chg sides, 1355 chg coeffs, 2483 upgd conss, 0 impls, 8394 clqs
0.40/0.49	c (round 16, fast)       1981 del vars, 7588 del conss, 7049 add conss, 162 chg bounds, 823 chg sides, 1364 chg coeffs, 2483 upgd conss, 0 impls, 8394 clqs
0.51/0.53	c (round 17, exhaustive) 2007 del vars, 7588 del conss, 7049 add conss, 162 chg bounds, 823 chg sides, 1364 chg coeffs, 2483 upgd conss, 0 impls, 8202 clqs
0.51/0.53	c (round 18, fast)       2007 del vars, 7664 del conss, 7049 add conss, 162 chg bounds, 823 chg sides, 1392 chg coeffs, 2483 upgd conss, 0 impls, 8202 clqs
0.51/0.54	c (round 19, exhaustive) 2007 del vars, 7677 del conss, 7053 add conss, 162 chg bounds, 823 chg sides, 1392 chg coeffs, 2483 upgd conss, 0 impls, 8202 clqs
0.51/0.57	c (round 20, exhaustive) 2033 del vars, 7679 del conss, 7053 add conss, 162 chg bounds, 823 chg sides, 1413 chg coeffs, 2483 upgd conss, 0 impls, 8036 clqs
0.51/0.58	c (round 21, fast)       2033 del vars, 7753 del conss, 7053 add conss, 162 chg bounds, 823 chg sides, 1436 chg coeffs, 2483 upgd conss, 0 impls, 8036 clqs
0.51/0.59	c (round 22, exhaustive) 2033 del vars, 7770 del conss, 7058 add conss, 162 chg bounds, 823 chg sides, 1436 chg coeffs, 2483 upgd conss, 0 impls, 8036 clqs
0.51/0.61	c (round 23, exhaustive) 2033 del vars, 7776 del conss, 7058 add conss, 162 chg bounds, 823 chg sides, 1436 chg coeffs, 2483 upgd conss, 0 impls, 8036 clqs
0.59/0.63	c (round 24, exhaustive) 2059 del vars, 7776 del conss, 7058 add conss, 162 chg bounds, 823 chg sides, 1470 chg coeffs, 2483 upgd conss, 0 impls, 7826 clqs
0.59/0.64	c (round 25, fast)       2059 del vars, 7847 del conss, 7058 add conss, 162 chg bounds, 823 chg sides, 1486 chg coeffs, 2483 upgd conss, 0 impls, 7826 clqs
0.59/0.65	c (round 26, exhaustive) 2059 del vars, 7868 del conss, 7064 add conss, 162 chg bounds, 823 chg sides, 1486 chg coeffs, 2483 upgd conss, 0 impls, 7826 clqs
0.59/0.67	c (round 27, exhaustive) 2059 del vars, 7875 del conss, 7064 add conss, 162 chg bounds, 823 chg sides, 1486 chg coeffs, 2483 upgd conss, 0 impls, 7826 clqs
0.68/0.70	c (round 28, exhaustive) 2087 del vars, 7875 del conss, 7064 add conss, 162 chg bounds, 823 chg sides, 1519 chg coeffs, 2483 upgd conss, 0 impls, 7620 clqs
0.68/0.70	c (round 29, fast)       2087 del vars, 7960 del conss, 7065 add conss, 162 chg bounds, 823 chg sides, 1535 chg coeffs, 2483 upgd conss, 0 impls, 7620 clqs
0.68/0.71	c (round 30, exhaustive) 2087 del vars, 7973 del conss, 7069 add conss, 162 chg bounds, 824 chg sides, 1536 chg coeffs, 2483 upgd conss, 0 impls, 7620 clqs
0.68/0.72	c (round 31, exhaustive) 2087 del vars, 7979 del conss, 7069 add conss, 162 chg bounds, 825 chg sides, 1536 chg coeffs, 2484 upgd conss, 0 impls, 7620 clqs
0.68/0.74	c (round 32, exhaustive) 2112 del vars, 7980 del conss, 7070 add conss, 162 chg bounds, 825 chg sides, 1573 chg coeffs, 2484 upgd conss, 0 impls, 7429 clqs
0.68/0.75	c (round 33, fast)       2112 del vars, 8071 del conss, 7073 add conss, 162 chg bounds, 825 chg sides, 1594 chg coeffs, 2484 upgd conss, 0 impls, 7429 clqs
0.68/0.75	c (round 34, exhaustive) 2112 del vars, 8083 del conss, 7077 add conss, 162 chg bounds, 825 chg sides, 1594 chg coeffs, 2484 upgd conss, 0 impls, 7429 clqs
0.68/0.77	c (round 35, exhaustive) 2112 del vars, 8085 del conss, 7077 add conss, 162 chg bounds, 825 chg sides, 1594 chg coeffs, 2486 upgd conss, 0 impls, 7429 clqs
0.68/0.79	c (round 36, exhaustive) 2137 del vars, 8085 del conss, 7077 add conss, 162 chg bounds, 825 chg sides, 1614 chg coeffs, 2486 upgd conss, 0 impls, 7712 clqs
0.68/0.80	c (round 37, fast)       2137 del vars, 8166 del conss, 7077 add conss, 162 chg bounds, 825 chg sides, 1630 chg coeffs, 2486 upgd conss, 0 impls, 7712 clqs
0.78/0.81	c (round 38, exhaustive) 2137 del vars, 8172 del conss, 7079 add conss, 162 chg bounds, 825 chg sides, 1630 chg coeffs, 2486 upgd conss, 0 impls, 7712 clqs
0.78/0.82	c (round 39, exhaustive) 2137 del vars, 8178 del conss, 7085 add conss, 162 chg bounds, 825 chg sides, 1633 chg coeffs, 2486 upgd conss, 0 impls, 7712 clqs
0.88/0.92	c (round 40, exhaustive) 2162 del vars, 8178 del conss, 7085 add conss, 162 chg bounds, 825 chg sides, 1638 chg coeffs, 2486 upgd conss, 0 impls, 11691 clqs
0.88/0.92	c (round 41, fast)       2162 del vars, 8223 del conss, 7091 add conss, 162 chg bounds, 825 chg sides, 1647 chg coeffs, 2486 upgd conss, 0 impls, 11691 clqs
0.88/0.92	c (round 42, fast)       2162 del vars, 8223 del conss, 7091 add conss, 162 chg bounds, 830 chg sides, 1653 chg coeffs, 2486 upgd conss, 0 impls, 11691 clqs
0.88/0.93	c (round 43, medium)     2162 del vars, 8225 del conss, 7093 add conss, 162 chg bounds, 832 chg sides, 1659 chg coeffs, 2486 upgd conss, 0 impls, 11692 clqs
0.88/0.94	c (round 44, exhaustive) 2162 del vars, 8234 del conss, 7096 add conss, 162 chg bounds, 832 chg sides, 1659 chg coeffs, 2486 upgd conss, 0 impls, 11692 clqs
0.88/0.95	c (round 45, exhaustive) 2162 del vars, 8245 del conss, 7106 add conss, 162 chg bounds, 832 chg sides, 1659 chg coeffs, 2486 upgd conss, 0 impls, 11692 clqs
0.88/0.96	c (round 46, exhaustive) 2162 del vars, 8247 del conss, 7106 add conss, 162 chg bounds, 834 chg sides, 1659 chg coeffs, 2486 upgd conss, 0 impls, 11699 clqs
0.88/0.97	c (round 47, exhaustive) 2162 del vars, 8247 del conss, 7106 add conss, 162 chg bounds, 834 chg sides, 1659 chg coeffs, 2491 upgd conss, 0 impls, 11699 clqs
0.99/1.07	c (round 48, exhaustive) 2187 del vars, 8249 del conss, 7106 add conss, 162 chg bounds, 834 chg sides, 1666 chg coeffs, 2491 upgd conss, 0 impls, 16077 clqs
0.99/1.07	c (round 49, fast)       2187 del vars, 8286 del conss, 7112 add conss, 162 chg bounds, 834 chg sides, 1666 chg coeffs, 2491 upgd conss, 0 impls, 16078 clqs
0.99/1.07	c (round 50, fast)       2187 del vars, 8286 del conss, 7112 add conss, 162 chg bounds, 839 chg sides, 1672 chg coeffs, 2491 upgd conss, 0 impls, 16078 clqs
0.99/1.08	c (round 51, medium)     2198 del vars, 8286 del conss, 7112 add conss, 162 chg bounds, 850 chg sides, 1683 chg coeffs, 2491 upgd conss, 0 impls, 16034 clqs
0.99/1.09	c (round 52, exhaustive) 2198 del vars, 8289 del conss, 7114 add conss, 162 chg bounds, 850 chg sides, 1686 chg coeffs, 2491 upgd conss, 0 impls, 16034 clqs
0.99/1.10	c (round 53, exhaustive) 2198 del vars, 8291 del conss, 7114 add conss, 162 chg bounds, 850 chg sides, 1687 chg coeffs, 2494 upgd conss, 0 impls, 16035 clqs
1.09/1.12	c (round 54, exhaustive) 2198 del vars, 8307 del conss, 7114 add conss, 162 chg bounds, 850 chg sides, 1690 chg coeffs, 2494 upgd conss, 0 impls, 16035 clqs
1.09/1.15	c (round 55, exhaustive) 2223 del vars, 8307 del conss, 7114 add conss, 162 chg bounds, 850 chg sides, 1690 chg coeffs, 2494 upgd conss, 0 impls, 15935 clqs
1.09/1.16	c (round 56, fast)       2223 del vars, 8333 del conss, 7120 add conss, 162 chg bounds, 850 chg sides, 1690 chg coeffs, 2494 upgd conss, 0 impls, 15936 clqs
1.09/1.16	c (round 57, fast)       2223 del vars, 8333 del conss, 7120 add conss, 162 chg bounds, 855 chg sides, 1696 chg coeffs, 2494 upgd conss, 0 impls, 15936 clqs
1.09/1.16	c (round 58, medium)     2244 del vars, 8333 del conss, 7120 add conss, 162 chg bounds, 876 chg sides, 1717 chg coeffs, 2494 upgd conss, 0 impls, 15852 clqs
1.09/1.17	c (round 59, exhaustive) 2244 del vars, 8337 del conss, 7120 add conss, 162 chg bounds, 876 chg sides, 1717 chg coeffs, 2494 upgd conss, 0 impls, 15852 clqs
1.09/1.18	c (round 60, exhaustive) 2244 del vars, 8337 del conss, 7120 add conss, 162 chg bounds, 876 chg sides, 1717 chg coeffs, 2497 upgd conss, 0 impls, 15852 clqs
1.09/1.19	c (round 61, exhaustive) 2244 del vars, 8340 del conss, 7120 add conss, 162 chg bounds, 876 chg sides, 1720 chg coeffs, 2497 upgd conss, 0 impls, 15852 clqs
1.17/1.20	c (round 62, exhaustive) 2244 del vars, 8361 del conss, 7120 add conss, 162 chg bounds, 876 chg sides, 1720 chg coeffs, 2497 upgd conss, 0 impls, 15852 clqs
1.17/1.23	c (round 63, exhaustive) 2269 del vars, 8361 del conss, 7120 add conss, 162 chg bounds, 876 chg sides, 1720 chg coeffs, 2497 upgd conss, 0 impls, 15778 clqs
1.17/1.23	c (round 64, fast)       2269 del vars, 8386 del conss, 7126 add conss, 162 chg bounds, 876 chg sides, 1720 chg coeffs, 2497 upgd conss, 0 impls, 15778 clqs
1.17/1.24	c (round 65, fast)       2269 del vars, 8386 del conss, 7126 add conss, 162 chg bounds, 881 chg sides, 1726 chg coeffs, 2497 upgd conss, 0 impls, 15778 clqs
1.17/1.24	c (round 66, medium)     2278 del vars, 8386 del conss, 7126 add conss, 162 chg bounds, 890 chg sides, 1735 chg coeffs, 2497 upgd conss, 0 impls, 15742 clqs
1.17/1.25	c (round 67, exhaustive) 2278 del vars, 8391 del conss, 7126 add conss, 162 chg bounds, 890 chg sides, 1738 chg coeffs, 2497 upgd conss, 0 impls, 15742 clqs
1.17/1.25	c (round 68, exhaustive) 2278 del vars, 8391 del conss, 7126 add conss, 162 chg bounds, 890 chg sides, 1738 chg coeffs, 2500 upgd conss, 0 impls, 15742 clqs
1.17/1.26	c (round 69, exhaustive) 2278 del vars, 8394 del conss, 7126 add conss, 162 chg bounds, 890 chg sides, 1743 chg coeffs, 2500 upgd conss, 0 impls, 15742 clqs
1.17/1.27	c (round 70, exhaustive) 2278 del vars, 8403 del conss, 7126 add conss, 162 chg bounds, 890 chg sides, 1743 chg coeffs, 2500 upgd conss, 0 impls, 15742 clqs
1.27/1.30	c (round 71, exhaustive) 2303 del vars, 8403 del conss, 7126 add conss, 162 chg bounds, 890 chg sides, 1743 chg coeffs, 2500 upgd conss, 0 impls, 15672 clqs
1.27/1.30	c (round 72, fast)       2303 del vars, 8428 del conss, 7132 add conss, 162 chg bounds, 890 chg sides, 1743 chg coeffs, 2500 upgd conss, 0 impls, 15672 clqs
1.27/1.30	c (round 73, fast)       2303 del vars, 8428 del conss, 7132 add conss, 162 chg bounds, 895 chg sides, 1749 chg coeffs, 2500 upgd conss, 0 impls, 15672 clqs
1.27/1.30	c (round 74, medium)     2309 del vars, 8428 del conss, 7132 add conss, 162 chg bounds, 901 chg sides, 1755 chg coeffs, 2500 upgd conss, 0 impls, 15648 clqs
1.27/1.31	c (round 75, exhaustive) 2309 del vars, 8431 del conss, 7132 add conss, 162 chg bounds, 901 chg sides, 1756 chg coeffs, 2500 upgd conss, 0 impls, 15648 clqs
1.27/1.32	c (round 76, exhaustive) 2309 del vars, 8431 del conss, 7132 add conss, 162 chg bounds, 901 chg sides, 1757 chg coeffs, 2503 upgd conss, 0 impls, 15648 clqs
1.27/1.33	c (round 77, exhaustive) 2309 del vars, 8434 del conss, 7132 add conss, 162 chg bounds, 901 chg sides, 1763 chg coeffs, 2503 upgd conss, 0 impls, 15648 clqs
1.27/1.33	c (round 78, exhaustive) 2309 del vars, 8440 del conss, 7132 add conss, 162 chg bounds, 901 chg sides, 1763 chg coeffs, 2503 upgd conss, 0 impls, 15648 clqs
1.27/1.36	c (round 79, exhaustive) 2334 del vars, 8440 del conss, 7132 add conss, 162 chg bounds, 901 chg sides, 1763 chg coeffs, 2503 upgd conss, 0 impls, 15569 clqs
1.27/1.37	c (round 80, fast)       2334 del vars, 8466 del conss, 7138 add conss, 162 chg bounds, 901 chg sides, 1763 chg coeffs, 2503 upgd conss, 0 impls, 15569 clqs
1.27/1.37	c (round 81, fast)       2334 del vars, 8466 del conss, 7138 add conss, 162 chg bounds, 906 chg sides, 1769 chg coeffs, 2503 upgd conss, 0 impls, 15569 clqs
1.27/1.37	c (round 82, medium)     2342 del vars, 8466 del conss, 7138 add conss, 162 chg bounds, 914 chg sides, 1777 chg coeffs, 2503 upgd conss, 0 impls, 15537 clqs
1.27/1.38	c (round 83, exhaustive) 2342 del vars, 8469 del conss, 7138 add conss, 162 chg bounds, 914 chg sides, 1779 chg coeffs, 2503 upgd conss, 0 impls, 15537 clqs
1.27/1.39	c (round 84, exhaustive) 2342 del vars, 8469 del conss, 7138 add conss, 162 chg bounds, 914 chg sides, 1781 chg coeffs, 2506 upgd conss, 0 impls, 15537 clqs
1.27/1.40	c (round 85, exhaustive) 2342 del vars, 8479 del conss, 7138 add conss, 162 chg bounds, 914 chg sides, 1790 chg coeffs, 2506 upgd conss, 0 impls, 15537 clqs
1.37/1.43	c (round 86, exhaustive) 2367 del vars, 8479 del conss, 7138 add conss, 162 chg bounds, 914 chg sides, 1793 chg coeffs, 2506 upgd conss, 0 impls, 15462 clqs
1.37/1.43	c (round 87, fast)       2367 del vars, 8504 del conss, 7144 add conss, 162 chg bounds, 914 chg sides, 1793 chg coeffs, 2506 upgd conss, 0 impls, 15462 clqs
1.37/1.43	c (round 88, fast)       2367 del vars, 8504 del conss, 7144 add conss, 162 chg bounds, 919 chg sides, 1799 chg coeffs, 2506 upgd conss, 0 impls, 15462 clqs
1.37/1.43	c (round 89, medium)     2373 del vars, 8504 del conss, 7144 add conss, 162 chg bounds, 925 chg sides, 1805 chg coeffs, 2506 upgd conss, 0 impls, 15438 clqs
1.37/1.44	c (round 90, exhaustive) 2373 del vars, 8507 del conss, 7144 add conss, 162 chg bounds, 925 chg sides, 1810 chg coeffs, 2506 upgd conss, 0 impls, 15438 clqs
1.37/1.45	c (round 91, exhaustive) 2373 del vars, 8507 del conss, 7144 add conss, 162 chg bounds, 925 chg sides, 1814 chg coeffs, 2509 upgd conss, 0 impls, 15438 clqs
1.37/1.46	c (round 92, exhaustive) 2373 del vars, 8514 del conss, 7144 add conss, 162 chg bounds, 925 chg sides, 1826 chg coeffs, 2509 upgd conss, 0 impls, 15438 clqs
1.37/1.49	c (round 93, exhaustive) 2398 del vars, 8514 del conss, 7144 add conss, 162 chg bounds, 925 chg sides, 1829 chg coeffs, 2509 upgd conss, 0 impls, 15366 clqs
1.37/1.49	c (round 94, fast)       2398 del vars, 8539 del conss, 7150 add conss, 162 chg bounds, 925 chg sides, 1829 chg coeffs, 2509 upgd conss, 0 impls, 15366 clqs
1.37/1.49	c (round 95, fast)       2398 del vars, 8539 del conss, 7150 add conss, 162 chg bounds, 930 chg sides, 1835 chg coeffs, 2509 upgd conss, 0 impls, 15366 clqs
1.47/1.50	c (round 96, exhaustive) 2398 del vars, 8542 del conss, 7150 add conss, 162 chg bounds, 930 chg sides, 1841 chg coeffs, 2509 upgd conss, 0 impls, 15366 clqs
1.47/1.51	c (round 97, exhaustive) 2398 del vars, 8542 del conss, 7150 add conss, 162 chg bounds, 930 chg sides, 1845 chg coeffs, 2512 upgd conss, 0 impls, 15366 clqs
1.47/1.54	c (round 98, exhaustive) 2423 del vars, 8543 del conss, 7150 add conss, 162 chg bounds, 930 chg sides, 1857 chg coeffs, 2512 upgd conss, 0 impls, 15283 clqs
1.47/1.55	c (round 99, fast)       2423 del vars, 8568 del conss, 7156 add conss, 162 chg bounds, 930 chg sides, 1857 chg coeffs, 2512 upgd conss, 0 impls, 15283 clqs
1.47/1.55	c (round 100, fast)       2423 del vars, 8568 del conss, 7156 add conss, 162 chg bounds, 935 chg sides, 1863 chg coeffs, 2512 upgd conss, 0 impls, 15283 clqs
1.47/1.56	c (round 101, exhaustive) 2424 del vars, 8571 del conss, 7156 add conss, 162 chg bounds, 936 chg sides, 1872 chg coeffs, 2512 upgd conss, 0 impls, 15279 clqs
1.47/1.56	c (round 102, exhaustive) 2424 del vars, 8571 del conss, 7156 add conss, 162 chg bounds, 936 chg sides, 1873 chg coeffs, 2515 upgd conss, 0 impls, 15279 clqs
1.47/1.57	c (round 103, exhaustive) 2424 del vars, 8574 del conss, 7156 add conss, 162 chg bounds, 936 chg sides, 1883 chg coeffs, 2515 upgd conss, 0 impls, 15279 clqs
1.57/1.60	c (round 104, exhaustive) 2449 del vars, 8574 del conss, 7156 add conss, 162 chg bounds, 936 chg sides, 1886 chg coeffs, 2515 upgd conss, 0 impls, 15192 clqs
1.57/1.61	c (round 105, fast)       2449 del vars, 8600 del conss, 7162 add conss, 162 chg bounds, 936 chg sides, 1886 chg coeffs, 2515 upgd conss, 0 impls, 15192 clqs
1.57/1.61	c (round 106, fast)       2449 del vars, 8600 del conss, 7162 add conss, 162 chg bounds, 941 chg sides, 1892 chg coeffs, 2515 upgd conss, 0 impls, 15192 clqs
1.57/1.62	c (round 107, exhaustive) 2449 del vars, 8603 del conss, 7162 add conss, 162 chg bounds, 941 chg sides, 1900 chg coeffs, 2515 upgd conss, 0 impls, 15192 clqs
1.57/1.63	c (round 108, exhaustive) 2449 del vars, 8604 del conss, 7162 add conss, 162 chg bounds, 941 chg sides, 1907 chg coeffs, 2518 upgd conss, 0 impls, 15192 clqs
1.57/1.63	c (round 109, exhaustive) 2449 del vars, 8607 del conss, 7162 add conss, 162 chg bounds, 941 chg sides, 1920 chg coeffs, 2518 upgd conss, 0 impls, 15192 clqs
1.87/1.95	c    (1.9s) probing: 1000/1848 (54.1%) - 117 fixings, 346 aggregations, 72933 implications, 0 bound changes
2.27/2.32	c    (2.3s) probing: 1528/1848 (82.7%) - 117 fixings, 346 aggregations, 142879 implications, 0 bound changes
2.27/2.32	c    (2.3s) probing aborted: 1000/1000 successive useless probings
2.27/2.32	c (round 110, exhaustive) 2452 del vars, 8607 del conss, 7162 add conss, 162 chg bounds, 941 chg sides, 1923 chg coeffs, 2518 upgd conss, 0 impls, 16016 clqs
2.27/2.32	c (round 111, fast)       2452 del vars, 8614 del conss, 7168 add conss, 162 chg bounds, 944 chg sides, 1926 chg coeffs, 2518 upgd conss, 0 impls, 16016 clqs
2.27/2.32	c (round 112, exhaustive) 2452 del vars, 8614 del conss, 7168 add conss, 162 chg bounds, 946 chg sides, 1930 chg coeffs, 2523 upgd conss, 0 impls, 16016 clqs
2.27/2.38	c    (2.4s) probing cycle finished: starting next cycle
2.37/2.40	c    (2.4s) probing: 39/1323 (2.9%) - 117 fixings, 346 aggregations, 154266 implications, 0 bound changes
2.37/2.40	c    (2.4s) probing aborted: 1000/1000 successive useless probings
2.37/2.41	c    (2.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.37/2.41	c    (2.4s) no symmetry present (symcode time: 0.00)
2.37/2.42	c presolving (113 rounds: 113 fast, 79 medium, 69 exhaustive):
2.37/2.42	c  2452 deleted vars, 8614 deleted constraints, 7168 added constraints, 162 tightened bounds, 0 added holes, 948 changed sides, 1944 changed coefficients
2.37/2.42	c  0 implications, 16387 cliques
2.37/2.42	c presolved problem has 1323 variables (1323 bin, 0 int, 0 impl, 0 cont) and 3502 constraints
2.37/2.42	c      15 constraints of type <knapsack>
2.37/2.42	c    3246 constraints of type <setppc>
2.37/2.42	c      13 constraints of type <linear>
2.37/2.42	c     228 constraints of type <logicor>
2.37/2.42	c transformed objective value is always integral (scale: 1)
2.37/2.42	c Presolving Time: 2.34
2.37/2.42	c - non default parameters ----------------------------------------------------------------------
2.37/2.42	c # SCIP version 10.0.0
2.37/2.42	c 
2.37/2.42	c # maximal time in seconds to run
2.37/2.42	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.37/2.42	c limits/time = 3596.994171
2.37/2.42	c 
2.37/2.42	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.37/2.42	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.37/2.42	c limits/memory = 27900
2.37/2.42	c 
2.37/2.42	c # belongs reading time to solving time?
2.37/2.42	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.37/2.42	c timing/reading = TRUE
2.37/2.42	c 
2.37/2.42	c -----------------------------------------------------------------------------------------------
2.37/2.42	c start solving
2.37/2.42	c 
2.47/2.56	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2.47/2.56	c   2.5s|     1 |     0 |  2520 |     - |    43M |   0 |1323 |3572 |3502 |   0 |  0 |  69 |   0 | 5.248082e+03 |      --      |    Inf | unknown
3.47/3.54	o 6136
3.47/3.54	c * 3.5s|     1 |     0 |  9695 |     - |    LP  |   0 |1323 |3575 |3502 |   0 |  0 |  72 |   0 | 5.248082e+03 | 6.136000e+03 |  16.92%| unknown
3.47/3.58	c   3.6s|     1 |     0 | 10180 |     - |    48M |   0 |1323 |3775 |3520 |  18 |  1 |  72 |   0 | 5.270060e+03 | 6.136000e+03 |  16.43%| unknown
3.67/3.71	c   3.7s|     1 |     0 | 10454 |     - |    51M |   0 |1323 |3780 |3531 |  29 |  2 |  77 |   0 | 5.280368e+03 | 6.136000e+03 |  16.20%| unknown
3.77/3.81	c   3.8s|     1 |     0 | 10777 |     - |    55M |   0 |1323 |3781 |3536 |  34 |  3 |  78 |   0 | 5.291263e+03 | 6.136000e+03 |  15.96%| unknown
3.87/3.99	c   4.0s|     1 |     0 | 11306 |     - |    58M |   0 |1323 |3785 |3549 |  47 |  4 |  82 |   0 | 5.301393e+03 | 6.136000e+03 |  15.74%| unknown
4.08/4.16	c   4.1s|     1 |     0 | 11716 |     - |    64M |   0 |1323 |3788 |3557 |  55 |  5 |  85 |   0 | 5.306678e+03 | 6.136000e+03 |  15.63%| unknown
4.26/4.35	c   4.3s|     1 |     0 | 11935 |     - |    71M |   0 |1323 |3794 |3564 |  62 |  6 |  91 |   0 | 5.308840e+03 | 6.136000e+03 |  15.58%| unknown
4.46/4.52	c   4.5s|     1 |     0 | 12273 |     - |    77M |   0 |1323 |3799 |3569 |  67 |  7 |  96 |   0 | 5.313526e+03 | 6.136000e+03 |  15.48%| unknown
4.67/4.70	c   4.7s|     1 |     0 | 12540 |     - |    83M |   0 |1323 |3805 |3574 |  72 |  8 | 102 |   0 | 5.319448e+03 | 6.136000e+03 |  15.35%| unknown
4.76/4.87	c   4.9s|     1 |     0 | 12813 |     - |    90M |   0 |1323 |3807 |3580 |  78 |  9 | 104 |   0 | 5.324217e+03 | 6.136000e+03 |  15.25%| unknown
4.97/5.03	c   5.0s|     1 |     0 | 13135 |     - |    96M |   0 |1323 |3813 |3590 |  88 | 10 | 110 |   0 | 5.329444e+03 | 6.136000e+03 |  15.13%| unknown
4.97/5.08	c   5.1s|     1 |     0 | 13469 |     - |    96M |   0 |1323 |3816 |3594 |  92 | 11 | 113 |   0 | 5.333851e+03 | 6.136000e+03 |  15.04%| unknown
5.07/5.13	c   5.1s|     1 |     0 | 13650 |     - |    97M |   0 |1323 |3818 |3569 |  99 | 12 | 115 |   0 | 5.334537e+03 | 6.136000e+03 |  15.02%| unknown
5.07/5.17	c   5.2s|     1 |     0 | 13854 |     - |    97M |   0 |1323 |3821 |3574 | 104 | 13 | 118 |   0 | 5.335387e+03 | 6.136000e+03 |  15.01%| unknown
5.16/5.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
5.16/5.22	c   5.2s|     1 |     0 | 14129 |     - |    97M |   0 |1323 |3825 |3582 | 112 | 14 | 122 |   0 | 5.337547e+03 | 6.136000e+03 |  14.96%| unknown
5.16/5.27	c   5.3s|     1 |     0 | 14333 |     - |    97M |   0 |1323 |3826 |3586 | 116 | 15 | 123 |   0 | 5.338658e+03 | 6.136000e+03 |  14.94%| unknown
5.27/5.31	c   5.3s|     1 |     0 | 14465 |     - |    98M |   0 |1323 |3827 |3590 | 120 | 16 | 124 |   0 | 5.339235e+03 | 6.136000e+03 |  14.92%| unknown
5.27/5.35	c   5.3s|     1 |     0 | 14602 |     - |    98M |   0 |1323 |3837 |3593 | 123 | 17 | 134 |   0 | 5.340873e+03 | 6.136000e+03 |  14.89%| unknown
5.27/5.39	c   5.4s|     1 |     0 | 14662 |     - |    98M |   0 |1323 |3842 |3576 | 127 | 18 | 139 |   0 | 5.341080e+03 | 6.136000e+03 |  14.88%| unknown
5.37/5.45	c   5.4s|     1 |     0 | 14954 |     - |    98M |   0 |1323 |3844 |3579 | 130 | 19 | 141 |   0 | 5.343962e+03 | 6.136000e+03 |  14.82%| unknown
5.46/5.50	c   5.5s|     1 |     0 | 15227 |     - |    99M |   0 |1323 |3849 |3583 | 134 | 20 | 146 |   0 | 5.345129e+03 | 6.136000e+03 |  14.80%| unknown
5.46/5.53	c   5.5s|     1 |     0 | 15229 |     - |    99M |   0 |1323 |3853 |3585 | 136 | 21 | 150 |   0 | 5.345130e+03 | 6.136000e+03 |  14.80%| unknown
5.97/6.09	o 5977
5.97/6.09	c d 6.1s|     1 |     0 | 23954 |     - |conflict|   0 |1323 |3877 |3585 |   0 | 22 | 174 |   0 | 5.345130e+03 | 5.977000e+03 |  11.82%| unknown
6.07/6.14	c   6.1s|     1 |     0 | 23954 |     - |    99M |   0 |1323 |3877 |3585 | 136 | 22 | 174 |   0 | 5.345130e+03 | 5.977000e+03 |  11.82%| unknown
6.07/6.17	c   6.2s|     1 |     0 | 24098 |     - |    99M |   0 |1323 |3881 |3592 | 143 | 23 | 178 |   0 | 5.345246e+03 | 5.977000e+03 |  11.82%| unknown
6.07/6.18	c   6.2s|     1 |     0 | 24100 |     - |    99M |   0 |1323 |3886 |3571 | 145 | 24 | 183 |   0 | 5.345246e+03 | 5.977000e+03 |  11.82%| unknown
6.65/6.70	c   6.7s|     1 |     2 | 24177 |     - |    99M |   0 |1323 |3890 |3571 | 145 | 24 | 187 |  11 | 5.358932e+03 | 5.977000e+03 |  11.53%| unknown
10.45/10.58	o 5860
10.45/10.58	c *10.6s|     4 |     3 | 28155 |4260.0 |strongbr|   3 |1323 |3914 |3533 | 145 |  6 | 211 | 144 | 5.358932e+03 | 5.860000e+03 |   9.35%| unknown
11.95/12.10	o 5809
11.95/12.10	c *12.1s|     7 |     4 | 30612 |2539.5 |strongbr|   5 |1323 |3953 |3533 | 145 |  3 | 250 | 260 | 5.358932e+03 | 5.809000e+03 |   8.40%|  10.16%
15.04/15.13	o 5740
15.04/15.13	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
15.04/15.13	c *15.1s|    41 |    14 | 43511 | 703.4 |    LP  |  10 |1323 |4047 |3536 | 148 |  2 | 347 | 342 | 5.367582e+03 | 5.740000e+03 |   6.94%|  26.33%
15.63/15.70	o 5724
15.63/15.70	c *15.7s|    65 |    16 | 47603 | 503.6 |    LP  |  11 |1323 |4070 |3552 | 178 |  2 | 370 | 350 | 5.367582e+03 | 5.724000e+03 |   6.64%|  32.56%
15.73/15.84	o 5612
15.73/15.84	c *15.8s|    70 |    14 | 48367 | 478.1 |    LP  |  11 |1323 |4056 |3540 | 183 |  2 | 371 | 355 | 5.367582e+03 | 5.612000e+03 |   4.55%|  34.35%
16.62/16.75	c  16.7s|   100 |    13 | 57795 | 428.5 |   112M |  11 |1323 |4105 |3536 | 204 |  2 | 434 | 384 | 5.402258e+03 | 5.612000e+03 |   3.88%|  52.32%
18.62/18.74	c 
18.62/18.74	c SCIP Status        : problem is solved [optimal solution found]
18.62/18.74	c Solving Time (sec) : 18.72
18.62/18.74	c Solving Nodes      : 169
18.62/18.74	c Primal Bound       : +5.61200000000000e+03 (7 solutions)
18.62/18.74	c Dual Bound         : +5.61200000000000e+03
18.62/18.74	c Gap                : 0.00 %
18.62/18.74	s OPTIMUM FOUND
18.62/18.74	v x3775 x3774 x3773 x3772 x3771 x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 x3761 x3760 x3759 x3758 -x3757 -x3756 
18.62/18.74	v -x3755 -x3754 -x3753 x3752 x3751 x3750 x3749 x3748 x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 x3738 x3737 
18.62/18.74	v x3736 x3735 -x3734 -x3733 -x3732 -x3731 -x3730 x3729 x3728 x3727 x3726 x3725 x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 
18.62/18.74	v -x3717 -x3716 x3715 x3714 x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 x3706 x3705 x3704 x3703 x3702 x3701 -x3700 -x3699 
18.62/18.74	v -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 x3692 x3691 x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 x3683 x3682 x3681 x3680 
18.62/18.74	v x3679 x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 x3669 x3668 x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 
18.62/18.74	v x3660 x3659 x3658 x3657 x3656 x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 x3646 x3645 x3644 -x3643 -x3642 
18.62/18.74	v -x3641 -x3640 -x3639 -x3638 x3637 x3636 x3635 x3634 x3633 x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 x3624 x3623 
18.62/18.74	v x3622 x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 x3614 x3613 x3612 x3611 x3610 x3609 -x3608 -x3607 -x3606 -x3605 -x3604 
18.62/18.74	v -x3603 -x3602 x3601 x3600 x3599 x3598 -x3597 -x3596 -x3595 -x3594 -x3593 x3592 x3591 x3590 x3589 x3588 x3587 x3586 -x3585 
18.62/18.74	v -x3584 -x3583 -x3582 -x3581 -x3580 -x3579 x3578 x3577 x3576 x3575 -x3574 -x3573 -x3572 -x3571 -x3570 x3569 x3568 x3567 x3566 
18.62/18.74	v x3565 x3564 x3563 -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 x3555 x3554 x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 
18.62/18.74	v x3546 x3545 x3544 x3543 x3542 x3541 x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 x3532 x3531 x3530 -x3529 -x3528 
18.62/18.74	v -x3527 -x3526 -x3525 -x3524 x3523 x3522 x3521 x3520 x3519 x3518 x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 x3509 
18.62/18.74	v x3508 x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 x3500 x3499 x3498 x3497 x3496 x3495 x3494 -x3493 -x3492 -x3491 -x3490 
18.62/18.74	v -x3489 -x3488 -x3487 x3486 x3485 x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 x3477 x3476 x3475 x3474 x3473 x3472 x3471 -x3470 
18.62/18.74	v -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 x3463 x3462 x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 x3454 x3453 x3452 
18.62/18.74	v x3451 x3450 x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 x3440 x3439 x3438 -x3437 -x3436 -x3435 -x3434 -x3433 
18.62/18.74	v x3432 x3431 x3430 x3429 x3428 x3427 x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 x3417 x3416 x3415 -x3414 
18.62/18.74	v -x3413 -x3412 -x3411 -x3410 x3409 x3408 x3407 x3406 x3405 x3404 x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 
18.62/18.74	v x3394 x3393 x3392 -x3391 -x3390 -x3389 -x3388 -x3387 x3386 x3385 x3384 x3383 x3382 x3381 x3380 -x3379 -x3378 -x3377 -x3376 
18.62/18.74	v -x3375 -x3374 -x3373 -x3372 x3371 x3370 x3369 -x3368 -x3367 -x3366 -x3365 -x3364 x3363 x3362 x3361 x3360 x3359 x3358 x3357 -x3356 
18.62/18.74	v -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 x3348 x3347 x3346 -x3345 -x3344 -x3343 -x3342 -x3341 x3340 x3339 x3338 
18.62/18.74	v x3337 x3336 x3335 x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326 x3325 x3324 x3323 -x3322 -x3321 -x3320 -x3319 
18.62/18.74	v -x3318 x3317 x3316 x3315 x3314 x3313 -x3312 x3311 -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 x3304 -x3303 x3302 x3301 x3300 -x3299 
18.62/18.74	v -x3298 -x3297 -x3296 -x3295 x3294 x3293 x3292 x3291 x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 x3281 
18.62/18.74	v x3280 x3279 x3278 x3277 -x3276 -x3275 -x3274 -x3273 -x3272 x3271 x3270 x3269 x3268 x3267 -x3266 -x3265 -x3264 -x3263 -x3262 
18.62/18.74	v -x3261 -x3260 -x3259 x3258 x3257 x3256 x3255 x3254 -x3253 -x3252 -x3251 -x3250 -x3249 x3248 x3247 x3246 x3245 x3244 -x3243 -x3242 
18.62/18.74	v -x3241 -x3240 -x3239 -x3238 -x3237 -x3236 x3235 x3234 x3233 x3232 x3231 -x3230 -x3229 -x3228 -x3227 -x3226 x3225 x3224 x3223 
18.62/18.74	v x3222 x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 x3212 x3211 x3210 x3209 -x3208 -x3207 -x3206 -x3205 
18.62/18.74	v -x3204 -x3203 x3202 x3201 x3200 x3199 x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 x3189 x3188 x3187 x3186 -x3185 
18.62/18.74	v -x3184 -x3183 -x3182 -x3181 -x3180 x3179 x3178 x3177 x3176 x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 
18.62/18.74	v x3166 x3165 x3164 x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 x3156 x3155 x3154 x3153 x3152 -x3151 -x3150 -x3149 -x3148 
18.62/18.74	v -x3147 -x3146 -x3145 x3144 x3143 x3142 x3141 x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 x3133 x3132 x3131 x3130 x3129 -x3128 
18.62/18.74	v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 x3121 x3120 x3119 x3118 x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 x3110 
18.62/18.74	v x3109 x3108 x3107 x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 x3098 x3097 x3096 x3095 x3094 -x3093 -x3092 -x3091 
18.62/18.74	v -x3090 -x3089 x3088 x3087 x3086 x3085 x3084 x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 x3075 x3074 x3073 x3072 x3071 
18.62/18.74	v -x3070 -x3069 -x3068 -x3067 -x3066 x3065 x3064 x3063 x3062 x3061 x3060 -x3059 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 x3052 
18.62/18.74	v x3051 x3050 x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 x3042 x3041 x3040 x3039 x3038 x3037 -x3036 -x3035 -x3034 -x3033 
18.62/18.74	v -x3032 -x3031 -x3030 x3029 x3028 x3027 x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 x3019 x3018 x3017 x3016 x3015 x3014 
18.62/18.74	v -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 x3006 x3005 x3004 x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 x2996 x2995 
18.62/18.74	v x2994 x2993 x2992 x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 x2983 x2982 x2981 x2980 -x2979 -x2978 -x2977 -x2976 
18.62/18.74	v -x2975 -x2974 x2973 x2972 x2971 x2970 x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 x2960 x2959 x2958 x2957 
18.62/18.74	v -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 x2950 x2949 x2948 x2947 x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 
18.62/18.74	v x2937 x2936 x2935 x2934 -x2933 -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 
18.62/18.74	v -x2919 -x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 x2904 -x2903 -x2902 
18.62/18.74	v -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 
18.62/18.74	v -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 x2870 -x2869 -x2868 -x2867 -x2866 
18.62/18.74	v -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 x2850 x2849 -x2848 
18.62/18.74	v -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 
18.62/18.74	v -x2829 -x2828 -x2827 x2826 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 x2815 -x2814 -x2813 -x2812 
18.62/18.74	v -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 
18.62/18.74	v -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 x2785 -x2784 -x2783 x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 
18.62/18.74	v -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 
18.62/18.74	v -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 x2741 -x2740 
18.62/18.74	v -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 x2726 x2725 -x2724 -x2723 -x2722 
18.62/18.74	v -x2721 -x2720 -x2719 -x2718 -x2717 x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 x2705 -x2704 -x2703 
18.62/18.74	v -x2702 x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 
18.62/18.74	v -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 x2676 -x2675 -x2674 -x2673 -x2672 x2671 -x2670 -x2669 -x2668 -x2667 
18.62/18.74	v -x2666 -x2665 x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 
18.62/18.74	v -x2648 -x2647 -x2646 -x2645 -x2644 x2643 -x2642 -x2641 -x2640 -x2639 x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 x2631 
18.62/18.74	v -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 x2618 -x2617 -x2616 -x2615 -x2614 -x2613 
18.62/18.74	v -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 x2600 -x2599 -x2598 -x2597 -x2596 x2595 
18.62/18.74	v -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 
18.62/18.74	v -x2576 -x2575 -x2574 -x2573 x2572 -x2571 -x2570 -x2569 -x2568 -x2567 x2566 -x2565 -x2564 x2563 -x2562 -x2561 -x2560 -x2559 -x2558 
18.62/18.74	v -x2557 -x2556 -x2555 x2554 -x2553 -x2552 -x2551 -x2550 x2549 x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 
18.62/18.74	v x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 x2531 -x2530 -x2529 -x2528 x2527 -x2526 -x2525 -x2524 -x2523 -x2522 
18.62/18.74	v -x2521 x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 x2504 
18.62/18.74	v -x2503 x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 x2489 -x2488 -x2487 -x2486 
18.62/18.74	v -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 x2471 -x2470 -x2469 -x2468 
18.62/18.74	v x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 
18.62/18.74	v -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 
18.62/18.74	v -x2430 x2429 -x2428 -x2427 -x2426 -x2425 -x2424 x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 x2413 
18.62/18.74	v -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 x2397 -x2396 -x2395 
18.62/18.74	v -x2394 -x2393 -x2392 x2391 -x2390 -x2389 x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 
18.62/18.74	v x2376 -x2375 -x2374 -x2373 -x2372 x2371 x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 x2362 -x2361 -x2360 -x2359 
18.62/18.74	v -x2358 -x2357 -x2356 -x2355 x2354 x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 
18.62/18.74	v -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 x2330 -x2329 -x2328 -x2327 x2326 -x2325 -x2324 -x2323 -x2322 
18.62/18.74	v -x2321 -x2320 -x2319 -x2318 x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 
18.62/18.74	v -x2303 -x2302 -x2301 -x2300 x2299 -x2298 x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 x2286 
18.62/18.74	v -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 
18.62/18.74	v -x2267 x2266 -x2265 -x2264 -x2263 x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 x2254 -x2253 -x2252 -x2251 -x2250 
18.62/18.74	v -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 
18.62/18.74	v -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 x2224 -x2223 -x2222 -x2221 -x2220 -x2219 x2218 -x2217 -x2216 -x2215 -x2214 
18.62/18.74	v -x2213 x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 x2198 -x2197 -x2196 -x2195 
18.62/18.74	v -x2194 x2193 x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 x2183 -x2182 -x2181 -x2180 -x2179 -x2178 x2177 
18.62/18.74	v x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 
18.62/18.74	v -x2158 -x2157 x2156 x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 x2142 -x2141 
18.62/18.74	v -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 x2127 x2126 -x2125 -x2124 -x2123 -x2122 
18.62/18.74	v -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 
18.62/18.74	v -x2103 -x2102 -x2101 -x2100 x2099 -x2098 -x2097 -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 x2087 -x2086 
18.62/18.74	v -x2085 -x2084 -x2083 -x2082 x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 x2070 -x2069 -x2068 
18.62/18.74	v -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 x2050 
18.62/18.74	v -x2049 -x2048 -x2047 x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 
18.62/18.74	v -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 x2023 -x2022 -x2021 -x2020 -x2019 -x2018 x2017 -x2016 -x2015 x2014 
18.62/18.74	v -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 x2005 -x2004 -x2003 -x2002 -x2001 x2000 x1999 -x1998 -x1997 -x1996 -x1995 
18.62/18.74	v -x1994 -x1993 -x1992 -x1991 x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 x1982 x1981 -x1980 -x1979 -x1978 -x1977 
18.62/18.74	v -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 
18.62/18.74	v -x1958 -x1957 -x1956 x1955 -x1954 -x1953 -x1952 x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 x1942 -x1941 
18.62/18.74	v -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 
18.62/18.74	v x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 x1913 -x1912 -x1911 x1910 -x1909 -x1908 -x1907 -x1906 -x1905 
18.62/18.74	v -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 
18.62/18.74	v -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 x1878 -x1877 -x1876 -x1875 x1874 -x1873 -x1872 -x1871 -x1870 -x1869 
18.62/18.74	v -x1868 -x1867 -x1866 x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 
18.62/18.74	v -x1850 -x1849 x1848 -x1847 -x1846 -x1845 -x1844 -x1843 x1842 -x1841 -x1840 x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 
18.62/18.74	v -x1831 -x1830 -x1829 -x1828 x1827 -x1826 -x1825 -x1824 -x1823 x1822 x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 
18.62/18.74	v x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 x1805 x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 x1797 -x1796 
18.62/18.74	v -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 x1781 -x1780 -x1779 -x1778 
18.62/18.74	v x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 
18.62/18.74	v -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 x1750 -x1749 x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 
18.62/18.74	v -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 x1725 -x1724 -x1723 
18.62/18.74	v -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 x1709 -x1708 -x1707 -x1706 -x1705 
18.62/18.74	v -x1704 -x1703 -x1702 x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 
18.62/18.74	v -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 x1673 -x1670 x1671 -x1672 x1667 
18.62/18.74	v -x1668 -x1669 -x1664 -x1665 x1666 -x1663 -x1662 x1661 -x1660 -x1659 x1658 -x1657 -x1656 x1655 -x1654 -x1653 x1652 -x1651 -x1650 
18.62/18.74	v x1649 -x1648 -x1647 x1646 x1645 x1644 x1643 x1642 x1641 x1640 x1639 x1638 x1637 x1636 x1635 x1634 -x1633 -x1632 x1631 x1630 
18.62/18.74	v x1629 x1628 -x1627 -x1626 x1625 -x1624 -x1623 x1622 -x1621 -x1620 x1619 -x1618 -x1617 x1616 -x1615 -x1614 x1613 x1612 x1611 
18.62/18.74	v x1610 -x1609 -x1608 x1607 x1606 x1605 x1604 x1603 x1602 x1601 -x1600 -x1599 x1598 -x1597 -x1596 x1595 -x1594 -x1593 x1592 -x1591 
18.62/18.74	v -x1590 x1589 -x1588 -x1587 x1586 -x1585 -x1584 x1583 x1582 x1581 x1580 x1579 x1578 x1577 x1576 x1575 x1574 x1573 x1572 
18.62/18.74	v x1571 x1570 x1569 x1568 -x1567 -x1566 x1565 -x1564 -x1563 x1562 -x1561 -x1560 x1559 -x1558 -x1557 x1556 -x1555 -x1554 x1553 -x1552 
18.62/18.74	v -x1551 x1550 x1549 x1548 x1547 -x1546 -x1545 x1544 -x1543 -x1542 x1541 -x1540 -x1539 x1538 x1537 x1536 x1535 x1534 x1533 
18.62/18.74	v x1532 x1531 x1530 x1529 -x1528 -x1527 x1526 -x1525 -x1524 x1523 -x1522 -x1521 x1520 -x1519 -x1518 x1517 -x1516 -x1515 x1514 
18.62/18.74	v -x1513 -x1512 x1511 -x1510 -x1509 x1508 x1507 x1506 x1505 -x1504 -x1503 x1502 x1501 x1500 x1499 -x1498 -x1497 x1496 -x1495 -x1494 
18.62/18.74	v x1493 -x1492 -x1491 x1490 -x1489 -x1488 x1487 -x1486 -x1485 x1484 -x1483 -x1482 x1481 -x1480 -x1479 x1478 -x1477 -x1476 
18.62/18.74	v x1475 x1474 x1473 x1472 x1471 x1470 x1469 x1468 x1467 x1466 x1465 x1464 x1463 x1462 x1461 x1460 -x1459 -x1458 x1457 -x1456 -x1455 
18.62/18.74	v x1454 -x1453 -x1452 x1451 -x1450 -x1449 x1448 -x1447 -x1446 x1445 -x1444 -x1443 x1442 x1441 x1440 x1439 x1438 x1437 x1436 
18.62/18.74	v -x1435 -x1434 x1433 -x1432 -x1431 x1430 -x1429 -x1428 x1427 -x1426 -x1425 x1424 -x1423 -x1422 x1421 -x1420 -x1419 x1418 x1417 
18.62/18.74	v x1416 x1415 x1414 x1413 x1412 -x1411 -x1410 x1409 -x1408 -x1407 x1406 -x1405 -x1404 x1403 x1402 x1401 x1400 x1399 x1398 x1397 
18.62/18.74	v x1396 x1395 x1394 -x1393 -x1392 x1391 -x1390 -x1389 x1388 -x1387 -x1386 x1385 -x1384 -x1383 x1382 -x1381 -x1380 x1379 -x1378 
18.62/18.74	v -x1377 x1376 -x1375 -x1374 x1373 x1372 x1371 x1370 x1369 x1368 x1367 x1366 x1365 x1364 x1363 x1362 x1361 -x1360 -x1359 x1358 
18.62/18.74	v x1357 x1356 x1355 -x1354 -x1353 x1352 -x1351 -x1350 x1349 -x1348 -x1347 x1346 -x1345 -x1344 x1343 -x1342 -x1341 x1340 -x1339 
18.62/18.74	v -x1338 x1337 -x1336 -x1335 x1334 x1333 x1332 x1331 -x1330 -x1329 x1328 -x1327 -x1326 x1325 -x1324 -x1323 x1322 -x1321 -x1320 
18.62/18.74	v x1319 -x1318 -x1317 x1316 -x1315 -x1314 x1313 -x1312 -x1311 x1310 x1309 x1308 x1307 x1306 x1305 x1304 x1303 x1302 x1301 
18.62/18.74	v x1300 x1299 x1298 -x1297 -x1296 x1295 x1294 x1293 x1292 -x1291 -x1290 x1289 -x1288 -x1287 x1286 -x1285 -x1284 x1283 -x1282 -x1281 
18.62/18.74	v x1280 -x1279 -x1278 x1277 -x1276 -x1275 x1274 -x1273 -x1272 x1271 -x1270 -x1269 x1268 -x1267 x1266 -x1265 -x1264 x1263 -x1262 
18.62/18.74	v -x1261 x1260 -x1259 -x1258 x1257 -x1256 x1255 x1254 x1253 -x1252 x1251 -x1250 x1249 x1248 x1247 -x1246 -x1245 x1244 -x1243 
18.62/18.74	v -x1242 x1241 -x1240 -x1239 x1238 x1237 x1236 x1235 -x1234 x1233 -x1232 x1231 x1230 x1229 -x1228 x1227 -x1226 -x1225 x1224 
18.62/18.74	v -x1223 -x1222 -x1221 x1220 -x1219 -x1218 x1217 -x1216 -x1215 x1214 -x1213 -x1212 x1211 -x1210 -x1209 x1208 x1207 x1206 x1205 
18.62/18.74	v -x1204 x1203 -x1202 -x1201 x1200 -x1199 -x1198 x1197 -x1196 -x1195 x1194 -x1193 -x1192 x1191 -x1190 x1189 x1188 x1187 -x1186 
18.62/18.74	v -x1185 x1184 -x1183 -x1182 x1181 -x1180 -x1179 x1178 -x1177 -x1176 x1175 x1174 x1173 x1172 -x1171 x1170 -x1169 x1168 x1167 x1166 
18.62/18.74	v x1165 x1164 x1163 x1162 x1161 x1160 -x1159 x1158 -x1157 -x1156 x1155 -x1154 -x1153 x1152 -x1151 x1150 x1149 x1148 x1147 
18.62/18.74	v x1146 x1145 x1144 x1143 x1142 -x1141 -x1140 x1139 -x1138 -x1137 x1136 -x1135 -x1134 x1133 x1132 x1131 x1130 -x1129 x1128 -x1127 
18.62/18.74	v x1126 x1125 x1124 -x1123 x1122 -x1121 x1120 x1119 x1118 -x1117 -x1116 x1115 -x1114 -x1113 x1112 -x1111 -x1110 x1109 -x1108 
18.62/18.74	v -x1107 x1106 -x1105 -x1104 x1103 -x1102 -x1101 x1100 x1099 x1098 x1097 -x1096 x1095 -x1094 -x1093 x1092 -x1091 -x1090 x1089 
18.62/18.74	v -x1088 -x1087 x1086 -x1085 -x1084 x1083 -x1082 -x1081 -x1080 x1079 -x1078 -x1077 x1076 -x1075 -x1074 x1073 -x1072 -x1071 x1070 
18.62/18.74	v x1069 x1068 x1067 x1066 x1065 x1064 -x1063 x1062 -x1061 -x1060 x1059 -x1058 x1057 x1056 x1055 -x1054 -x1053 x1052 -x1051 -x1050 
18.62/18.74	v x1049 -x1048 -x1047 x1046 -x1045 -x1044 x1043 -x1042 -x1041 x1040 -x1039 x1038 -x1037 -x1036 x1035 -x1034 -x1033 -x1032 
18.62/18.74	v x1031 -x1030 -x1029 x1028 x1027 x1026 x1025 -x1024 x1023 -x1022 -x1021 x1020 -x1019 -x1018 x1017 -x1016 x1015 x1014 x1013 -x1012 
18.62/18.74	v -x1011 x1010 -x1009 -x1008 x1007 -x1006 -x1005 x1004 -x1003 -x1002 x1001 -x1000 -x999 x998 -x997 -x996 x995 -x994 x993 -x992 
18.62/18.74	v -x991 x990 -x989 -x988 x987 -x986 -x985 x984 -x983 x982 x981 x980 -x979 x978 -x977 x976 x975 x974 -x973 -x972 x971 -x970 
18.62/18.74	v -x969 x968 -x967 -x966 x965 x964 x963 x962 x961 x960 x959 x958 x957 x956 -x955 x954 -x953 x952 x951 x950 -x949 -x948 x947 -x946 
18.62/18.74	v -x945 x944 -x943 -x942 x941 -x940 -x939 x938 -x937 -x936 x935 x934 x933 x932 -x931 x930 -x929 -x928 x927 -x926 -x925 x924 
18.62/18.74	v -x923 -x922 x921 -x920 x919 x918 x917 -x916 x915 -x914 -x913 -x912 x911 -x910 -x909 x908 x907 x906 x905 x904 x903 x902 x901 x900 
18.62/18.74	v x899 x898 x897 x896 x895 x894 x893 x892 x891 x890 -x889 x888 -x887 -x886 x885 -x884 -x883 x882 -x881 -x880 x879 -x878 -x877 
18.62/18.74	v x876 -x875 -x874 x873 -x872 -x871 x870 -x869 x868 x867 x866 x865 x864 x863 x862 x861 x860 -x859 x858 -x857 -x856 x855 -x854 
18.62/18.74	v -x853 x852 -x851 -x850 x849 -x848 -x847 x846 -x845 x844 x843 x842 x841 x840 x839 x838 x837 x836 x835 x834 x833 x832 x831 x830 
18.62/18.74	v -x829 x828 -x827 -x826 x825 -x824 -x823 x822 -x821 -x820 x819 -x818 -x817 x816 -x815 -x814 x813 -x812 -x811 x810 -x809 x808 
18.62/18.74	v x807 x806 x805 x804 x803 x802 x801 x800 x799 x798 x797 -x796 x795 -x794 -x793 x792 -x791 -x790 x789 -x788 -x787 x786 -x785 
18.62/18.74	v -x784 x783 -x782 -x781 x780 -x779 -x778 x777 -x776 -x775 x774 -x773 -x772 x771 -x770 -x769 x768 -x767 -x766 x765 -x764 x763 x762 
18.62/18.74	v x761 x760 x759 x758 x757 x756 x755 -x754 x753 -x752 -x751 x750 -x749 -x748 x747 -x746 -x745 x744 -x743 -x742 x741 -x740 x739 
18.62/18.74	v x738 x737 x736 x735 x734 x733 x732 x731 x730 x729 x728 x727 x726 x725 x724 x723 x722 -x721 x720 -x719 -x718 x717 -x716 -x715 
18.62/18.74	v x714 -x713 -x712 x711 -x710 -x709 x708 -x707 -x706 x705 -x704 x703 x702 x701 x700 x699 x698 x697 x696 x695 x694 x693 x692 
18.62/18.74	v -x691 x690 -x689 -x688 x687 -x686 -x685 x684 -x683 -x682 x681 -x680 -x679 x678 -x677 x676 x675 x674 x673 x672 x671 x670 x669 
18.62/18.74	v x668 x667 x666 x665 x664 x663 x662 -x661 x660 -x659 -x658 x657 -x656 x655 x654 x653 x652 x651 x650 -x649 x648 -x647 -x646 x645 
18.62/18.74	v -x644 -x643 x642 -x641 -x640 x639 -x638 -x637 x636 -x635 x634 x633 x632 x631 x630 x629 x628 x627 x626 x625 x624 x623 x622 
18.62/18.74	v x621 x620 x619 x618 x617 -x616 x615 -x614 -x613 x612 -x611 -x610 x609 -x608 -x607 x606 -x605 -x604 x603 -x602 -x601 x600 -x599 
18.62/18.74	v -x598 x597 -x596 x595 x594 x593 x592 x591 x590 x589 x588 x587 -x586 x585 -x584 -x583 x582 -x581 -x580 x579 -x578 -x577 x576 
18.62/18.74	v -x575 -x574 x573 -x572 x571 x570 x569 x568 x567 x566 x565 x564 x563 x562 x561 x560 x559 x558 x557 -x556 x555 -x554 -x553 x552 
18.62/18.74	v -x551 -x550 x549 -x548 -x547 x546 -x545 -x544 x543 -x542 -x541 x540 -x539 -x538 x537 -x536 x535 x534 x533 x532 x531 x530 -x527 
18.62/18.74	v -x528 x529 x524 -x525 -x526 -x521 x522 -x523 -x518 -x519 x520 -x515 x516 -x517 x512 -x513 -x514 -x509 -x510 x511 -x506 x507 
18.62/18.74	v -x508 x503 -x504 -x505 -x500 -x501 x502 -x497 x498 -x499 x494 -x495 -x496 x491 -x492 -x493 -x488 -x489 x490 -x485 x486 -x487 
18.62/18.74	v x482 -x483 -x484 -x479 x480 -x481 -x476 -x477 x478 -x473 x474 -x475 x470 -x471 -x472 -x467 -x468 x469 x464 -x465 -x466 -x461 
18.62/18.74	v x462 -x463 -x458 -x459 x460 -x455 x456 -x457 x452 -x453 -x454 -x449 -x450 x451 -x446 -x447 x448 -x443 x444 -x445 x440 -x441 
18.62/18.74	v -x442 -x437 x438 -x439 -x434 -x435 x436 x431 -x432 -x433 x428 -x429 -x430 -x425 -x426 x427 -x422 x423 -x424 -x419 x420 -x421 
18.62/18.74	v -x416 -x417 x418 x413 -x414 -x415 x410 -x411 -x412 -x407 -x408 x409 -x404 x405 -x406 x401 -x402 -x403 -x398 x399 -x400 -x395 
18.62/18.74	v -x396 x397 -x392 -x393 x394 x389 -x390 -x391 -x386 x387 -x388 -x383 -x384 x385 x380 -x381 -x382 -x377 x378 -x379 -x374 -x375 
18.62/18.74	v x376 x371 -x372 -x373 -x368 x369 -x370 -x365 x366 -x367 -x362 -x363 x364 x359 -x360 -x361 x356 -x357 -x358 -x353 -x354 x355 
18.62/18.74	v -x350 x351 -x352 x347 -x348 -x349 -x344 x345 -x346 -x341 -x342 x343 x338 -x339 -x340 -x335 x336 -x337 -x332 -x333 x334 -x329 
18.62/18.74	v x330 -x331 x326 -x327 -x328 -x323 -x324 x325 -x320 -x321 x322 x317 -x318 -x319 -x314 x315 -x316 -x311 -x312 x313 -x308 x309 
18.62/18.74	v -x310 x305 -x306 -x307 -x302 x303 -x304 -x299 -x300 x301 x296 -x297 -x298 x293 -x294 -x295 -x290 -x291 x292 -x287 x288 -x289 
18.62/18.74	v -x284 x285 -x286 -x281 -x282 x283 x278 -x279 -x280 -x275 x276 -x277 x272 -x273 -x274 -x269 -x270 x271 -x266 x267 -x268 x263 -x264 
18.62/18.74	v -x265 -x260 -x261 x262 -x258 x259 x256 -x257 -x254 -x255 x253 -x251 x249 x247 -x245 x243 -x211 x209 x207 -x205 x203 x201 
18.62/18.74	v x169 x167 -x165 x163 x161 -x159 x127 -x125 x123 x121 -x119 x117 -x85 x83 x81 -x79 x77 x75 x43 x41 -x39 x37 x35 -x33 x1 -x252 
18.62/18.74	v -x246 -x240 -x241 -x234 -x235 -x228 -x229 -x222 -x223 x216 -x217 x210 x204 x198 -x199 -x192 x193 x186 -x187 -x180 x181 -x174 
18.62/18.74	v -x175 -x168 -x162 -x156 x157 x150 -x151 -x144 x145 x138 -x139 x132 -x133 -x126 -x120 -x114 -x115 -x108 -x109 -x102 -x103 -x96 
18.62/18.74	v x97 x90 -x91 x84 x78 x72 -x73 x66 -x67 -x60 x61 -x54 -x55 -x48 -x49 -x42 -x36 -x30 x31 x24 -x25 -x18 x19 -x12 x13 -x6 x7 x250 
18.62/18.74	v x244 x238 -x239 -x232 x233 -x226 x227 -x220 x221 -x214 -x215 -x208 -x202 -x196 x197 x190 -x191 -x184 x185 x178 -x179 -x172 
18.62/18.74	v x173 -x166 -x160 -x154 -x155 -x148 -x149 -x142 -x143 -x136 -x137 -x130 x131 x124 x118 x112 -x113 x106 -x107 x100 -x101 -x94 
18.62/18.74	v -x95 -x88 -x89 -x82 -x76 -x70 x71 -x64 x65 x58 -x59 x52 -x53 -x46 x47 -x40 -x34 -x28 -x29 -x22 -x23 -x16 -x17 x10 -x11 x4 -x5 
18.62/18.74	v -x248 -x242 -x236 x237 x230 -x231 x224 -x225 x218 -x219 -x212 x213 -x206 -x200 -x194 -x195 -x188 -x189 -x182 -x183 -x176 -x177 
18.62/18.74	v x170 -x171 x164 x158 x152 -x153 -x146 x147 x140 -x141 -x134 x135 -x128 -x129 -x122 -x116 -x110 x111 -x104 x105 -x98 x99 x92 
18.62/18.74	v -x93 -x86 x87 -x80 -x74 -x68 -x69 -x62 -x63 -x56 -x57 -x50 x51 x44 -x45 x38 x32 x26 -x27 -x20 x21 x14 -x15 -x8 -x9 -x2 -x3 
18.62/18.74	c SCIP Status        : problem is solved [optimal solution found]
18.62/18.74	c Total Time         :      18.72
18.62/18.74	c   solving          :      18.72
18.62/18.74	c   presolving       :       2.34 (included in solving)
18.62/18.74	c   reading          :       0.03 (included in solving)
18.62/18.74	c   copying          :       0.03 (3 #copies) (minimal 0.01, maximal 0.01, average 0.01)
18.62/18.74	c Original Problem   :
18.62/18.74	c   Problem name     : HOME/instance-4524124-1751602467.opb
18.62/18.74	c   Variables        : 3775 (3775 binary, 0 integer, 0 implicit integer, 0 continuous)
18.62/18.74	c   Constraints      : 4948 initial, 4948 maximal
18.62/18.74	c   Objective        : minimize, 216 non-zeros (abs.min = 2, abs.max = 200)
18.62/18.74	c Presolved Problem  :
18.62/18.74	c   Problem name     : t_HOME/instance-4524124-1751602467.opb
18.62/18.74	c   Variables        : 1323 (1323 binary, 0 integer, 0 implicit integer, 0 continuous)
18.62/18.74	c   Constraints      : 3502 initial, 4162 maximal
18.62/18.74	c   Objective        : minimize, 171 non-zeros (abs.min = 3, abs.max = 904)
18.62/18.74	c   Nonzeros         : 9233 constraint, 32954 clique table
18.62/18.74	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
18.62/18.74	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   domcol           :       0.04       0.00     20          0          0          0          0          0          0          0          0          0
18.62/18.74	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   dualsparsify     :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
18.62/18.74	c   gateextraction   :       0.24       0.00     67          0          0          0          0          0        631        298          0          0
18.62/18.74	c   implics          :       0.00       0.00     79          0          0          0          0          0          0          0          0          0
18.62/18.74	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   milp             :       0.06       0.00      1         36        486          0          0          0       3816       2754          0          0
18.62/18.74	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   sparsify         :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
18.62/18.74	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   trivial          :       0.01       0.00    113          0          0          0          0          0          0          0          0          0
18.62/18.74	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   dualfix          :       0.01       0.00    113          1          0          0          0          0          0          0          0          0
18.62/18.74	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   probing          :       1.23       0.00     20        117        346          0          0          0          0          0          0          0
18.62/18.74	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
18.62/18.74	c   vbounds          :       0.02       0.00     12         43         90          0          0          0          0          0          0          0
18.62/18.74	c   knapsack         :       0.05       0.00    185         47          0          0          0          0       1652       4028          4        537
18.62/18.74	c   setppc           :       0.45       0.00    236          0         62          0          0          0        991          0         65         62
18.62/18.74	c   and              :       0.00       0.00     49          0          0          0          0          0         28         18          0         17
18.62/18.74	c   linear           :       0.09       0.00    160        162       1062          0        162          0       1420         70        879        956
18.62/18.74	c   logicor          :       0.07       0.00    205          0          0          0          0          0         76          0          0        372
18.62/18.74	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
18.62/18.74	c   root node        :          -          -      -        925          -          -        925          -          -          -          -          -
18.62/18.74	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
18.62/18.74	c   benderslp        :          0          0          0          0        158          0          0         13          0          0          0          0          0          0          0
18.62/18.74	c   integral         :          0          0          0          0        158          0          0         13          0          0       1267          0          0        234        174
18.62/18.74	c   knapsack         :         15+        20         23      11348          3          0          0          0          4          0          1          0          0          0          0
18.62/18.74	c   setppc           :       3246+      3263         23      11795          3          0          0          7       6461         71      19003          0          0          0          0
18.62/18.74	c   linear           :         13+       255         24      11724          3          0          0          7         70         20        171          5          5          0          0
18.62/18.74	c   logicor          :        228+       627         23       7769          3          0          0          4        573        101        896         48         20          0          0
18.62/18.74	c   benders          :          0          0          0          0          3          0          0          6          0          0          0          0          0          0          0
18.62/18.74	c   fixedvar         :          0          0          0          0          3          0          0          6          0          0          0          0          0          0          0
18.62/18.74	c   countsols        :          0          0          0          0          3          0          0          6          0          0          0          0          0          0          0
18.62/18.74	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
18.62/18.74	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
18.62/18.74	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
18.62/18.74	c   integral         :       9.11       0.00       0.00       0.00       9.11       0.00       0.00       0.00       0.00       0.00
18.62/18.74	c   knapsack         :       0.03       0.00       0.01       0.01       0.00       0.00       0.00       0.00       0.00       0.00
18.62/18.74	c   setppc           :       0.62       0.00       0.01       0.48       0.00       0.00       0.00       0.00       0.00       0.12
18.62/18.74	c   linear           :       0.05       0.00       0.01       0.02       0.00       0.00       0.00       0.00       0.00       0.01
18.62/18.74	c   logicor          :       0.06       0.00       0.00       0.04       0.00       0.00       0.00       0.00       0.00       0.02
18.62/18.74	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
18.62/18.74	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
18.62/18.74	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
18.62/18.74	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
18.62/18.74	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
18.62/18.74	c   dualfix          :          2          0          0          0
18.62/18.74	c   genvbounds       :          0          0          0          0
18.62/18.74	c   nlobbt           :          0          0          0          0
18.62/18.74	c   obbt             :          0          0          0          0
18.62/18.74	c   probing          :          0          0          0          0
18.62/18.74	c   pseudoobj        :       1477          0          0          0
18.62/18.74	c   redcost          :        413          0          0        323
18.62/18.74	c   rootredcost      :          6          0          0          0
18.62/18.74	c   symmetry         :          0          0          0          0
18.62/18.74	c   vbounds          :       4444          0          0          0
18.62/18.74	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
18.62/18.74	c   dualfix          :       0.01       0.00       0.01       0.00       0.00       0.00
18.62/18.74	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
18.62/18.74	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
18.62/18.74	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
18.62/18.74	c   probing          :       1.23       0.00       1.23       0.00       0.00       0.00
18.62/18.74	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
18.62/18.74	c   redcost          :       0.02       0.00       0.00       0.02       0.00       0.00
18.62/18.74	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
18.62/18.74	c   symmetry         :       0.01       0.00       0.01       0.00       0.00       0.00
18.62/18.74	c   vbounds          :       0.03       0.00       0.02       0.01       0.00       0.00
18.62/18.74	c Symmetry           :
18.62/18.74	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
18.62/18.74	c   orbital reduction:          0 reductions applied,          0 cutoffs
18.62/18.74	c   lexicographic red:          0 reductions applied,          0 cutoffs
18.62/18.74	c   shadow tree time :       0.00 s
18.62/18.74	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
18.62/18.74	c   propagation      :       0.01        179        170          -        522       16.2         21       15.9          -          -          -
18.62/18.74	c   infeasible LP    :       0.00          9          9          -         55       47.7          0        0.0          9       54.0          0
18.62/18.74	c   bound exceed. LP :       0.04         39         39          -         49       57.4          1        7.0         39      141.2        280
18.62/18.74	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
18.62/18.74	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
18.62/18.74	c   applied globally :       0.01          -          -          0        503       11.4          -          -         48          -          -
18.62/18.74	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
18.62/18.74	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
18.62/18.74	c   cut pool         :       0.05          -         74         43          -          -       2785       3729          -          -          -          -          -    (maximal pool size:       2785)
18.62/18.74	c   aggregation      :       0.19       0.00         40         23          0          0          0          0          0          0          0          0          0
18.62/18.74	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
18.62/18.74	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
18.62/18.74	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
18.62/18.74	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   clique           :       0.14       0.00         23         23          0          0         51        126          0         32         32          0          0
18.62/18.74	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   gomory           :       1.34       0.00         22         10          0          0       2610       3425          0         50         50          0          0
18.62/18.74	c   > gomorymi       :          -          -          -          -          -          -          -       2552          0         28         28          0          -
18.62/18.74	c   > strongcg       :          -          -          -          -          -          -          -        873          0         22         22          0          -
18.62/18.74	c   impliedbounds    :       0.04       0.00         40         23          0          0          6         10          0          8          8          0          0
18.62/18.74	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
18.62/18.74	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   multilinear      :       0.00       0.00         47         23          0          0          0          0          0          0          0          0          0
18.62/18.74	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
18.62/18.74	c   rapidlearning    :       0.25       0.00          1          1          0          0          0          0          0          0          0          0        200
18.62/18.74	c   rlt              :       0.00       0.00         17         10          0          0          0          0          0          0          0          0          0
18.62/18.74	c   zerohalf         :       0.17       0.00         32         20          0          0        118        168          0        122        122          0          0
18.62/18.74	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
18.62/18.74	c   hybrid           :       0.01       0.00         40         23        237          0       3545        145          0       2716
18.62/18.74	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c Pricers            :   ExecTime  SetupTime      Calls       Vars
18.62/18.74	c   problem variables:       0.00          -          0          0
18.62/18.74	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
18.62/18.74	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c   relpscost        :       9.11       0.00        155          0          0          0       1267          0        253        174
18.62/18.74	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
18.62/18.74	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
18.62/18.74	c   LP solutions     :       0.00          -          -          3          3
18.62/18.74	c   relax solutions  :       0.00          -          -          0          0
18.62/18.74	c   pseudo solutions :       0.00          -          -          0          0
18.62/18.74	c   strong branching :       0.00          -          -          2          2
18.62/18.74	c   actconsdiving    :       0.00       0.00          0          0          0
18.62/18.74	c   adaptivediving   :       0.00       0.00          0          0          0
18.62/18.74	c   alns             :       0.02       0.00          1          0          0
18.62/18.74	c   bound            :       0.00       0.00          0          0          0
18.62/18.74	c   clique           :       0.01       0.00          1          0          0
18.62/18.74	c   coefdiving       :       0.00       0.00          0          0          0
18.62/18.74	c   completesol      :       0.00       0.00          0          0          0
18.62/18.74	c   conflictdiving   :       0.15       0.00          1          1          1
18.62/18.74	c   crossover        :       0.00       0.00          0          0          0
18.62/18.74	c   dins             :       0.00       0.00          0          0          0
18.62/18.74	c   distributiondivin:       0.00       0.00          0          0          0
18.62/18.74	c   dps              :       0.00       0.00          0          0          0
18.62/18.74	c   dualval          :       0.00       0.00          0          0          0
18.62/18.74	c   farkasdiving     :       0.38       0.00          1          0          0
18.62/18.74	c   feasjump         :       0.01       0.00          1          0          0
18.62/18.74	c   feaspump         :       0.63       0.00          1          0          0
18.62/18.74	c   fixandinfer      :       0.00       0.00          0          0          0
18.62/18.74	c   fracdiving       :       0.00       0.00          0          0          0
18.62/18.74	c   gins             :       0.00       0.00          0          0          0
18.62/18.74	c   guideddiving     :       0.00       0.00          0          0          0
18.62/18.74	c   indcoefdiving    :       0.00       0.00          0          0          0
18.62/18.74	c   indicator        :       0.00       0.00          0          0          0
18.62/18.74	c   indicatordiving  :       0.00       0.00          0          0          0
18.62/18.74	c   indoneopt        :       0.00       0.00          0          0          0
18.62/18.74	c   indrounding      :       0.00       0.00          0          0          0
18.62/18.74	c   indtwoopt        :       0.00       0.00          0          0          0
18.62/18.74	c   intdiving        :       0.00       0.00          0          0          0
18.62/18.74	c   intshifting      :       0.00       0.00          0          0          0
18.62/18.74	c   linesearchdiving :       0.00       0.00          0          0          0
18.62/18.74	c   localbranching   :       0.00       0.00          0          0          0
18.62/18.74	c   locks            :       0.00       0.00          1          0          0
18.62/18.74	c   lpface           :       0.00       0.00          0          0          0
18.62/18.74	c   mpec             :       0.00       0.00          0          0          0
18.62/18.74	c   multistart       :       0.00       0.00          0          0          0
18.62/18.74	c   mutation         :       0.00       0.00          0          0          0
18.62/18.74	c   nlpdiving        :       0.00       0.00          0          0          0
18.62/18.74	c   objpscostdiving  :       0.00       0.00          0          0          0
18.62/18.74	c   octane           :       0.00       0.00          0          0          0
18.62/18.74	c   ofins            :       0.00       0.00          0          0          0
18.62/18.74	c   oneopt           :       0.00       0.00          7          0          0
18.62/18.74	c   padm             :       0.00       0.00          0          0          0
18.62/18.74	c   proximity        :       0.00       0.00          0          0          0
18.62/18.74	c   pscostdiving     :       0.00       0.00          0          0          0
18.62/18.74	c   randrounding     :       0.08       0.00         25          0          0
18.62/18.74	c   rens             :       0.03       0.00          1          0          0
18.62/18.74	c   reoptsols        :       0.00       0.00          0          0          0
18.62/18.74	c   repair           :       0.00       0.00          0          0          0
18.62/18.74	c   rins             :       0.00       0.00          0          0          0
18.62/18.74	c   rootsoldiving    :       0.00       0.00          0          0          0
18.62/18.74	c   rounding         :       0.02       0.00        156          0          0
18.62/18.74	c   scheduler        :       0.00       0.00          0          0          0
18.62/18.74	c   shiftandpropagate:       0.01       0.00          1          0          0
18.62/18.74	c   shifting         :       0.03       0.00         43          0          0
18.62/18.74	c   simplerounding   :       0.00       0.00          0          0          0
18.62/18.74	c   smallcard        :       0.00       0.00          0          0          0
18.62/18.74	c   subnlp           :       0.00       0.00          0          0          0
18.62/18.74	c   trivial          :       0.00       0.00          2          0          0
18.62/18.74	c   trivialnegation  :       0.00       0.00          0          0          0
18.62/18.74	c   trustregion      :       0.00       0.00          0          0          0
18.62/18.74	c   trysol           :       0.00       0.00          0          0          0
18.62/18.74	c   twoopt           :       0.00       0.00          0          0          0
18.62/18.74	c   undercover       :       0.00       0.00          0          0          0
18.62/18.74	c   vbounds          :       0.01       0.00          1          0          0
18.62/18.74	c   veclendiving     :       0.00       0.00          0          0          0
18.62/18.74	c   zeroobj          :       0.00       0.00          0          0          0
18.62/18.74	c   zirounding       :       0.01       0.00         87          0          0
18.62/18.74	c   other solutions  :          -          -          -          0          -
18.62/18.74	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
18.62/18.74	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
18.62/18.74	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
18.62/18.74	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
18.62/18.74	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
18.62/18.74	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
18.62/18.74	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
18.62/18.74	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
18.62/18.74	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
18.62/18.74	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
18.62/18.74	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
18.62/18.74	c   primal LP        :       0.01         13          0       0.00          -       0.01         13
18.62/18.74	c   dual LP          :       3.15        312      52575     222.78   16664.81       0.05         76
18.62/18.74	c   lex dual LP      :       0.00          0          0       0.00          -
18.62/18.74	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
18.62/18.74	c   resolve instable :       0.00          0          0       0.00          -
18.62/18.74	c   diving/probing LP:       1.43        114      23966     210.23   16818.21
18.62/18.74	c   strong branching :       8.03        435     138288     317.90   17215.28          -          -         85
18.62/18.74	c     (at root node) :          -         11       8301     754.64          -
18.62/18.74	c   conflict analysis:       0.02         28        280      10.00   13033.56
18.62/18.74	c B&B Tree           :
18.62/18.74	c   number of runs   :          1
18.62/18.74	c   nodes            :        169 (87 internal, 82 leaves)
18.62/18.74	c   feasible leaves  :          3
18.62/18.74	c   infeas. leaves   :         39
18.62/18.74	c   objective leaves :         40
18.62/18.74	c   nodes (total)    :        169 (87 internal, 82 leaves)
18.62/18.74	c   nodes left       :          0
18.62/18.74	c   max depth        :         11
18.62/18.74	c   max depth (total):         11
18.62/18.74	c   backtracks       :         38 (22.5%)
18.62/18.74	c   early backtracks :          0 (0.0%)
18.62/18.74	c   nodes exc. ref.  :          0 (0.0%)
18.62/18.74	c   delayed cutoffs  :          5
18.62/18.74	c   repropagations   :         83 (3224 domain reductions, 5 cutoffs)
18.62/18.74	c   avg switch length:       3.63
18.62/18.74	c   switching time   :       0.10
18.62/18.74	c Root Node          :
18.62/18.74	c   First LP value   : +5.24808172039248e+03
18.62/18.74	c   First LP Iters   :       2520 (25133.40 Iter/sec)
18.62/18.74	c   First LP Time    :       0.10
18.62/18.74	c   Final Dual Bound : +5.35893171355193e+03
18.62/18.74	c   Final Root Iters :      15375
18.62/18.74	c   Root LP Estimate : +5.90402297231029e+03
18.62/18.74	c Solution           :
18.62/18.74	c   Solutions found  :          7 (7 improvements)
18.62/18.74	c   First Solution   : +6.13600000000000e+03   (in run 1, after 1 nodes, 3.52 seconds, depth 0, found by <relaxation>)
18.62/18.74	c   Gap First Sol.   :      16.92 %
18.62/18.74	c   Gap Last Sol.    :       4.55 %
18.62/18.74	c   Primal Bound     : +5.61200000000000e+03   (in run 1, after 169 nodes, 18.72 seconds, depth -1, found by <relaxation>)
18.62/18.74	c   Dual Bound       : +5.61200000000000e+03
18.62/18.74	c   Gap              :       0.00 %
18.62/18.74	c Integrals          :      Total       Avg%
18.62/18.74	c   primal-dual      :     482.79      25.79
18.62/18.74	c   primal-ref       :          -          - (not evaluated)
18.62/18.74	c   dual-ref         :          -          - (not evaluated)
18.72/18.81	c Time complete: 18.7263.

Verifier Data 

OK	5612

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524124-1751602467/watcher-4524124-1751602467 -o /tmp/evaluation-result-4524124-1751602467/solver-4524124-1751602467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751594361-89441 --watchdog 3760 pbscip -f HOME/instance-4524124-1751602467.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=90416, runsolver pid=90413

[startup+0.100076 s]*
/proc/loadavg: 4.13 4.13 4.15 5/251 90417
/proc/meminfo: memFree=116270064/131382116 swapFree=33010684/33010684
[pid=90416] ppid=90413 vsize=62500 memory=35712 CPUtime=0.1 cores=1,3
/proc/90416/stat : 90416 (pbscip) R 90413 90416 89429 0 -1 4194304 5647 0 0 0 8 2 0 0 20 0 1 0 75926482 64000000 8896 18446744073709551615 4235264 18693293 140732662279312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36696064 140732662282633 140732662282732 140732662282732 140732662288334 0
/proc/90416/statm: 15625 8896 3616 3530 0 7076 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 62500 KiB
Current children cumulated memory: 35712 KiB

[startup+0.213402 s]*
/proc/loadavg: 4.13 4.13 4.15 5/251 90417
/proc/meminfo: memFree=116268304/131382116 swapFree=33010684/33010684
[pid=90416] ppid=90413 vsize=65104 memory=38720 CPUtime=0.21 cores=1,3
/proc/90416/stat : 90416 (pbscip) R 90413 90416 89429 0 -1 4194304 6744 0 0 0 19 2 0 0 20 0 1 0 75926482 66666496 9680 18446744073709551615 4235264 18693293 140732662279312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36696064 140732662282633 140732662282732 140732662282732 140732662288334 0
/proc/90416/statm: 16276 9680 3712 3530 0 7727 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 65104 KiB
Current children cumulated memory: 38720 KiB

[startup+0.31348 s]*
/proc/loadavg: 4.13 4.13 4.15 5/251 90417
/proc/meminfo: memFree=116264524/131382116 swapFree=33010684/33010684
[pid=90416] ppid=90413 vsize=69076 memory=42176 CPUtime=0.3 cores=1,3
/proc/90416/stat : 90416 (pbscip) R 90413 90416 89429 0 -1 4194304 7600 0 0 0 28 2 0 0 20 0 1 0 75926482 70733824 10544 18446744073709551615 4235264 18693293 140732662279312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36696064 140732662282633 140732662282732 140732662282732 140732662288334 0
/proc/90416/statm: 17269 10544 3744 3530 0 8720 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69076 KiB
Current children cumulated memory: 42176 KiB

[startup+0.700343 s]
/proc/loadavg: 4.13 4.13 4.15 5/251 90417
/proc/meminfo: memFree=116260492/131382116 swapFree=33010684/33010684
[pid=90416] ppid=90413 vsize=71796 memory=44992 CPUtime=0.68 cores=1,3
/proc/90416/stat : 90416 (pbscip) R 90413 90416 89429 0 -1 4194304 8257 0 0 0 65 3 0 0 20 0 1 0 75926482 73519104 11248 18446744073709551615 4235264 18693293 140732662279312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36696064 140732662282633 140732662282732 140732662282732 140732662288334 0
/proc/90416/statm: 17949 11248 3776 3530 0 9400 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 71796 KiB
Current children cumulated memory: 44992 KiB

[startup+1.50028 s]
/proc/loadavg: 4.13 4.13 4.15 5/251 90417
/proc/meminfo: memFree=116260492/131382116 swapFree=33010684/33010684
[pid=90416] ppid=90413 vsize=76092 memory=49344 CPUtime=1.47 cores=1,3
/proc/90416/stat : 90416 (pbscip) R 90413 90416 89429 0 -1 4194304 9355 0 0 0 144 3 0 0 20 0 1 0 75926482 77918208 12336 18446744073709551615 4235264 18693293 140732662279312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36696064 140732662282633 140732662282732 140732662282732 140732662288334 0
/proc/90416/statm: 19023 12336 3776 3530 0 10474 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 76092 KiB
Current children cumulated memory: 49344 KiB

[startup+3.11325 s]
/proc/loadavg: 4.12 4.13 4.15 5/251 90417
/proc/meminfo: memFree=116248900/131382116 swapFree=33010684/33010684
[pid=90416] ppid=90413 vsize=88700 memory=59700 CPUtime=3.08 cores=1,3
/proc/90416/stat : 90416 (pbscip) R 90413 90416 89429 0 -1 4194304 12060 0 0 0 304 4 0 0 20 0 1 0 75926482 90828800 14925 18446744073709551615 4235264 18693293 140732662279312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36696064 140732662282633 140732662282732 140732662282732 140732662288334 0
/proc/90416/statm: 22175 14925 3936 3530 0 13626 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 88700 KiB
Current children cumulated memory: 59700 KiB

[startup+6.30033 s]
/proc/loadavg: 4.12 4.13 4.15 5/251 90417
/proc/meminfo: memFree=116194008/131382116 swapFree=33010684/33010684
[pid=90416] ppid=90413 vsize=158276 memory=122364 CPUtime=6.25 cores=1,3
/proc/90416/stat : 90416 (pbscip) R 90413 90416 89429 0 -1 4194304 29221 0 0 0 618 7 0 0 20 0 1 0 75926482 162074624 30591 18446744073709551615 4235264 18693293 140732662279312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36696064 140732662282633 140732662282732 140732662282732 140732662288334 0
/proc/90416/statm: 39569 30591 3968 3530 0 31020 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 158276 KiB
Current children cumulated memory: 122364 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.13 4.15 5/251 90417
/proc/meminfo: memFree=116185924/131382116 swapFree=33010684/33010684
[pid=90416] ppid=90413 vsize=158276 memory=122492 CPUtime=12.64 cores=1,3
/proc/90416/stat : 90416 (pbscip) R 90413 90416 89429 0 -1 4194304 29256 0 0 0 1256 8 0 0 20 0 1 0 75926482 162074624 30623 18446744073709551615 4235264 18693293 140732662279312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36696064 140732662282633 140732662282732 140732662282732 140732662288334 0
/proc/90416/statm: 39569 30623 3968 3530 0 31020 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 158276 KiB
Current children cumulated memory: 122492 KiB

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

# cumulated CPU time of all completed processes:  user=18.6507 s, system=0.088496 s

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

[startup+12.8004 s]
/proc/loadavg: 4.11 4.13 4.15 5/251 90417
/proc/meminfo: memFree=116185924/131382116 swapFree=33010684/33010684
[pid=90416] ppid=90413 vsize=158276 memory=122492 CPUtime=12.74 cores=1,3
/proc/90416/stat : 90416 (pbscip) R 90413 90416 89429 0 -1 4194304 29256 0 0 0 1266 8 0 0 20 0 1 0 75926482 162074624 30623 18446744073709551615 4235264 18693293 140732662279312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36696064 140732662282633 140732662282732 140732662282732 140732662288334 0
/proc/90416/statm: 39569 30623 3968 3530 0 31020 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 158276 KiB
Current children cumulated memory: 122492 KiB

[startup+16.0003 s]*
/proc/loadavg: 4.10 4.12 4.15 5/251 90417
/proc/meminfo: memFree=116176272/131382116 swapFree=33010684/33010684
[pid=90416] ppid=90413 vsize=158276 memory=122876 CPUtime=15.94 cores=1,3
/proc/90416/stat : 90416 (pbscip) R 90413 90416 89429 0 -1 4194304 29345 0 0 0 1586 8 0 0 20 0 1 0 75926482 162074624 30719 18446744073709551615 4235264 18693293 140732662279312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36696064 140732662282633 140732662282732 140732662282732 140732662288334 0
/proc/90416/statm: 39569 30719 3968 3530 0 31020 0
Current children cumulated CPU time: 15.94 s
Current children cumulated vsize: 158276 KiB
Current children cumulated memory: 122876 KiB

[startup+17.6003 s]
/proc/loadavg: 4.10 4.12 4.15 5/251 90417
/proc/meminfo: memFree=116176272/131382116 swapFree=33010684/33010684
[pid=90416] ppid=90413 vsize=159304 memory=123900 CPUtime=17.52 cores=1,3
/proc/90416/stat : 90416 (pbscip) R 90413 90416 89429 0 -1 4194304 29614 0 0 0 1744 8 0 0 20 0 1 0 75926482 163127296 30975 18446744073709551615 4235264 18693293 140732662279312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36696064 140732662282633 140732662282732 140732662282732 140732662288334 0
/proc/90416/statm: 39826 30975 3968 3530 0 31277 0
Current children cumulated CPU time: 17.52 s
Current children cumulated vsize: 159304 KiB
Current children cumulated memory: 123900 KiB

[startup+18.4003 s]
/proc/loadavg: 4.09 4.12 4.15 5/251 90417
/proc/meminfo: memFree=116176272/131382116 swapFree=33010684/33010684
[pid=90416] ppid=90413 vsize=159504 memory=124156 CPUtime=18.32 cores=1,3
/proc/90416/stat : 90416 (pbscip) R 90413 90416 89429 0 -1 4194304 29671 0 0 0 1824 8 0 0 20 0 1 0 75926482 163332096 31039 18446744073709551615 4235264 18693293 140732662279312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36696064 140732662282633 140732662282732 140732662282732 140732662288334 0
/proc/90416/statm: 39876 31039 3968 3530 0 31327 0
Current children cumulated CPU time: 18.32 s
Current children cumulated vsize: 159504 KiB
Current children cumulated memory: 124156 KiB

[startup+18.8003 s]
/proc/loadavg: 4.09 4.12 4.15 5/251 90417
/proc/meminfo: memFree=116176272/131382116 swapFree=33010684/33010684
[pid=90416] ppid=90413 vsize=159032 memory=123708 CPUtime=18.72 cores=1,3
/proc/90416/stat : 90416 (pbscip) R 90413 90416 89429 0 -1 4194304 29671 0 0 0 1864 8 0 0 20 0 1 0 75926482 162848768 30927 18446744073709551615 4235264 18693293 140732662279312 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 36696064 140732662282633 140732662282732 140732662282732 140732662288334 0
/proc/90416/statm: 39758 30927 3968 3530 0 31209 0
Current children cumulated CPU time: 18.72 s
Current children cumulated vsize: 159032 KiB
Current children cumulated memory: 123708 KiB

Child status: 0

Real time (s): 18.8163
CPU time (s): 18.7392
CPU user time (s): 18.6507
CPU system time (s): 0.088496
CPU usage (%): 99.5903
Max. virtual memory (cumulated for all children) (KiB): 159504
Max. memory (cumulated for all children) (KiB): 124156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.6507
system time used= 0.088496
maximum resident set size= 124156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29678
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84
involuntary context switches= 27


# summary of solver processes directly reported to runsolver:
#   pid: 90416
#   total CPU time (s): 18.7392
#   total CPU user time (s): 18.6507
#   total CPU system time (s): 0.088496

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.123613 second user time and 0.266086 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-04 06:14:28
IDJOB=4524124
IDBENCH=180521
IDSOLVER=3365
FILE ID=nodeC011/4524124-1751602467
RUNJOBID= nodeC011-1751594361-89441
SLURM_JOB_ID= 9598860
Free space on /tmp= 430408 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-Charlotte-06-2_c24.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524124-1751602467/watcher-4524124-1751602467 -o /tmp/evaluation-result-4524124-1751602467/solver-4524124-1751602467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751594361-89441 --watchdog 3760  pbscip -f HOME/instance-4524124-1751602467.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 0e6a0abac6c0ea5d11b10a372b87a440
RANDOM SEED=575609927

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        116298088 kB
MemAvailable:   119118400 kB
Buffers:            3276 kB
Cached:          3615592 kB
SwapCached:            0 kB
Active:         11290668 kB
Inactive:        3173804 kB
Active(anon):   10861476 kB
Inactive(anon):     2104 kB
Active(file):     429192 kB
Inactive(file):  3171700 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             18852 kB
Writeback:             0 kB
AnonPages:      10845720 kB
Mapped:           138196 kB
Shmem:             17960 kB
KReclaimable:     117708 kB
Slab:             203264 kB
SReclaimable:     117708 kB
SUnreclaim:        85556 kB
KernelStack:        4052 kB
PageTables:        24752 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   11843420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3500032 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430388 MiB
End job on nodeC011 at 2025-07-04 06:14:47