Trace number 4497708

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-07SAT22 3588.12 3597.1

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMbeae51edba02eeda3c8007d8306fd545
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 benchmark18
Best CPU time to get the best result obtained on this benchmark1.91149
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-4497708-1751402961.opb>
0.00/0.04	c original problem has 4318 variables (4318 bin, 0 int, 0 impl, 0 cont) and 15120 constraints
0.00/0.04	c problem read in 0.03
0.00/0.06	c presolving:
0.00/0.08	c (round 1, fast)       434 del vars, 863 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 0 impls, 10851 clqs
0.00/0.10	c    (0.1s) running MILP presolver
0.09/0.12	c    (0.1s) MILP presolver (2 rounds): 6 aggregations, 0 fixings, 0 bound changes
0.09/0.12	c (round 2, medium)     440 del vars, 863 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 0 impls, 10839 clqs
0.09/0.12	c (round 3, fast)       440 del vars, 881 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 0 impls, 10839 clqs
0.09/0.15	c (round 4, exhaustive) 440 del vars, 882 del conss, 0 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 14238 upgd conss, 0 impls, 10839 clqs
0.09/0.20	c (round 5, exhaustive) 440 del vars, 14685 del conss, 3393 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 14238 upgd conss, 0 impls, 10839 clqs
0.19/0.21	c (round 6, exhaustive) 548 del vars, 14793 del conss, 3393 add conss, 5 chg bounds, 6 chg sides, 7 chg coeffs, 14238 upgd conss, 0 impls, 10623 clqs
0.19/0.24	c    (0.2s) probing: 51/3770 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.24	c    (0.2s) probing aborted: 50/50 successive totally useless probings
0.19/0.24	c    (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.19/0.25	c    (0.2s) no symmetry present (symcode time: 0.00)
0.19/0.25	c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
0.19/0.25	c  548 deleted vars, 14793 deleted constraints, 3393 added constraints, 5 tightened bounds, 0 added holes, 6 changed sides, 7 changed coefficients
0.19/0.25	c  0 implications, 10623 cliques
0.19/0.25	c presolved problem has 3770 variables (3770 bin, 0 int, 0 impl, 0 cont) and 3720 constraints
0.19/0.25	c       1 constraints of type <knapsack>
0.19/0.25	c     429 constraints of type <setppc>
0.19/0.25	c    3285 constraints of type <and>
0.19/0.25	c       5 constraints of type <logicor>
0.19/0.25	c transformed objective value is always integral (scale: 1)
0.19/0.25	c Presolving Time: 0.19
0.19/0.25	c - non default parameters ----------------------------------------------------------------------
0.19/0.25	c # SCIP version 10.0.0
0.19/0.25	c 
0.19/0.25	c # maximal time in seconds to run
0.19/0.25	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.19/0.25	c limits/time = 3596.997018
0.19/0.25	c 
0.19/0.25	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.25	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.19/0.25	c limits/memory = 27900
0.19/0.25	c 
0.19/0.25	c # belongs reading time to solving time?
0.19/0.25	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.19/0.25	c timing/reading = TRUE
0.19/0.25	c 
0.19/0.25	c -----------------------------------------------------------------------------------------------
0.19/0.25	c start solving
0.19/0.25	c 
0.29/0.35	o 22
0.29/0.35	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.29/0.35	c p 0.3s|     1 |     0 |     0 |     - | vbounds|   0 |3770 |3741 |7004 |   0 |  0 |  21 |   0 | 5.000000e+00 | 2.200000e+01 | 340.00%| unknown
0.39/0.44	c   0.4s|     1 |     0 |   339 |     - |    72M |   0 |3770 |3778 |7004 |   0 |  0 |  58 |   0 | 7.428571e+00 | 2.200000e+01 | 196.15%| unknown
0.98/1.10	c   1.1s|     1 |     0 |   519 |     - |    84M |   0 |3770 |3978 |7034 |  30 |  1 |  58 |   0 | 8.750000e+00 | 2.200000e+01 | 151.43%| unknown
1.18/1.28	c   1.3s|     1 |     0 |   777 |     - |    93M |   0 |3770 |3978 |7064 |  60 |  2 |  58 |   0 | 9.500000e+00 | 2.200000e+01 | 131.58%| unknown
1.28/1.36	c   1.4s|     1 |     0 |   923 |     - |    98M |   0 |3770 |3978 |7092 |  88 |  3 |  58 |   0 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
1.78/1.80	c   1.8s|     1 |     0 |  1204 |     - |   109M |   0 |3770 |3977 |7148 | 144 |  4 |  58 |   0 | 1.000000e+01 | 2.200000e+01 | 120.00%| unknown
1.87/1.98	c   2.0s|     1 |     0 |  1494 |     - |   111M |   0 |3770 |3985 |7227 | 223 |  5 |  68 |   0 | 1.013636e+01 | 2.200000e+01 | 117.04%| unknown
2.08/2.18	c   2.2s|     1 |     0 |  2133 |     - |   117M |   0 |3770 |3986 |7300 | 296 |  6 |  69 |   0 | 1.059943e+01 | 2.200000e+01 | 107.56%| unknown
2.37/2.40	c   2.4s|     1 |     0 |  2647 |     - |   122M |   0 |3770 |3989 |7377 | 373 |  7 |  72 |   0 | 1.101195e+01 | 2.200000e+01 |  99.78%| unknown
2.57/2.66	c   2.7s|     1 |     0 |  3146 |     - |   127M |   0 |3770 |3994 |7500 | 496 |  8 |  77 |   0 | 1.108612e+01 | 2.200000e+01 |  98.45%| unknown
2.87/2.98	c   3.0s|     1 |     0 |  3670 |     - |   134M |   0 |3770 |3994 |7639 | 635 |  9 |  78 |   0 | 1.122739e+01 | 2.200000e+01 |  95.95%| unknown
3.27/3.30	c   3.3s|     1 |     0 |  4506 |     - |   143M |   0 |3770 |3997 |7752 | 748 | 10 |  81 |   0 | 1.129252e+01 | 2.200000e+01 |  94.82%| unknown
3.37/3.40	c   3.4s|     1 |     0 |  4927 |     - |   144M |   0 |3770 |3998 |7857 | 859 | 11 |  82 |   0 | 1.132802e+01 | 2.200000e+01 |  94.21%| unknown
3.47/3.50	c   3.5s|     1 |     0 |  5392 |     - |   144M |   0 |3770 |4003 |7943 | 945 | 12 |  88 |   0 | 1.134577e+01 | 2.200000e+01 |  93.90%| unknown
3.57/3.60	c   3.6s|     1 |     0 |  5874 |     - |   145M |   0 |3770 |4006 |8023 |1025 | 13 |  91 |   0 | 1.136541e+01 | 2.200000e+01 |  93.57%| unknown
3.67/3.72	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.67/3.72	c   3.7s|     1 |     0 |  6396 |     - |   146M |   0 |3770 |4006 |8116 |1118 | 14 |  92 |   0 | 1.139913e+01 | 2.200000e+01 |  93.00%| unknown
3.77/3.88	c   3.9s|     1 |     0 |  7222 |     - |   147M |   0 |3770 |4010 |8154 |1156 | 15 |  96 |   0 | 1.144402e+01 | 2.200000e+01 |  92.24%| unknown
3.98/4.05	c   4.0s|     1 |     0 |  8154 |     - |   148M |   0 |3770 |4012 |8243 |1245 | 16 |  98 |   0 | 1.149021e+01 | 2.200000e+01 |  91.47%| unknown
4.08/4.19	c   4.2s|     1 |     0 |  8818 |     - |   149M |   0 |3770 |4022 |8260 |1341 | 17 | 108 |   0 | 1.150094e+01 | 2.200000e+01 |  91.29%| unknown
4.27/4.36	c   4.4s|     1 |     0 |  9616 |     - |   150M |   0 |3770 |4032 |8376 |1457 | 18 | 118 |   0 | 1.152118e+01 | 2.200000e+01 |  90.95%| unknown
4.47/4.52	c   4.5s|     1 |     0 | 10293 |     - |   153M |   0 |3770 |4042 |8444 |1525 | 19 | 128 |   0 | 1.154979e+01 | 2.200000e+01 |  90.48%| unknown
4.67/4.74	c   4.7s|     1 |     0 | 11403 |     - |   154M |   0 |3770 |4051 |8513 |1594 | 20 | 137 |   0 | 1.158210e+01 | 2.200000e+01 |  89.95%| unknown
4.87/4.91	c   4.9s|     1 |     0 | 12191 |     - |   154M |   0 |3770 |4053 |8595 |1676 | 21 | 139 |   0 | 1.159242e+01 | 2.200000e+01 |  89.78%| unknown
5.07/5.13	c   5.1s|     1 |     0 | 13244 |     - |   154M |   0 |3770 |4063 |8657 |1738 | 22 | 149 |   0 | 1.160960e+01 | 2.200000e+01 |  89.50%| unknown
5.27/5.32	c   5.3s|     1 |     0 | 13988 |     - |   154M |   0 |3770 |4073 |8539 |1817 | 23 | 159 |   0 | 1.161999e+01 | 2.200000e+01 |  89.33%| unknown
5.37/5.44	c   5.4s|     1 |     0 | 14387 |     - |   154M |   0 |3770 |4082 |8633 |1911 | 24 | 169 |   0 | 1.162314e+01 | 2.200000e+01 |  89.28%| unknown
5.47/5.59	c   5.6s|     1 |     0 | 15035 |     - |   154M |   0 |3770 |4092 |8695 |1973 | 25 | 179 |   0 | 1.162905e+01 | 2.200000e+01 |  89.18%| unknown
5.67/5.70	c   5.7s|     1 |     0 | 15429 |     - |   154M |   0 |3770 |4100 |8720 |1998 | 26 | 187 |   0 | 1.163215e+01 | 2.200000e+01 |  89.13%| unknown
5.77/5.83	c   5.8s|     1 |     0 | 15865 |     - |   155M |   0 |3770 |4108 |8755 |2033 | 27 | 195 |   0 | 1.163504e+01 | 2.200000e+01 |  89.08%| unknown
5.87/5.91	c   5.9s|     1 |     0 | 16070 |     - |   155M |   0 |3770 |4110 |8769 |2047 | 28 | 197 |   0 | 1.163594e+01 | 2.200000e+01 |  89.07%| unknown
5.87/5.98	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
5.87/5.98	c   6.0s|     1 |     0 | 16226 |     - |   155M |   0 |3770 |4120 |8592 |2061 | 29 | 207 |   0 | 1.163632e+01 | 2.200000e+01 |  89.06%| unknown
5.97/6.02	c   6.0s|     1 |     0 | 16242 |     - |   155M |   0 |3770 |4121 |8597 |2066 | 30 | 208 |   0 | 1.163633e+01 | 2.200000e+01 |  89.06%| unknown
15.44/15.53	c  15.5s|     1 |     2 | 29268 |     - |   156M |   0 |3770 |4144 |8597 |2066 | 31 | 231 |  16 | 1.166955e+01 | 2.200000e+01 |  88.52%| unknown
358.66/359.60	c   360s|   100 |   101 |  1160k|11562.8 |   242M |  19 |3770 |5961 |  10k|  19k|  4 |2066 | 800 | 1.202107e+01 | 2.200000e+01 |  83.01%| unknown
539.11/540.50	c   540s|   200 |   201 |  1870k|9319.7 |   265M |  29 |3770 |6521 |  10k|  28k|  2 |2642 |1194 | 1.210851e+01 | 2.200000e+01 |  81.69%| unknown
975.79/978.32	c   978s|   300 |   301 |  3339k|11114.0 |   355M |  29 |3770 |7637 |  11k|  44k|  2 |3808 |2076 | 1.227106e+01 | 2.200000e+01 |  79.28%| unknown
1491.59/1495.45	c  1495s|   400 |   401 |  5195k|12980.5 |   405M |  29 |3770 |7649 |  11k|  60k|  3 |3863 |3135 | 1.236547e+01 | 2.200000e+01 |  77.91%| unknown
1887.10/1891.90	c  1892s|   500 |   501 |  6878k|13752.2 |   486M |  29 |3770 |  10k|  11k|  74k|  3 |6996 |3705 | 1.243592e+01 | 2.200000e+01 |  76.91%| unknown
2223.47/2229.11	c  2229s|   600 |   601 |  8606k|14340.8 |   540M |  29 |3770 |  12k|  11k|  88k|  4 |9303 |3880 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
2462.19/2468.41	c  2468s|   700 |   701 |  9614k|13731.6 |   564M |  31 |3770 |  13k|  11k|  96k|  3 |  10k|4270 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
2692.62/2699.47	c  2699s|   800 |   801 | 10565k|13203.6 |   590M |  31 |3770 |  13k|  10k| 106k|  2 |  10k|4659 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
2962.36/2969.89	c  2970s|   900 |   901 | 11755k|13058.2 |   636M |  33 |3770 |  13k|  11k| 116k|  2 |  10k|5033 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3193.09/3201.18	c  3201s|  1000 |  1001 | 12736k|12733.0 |   648M |  33 |3770 |  13k|  11k| 123k|  2 |  11k|5476 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3326.06/3334.45	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
3326.06/3334.45	c (run 1, node 1049) performing user restart
3326.06/3334.45	c 
3326.06/3334.46	c (restart) converted 1157 cuts from the global cut pool into linear constraints
3326.06/3334.46	c 
3326.16/3334.52	c presolving:
3326.26/3334.62	c (round 1, exhaustive) 0 del vars, 8 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 1284 upgd conss, 0 impls, 10623 clqs
3326.26/3334.68	c (round 2, medium)     0 del vars, 17 del conss, 21 add conss, 0 chg bounds, 38 chg sides, 63 chg coeffs, 1284 upgd conss, 0 impls, 10623 clqs
3326.77/3335.16	c (round 3, exhaustive) 0 del vars, 73 del conss, 21 add conss, 0 chg bounds, 38 chg sides, 192 chg coeffs, 1284 upgd conss, 0 impls, 10623 clqs
3327.46/3335.81	c presolving (4 rounds: 4 fast, 4 medium, 3 exhaustive):
3327.46/3335.81	c  0 deleted vars, 73 deleted constraints, 21 added constraints, 0 tightened bounds, 0 added holes, 38 changed sides, 221 changed coefficients
3327.46/3335.81	c  0 implications, 10623 cliques
3327.46/3335.81	c presolved problem has 3770 variables (3770 bin, 0 int, 0 impl, 0 cont) and 14826 constraints
3327.46/3335.81	c      26 constraints of type <knapsack>
3327.46/3335.81	c    1570 constraints of type <setppc>
3327.46/3335.81	c    3285 constraints of type <and>
3327.46/3335.81	c       2 constraints of type <linear>
3327.46/3335.81	c    9943 constraints of type <logicor>
3327.46/3335.81	c transformed objective value is always integral (scale: 1)
3327.46/3335.81	c Presolving Time: 1.51
3327.46/3335.83	c transformed 22/22 original solutions to the transformed problem space
3327.46/3335.83	c 
3328.85/3337.29	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3328.85/3337.29	c  3337s|     1 |     0 | 13239k|     - |   681M |   0 |3770 |  14k|8172 |   0 |  0 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3329.85/3338.27	c  3338s|     1 |     0 | 13242k|     - |   682M |   0 |3770 |  14k|8318 | 146 |  1 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3330.65/3339.07	c  3339s|     1 |     0 | 13243k|     - |   684M |   0 |3770 |  14k|8471 | 299 |  2 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3331.35/3339.71	c  3340s|     1 |     0 | 13245k|     - |   685M |   0 |3770 |  14k|8599 | 427 |  3 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3331.94/3340.31	c  3340s|     1 |     0 | 13246k|     - |   686M |   0 |3770 |  14k|8680 | 508 |  4 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3332.54/3340.91	c  3341s|     1 |     0 | 13247k|     - |   687M |   0 |3770 |  14k|8731 | 559 |  5 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3333.44/3341.81	c  3342s|     1 |     0 | 13250k|     - |   688M |   0 |3770 |  14k|8754 | 582 |  6 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3334.54/3342.90	c  3343s|     1 |     0 | 13252k|     - |   689M |   0 |3770 |  14k|8847 | 675 |  7 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3335.83/3344.24	c  3344s|     1 |     0 | 13255k|     - |   690M |   0 |3770 |  14k|8905 | 733 |  8 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3337.43/3345.88	c  3346s|     1 |     0 | 13260k|     - |   691M |   0 |3770 |  14k|8976 | 804 |  9 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3338.53/3346.90	c  3347s|     1 |     0 | 13261k|     - |   692M |   0 |3770 |  14k|9043 | 871 | 10 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3338.83/3347.30	c  3347s|     1 |     0 | 13264k|     - |   693M |   0 |3770 |  14k|9100 | 928 | 11 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3339.13/3347.59	c  3348s|     1 |     0 | 13265k|     - |   694M |   0 |3770 |  14k|9151 | 979 | 12 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3339.83/3348.25	c  3348s|     1 |     0 | 13269k|     - |   695M |   0 |3770 |  14k|8853 |1028 | 13 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3340.32/3348.71	c  3349s|     1 |     0 | 13272k|     - |   695M |   0 |3770 |  14k|8889 |1064 | 14 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3340.82/3349.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3340.82/3349.26	c  3349s|     1 |     0 | 13275k|     - |   696M |   0 |3770 |  14k|8970 |1145 | 15 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3341.42/3349.83	c  3350s|     1 |     0 | 13279k|     - |   697M |   0 |3770 |  14k|9048 |1223 | 16 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3341.62/3350.07	c  3350s|     1 |     0 | 13280k|     - |   698M |   0 |3770 |  14k|9085 |1260 | 17 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3342.02/3350.42	c  3350s|     1 |     0 | 13281k|     - |   699M |   0 |3770 |  14k|9122 |1297 | 18 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3342.42/3350.82	c  3351s|     1 |     0 | 13284k|     - |   700M |   0 |3770 |  14k|8881 |1324 | 19 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3343.22/3351.68	c  3352s|     1 |     0 | 13289k|     - |   701M |   0 |3770 |  14k|8910 |1353 | 20 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3343.72/3352.16	c  3352s|     1 |     0 | 13291k|     - |   701M |   0 |3770 |  14k|8991 |1434 | 21 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3343.92/3352.30	c  3352s|     1 |     0 | 13292k|     - |   701M |   0 |3770 |  14k|9058 |1501 | 22 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3344.01/3352.40	c  3352s|     1 |     0 | 13292k|     - |   701M |   0 |3770 |  14k|9080 |1523 | 23 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3344.11/3352.53	c  3353s|     1 |     0 | 13293k|     - |   701M |   0 |3770 |  14k|9146 |1589 | 24 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3344.21/3352.66	c  3353s|     1 |     0 | 13293k|     - |   701M |   0 |3770 |  14k|8946 |1608 | 25 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3344.31/3352.74	c  3353s|     1 |     0 | 13293k|     - |   701M |   0 |3770 |  14k|8973 |1635 | 26 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3344.41/3352.83	c  3353s|     1 |     0 | 13293k|     - |   701M |   0 |3770 |  14k|9000 |1662 | 27 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3344.41/3352.88	c  3353s|     1 |     0 | 13293k|     - |   701M |   0 |3770 |  14k|9003 |1665 | 28 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3344.51/3352.94	c  3353s|     1 |     0 | 13294k|     - |   701M |   0 |3770 |  14k|9005 |1667 | 29 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3344.62/3353.01	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3344.62/3353.01	c  3353s|     1 |     0 | 13294k|     - |   701M |   0 |3770 |  14k|9010 |1672 | 30 |  11k|5807 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3352.10/3360.51	c  3360s|     1 |     2 | 13295k|     - |   701M |   0 |3770 |  14k|9010 |1672 | 31 |  11k|5834 | 1.247950e+01 | 2.200000e+01 |  76.29%| unknown
3588.02/3597.01	c 
3588.02/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3588.02/3597.01	c Solving Time (sec) : 3597.00
3588.02/3597.01	c Solving Nodes      : 67 (total of 1116 nodes in 2 runs)
3588.02/3597.01	c Primal Bound       : +2.20000000000000e+01 (23 solutions)
3588.02/3597.01	c Dual Bound         : +1.26806882509655e+01
3588.02/3597.01	c Gap                : 73.49 %
3588.02/3597.01	s SATISFIABLE
3588.02/3597.01	v -x4318 -x4317 -x4316 -x4315 -x4313 -x4311 -x4310 -x4309 -x4308 -x4306 -x4304 -x4303 -x4302 -x4301 -x4299 -x4297 -x4296 -x4295 -x4294 
3588.02/3597.01	v -x4292 -x4290 -x4289 -x4288 -x4287 -x4285 -x4283 -x4282 -x4281 -x4280 -x4278 -x4276 -x4275 -x4274 x4273 -x4271 -x4270 -x4269 
3588.02/3597.01	v -x4268 -x4266 -x4264 -x4263 -x4262 -x4261 -x4259 -x4257 -x4256 -x4255 -x4254 -x4252 -x4250 -x4249 -x4248 -x4247 -x4245 
3588.02/3597.01	v -x4244 -x4243 -x4242 x4240 -x4238 -x4237 -x4236 -x4235 -x4233 -x4231 -x4230 -x4229 -x4228 x4226 -x4224 -x4223 -x4222 -x4221 -x4219 
3588.02/3597.01	v -x4217 -x4216 -x4215 -x4214 -x4212 -x4210 -x4209 -x4208 -x4207 x4205 -x4203 -x4202 -x4201 -x4200 -x4198 -x4196 -x4195 -x4194 
3588.02/3597.01	v -x4193 -x4191 -x4189 -x4188 -x4187 -x4186 -x4184 -x4182 -x4181 -x4180 -x4179 -x4177 -x4175 -x4174 -x4173 -x4172 -x4170 
3588.02/3597.01	v -x4168 -x4167 -x4166 x4165 -x4163 -x4161 -x4160 -x4159 -x4158 -x4156 -x4154 -x4153 -x4152 -x4151 -x4149 -x4147 -x4146 -x4145 
3588.02/3597.01	v -x4144 -x4142 -x4140 -x4139 -x4138 -x4137 -x4135 -x4134 -x4133 x4132 -x4130 -x4128 -x4127 -x4126 x4125 -x4123 -x4121 -x4120 -x4119 
3588.02/3597.01	v -x4118 -x4116 -x4114 -x4113 -x4112 -x4111 x4109 -x4107 -x4106 -x4105 -x4104 -x4102 -x4100 -x4099 -x4098 -x4097 -x4095 -x4093 
3588.02/3597.01	v -x4092 -x4091 -x4090 -x4088 -x4086 -x4085 -x4084 -x4083 -x4081 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 
3588.02/3597.01	v -x4071 -x4070 -x4069 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4055 -x4054 -x4053 -x4052 
3588.02/3597.01	v -x4051 -x4050 -x4049 -x4048 -x4047 -x4046 x4045 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 
3588.02/3597.01	v -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014 -x4013 
3588.02/3597.01	v -x4012 -x4011 -x4010 -x4009 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3995 -x3994 -x3993 
3588.02/3597.01	v -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 x3985 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 
3588.02/3597.01	v x3973 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 
3588.02/3597.01	v -x3953 -x3952 -x3951 -x3950 -x3949 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3935 -x3934 
3588.02/3597.01	v -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 
3588.02/3597.01	v -x3914 -x3913 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3899 -x3898 -x3897 -x3896 -x3895 
3588.02/3597.01	v -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 
3588.02/3597.01	v -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 
3588.02/3597.01	v -x3856 -x3855 -x3854 -x3853 -x3851 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3839 -x3838 -x3837 
3588.02/3597.01	v -x3836 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 
3588.02/3597.01	v -x3817 -x3816 -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3800 -x3799 
3588.02/3597.01	v -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 
3588.02/3597.01	v -x3780 -x3779 -x3778 -x3777 -x3776 x3775 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 
3588.02/3597.01	v -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 x3748 -x3746 -x3745 -x3744 -x3743 
3588.02/3597.01	v -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725 
3588.02/3597.01	v -x3724 -x3723 -x3722 -x3721 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 
3588.02/3597.01	v -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3692 -x3691 -x3690 -x3689 -x3688 
3588.02/3597.01	v -x3687 -x3686 -x3685 -x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3670 
3588.02/3597.01	v -x3669 -x3668 -x3667 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 
3588.02/3597.01	v -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3638 -x3636 x3634 -x3632 -x3630 -x3628 x3626 
3588.02/3597.01	v -x3624 -x3622 x3620 x3618 -x3616 -x3614 x3612 -x3610 -x3608 -x3606 -x3605 -x3604 -x3603 -x3601 -x3600 -x3599 -x3598 -x3596 
3588.02/3597.01	v -x3595 -x3594 -x3593 -x3591 -x3590 -x3589 -x3588 -x3586 -x3585 -x3584 -x3583 -x3581 -x3580 -x3579 x3578 -x3576 -x3575 -x3574 
3588.02/3597.01	v -x3573 -x3571 -x3570 -x3569 -x3568 -x3566 -x3565 -x3564 -x3563 -x3561 -x3560 -x3559 -x3558 -x3556 -x3555 -x3554 -x3553 -x3551 
3588.02/3597.01	v -x3550 -x3549 -x3548 -x3546 -x3545 -x3544 x3543 -x3541 -x3540 -x3539 x3538 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 
3588.02/3597.01	v -x3529 -x3528 -x3527 -x3526 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3512 -x3511 -x3510 
3588.02/3597.01	v -x3509 -x3508 -x3507 -x3506 -x3505 -x3504 -x3503 x3502 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 
3588.02/3597.01	v x3490 -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 
3588.02/3597.01	v -x3470 -x3469 -x3468 -x3467 -x3466 -x3464 -x3462 x3460 x3458 -x3456 x3454 x3452 -x3450 -x3448 -x3446 x3444 -x3442 -x3440 -x3438 
3588.02/3597.01	v x3436 -x3434 x3432 -x3430 -x3428 -x3426 -x3425 -x3424 -x3423 -x3421 -x3420 -x3419 x3418 -x3416 -x3415 -x3414 -x3413 -x3411 
3588.02/3597.01	v x3410 -x3409 x3408 -x3406 -x3405 -x3404 -x3403 -x3401 -x3400 -x3399 -x3398 -x3396 -x3395 -x3394 -x3393 -x3391 -x3390 -x3389 
3588.02/3597.01	v -x3388 -x3386 -x3385 -x3384 -x3383 -x3381 -x3380 -x3379 -x3378 -x3376 -x3375 -x3374 x3373 -x3371 -x3370 -x3369 -x3368 -x3366 
3588.02/3597.01	v -x3365 -x3364 x3363 -x3361 -x3360 -x3359 -x3358 -x3356 -x3355 -x3354 -x3353 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 
3588.02/3597.01	v x3344 -x3343 -x3342 x3341 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3327 -x3326 -x3325 
3588.02/3597.01	v -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307 -x3306 
3588.02/3597.01	v -x3305 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 
3588.02/3597.01	v -x3285 -x3284 -x3283 -x3282 -x3281 -x3279 x3277 -x3275 -x3273 x3271 x3269 -x3267 -x3265 x3263 x3261 x3259 -x3257 -x3255 x3253 
3588.02/3597.01	v -x3251 x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3238 -x3237 -x3236 -x3234 -x3233 -x3232 -x3231 -x3229 -x3228 -x3227 -x3226 
3588.02/3597.01	v -x3224 -x3223 -x3222 -x3221 -x3219 -x3218 -x3217 -x3216 -x3214 x3213 -x3212 x3211 -x3209 -x3208 -x3207 -x3206 -x3204 -x3203 
3588.02/3597.01	v -x3202 -x3201 -x3199 -x3198 -x3197 -x3196 -x3194 -x3193 -x3192 -x3191 -x3189 -x3188 -x3187 -x3186 -x3184 -x3183 -x3182 -x3181 
3588.02/3597.01	v -x3179 -x3178 -x3177 -x3176 -x3174 -x3173 -x3172 -x3171 -x3169 -x3168 -x3167 -x3166 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 
3588.02/3597.01	v -x3158 -x3157 -x3156 -x3155 -x3154 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3140 -x3139 
3588.02/3597.01	v -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 x3130 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 
3588.02/3597.01	v -x3119 x3118 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3104 -x3103 -x3102 -x3101 -x3100 
3588.02/3597.01	v -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3092 -x3091 -x3090 -x3089 -x3087 -x3086 -x3085 -x3084 -x3082 -x3081 -x3080 -x3079 
3588.02/3597.01	v -x3077 -x3076 -x3075 -x3074 -x3072 -x3071 -x3070 -x3069 -x3067 -x3066 -x3065 -x3064 -x3062 -x3061 -x3060 -x3059 -x3057 
3588.02/3597.01	v -x3056 -x3055 -x3054 -x3052 -x3051 -x3050 -x3049 -x3047 -x3046 -x3045 -x3044 -x3042 -x3041 -x3040 -x3039 -x3037 -x3036 -x3035 
3588.02/3597.01	v -x3034 -x3032 -x3031 -x3030 -x3029 -x3027 -x3026 -x3025 -x3024 -x3022 x3021 -x3020 x3019 -x3017 -x3016 -x3015 -x3014 -x3012 
3588.02/3597.01	v -x3011 -x3010 -x3009 -x3007 -x3006 -x3005 -x3004 -x3002 -x3001 -x3000 -x2999 -x2997 -x2996 -x2995 -x2994 -x2992 -x2991 -x2990 
3588.02/3597.01	v -x2989 -x2987 -x2986 -x2985 -x2984 -x2982 -x2981 -x2980 -x2979 -x2977 -x2976 -x2975 -x2974 -x2972 -x2971 -x2970 -x2969 -x2967 
3588.02/3597.01	v -x2966 -x2965 -x2964 -x2962 -x2961 -x2960 -x2959 -x2957 -x2956 -x2955 -x2954 -x2952 -x2951 -x2950 -x2949 -x2947 -x2946 -x2945 
3588.02/3597.01	v -x2944 -x2942 -x2941 -x2940 -x2939 -x2937 -x2936 -x2935 -x2934 -x2932 -x2931 -x2930 -x2929 -x2927 -x2926 -x2925 -x2924 -x2922 
3588.02/3597.01	v x2921 -x2920 x2919 -x2917 -x2916 -x2915 -x2914 -x2912 -x2911 -x2910 -x2909 -x2907 -x2906 -x2905 -x2904 -x2902 -x2901 -x2900 
3588.02/3597.01	v -x2899 -x2897 -x2896 -x2895 -x2894 -x2892 -x2891 -x2890 -x2889 -x2887 -x2886 -x2885 -x2884 -x2882 -x2881 -x2880 -x2879 -x2877 
3588.02/3597.01	v -x2876 -x2875 -x2874 -x2872 -x2871 -x2870 -x2869 -x2867 -x2866 -x2865 -x2864 x2862 -x2861 -x2860 x2859 -x2857 -x2856 -x2855 
3588.02/3597.01	v -x2854 -x2852 -x2851 -x2850 -x2849 -x2847 -x2846 -x2845 -x2844 -x2842 -x2841 -x2840 -x2839 -x2837 -x2836 -x2835 -x2834 -x2832 
3588.02/3597.01	v -x2831 -x2830 -x2829 -x2827 -x2826 -x2825 -x2824 -x2822 -x2821 -x2820 -x2819 -x2817 -x2816 -x2815 -x2814 -x2812 x2811 -x2810 
3588.02/3597.01	v x2809 -x2807 -x2806 -x2805 -x2804 -x2802 -x2801 -x2800 -x2799 -x2797 -x2796 -x2795 -x2794 -x2792 -x2791 -x2790 -x2789 -x2787 
3588.02/3597.01	v -x2786 -x2785 -x2784 -x2782 x2781 -x2780 x2779 -x2777 -x2776 -x2775 -x2774 -x2772 -x2771 -x2770 -x2769 -x2767 -x2766 -x2765 
3588.02/3597.01	v -x2764 -x2762 -x2761 -x2760 -x2759 -x2757 -x2756 -x2755 -x2754 -x2752 -x2751 -x2750 -x2749 -x2747 -x2746 -x2745 -x2744 -x2742 
3588.02/3597.01	v -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2730 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 
3588.02/3597.01	v -x2721 -x2720 -x2719 -x2718 x2716 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 x2702 -x2700 
3588.02/3597.01	v -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2688 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 
3588.02/3597.01	v -x2679 -x2678 -x2677 -x2676 -x2674 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 x2660 -x2658 
3588.02/3597.01	v -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 x2646 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 
3588.02/3597.01	v -x2637 -x2636 -x2635 x2634 x2632 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2618 -x2616 
3588.02/3597.01	v -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 x2604 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 
3588.02/3597.01	v -x2595 -x2594 -x2593 -x2592 x2590 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2576 -x2574 
3588.02/3597.01	v -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 x2562 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 
3588.02/3597.01	v -x2553 -x2552 -x2551 -x2550 x2548 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 x2534 -x2532 
3588.02/3597.01	v -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2520 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 
3588.02/3597.01	v -x2511 -x2510 -x2509 -x2508 -x2506 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 x2492 -x2490 
3588.02/3597.01	v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 x2478 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 
3588.02/3597.01	v -x2469 -x2468 -x2467 -x2466 -x2464 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2450 -x2448 
3588.02/3597.01	v -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 x2436 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 
3588.02/3597.01	v -x2427 -x2426 -x2425 -x2424 x2422 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 x2408 -x2406 
3588.02/3597.01	v -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2394 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 
3588.02/3597.01	v -x2385 -x2384 -x2383 -x2382 x2380 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2366 -x2364 
3588.02/3597.01	v -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2352 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 
3588.02/3597.01	v -x2343 -x2342 -x2341 -x2340 x2338 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2324 -x2322 
3588.02/3597.01	v -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2310 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 
3588.02/3597.01	v -x2302 -x2301 -x2300 -x2299 -x2298 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 x2284 -x2282 
3588.02/3597.01	v -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2270 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 
3588.02/3597.01	v -x2261 -x2260 -x2259 -x2258 -x2256 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2242 -x2240 
3588.02/3597.01	v -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2228 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 
3588.02/3597.01	v -x2219 -x2218 -x2217 -x2216 -x2214 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 x2202 x2200 -x2198 
3588.02/3597.01	v -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2186 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 
3588.02/3597.01	v -x2177 -x2176 -x2175 -x2174 -x2172 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 x2160 -x2158 -x2156 
3588.02/3597.01	v -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2144 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 
3588.02/3597.01	v -x2135 -x2134 -x2133 -x2132 x2130 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 x2118 -x2116 -x2114 
3588.02/3597.01	v -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2102 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 
3588.02/3597.01	v -x2093 -x2092 -x2091 -x2090 x2088 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2074 -x2072 
3588.02/3597.01	v -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2060 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 
3588.02/3597.01	v -x2051 -x2050 -x2049 -x2048 -x2046 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2032 -x2030 
3588.02/3597.01	v -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2018 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 
3588.02/3597.01	v -x2010 -x2009 -x2008 -x2007 -x2006 x2004 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1990 
3588.02/3597.01	v -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1976 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 
3588.02/3597.01	v -x1968 -x1967 -x1966 -x1965 -x1964 -x1962 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 
3588.02/3597.01	v -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1933 -x1932 -x1931 -x1930 
3588.02/3597.01	v -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 
3588.02/3597.01	v -x1911 -x1910 -x1909 -x1908 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 
3588.02/3597.01	v -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 
3588.02/3597.01	v -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 
3588.02/3597.01	v -x1856 -x1855 x1854 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 
3588.02/3597.01	v -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 
3588.02/3597.01	v -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 -x1801 
3588.02/3597.01	v -x1800 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 
3588.02/3597.01	v -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 x1773 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 
3588.02/3597.01	v -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 -x1744 
3588.02/3597.01	v -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 
3588.02/3597.01	v -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1717 -x1716 -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 
3588.02/3597.01	v -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 x1692 -x1690 -x1689 -x1688 
3588.02/3597.01	v -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 
3588.02/3597.01	v -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 
3588.02/3597.01	v -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1636 -x1635 -x1634 -x1633 
3588.02/3597.01	v -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 
3588.02/3597.01	v -x1614 -x1613 -x1612 -x1611 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 
3588.02/3597.01	v -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 
3588.02/3597.01	v -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 
3588.02/3597.01	v -x1558 -x1557 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 
3588.02/3597.01	v -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 
3588.02/3597.01	v -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 
3588.02/3597.01	v -x1503 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 
3588.02/3597.01	v -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 
3588.02/3597.01	v -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1447 
3588.02/3597.01	v -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 
3588.02/3597.01	v -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 
3588.02/3597.01	v -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1393 -x1392 
3588.02/3597.01	v -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 
3588.02/3597.01	v -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 
3588.02/3597.01	v -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1339 -x1338 -x1337 -x1336 
3588.02/3597.01	v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 
3588.02/3597.01	v -x1317 -x1316 -x1315 -x1314 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 
3588.02/3597.01	v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1285 -x1284 -x1283 -x1282 -x1281 
3588.02/3597.01	v -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 
3588.02/3597.01	v -x1262 -x1261 x1260 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 
3588.02/3597.01	v -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 
3588.02/3597.01	v -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 
3588.02/3597.01	v -x1206 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 
3588.02/3597.01	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 
3588.02/3597.01	v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 
3588.02/3597.01	v -x1151 -x1150 -x1149 -x1148 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 
3588.02/3597.01	v -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 
3588.02/3597.01	v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 
3588.02/3597.01	v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 
3588.02/3597.01	v -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 
3588.02/3597.01	v -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 
3588.02/3597.01	v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 
3588.02/3597.01	v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 
3588.02/3597.01	v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 
3588.02/3597.01	v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 
3588.02/3597.01	v -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 
3588.02/3597.01	v -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 
3588.02/3597.01	v -x922 -x921 -x920 -x919 -x918 -x917 x916 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 
3588.02/3597.01	v -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 
3588.02/3597.01	v -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 
3588.02/3597.01	v -x858 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 
3588.02/3597.01	v -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 
3588.02/3597.01	v -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x798 -x797 -x796 -x795 
3588.02/3597.01	v -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 
3588.02/3597.01	v -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 
3588.02/3597.01	v -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x740 -x738 -x739 
3588.02/3597.01	v -x737 -x735 -x736 -x734 -x732 -x733 -x731 -x729 -x730 -x728 -x726 -x727 -x725 -x723 -x724 x722 -x721 -x720 -x718 -x719 -x717 
3588.02/3597.01	v -x715 -x716 -x714 -x712 -x713 -x711 -x710 -x709 -x707 -x708 -x706 -x704 -x705 -x703 -x701 x702 -x700 -x698 -x699 -x697 -x695 
3588.02/3597.01	v -x696 -x694 -x692 -x693 -x691 -x689 -x690 -x688 -x686 -x687 -x685 -x683 -x684 -x682 -x680 -x681 -x679 -x677 -x678 -x676 -x674 
3588.02/3597.01	v -x675 -x673 -x671 -x672 -x670 -x668 -x669 -x667 -x665 -x666 -x664 -x663 -x662 -x660 -x661 -x659 -x657 -x658 -x656 -x654 
3588.02/3597.01	v -x655 -x653 -x651 -x652 -x650 -x648 -x649 -x647 -x645 -x646 -x644 -x642 -x643 -x641 -x639 -x640 -x638 -x637 -x636 -x634 x633 
3588.02/3597.01	v -x632 -x631 -x629 -x628 -x627 -x626 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x615 -x614 -x613 -x612 -x611 -x610 -x608 
3588.02/3597.01	v -x607 -x606 -x605 -x603 -x602 -x601 -x600 -x598 -x597 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x521 -x520 x519 -x518 -x517 
3588.02/3597.01	v -x516 -x580 -x578 -x579 -x577 -x575 -x576 -x574 -x572 -x573 -x571 -x569 -x570 -x568 -x566 -x567 x565 -x563 -x564 -x561 -x562 
3588.02/3597.01	v -x559 -x560 -x557 -x558 -x555 -x556 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 
3588.02/3597.01	v -x539 -x538 -x536 -x535 -x534 -x533 -x532 -x531 -x529 -x528 -x526 -x525 -x523 -x522 x446 -x445 -x444 -x443 -x442 -x441 -x514 
3588.02/3597.01	v -x512 -x513 x511 -x509 -x510 -x508 -x506 -x507 -x505 -x503 -x504 -x502 -x500 -x501 -x498 -x499 -x497 -x495 -x496 -x494 -x492 
3588.02/3597.01	v -x493 -x491 -x489 -x490 -x488 -x486 -x487 -x485 -x484 -x483 -x481 -x480 -x478 -x477 -x475 -x474 -x473 -x472 -x470 -x469 -x468 
3588.02/3597.01	v -x467 -x466 -x465 -x463 -x462 -x460 -x459 -x457 -x456 -x454 -x453 -x452 -x451 -x450 -x449 -x447 -x368 -x367 x366 -x365 -x364 
3588.02/3597.01	v -x363 -x439 -x437 -x438 -x436 -x434 -x435 -x433 -x431 -x432 -x430 -x428 -x429 -x427 -x425 -x426 -x424 -x422 -x423 -x421 -x419 
3588.02/3597.01	v -x420 -x418 -x416 -x417 -x415 -x413 -x414 -x412 -x410 -x411 -x409 -x407 -x406 -x404 -x403 -x401 -x400 -x398 -x397 -x395 x394 
3588.02/3597.01	v -x392 -x391 -x390 -x389 -x387 -x386 -x385 -x384 -x382 -x381 -x380 -x379 -x377 -x376 -x374 -x373 -x372 -x371 -x369 -x9 -x8 
3588.02/3597.01	v -x7 -x6 x5 -x4 -x3 -x2 -x361 -x359 -x360 -x358 -x356 -x357 -x355 -x353 -x354 -x352 -x350 -x351 -x349 -x347 -x348 -x346 -x344 
3588.02/3597.01	v -x345 -x343 -x341 -x342 x340 -x338 -x339 -x337 -x335 -x336 -x334 -x332 -x333 -x331 -x329 -x330 -x328 -x326 -x327 -x325 -x323 
3588.02/3597.01	v -x324 -x322 -x320 -x321 -x319 -x317 -x318 -x316 -x314 -x315 -x313 -x311 -x312 -x310 -x308 -x309 -x307 -x305 -x306 -x304 -x302 
3588.02/3597.01	v -x303 -x301 -x299 -x300 -x298 -x296 -x297 -x295 -x293 -x294 -x292 -x290 -x291 -x289 -x287 -x288 -x286 -x284 -x285 -x283 -x281 
3588.02/3597.01	v -x282 -x280 -x278 -x279 -x277 -x275 -x276 -x274 -x272 -x273 -x271 -x269 -x270 -x268 -x266 -x267 -x265 -x263 -x264 -x262 -x260 
3588.02/3597.01	v -x261 -x259 -x257 -x258 -x256 -x254 -x255 -x253 -x251 -x252 -x250 -x248 -x249 -x247 -x245 -x246 -x244 -x242 -x243 -x241 -x239 
3588.02/3597.01	v -x240 -x238 -x236 -x237 x235 -x233 -x234 -x232 -x230 -x231 -x229 -x227 -x228 -x226 -x224 -x225 -x223 -x221 -x222 -x220 -x218 
3588.02/3597.01	v -x219 -x217 -x215 -x216 -x214 -x212 -x213 -x211 -x209 -x210 -x208 -x206 -x207 -x205 -x203 -x204 -x202 -x200 -x201 -x199 -x197 
3588.02/3597.01	v -x198 -x196 -x194 -x195 -x193 -x191 -x192 -x190 -x188 -x189 -x187 -x185 -x186 -x184 -x182 -x183 -x181 -x179 -x180 -x178 
3588.02/3597.01	v -x176 -x177 -x175 -x173 -x174 -x172 -x170 -x171 -x169 -x167 -x168 -x166 -x164 -x165 -x163 -x162 -x161 -x159 -x160 -x158 -x156 
3588.02/3597.01	v -x157 -x155 -x153 -x154 -x152 -x150 -x151 -x149 -x147 -x148 -x146 -x144 -x145 -x143 -x141 -x142 -x140 -x138 -x139 -x137 -x135 
3588.02/3597.01	v -x136 -x134 -x132 -x133 -x131 -x129 -x130 -x128 -x126 -x127 -x125 -x123 -x124 -x122 -x120 -x121 -x119 -x117 -x118 -x116 -x114 
3588.02/3597.01	v -x115 -x113 -x111 -x112 -x110 -x108 -x109 -x107 -x105 -x106 -x104 -x102 -x103 -x101 -x99 -x100 -x98 -x96 -x97 -x95 -x93 -x94 
3588.02/3597.01	v -x92 -x90 -x91 -x89 -x87 -x86 -x84 -x83 -x81 -x80 -x79 -x78 -x76 -x75 -x73 -x72 -x70 -x69 -x67 -x66 -x64 -x63 -x61 -x60 -x58 
3588.02/3597.01	v -x57 -x56 -x55 -x53 -x52 -x50 -x49 -x47 -x46 -x44 -x43 -x42 -x41 -x39 -x38 -x36 -x35 -x33 -x32 -x31 -x30 -x28 -x27 -x25 -x24 
3588.02/3597.01	v -x22 -x21 -x19 -x18 -x16 -x15 -x13 -x12 -x10 -x4314 -x4312 -x4307 -x4305 -x4300 -x4298 -x4293 -x4291 -x4286 -x4284 -x4279 
3588.02/3597.01	v -x4277 x4272 -x4267 -x4265 -x4260 -x4258 -x4253 -x4251 -x4246 -x4241 -x4239 -x4234 -x4232 -x4227 x4225 -x4220 -x4218 -x4213 -x4211 
3588.02/3597.01	v -x4206 -x4204 -x4199 -x4197 -x4192 -x4190 -x4185 -x4183 -x4178 -x4176 -x4171 -x4169 -x4164 -x4162 -x4157 -x4155 -x4150 
3588.02/3597.01	v -x4148 -x4143 -x4141 -x4136 -x4131 -x4129 -x4124 -x4122 -x4117 -x4115 -x4110 -x4108 -x4103 -x4101 -x4096 -x4094 -x4089 -x4087 
3588.02/3597.01	v -x4082 -x4080 -x4068 -x4056 -x635 x4044 -x4032 -x630 -x4020 -x4008 -x625 -x3996 -x3984 -x3972 -x3960 -x616 -x3948 -x3936 -x3924 
3588.02/3597.01	v -x609 -x3912 -x3900 -x604 -x3888 -x3876 -x599 -x3864 -x596 -x3852 -x3840 -x3828 -x3801 x3774 -x3747 -x3720 -x3693 -x3666 
3588.02/3597.01	v -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x3625 -x3623 -x3621 -x3619 x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3602 
3588.02/3597.01	v -x3597 -x3592 -x3587 -x3582 x3577 -x3572 -x3567 -x3562 -x537 -x3557 -x3552 -x3547 -x530 -x3542 -x527 -x3537 -x524 -x3525 -x3513 
3588.02/3597.01	v x3501 -x3489 -x3477 -x3465 -x3463 -x3461 x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 
3588.02/3597.01	v -x3435 -x3433 -x3431 -x3429 -x3427 -x3422 -x3417 -x482 -x3412 -x479 -x3407 -x476 -x3402 -x3397 -x471 -x3392 -x3387 -x3382 -x464 
3588.02/3597.01	v -x3377 -x461 -x3372 -x458 -x3367 -x455 -x3362 -x3357 -x3352 -x448 x3340 -x3328 -x3316 -x3304 -x3292 -x3280 -x3278 -x3276 
3588.02/3597.01	v -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240 
3588.02/3597.01	v -x3235 -x408 -x3230 -x405 -x3225 -x402 -x3220 -x399 -x3215 -x396 x3210 -x393 -x3205 -x3200 -x388 -x3195 -x3190 -x383 -x3185 
3588.02/3597.01	v -x3180 x378 -x3175 -x375 -x3170 -x3165 -x370 -x3153 -x3141 x3129 -x3117 -x3105 -x3093 -x3088 -x3083 -x3078 -x3073 -x3068 -x3063 
3588.02/3597.01	v -x3058 -x3053 -x3048 -x3043 -x3038 -x3033 -x3028 -x3023 x3018 -x3013 -x3008 -x3003 -x2998 -x2993 -x2988 -x2983 -x2978 -x2973 
3588.02/3597.01	v -x2968 -x2963 -x2958 -x2953 -x2948 -x2943 -x2938 -x2933 -x2928 -x2923 -x2918 -x2913 -x2908 -x2903 -x2898 -x2893 -x2888 -x2883 
3588.02/3597.01	v -x2878 -x2873 -x2868 -x2863 -x2858 -x2853 -x2848 -x2843 -x2838 -x2833 -x2828 -x2823 -x2818 -x2813 -x2808 -x2803 -x2798 -x2793 
3588.02/3597.01	v -x2788 -x2783 -x2778 -x2773 -x2768 -x2763 -x2758 -x2753 -x2748 -x2743 -x2731 -x2729 -x2717 -x2715 -x2703 -x2701 -x2689 
3588.02/3597.01	v -x2687 -x2675 -x2673 -x2661 -x2659 -x2647 -x2645 x2633 -x2631 -x2619 -x2617 -x2605 -x2603 -x2591 -x2589 -x2577 -x2575 -x2563 
3588.02/3597.01	v -x2561 -x2549 -x2547 -x2535 -x2533 -x2521 -x2519 -x2507 -x2505 -x2493 -x2491 -x2479 -x2477 -x2465 -x2463 -x2451 -x2449 -x2437 
3588.02/3597.01	v -x2435 -x2423 -x2421 -x2409 -x2407 -x2395 -x2393 -x2381 -x2379 -x2367 -x2365 -x2353 -x2351 -x2339 -x2337 -x2325 -x2323 -x2311 
3588.02/3597.01	v -x2309 -x2297 -x2285 -x2283 -x2271 -x2269 -x2257 -x2255 -x2243 -x2241 -x2229 -x2227 -x2215 -x2213 -x2201 -x2199 -x2187 -x2185 
3588.02/3597.01	v -x2173 -x2171 -x2159 -x2157 -x2145 -x2143 -x2131 -x2129 -x2117 -x2115 -x2103 -x2101 -x2089 -x2087 -x2075 -x2073 -x2061 -x2059 
3588.02/3597.01	v -x2047 -x2045 -x2033 -x2031 -x2019 -x2017 -x2005 -x2003 -x1991 -x1989 -x1977 -x1975 -x1963 -x1961 -x1934 -x88 -x1907 -x85 
3588.02/3597.01	v -x1880 -x82 -x1853 -x1826 -x77 -x1799 -x74 -x1772 -x71 -x1745 -x68 -x1718 x65 -x1691 -x62 -x1664 -x59 -x1637 -x1610 -x54 -x1583 
3588.02/3597.01	v -x51 -x1556 -x48 -x1529 -x45 -x1502 -x1475 x40 -x1448 -x37 -x1421 -x34 -x1394 -x1367 -x29 -x1340 -x26 -x1313 -x23 -x1286 
3588.02/3597.01	v -x20 -x1259 -x17 -x1232 -x14 -x1205 -x11 -x1147 -x1089 -x1031 -x973 x915 -x857 -x799 -x741 x581 x515 x440 x362 x1 
3588.02/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3588.02/3597.01	c Total Time         :    3597.00
3588.02/3597.01	c   solving          :    3597.00
3588.02/3597.01	c   presolving       :       1.51 (included in solving)
3588.02/3597.01	c   reading          :       0.03 (included in solving)
3588.02/3597.01	c   copying          :       0.30 (14 #copies) (minimal 0.01, maximal 0.04, average 0.02)
3588.02/3597.01	c Original Problem   :
3588.02/3597.01	c   Problem name     : HOME/instance-4497708-1751402961.opb
3588.02/3597.01	c   Variables        : 4318 (4318 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.02/3597.01	c   Constraints      : 15120 initial, 15120 maximal
3588.02/3597.01	c   Objective        : minimize, 490 non-zeros (abs.min = 1, abs.max = 1)
3588.02/3597.01	c Presolved Problem  :
3588.02/3597.01	c   Problem name     : t_HOME/instance-4497708-1751402961.opb
3588.02/3597.01	c   Variables        : 3770 (3770 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.02/3597.01	c   Constraints      : 14826 initial, 14956 maximal
3588.02/3597.01	c   Objective        : minimize, 485 non-zeros (abs.min = 1, abs.max = 1)
3588.02/3597.01	c   Nonzeros         : 243909 constraint, 21248 clique table
3588.02/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3588.02/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   domcol           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   gateextraction   :       0.06       0.00      6          0          0          0          0          0      13803       3393          0          0
3588.02/3597.01	c   implics          :       0.00       0.00      9          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   milp             :       0.03       0.00      1          0          6          0          0          0          0          0          0          0
3588.02/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   trivial          :       0.00       0.00     11          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   dualfix          :       0.00       0.00     11          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   probing          :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   pseudoobj        :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   vbounds          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   knapsack         :       0.03       0.00     19          0          0          0          0          0          2         21         38        115
3588.02/3597.01	c   setppc           :       0.02       0.00     19          0          0          0          0          0          8          0          0          0
3588.02/3597.01	c   and              :       0.04       0.00     11          0        108          0          0          0        108          0          0          0
3588.02/3597.01	c   linear           :       0.06       0.01     12          5        429          0          5          0        882          0          6          8
3588.02/3597.01	c   logicor          :       1.08       0.12     17          0          0          0          0          0         63          0          0        105
3588.02/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   components       :       0.02       0.00      2          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3588.02/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3588.02/3597.01	c   benderslp        :          0          0          0          0       1121          0          0        635          0          0          0          0          0          0          0
3588.02/3597.01	c   integral         :          0          0          0          0       1121          0          0        635          0          0          7          0          0         13       2230
3588.02/3597.01	c   knapsack         :         26         26         31      72720          0          0          0        628       2881        857          0          8          1          0          0
3588.02/3597.01	c   setppc           :       1570+      1571         62      71872          0          0          0        370      11784         52        956        113          0          0          0
3588.02/3597.01	c   and              :       3285       3285       3479      71836          0          0          0         58     115746        457      27420     265788     105420          0          0
3588.02/3597.01	c   linear           :          2+         6         62      68128          0          0          0          3         65         46          2         98         17          0          0
3588.02/3597.01	c   logicor          :       9943+     10073         62      25266          0          0          0         48        458         57         33        602         82          0          0
3588.02/3597.01	c   benders          :          0          0          0          0          0          0          0         47          0          0          0          0          0          0          0
3588.02/3597.01	c   fixedvar         :          0          0          0          0          0          0          0         47          0          0          0          0          0          0          0
3588.02/3597.01	c   countsols        :          0          0          0          0          0          0          0         47          0          0          0          0          0          0          0
3588.02/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3588.02/3597.01	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.02/3597.01	c   integral         :    1014.85       0.00       0.00       0.00    1014.85       0.00       0.00       0.00       0.00       0.00
3588.02/3597.01	c   knapsack         :       0.87       0.00       0.61       0.23       0.00       0.00       0.00       0.01       0.01       0.02
3588.02/3597.01	c   setppc           :       0.20       0.00       0.00       0.14       0.00       0.00       0.00       0.02       0.00       0.04
3588.02/3597.01	c   and              :       6.15       0.00       2.64       1.49       0.00       0.00       0.00       0.02       0.03       1.97
3588.02/3597.01	c   linear           :       0.20       0.01       0.03       0.11       0.00       0.00       0.00       0.00       0.00       0.05
3588.02/3597.01	c   logicor          :       0.70       0.12       0.08       0.37       0.00       0.00       0.00       0.00       0.00       0.12
3588.02/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.02/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.02/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.02/3597.01	c   components       :       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.02/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3588.02/3597.01	c   dualfix          :          3          0          0          0
3588.02/3597.01	c   genvbounds       :          0          0          0          0
3588.02/3597.01	c   nlobbt           :          0          0          0          0
3588.02/3597.01	c   obbt             :          0          0          0          0
3588.02/3597.01	c   probing          :          0          0          0          0
3588.02/3597.01	c   pseudoobj        :       3952          0          0          0
3588.02/3597.01	c   redcost          :       4981          0          0          0
3588.02/3597.01	c   rootredcost      :          2          0          0          0
3588.02/3597.01	c   symmetry         :          0          0          0          0
3588.02/3597.01	c   vbounds          :      48374          0          0          0
3588.02/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3588.02/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3588.02/3597.01	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.01
3588.02/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3588.02/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3588.02/3597.01	c   probing          :       0.02       0.00       0.02       0.00       0.00       0.00
3588.02/3597.01	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00       0.00
3588.02/3597.01	c   redcost          :       0.29       0.00       0.00       0.28       0.00       0.00
3588.02/3597.01	c   rootredcost      :       0.01       0.00       0.00       0.00       0.00       0.00
3588.02/3597.01	c   symmetry         :       0.02       0.00       0.01       0.01       0.00       0.01
3588.02/3597.01	c   vbounds          :       0.05       0.00       0.00       0.03       0.00       0.02
3588.02/3597.01	c Symmetry           :
3588.02/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3588.02/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3588.02/3597.01	c   lexicographic red:          0 reductions applied,          0 cutoffs
3588.02/3597.01	c   shadow tree time :       0.00 s
3588.02/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3588.02/3597.01	c   propagation      :       0.23       1465       1465          -      16863      129.8         47       49.4          -          -          -
3588.02/3597.01	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3588.02/3597.01	c   bound exceed. LP :       0.35        112         30          -        758      665.2          3       18.0         21      442.0        919
3588.02/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3588.02/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3588.02/3597.01	c   applied globally :       0.08          -          -          0      11635       36.2          -          -         21          -          -
3588.02/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3588.02/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3588.02/3597.01	c   cut pool         :       0.97          -       1468        118          -          -      20735      86256          -          -          -          -          -    (maximal pool size:       5948)
3588.02/3597.01	c   aggregation      :       1.55       0.00        490         62          0          0         63       1789          0         97         97          0          0
3588.02/3597.01	c   > cmir           :          -          -          -          -          -          -          -       1706          0         87         87          0          -
3588.02/3597.01	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3588.02/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -         83          0         10         10          0          -
3588.02/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   clique           :       0.49       0.00         62         62          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   gomory           :     144.21       0.00        325         20          0          0       4075      16599          0        592        592          0          0
3588.02/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -      10138          0        447        447          0          -
3588.02/3597.01	c   > strongcg       :          -          -          -          -          -          -          -       6461          0        145        145          0          -
3588.02/3597.01	c   impliedbounds    :       0.25       0.00        490         62          0          0      15695      52813          0      29129      29129          0          0
3588.02/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   multilinear      :       0.00       0.00        275         62          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.02/3597.01	c   rapidlearning    :       0.22       0.00          1          1          0          0          0          0          0          0          0          0        200
3588.02/3597.01	c   rlt              :      12.57       0.00         85         20          0          0        189       1622          0        566        566          0          0
3588.02/3597.01	c   zerohalf         :       4.00       0.00        345         40          0          0        713      13433          0       2681       2681          0          0
3588.02/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3588.02/3597.01	c   hybrid           :       0.43       0.00       3402         60     138623          0     214242       3738          0      15101
3588.02/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3588.02/3597.01	c   problem variables:       0.00          -          0          0
3588.02/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3588.02/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c   relpscost        :    1014.84       0.00       1121          0          0          0          7          0         13       2230
3588.02/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3588.02/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3588.02/3597.01	c   LP solutions     :       0.00          -          -          0          0
3588.02/3597.01	c   relax solutions  :       0.00          -          -          0          0
3588.02/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3588.02/3597.01	c   strong branching :       0.01          -          -          0          0
3588.02/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3588.02/3597.01	c   adaptivediving   :      15.04       0.00         12          0          0
3588.02/3597.01	c   alns             :       0.22       0.00          5          0          0
3588.02/3597.01	c   bound            :       0.00       0.00          0          0          0
3588.02/3597.01	c   clique           :       0.04       0.00          1          0          0
3588.02/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3588.02/3597.01	c   completesol      :       0.00       0.00          0          0          0
3588.02/3597.01	c   conflictdiving   :       3.76       0.00         13          0          0
3588.02/3597.01	c   crossover        :       0.14       0.00          2          2          0
3588.02/3597.01	c   dins             :       0.00       0.00          0          0          0
3588.02/3597.01	c   distributiondivin:      26.19       0.00         13          0          0
3588.02/3597.01	c   dps              :       0.00       0.00          0          0          0
3588.02/3597.01	c   dualval          :       0.00       0.00          0          0          0
3588.02/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3588.02/3597.01	c   feasjump         :       0.00       0.00          0          0          0
3588.02/3597.01	c   feaspump         :       2.11       0.00          1          0          0
3588.02/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3588.02/3597.01	c   fracdiving       :      16.41       0.00         13          0          0
3588.02/3597.01	c   gins             :       0.00       0.00          0          0          0
3588.02/3597.01	c   guideddiving     :       8.48       0.00         12          0          0
3588.02/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3588.02/3597.01	c   indicator        :       0.00       0.00          0          0          0
3588.02/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3588.02/3597.01	c   indoneopt        :       0.00       0.00          0          0          0
3588.02/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3588.02/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3588.02/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3588.02/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3588.02/3597.01	c   linesearchdiving :      11.11       0.00         13          0          0
3588.02/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3588.02/3597.01	c   locks            :       0.01       0.00          1          0          0
3588.02/3597.01	c   lpface           :       0.00       0.00          0          0          0
3588.02/3597.01	c   mpec             :       0.00       0.00          0          0          0
3588.02/3597.01	c   multistart       :       0.00       0.00          0          0          0
3588.02/3597.01	c   mutation         :       0.00       0.00          0          0          0
3588.02/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3588.02/3597.01	c   objpscostdiving  :     130.30       0.00          6          1          0
3588.02/3597.01	c   octane           :       0.00       0.00          0          0          0
3588.02/3597.01	c   ofins            :       0.00       0.00          0          0          0
3588.02/3597.01	c   oneopt           :       0.00       0.00          1          0          0
3588.02/3597.01	c   padm             :       0.00       0.00          0          0          0
3588.02/3597.01	c   proximity        :       0.00       0.00          0          0          0
3588.02/3597.01	c   pscostdiving     :      50.41       0.00         13          0          0
3588.02/3597.01	c   randrounding     :       0.77       0.00        377          0          0
3588.02/3597.01	c   rens             :       5.94       0.00          2          2          0
3588.02/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3588.02/3597.01	c   repair           :       0.00       0.00          0          0          0
3588.02/3597.01	c   rins             :       3.30       0.00          4          1          0
3588.02/3597.01	c   rootsoldiving    :       9.70       0.00          7          0          0
3588.02/3597.01	c   rounding         :       0.51       0.00        911          0          0
3588.02/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3588.02/3597.01	c   shiftandpropagate:       0.00       0.00          0          0          0
3588.02/3597.01	c   shifting         :       1.86       0.00       1106         16          0
3588.02/3597.01	c   simplerounding   :       0.00       0.00          0          0          0
3588.02/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3588.02/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3588.02/3597.01	c   trivial          :       0.01       0.00          4          0          0
3588.02/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3588.02/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3588.02/3597.01	c   trysol           :       0.00       0.00          0          0          0
3588.02/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3588.02/3597.01	c   undercover       :       0.05       0.00          1          0          0
3588.02/3597.01	c   vbounds          :       0.12       0.00          2          1          1
3588.02/3597.01	c   veclendiving     :       1.12       0.00         13          0          0
3588.02/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3588.02/3597.01	c   zirounding       :       0.61       0.00       1000          0          0
3588.02/3597.01	c   other solutions  :          -          -          -          0          -
3588.02/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3588.02/3597.01	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
3588.02/3597.01	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
3588.02/3597.01	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
3588.02/3597.01	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
3588.02/3597.01	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
3588.02/3597.01	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
3588.02/3597.01	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
3588.02/3597.01	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
3588.02/3597.01	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
3588.02/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3588.02/3597.01	c   primal LP        :       0.75        364          0       0.00       0.00       0.75        364
3588.02/3597.01	c   dual LP          :    2114.57       4524   12186378    2694.31    5763.06       0.00          1
3588.02/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3588.02/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3588.02/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3588.02/3597.01	c   diving/probing LP:     293.59       3042    1922709     632.05    6548.85
3588.02/3597.01	c   strong branching :     975.56       6283    5050204     803.79    5176.72          -          -       9179
3588.02/3597.01	c     (at root node) :          -         43      41889     974.16          -
3588.02/3597.01	c   conflict analysis:       0.17         92        919       9.99    5271.49
3588.02/3597.01	c B&B Tree           :
3588.02/3597.01	c   number of runs   :          2
3588.02/3597.01	c   nodes            :         67 (66 internal, 1 leaves)
3588.02/3597.01	c   feasible leaves  :          0
3588.02/3597.01	c   infeas. leaves   :          0
3588.02/3597.01	c   objective leaves :          0
3588.02/3597.01	c   nodes (total)    :       1116 (1115 internal, 1 leaves)
3588.02/3597.01	c   nodes left       :         67
3588.02/3597.01	c   max depth        :         11
3588.02/3597.01	c   max depth (total):         33
3588.02/3597.01	c   backtracks       :         21 (31.3%)
3588.02/3597.01	c   early backtracks :          0 (0.0%)
3588.02/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3588.02/3597.01	c   delayed cutoffs  :          0
3588.02/3597.01	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3588.02/3597.01	c   avg switch length:       3.40
3588.02/3597.01	c   switching time   :       1.15
3588.02/3597.01	c Root Node          :
3588.02/3597.01	c   First LP value   : +7.42857142857143e+00
3588.02/3597.01	c   First LP Iters   :        339 (26220.13 Iter/sec)
3588.02/3597.01	c   First LP Time    :       0.01
3588.02/3597.01	c   Final Dual Bound : +1.24794976300774e+01
3588.02/3597.01	c   Final Root Iters :      81146
3588.02/3597.01	c   Root LP Estimate : +2.16179385940268e+01
3588.02/3597.01	c Solution           :
3588.02/3597.01	c   Solutions found  :         23 (1 improvements)
3588.02/3597.01	c   First Solution   : +2.20000000000000e+01   (in run 1, after 1 nodes, 0.34 seconds, depth 2128, found by <vbounds>)
3588.02/3597.01	c   Gap First Sol.   :     340.00 %
3588.02/3597.01	c   Gap Last Sol.    :     340.00 %
3588.02/3597.01	c   Primal Bound     : +2.20000000000000e+01   (in run 1, after 1 nodes, 0.34 seconds, depth 2128, found by <vbounds>)
3588.02/3597.01	c   Dual Bound       : +1.26806882509655e+01
3588.02/3597.01	c   Gap              :      73.49 %
3588.02/3597.01	c Integrals          :      Total       Avg%
3588.02/3597.01	c   primal-dual      :  157902.97      43.90
3588.02/3597.01	c   primal-ref       :          -          - (not evaluated)
3588.02/3597.01	c   dual-ref         :          -          - (not evaluated)
3588.02/3597.08	c Time complete: 3588.11.

Verifier Data 

OK	22

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61773 MiB free)
  memory of node 1: 64465 MiB (63834 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=68428, runsolver pid=68417

[startup+0.100063 s]*
/proc/loadavg: 1.10 1.10 1.57 6/265 68438
/proc/meminfo: memFree=128506612/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=82160 memory=54728 CPUtime=0.09 cores=5,7
/proc/68428/stat : 68428 (pbscip) D 68417 68428 68368 0 -1 4194304 11332 0 0 0 7 2 0 0 20 0 1 0 55973667 84131840 13682 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 1 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 20540 13682 3648 3530 0 11991 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82160 KiB
Current children cumulated memory: 54728 KiB

[startup+0.204946 s]*
/proc/loadavg: 1.10 1.10 1.57 6/265 68438
/proc/meminfo: memFree=128381652/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=91692 memory=63984 CPUtime=0.19 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 14828 0 0 0 17 2 0 0 20 0 1 0 55973667 93892608 15996 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 22923 15996 3744 3530 0 14374 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91692 KiB
Current children cumulated memory: 63984 KiB

[startup+0.305004 s]*
/proc/loadavg: 1.10 1.10 1.57 6/265 68438
/proc/meminfo: memFree=128285136/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=114720 memory=81648 CPUtime=0.29 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 19157 0 0 0 26 3 0 0 20 0 1 0 55973667 117473280 20412 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 28680 20412 3840 3530 0 20131 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 114720 KiB
Current children cumulated memory: 81648 KiB

[startup+0.700135 s]
/proc/loadavg: 1.33 1.14 1.59 6/265 68438
/proc/meminfo: memFree=128103756/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=150308 memory=116208 CPUtime=0.68 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 27675 0 0 0 64 4 0 0 20 0 1 0 55973667 153915392 29052 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 37577 29052 3968 3530 0 29028 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 150308 KiB
Current children cumulated memory: 116208 KiB

[startup+1.50013 s]
/proc/loadavg: 1.33 1.14 1.59 6/265 68438
/proc/meminfo: memFree=127813828/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=164972 memory=132080 CPUtime=1.48 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 31675 0 0 0 143 5 0 0 20 0 1 0 55973667 168931328 33020 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 41243 33020 3968 3530 0 32694 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 164972 KiB
Current children cumulated memory: 132080 KiB

[startup+3.10439 s]
/proc/loadavg: 1.33 1.14 1.59 6/265 68438
/proc/meminfo: memFree=127053744/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=187516 memory=151536 CPUtime=3.07 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 36521 0 0 0 302 5 0 0 20 0 1 0 55973667 192016384 37884 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 46879 37884 3968 3530 0 38330 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 187516 KiB
Current children cumulated memory: 151536 KiB

[startup+6.30011 s]
/proc/loadavg: 1.55 1.19 1.60 6/265 68438
/proc/meminfo: memFree=126642740/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=209672 memory=164080 CPUtime=6.27 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 39668 0 0 0 621 6 0 0 20 0 1 0 55973667 214704128 41020 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 52418 41020 3968 3530 0 43869 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 209672 KiB
Current children cumulated memory: 164080 KiB

[startup+12.7001 s]
/proc/loadavg: 1.74 1.24 1.61 6/265 68438
/proc/meminfo: memFree=126346140/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=245392 memory=199920 CPUtime=12.65 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 48650 0 0 0 1257 8 0 0 20 0 1 0 55973667 251281408 49980 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 61348 49980 3968 3530 0 52799 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 245392 KiB
Current children cumulated memory: 199920 KiB

[startup+25.5001 s]
/proc/loadavg: 2.17 1.35 1.65 6/265 68438
/proc/meminfo: memFree=126226488/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=245392 memory=200048 CPUtime=25.41 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 48676 0 0 0 2533 8 0 0 20 0 1 0 55973667 251281408 50012 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 61348 50012 3968 3530 0 52799 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 245392 KiB
Current children cumulated memory: 200048 KiB

[startup+51.1044 s]
/proc/loadavg: 2.89 1.60 1.72 6/265 68439
/proc/meminfo: memFree=126176104/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=245392 memory=200304 CPUtime=50.95 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 48744 0 0 0 5087 8 0 0 20 0 1 0 55973667 251281408 50076 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 61348 50076 3968 3530 0 52799 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 245392 KiB
Current children cumulated memory: 200304 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 1.99 1.85 6/265 68442
/proc/meminfo: memFree=125457400/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=245392 memory=200816 CPUtime=102.01 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 48859 0 0 0 10193 8 0 0 20 0 1 0 55973667 251281408 50204 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 61348 50204 3968 3530 0 52799 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 245392 KiB
Current children cumulated memory: 200816 KiB

[startup+162.3 s]
/proc/loadavg: 3.92 2.37 1.99 6/266 68446
/proc/meminfo: memFree=125441964/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=245392 memory=201584 CPUtime=161.86 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 49072 0 0 0 16178 8 0 0 20 0 1 0 55973667 251281408 50396 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 61348 50396 3968 3530 0 52799 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 245392 KiB
Current children cumulated memory: 201584 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.69 2.13 6/267 68452
/proc/meminfo: memFree=125443156/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=252556 memory=202736 CPUtime=221.71 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 49372 0 0 0 22162 9 0 0 20 0 1 0 55973667 258617344 50684 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 63139 50684 3968 3530 0 54590 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 252556 KiB
Current children cumulated memory: 202736 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 2.94 2.25 6/267 68458
/proc/meminfo: memFree=125259388/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=261696 memory=202864 CPUtime=281.56 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 49381 0 0 0 28147 9 0 0 20 0 1 0 55973667 267976704 50716 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 65424 50716 3968 3530 0 56875 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 261696 KiB
Current children cumulated memory: 202864 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.17 2.37 6/267 68460
/proc/meminfo: memFree=125042476/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=296716 memory=227096 CPUtime=341.4 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 53949 0 0 0 34130 10 0 0 20 0 1 0 55973667 303837184 56774 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 74179 56774 3968 3530 0 65630 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 296716 KiB
Current children cumulated memory: 227096 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.35 2.49 6/267 68462
/proc/meminfo: memFree=124982276/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=309052 memory=230552 CPUtime=401.25 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 54817 0 0 0 40115 10 0 0 20 0 1 0 55973667 316469248 57638 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 77263 57638 3968 3530 0 68714 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 309052 KiB
Current children cumulated memory: 230552 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.50 2.60 6/266 68464
/proc/meminfo: memFree=124946132/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=338972 memory=256536 CPUtime=461.11 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 61296 0 0 0 46099 12 0 0 20 0 1 0 55973667 347107328 64134 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 84743 64134 3968 3530 0 76194 0
Current children cumulated CPU time: 461.11 s

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

/proc/loadavg: 4.11 4.09 4.01 6/264 68622
/proc/meminfo: memFree=123616868/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=696512 memory=554404 CPUtime=3154.38 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 108461 0 0 0 315418 20 0 0 20 0 1 0 55973667 713228288 138601 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 174128 138601 3968 3530 0 165579 0
Current children cumulated CPU time: 3154.38 s
Current children cumulated vsize: 696512 KiB
Current children cumulated memory: 554404 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.08 4.01 6/265 68628
/proc/meminfo: memFree=123616320/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=700416 memory=556836 CPUtime=3214.23 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 109052 0 0 0 321403 20 0 0 20 0 1 0 55973667 717225984 139209 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 175104 139209 3968 3530 0 166555 0
Current children cumulated CPU time: 3214.23 s
Current children cumulated vsize: 700416 KiB
Current children cumulated memory: 556836 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.01 6/264 68634
/proc/meminfo: memFree=123608600/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=714568 memory=561828 CPUtime=3274.09 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 110306 0 0 0 327388 21 0 0 20 0 1 0 55973667 731717632 140457 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 178642 140457 3968 3530 0 170093 0
Current children cumulated CPU time: 3274.09 s
Current children cumulated vsize: 714568 KiB
Current children cumulated memory: 561828 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.16 4.04 6/265 68637
/proc/meminfo: memFree=123592388/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=732748 memory=573988 CPUtime=3333.94 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 113375 0 0 0 333373 21 0 0 20 0 1 0 55973667 750333952 143497 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 183187 143497 3968 3530 0 174638 0
Current children cumulated CPU time: 3333.94 s
Current children cumulated vsize: 732748 KiB
Current children cumulated memory: 573988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.70 4.30 4.09 6/266 68640
/proc/meminfo: memFree=123544396/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=798516 memory=626596 CPUtime=3393.8 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 126638 0 0 0 339356 24 0 0 20 0 1 0 55973667 817680384 156649 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 199629 156649 3968 3530 0 191080 0
Current children cumulated CPU time: 3393.8 s
Current children cumulated vsize: 798516 KiB
Current children cumulated memory: 626596 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.27 4.10 6/266 68642
/proc/meminfo: memFree=123518032/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=813548 memory=647404 CPUtime=3453.64 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 128819 0 0 0 345340 24 0 0 20 0 1 0 55973667 833073152 161851 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 203387 161851 3968 3530 0 194838 0
Current children cumulated CPU time: 3453.64 s
Current children cumulated vsize: 813548 KiB
Current children cumulated memory: 647404 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.24 4.09 6/265 68644
/proc/meminfo: memFree=123517964/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=813548 memory=647404 CPUtime=3513.5 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 128819 0 0 0 351326 24 0 0 20 0 1 0 55973667 833073152 161851 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 203387 161851 3968 3530 0 194838 0
Current children cumulated CPU time: 3513.5 s
Current children cumulated vsize: 813548 KiB
Current children cumulated memory: 647404 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.19 4.09 6/266 68647
/proc/meminfo: memFree=123517432/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=813548 memory=647404 CPUtime=3573.35 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 128820 0 0 0 357311 24 0 0 20 0 1 0 55973667 833073152 161851 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 203387 161851 3968 3530 0 194838 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 813548 KiB
Current children cumulated memory: 647404 KiB

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

# cumulated CPU time of all completed processes:  user=3587.86 s, system=0.260217 s

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

[startup+3584 s]*
/proc/loadavg: 4.07 4.19 4.09 6/266 68647
/proc/meminfo: memFree=123517480/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=813548 memory=647404 CPUtime=3575.05 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 128820 0 0 0 357481 24 0 0 20 0 1 0 55973667 833073152 161851 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 203387 161851 3968 3530 0 194838 0
Current children cumulated CPU time: 3575.05 s
Current children cumulated vsize: 813548 KiB
Current children cumulated memory: 647404 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.20 4.09 6/266 68647
/proc/meminfo: memFree=123517480/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=813548 memory=647404 CPUtime=3581.43 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 128823 0 0 0 358119 24 0 0 20 0 1 0 55973667 833073152 161851 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 203387 161851 3968 3530 0 194838 0
Current children cumulated CPU time: 3581.43 s
Current children cumulated vsize: 813548 KiB
Current children cumulated memory: 647404 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.20 4.09 6/266 68647
/proc/meminfo: memFree=123493228/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=813548 memory=647404 CPUtime=3584.62 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 128823 0 0 0 358438 24 0 0 20 0 1 0 55973667 833073152 161851 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 203387 161851 3968 3530 0 194838 0
Current children cumulated CPU time: 3584.62 s
Current children cumulated vsize: 813548 KiB
Current children cumulated memory: 647404 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.20 4.09 6/266 68647
/proc/meminfo: memFree=123493244/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=813548 memory=647404 CPUtime=3586.22 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 128823 0 0 0 358598 24 0 0 20 0 1 0 55973667 833073152 161851 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 203387 161851 3968 3530 0 194838 0
Current children cumulated CPU time: 3586.22 s
Current children cumulated vsize: 813548 KiB
Current children cumulated memory: 647404 KiB

[startup+3596 s]*
/proc/loadavg: 4.13 4.20 4.09 6/266 68647
/proc/meminfo: memFree=123493244/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=813548 memory=647404 CPUtime=3587.02 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 128823 0 0 0 358678 24 0 0 20 0 1 0 55973667 833073152 161851 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 203387 161851 3968 3530 0 194838 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 813548 KiB
Current children cumulated memory: 647404 KiB

[startup+3596.8 s]
/proc/loadavg: 4.13 4.20 4.09 6/266 68647
/proc/meminfo: memFree=123493244/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=813548 memory=647404 CPUtime=3587.81 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 128823 0 0 0 358757 24 0 0 20 0 1 0 55973667 833073152 161851 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 203387 161851 3968 3530 0 194838 0
Current children cumulated CPU time: 3587.81 s
Current children cumulated vsize: 813548 KiB
Current children cumulated memory: 647404 KiB

[startup+3597 s]*
/proc/loadavg: 4.12 4.20 4.09 6/266 68647
/proc/meminfo: memFree=123493252/131250000 swapFree=33010684/33010684
[pid=68428] ppid=68417 vsize=813548 memory=647404 CPUtime=3588.02 cores=5,7
/proc/68428/stat : 68428 (pbscip) R 68417 68428 68368 0 -1 4194304 128823 0 0 0 358778 24 0 0 20 0 1 0 55973667 833073152 161851 18446744073709551615 4235264 18693293 140722617314640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 42930176 140722617317769 140722617317868 140722617317868 140722617323470 0
/proc/68428/statm: 203387 161851 3968 3530 0 194838 0
Current children cumulated CPU time: 3588.02 s
Current children cumulated vsize: 813548 KiB
Current children cumulated memory: 647404 KiB

Child status: 0

Real time (s): 3597.1
CPU time (s): 3588.12
CPU user time (s): 3587.86
CPU system time (s): 0.260217
CPU usage (%): 99.7505
Max. virtual memory (cumulated for all children) (KiB): 813548
Max. memory (cumulated for all children) (KiB): 647404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.86
system time used= 0.260217
maximum resident set size= 647404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128853
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= 109
involuntary context switches= 2279


# summary of solver processes directly reported to runsolver:
#   pid: 68428
#   total CPU time (s): 3588.12
#   total CPU user time (s): 3587.86
#   total CPU system time (s): 0.260217

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.81278 second user time and 11.4225 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-01 22:49:21
IDJOB=4497708
IDBENCH=148191
IDSOLVER=3365
FILE ID=nodeC016/4497708-1751402961
RUNJOBID= nodeC016-1751402961-68381
SLURM_JOB_ID= 9598289
Free space on /tmp= 433056 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497708-1751402961/watcher-4497708-1751402961 -o /tmp/evaluation-result-4497708-1751402961/solver-4497708-1751402961 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751402961-68381 --watchdog 3760  pbscip -f HOME/instance-4497708-1751402961.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545
RANDOM SEED=2094782850

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128641720 kB
MemAvailable:   129714440 kB
Buffers:            3280 kB
Cached:          1874680 kB
SwapCached:            0 kB
Active:           353552 kB
Inactive:        1603852 kB
Active(anon):      97516 kB
Inactive(anon):        0 kB
Active(file):     256036 kB
Inactive(file):  1603852 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             70848 kB
Writeback:             0 kB
AnonPages:         82548 kB
Mapped:           102792 kB
Shmem:             18072 kB
KReclaimable:     104144 kB
Slab:             191656 kB
SReclaimable:     104144 kB
SUnreclaim:        87512 kB
KernelStack:        4120 kB
PageTables:         2848 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     342684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432976 MiB
End job on nodeC016 at 2025-07-01 23:49:18