Trace number 4484824

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-07SAT-47 3586.38 3597.32

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
MD5SUM4c4220841569fe2ff0ce6d0e8718e711
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 benchmark-53
Best CPU time to get the best result obtained on this benchmark1827.29
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1272
Total number of constraints94127
Number of constraints which are clauses94127
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
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 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.02	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02	c 
0.00/0.02	c user parameter file <scip.set> not found - using default parameters
0.00/0.02	c reading problem <HOME/instance-4484824-1751297464.opb>
0.41/0.43	c original problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94127 constraints
0.41/0.43	c problem read in 0.42
0.59/0.67	o 0
0.59/0.68	c feasible solution found by trivial heuristic after 0.7 seconds, objective value 0.000000e+00
0.59/0.68	c presolving:
0.99/1.09	c    (1.1s) running MILP presolver
1.37/1.42	c    (1.4s) MILP presolver found nothing
1.57/1.67	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 94127 upgd conss, 0 impls, 94127 clqs
2.37/2.46	c    (2.4s) probing: 51/1272 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.37/2.46	c    (2.4s) probing aborted: 50/50 successive totally useless probings
3.08/3.14	c    (3.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.17/3.20	c    (3.2s) no symmetry present (symcode time: 0.02)
3.17/3.22	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
3.17/3.22	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.17/3.22	c  0 implications, 94127 cliques
3.17/3.22	c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94127 constraints
3.17/3.22	c   94127 constraints of type <setppc>
3.17/3.22	c transformed objective value is always integral (scale: 1)
3.17/3.22	c Presolving Time: 2.56
3.17/3.22	c - non default parameters ----------------------------------------------------------------------
3.17/3.22	c # SCIP version 10.0.0
3.17/3.22	c 
3.17/3.22	c # maximal time in seconds to run
3.17/3.22	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.17/3.22	c limits/time = 3596.994172
3.17/3.22	c 
3.17/3.22	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.17/3.22	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.17/3.22	c limits/memory = 27900
3.17/3.22	c 
3.17/3.22	c # belongs reading time to solving time?
3.17/3.22	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.17/3.22	c timing/reading = TRUE
3.17/3.22	c 
3.17/3.22	c -----------------------------------------------------------------------------------------------
3.17/3.22	c start solving
3.17/3.22	c transformed 1/1 original solutions to the transformed problem space
3.17/3.22	c 
3.36/3.48	o -36
3.36/3.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.36/3.48	c p 3.5s|     1 |     0 |     0 |     - |  clique|   0 |1272 |  94k|  94k|   0 |  0 |   0 |   0 |-1.272000e+03 |-3.600000e+01 |3433.33%| unknown
3.77/3.85	o -38
3.77/3.85	c p 3.8s|     1 |     0 |     0 |     - | vbounds|   0 |1272 |  94k|  94k|   0 |  0 |   0 |   0 |-1.272000e+03 |-3.800000e+01 |3247.37%| unknown
4.46/4.58	c   4.6s|     1 |     0 |  1272 |     - |   460M |   0 |1272 |  94k|  94k|   0 |  0 |   0 |   0 |-6.360000e+02 |-3.800000e+01 |1573.68%| unknown
5.76/5.84	c   5.8s|     1 |     0 |  1548 |     - |   483M |   0 |1272 |  94k|  94k|  10 |  1 |   0 |   0 |-6.000000e+02 |-3.800000e+01 |1478.95%| unknown
8.35/8.40	c   8.4s|     1 |     0 |  1701 |     - |   495M |   0 |1272 |  94k|  94k|  28 |  2 |   0 |   0 |-5.830000e+02 |-3.800000e+01 |1434.21%| unknown
11.84/11.92	c  11.9s|     1 |     0 |  2036 |     - |   505M |   0 |1272 |  94k|  94k|  46 |  3 |   0 |   0 |-5.555000e+02 |-3.800000e+01 |1361.84%| unknown
16.42/16.56	c  16.5s|     1 |     0 |  2516 |     - |   515M |   0 |1272 |  94k|  94k|  74 |  4 |   0 |   0 |-5.355000e+02 |-3.800000e+01 |1309.21%| unknown
17.42/17.52	c  17.5s|     1 |     0 |  3002 |     - |   526M |   0 |1272 |  94k|  94k| 115 |  5 |   0 |   0 |-5.035000e+02 |-3.800000e+01 |1225.00%| unknown
18.32/18.48	c  18.5s|     1 |     0 |  3458 |     - |   537M |   0 |1272 |  94k|  94k| 143 |  6 |   0 |   0 |-4.765000e+02 |-3.800000e+01 |1153.95%| unknown
19.32/19.40	c  19.4s|     1 |     0 |  4015 |     - |   549M |   0 |1272 |  94k|  94k| 186 |  7 |   0 |   0 |-4.455000e+02 |-3.800000e+01 |1072.37%| unknown
20.21/20.36	c  20.3s|     1 |     0 |  4493 |     - |   558M |   0 |1272 |  94k|  94k| 220 |  8 |   0 |   0 |-4.145000e+02 |-3.800000e+01 | 990.79%| unknown
21.92/22.05	c  22.0s|     1 |     0 |  6587 |     - |   568M |   0 |1272 |  94k|  94k| 251 |  9 |   0 |   0 |-3.900000e+02 |-3.800000e+01 | 926.32%| unknown
23.02/23.19	c  23.2s|     1 |     0 |  7672 |     - |   579M |   0 |1272 |  94k|  94k| 292 | 10 |   0 |   0 |-3.515000e+02 |-3.800000e+01 | 825.00%| unknown
23.91/24.03	c  24.0s|     1 |     0 |  8970 |     - |   589M |   0 |1272 |  94k|  94k| 314 | 11 |   0 |   0 |-3.220000e+02 |-3.800000e+01 | 747.37%| unknown
24.91/25.10	c  25.1s|     1 |     0 | 10460 |     - |   599M |   0 |1272 |  94k|  94k| 344 | 12 |   0 |   0 |-2.990000e+02 |-3.800000e+01 | 686.84%| unknown
25.50/25.64	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
25.50/25.64	c  25.6s|     1 |     0 | 11099 |     - |   608M |   0 |1272 |  94k|  94k| 362 | 13 |   0 |   0 |-2.897500e+02 |-3.800000e+01 | 662.50%| unknown
26.10/26.22	c  26.2s|     1 |     0 | 11897 |     - |   617M |   0 |1272 |  94k|  94k| 388 | 14 |   0 |   0 |-2.685000e+02 |-3.800000e+01 | 606.58%| unknown
26.80/26.91	c  26.9s|     1 |     0 | 13089 |     - |   627M |   0 |1272 |  94k|  94k| 402 | 15 |   0 |   0 |-2.580000e+02 |-3.800000e+01 | 578.95%| unknown
27.50/27.62	c  27.6s|     1 |     0 | 14406 |     - |   636M |   0 |1272 |  94k|  94k| 422 | 16 |   0 |   0 |-2.402500e+02 |-3.800000e+01 | 532.24%| unknown
28.39/28.52	c  28.5s|     1 |     0 | 16044 |     - |   645M |   0 |1272 |  94k|  94k| 455 | 17 |   0 |   0 |-2.125000e+02 |-3.800000e+01 | 459.21%| unknown
29.19/29.32	c  29.3s|     1 |     0 | 17862 |     - |   654M |   0 |1272 |  94k|  94k| 489 | 18 |   0 |   0 |-1.956667e+02 |-3.800000e+01 | 414.91%| unknown
30.19/30.38	c  30.4s|     1 |     0 | 19987 |     - |   664M |   0 |1272 |  94k|  94k| 526 | 19 |   0 |   0 |-1.827500e+02 |-3.800000e+01 | 380.92%| unknown
31.28/31.46	c  31.4s|     1 |     0 | 22121 |     - |   673M |   0 |1272 |  94k|  94k| 553 | 20 |   0 |   0 |-1.668333e+02 |-3.800000e+01 | 339.04%| unknown
31.99/32.14	c  32.1s|     1 |     0 | 23511 |     - |   673M |   0 |1272 |  94k|  94k| 558 | 21 |   0 |   0 |-1.588333e+02 |-3.800000e+01 | 317.98%| unknown
32.58/32.79	c  32.8s|     1 |     0 | 24827 |     - |   673M |   0 |1272 |  94k|  94k| 566 | 22 |   0 |   0 |-1.358333e+02 |-3.800000e+01 | 257.46%| unknown
32.89/33.11	c  33.1s|     1 |     0 | 25442 |     - |   674M |   0 |1272 |  94k|  94k| 572 | 23 |   0 |   0 |-1.273333e+02 |-3.800000e+01 | 235.09%| unknown
33.38/33.51	c  33.5s|     1 |     0 | 26538 |     - |   674M |   0 |1272 |  94k|  94k| 576 | 24 |   0 |   0 |-1.207500e+02 |-3.800000e+01 | 217.76%| unknown
33.58/33.71	c  33.7s|     1 |     0 | 26796 |     - |   674M |   0 |1272 |  94k|  94k| 580 | 25 |   0 |   0 |-1.115000e+02 |-3.800000e+01 | 193.42%| unknown
33.77/33.96	c  33.9s|     1 |     0 | 27239 |     - |   674M |   0 |1272 |  94k|  94k| 585 | 26 |   0 |   0 |-9.500000e+01 |-3.800000e+01 | 150.00%| unknown
33.99/34.13	c  34.1s|     1 |     0 | 27447 |     - |   675M |   0 |1272 |  94k|  94k| 588 | 27 |   0 |   0 |-8.650000e+01 |-3.800000e+01 | 127.63%| unknown
34.37/34.54	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
34.37/34.54	c  34.5s|     1 |     0 | 28667 |     - |   675M |   0 |1272 |  94k|  94k| 592 | 28 |   0 |   0 |-7.000000e+01 |-3.800000e+01 |  84.21%| unknown
34.47/34.67	c  34.7s|     1 |     0 | 28729 |     - |   675M |   0 |1272 |  94k|  94k| 595 | 29 |   0 |   0 |-6.150000e+01 |-3.800000e+01 |  61.84%| unknown
34.67/34.80	c  34.8s|     1 |     0 | 28863 |     - |   675M |   0 |1272 |  94k|  94k| 596 | 30 |   0 |   0 |-5.350000e+01 |-3.800000e+01 |  40.79%| unknown
34.77/34.92	c  34.9s|     1 |     0 | 28921 |     - |   675M |   0 |1272 |  94k|  94k| 600 | 31 |   0 |   0 |-5.350000e+01 |-3.800000e+01 |  40.79%| unknown
34.88/35.04	c  35.0s|     1 |     0 | 28971 |     - |   676M |   0 |1272 |  94k|  94k| 606 | 32 |   0 |   0 |-5.350000e+01 |-3.800000e+01 |  40.79%| unknown
34.98/35.15	c  35.1s|     1 |     0 | 28996 |     - |   677M |   0 |1272 |  94k|  94k| 613 | 33 |   0 |   0 |-5.350000e+01 |-3.800000e+01 |  40.79%| unknown
35.07/35.26	c  35.2s|     1 |     0 | 29050 |     - |   678M |   0 |1272 |  94k|  94k| 621 | 34 |   0 |   0 |-5.350000e+01 |-3.800000e+01 |  40.79%| unknown
35.27/35.40	c  35.4s|     1 |     0 | 29124 |     - |   678M |   0 |1272 |  94k|  94k| 627 | 35 |   0 |   0 |-5.350000e+01 |-3.800000e+01 |  40.79%| unknown
35.37/35.51	c  35.5s|     1 |     0 | 29159 |     - |   678M |   0 |1272 |  94k|  94k| 634 | 36 |   0 |   0 |-5.350000e+01 |-3.800000e+01 |  40.79%| unknown
35.47/35.62	c  35.6s|     1 |     0 | 29204 |     - |   679M |   0 |1272 |  94k|  94k| 641 | 37 |   0 |   0 |-5.350000e+01 |-3.800000e+01 |  40.79%| unknown
35.57/35.75	c  35.7s|     1 |     0 | 29274 |     - |   680M |   0 |1272 |  94k|  94k| 648 | 38 |   0 |   0 |-5.333333e+01 |-3.800000e+01 |  40.35%| unknown
35.77/35.90	c  35.9s|     1 |     0 | 29349 |     - |   681M |   0 |1272 |  94k|  94k| 654 | 39 |   0 |   0 |-5.333333e+01 |-3.800000e+01 |  40.35%| unknown
35.88/36.05	c  36.0s|     1 |     0 | 29393 |     - |   682M |   0 |1272 |  94k|  94k| 662 | 40 |   0 |   0 |-5.333333e+01 |-3.800000e+01 |  40.35%| unknown
36.06/36.22	c  36.2s|     1 |     0 | 29457 |     - |   683M |   0 |1272 |  94k|  94k| 670 | 41 |   0 |   0 |-5.333333e+01 |-3.800000e+01 |  40.35%| unknown
36.16/36.35	c  36.3s|     1 |     0 | 29494 |     - |   683M |   0 |1272 |  94k|  94k| 676 | 42 |   0 |   0 |-5.333333e+01 |-3.800000e+01 |  40.35%| unknown
36.26/36.47	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
36.26/36.47	c  36.5s|     1 |     0 | 29544 |     - |   684M |   0 |1272 |  94k|  94k| 683 | 43 |   0 |   0 |-5.333333e+01 |-3.800000e+01 |  40.35%| unknown
36.36/36.60	c  36.6s|     1 |     0 | 29582 |     - |   684M |   0 |1272 |  94k|  94k| 692 | 44 |   0 |   0 |-5.333333e+01 |-3.800000e+01 |  40.35%| unknown
36.57/36.73	c  36.7s|     1 |     0 | 29639 |     - |   685M |   0 |1272 |  94k|  94k| 704 | 45 |   0 |   0 |-5.333333e+01 |-3.800000e+01 |  40.35%| unknown
36.67/36.87	c  36.9s|     1 |     0 | 29700 |     - |   686M |   0 |1272 |  94k|  94k| 709 | 46 |   0 |   0 |-5.333333e+01 |-3.800000e+01 |  40.35%| unknown
36.88/37.04	c  37.0s|     1 |     0 | 29769 |     - |   686M |   0 |1272 |  94k|  94k| 719 | 47 |   0 |   0 |-5.333333e+01 |-3.800000e+01 |  40.35%| unknown
36.98/37.18	c  37.2s|     1 |     0 | 29824 |     - |   686M |   0 |1272 |  94k|  94k| 728 | 48 |   0 |   0 |-5.333333e+01 |-3.800000e+01 |  40.35%| unknown
43.25/43.45	c  43.4s|     1 |     2 | 29844 |     - |   687M |   0 |1272 |  94k|  94k| 728 | 48 |   0 |  21 |-5.333333e+01 |-3.800000e+01 |  40.35%| unknown
47.13/47.37	o -40
47.13/47.37	c d47.4s|    14 |    15 | 31885 | 158.5 |pscostdi|   9 |1272 |  94k|  94k|   0 |  1 |   0 |  62 |-5.333333e+01 |-4.000000e+01 |  33.33%| unknown
47.13/47.39	o -44
47.13/47.39	c d47.4s|    14 |    15 | 31892 | 159.1 |pscostdi|   9 |1272 |  94k|  94k|   0 |  1 |   0 |  62 |-5.333333e+01 |-4.400000e+01 |  21.21%| unknown
75.64/75.96	c  75.9s|   100 |   101 | 48655 | 190.2 |   774M |  17 |1272 |  94k|  94k| 890 |  2 |  39 | 158 |-5.333333e+01 |-4.400000e+01 |  21.21%| unknown
139.45/139.92	c   140s|   200 |   201 | 65117 | 177.4 |   839M |  17 |1272 |  94k|  94k|1283 |  1 |  88 | 372 |-5.333333e+01 |-4.400000e+01 |  21.21%| unknown
203.15/203.82	c   204s|   300 |   301 | 82449 | 176.0 |   909M |  21 |1272 |  94k|  94k|1762 |  2 | 128 | 719 |-5.333333e+01 |-4.400000e+01 |  21.21%| unknown
266.76/267.68	c   268s|   400 |   401 |102972 | 183.3 |   960M |  21 |1272 |  94k|  94k|2257 |  1 | 198 | 997 |-5.333333e+01 |-4.400000e+01 |  21.21%| unknown
316.60/317.68	c   318s|   500 |   501 |122409 | 185.5 |  1020M |  21 |1272 |  94k|  94k|2746 |  1 | 289 |1318 |-5.333333e+01 |-4.400000e+01 |  21.21%| unknown
349.06/350.25	c   350s|   600 |   601 |142125 | 187.5 |  1046M |  24 |1272 |  94k|  94k|3070 |  1 | 385 |1500 |-5.333333e+01 |-4.400000e+01 |  21.21%| unknown
394.92/396.25	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
394.92/396.25	c   396s|   700 |   701 |167016 | 196.3 |  1080M |  24 |1272 |  94k|  94k|3430 |  1 | 482 |1546 |-5.333333e+01 |-4.400000e+01 |  21.21%| unknown
433.72/435.13	c   435s|   800 |   801 |186901 | 196.6 |  1125M |  24 |1272 |  94k|  94k|3848 |  1 | 598 |1599 |-5.333333e+01 |-4.400000e+01 |  21.21%| unknown
464.01/465.59	c   466s|   900 |   901 |205890 | 195.8 |  1139M |  24 |1272 |  94k|  94k|4159 |  1 | 739 |1624 |-5.333333e+01 |-4.400000e+01 |  21.21%| unknown
479.66/481.26	o -47
479.66/481.26	c d 481s|   945 |   946 |214125 | 195.2 |linesear|  24 |1272 |  94k|  94k|   0 |  1 | 807 |1663 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
504.99/506.60	c   507s|  1000 |  1001 |222895 | 193.3 |  1159M |  24 |1272 |  94k|  94k|4523 |  1 | 914 |1697 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
559.12/560.90	c   561s|  1100 |  1099 |241019 | 192.2 |  1188M |  24 |1272 |  94k|  94k|5032 |  1 |1219 |1723 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
602.80/604.77	c   605s|  1200 |  1199 |259793 | 191.8 |  1217M |  24 |1272 |  94k|  94k|5597 |  1 |1543 |1780 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
655.74/657.84	c   658s|  1300 |  1299 |274447 | 188.3 |  1246M |  24 |1272 |  95k|  94k|6039 |  1 |1783 |1825 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
684.75/686.90	c   687s|  1400 |  1399 |289832 | 185.9 |  1260M |  24 |1272 |  95k|  94k|6244 |  1 |2049 |1862 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
710.88/713.18	c   713s|  1500 |  1499 |306942 | 184.9 |  1272M |  24 |1272 |  95k|  94k|6498 |  1 |2355 |1901 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
743.69/746.09	c   746s|  1600 |  1599 |325395 | 184.8 |  1312M |  24 |1272 |  95k|  94k|6925 |  1 |2613 |1918 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
760.82/763.23	c   763s|  1700 |  1697 |344037 | 184.9 |  1315M |  24 |1272 |  96k|  94k|7088 |  1 |2731 |1969 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
779.25/781.71	c   782s|  1800 |  1797 |362270 | 184.8 |  1330M |  24 |1272 |  96k|  94k|7295 |  1 |3080 |2005 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
797.19/799.77	c   800s|  1900 |  1897 |383844 | 186.4 |  1334M |  27 |1272 |  96k|  94k|7453 |  1 |3218 |2037 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
812.64/815.29	c   815s|  2000 |  1997 |401740 | 186.1 |  1342M |  28 |1272 |  96k|  94k|7631 |  1 |3454 |2060 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
823.60/826.21	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
823.60/826.21	c   826s|  2100 |  2087 |414999 | 183.5 |  1345M |  33 |1272 |  96k|  94k|7696 |  1 |3563 |2071 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
835.25/837.95	c   838s|  2200 |  2179 |426886 | 180.6 |  1348M |  37 |1272 |  96k|  94k|7783 |  1 |3647 |2142 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
842.63/845.36	c   845s|  2300 |  2275 |438304 | 177.7 |  1351M |  37 |1272 |  97k|  94k|7796 |  1 |3781 |2169 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
872.04/874.90	c   875s|  2400 |  2351 |448929 | 174.7 |  1460M |  44 |1272 |  97k|  94k|7950 |  1 |3872 |2182 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
913.62/916.55	c   917s|  2500 |  2447 |462060 | 173.0 |  1570M |  44 |1272 |  97k|  94k|8249 |  1 |3973 |2188 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
936.07/939.01	c   939s|  2600 |  2547 |475206 | 171.4 |  1594M |  44 |1272 |  97k|  94k|8552 |  1 |4127 |2204 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
960.88/963.96	c   964s|  2700 |  2619 |483861 | 168.2 |  1614M |  54 |1272 |  97k|  94k|8679 |  1 |4158 |2207 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
970.45/973.53	c   974s|  2800 |  2717 |494634 | 166.1 |  1616M |  54 |1272 |  97k|  94k|8751 |  1 |4190 |2220 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
998.87/1002.02	c  1002s|  2900 |  2799 |503032 | 163.2 |  1628M |  54 |1272 |  97k|  94k|8875 |  1 |4233 |2227 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1004.04/1007.21	c  1007s|  3000 |  2883 |511062 | 160.5 |  1642M |  54 |1272 |  97k|  94k|8931 |  1 |4270 |2236 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1035.65/1038.92	c  1039s|  3100 |  2965 |519037 | 157.9 |  1665M |  54 |1272 |  97k|  94k|9085 |  1 |4318 |2236 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1065.46/1068.83	c  1069s|  3200 |  3049 |528769 | 156.0 |  1717M |  54 |1272 |  97k|  94k|9313 |  1 |4381 |2237 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1084.41/1087.88	c  1088s|  3300 |  3143 |539215 | 154.4 |  1718M |  54 |1272 |  97k|  94k|9416 |  1 |4429 |2245 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1088.49/1091.99	c  1092s|  3400 |  3213 |545294 | 151.7 |  1721M |  54 |1272 |  97k|  94k|9418 |  1 |4469 |2246 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1104.14/1107.61	c  1108s|  3500 |  3285 |554229 | 149.9 |  1723M |  54 |1272 |  97k|  94k|9494 |  1 |4482 |2247 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1120.39/1123.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1120.39/1123.91	c  1124s|  3600 |  3363 |563424 | 148.3 |  1743M |  54 |1272 |  97k|  94k|9593 |  1 |4487 |2270 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1130.26/1133.86	c  1134s|  3700 |  3451 |571348 | 146.4 |  1756M |  54 |1272 |  97k|  94k|9631 |  0 |4586 |2276 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1143.81/1147.47	c  1147s|  3800 |  3545 |581842 | 145.3 |  1759M |  54 |1272 |  97k|  94k|9668 |  1 |4669 |2298 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1196.27/1200.10	c  1200s|  3900 |  3629 |591914 | 144.2 |  1793M |  54 |1272 |  97k|  94k|  10k|  2 |4701 |2299 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1217.21/1221.10	c  1221s|  4000 |  3727 |604439 | 143.7 |  1830M |  54 |1272 |  97k|  94k|  10k|  1 |4857 |2310 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1225.67/1229.50	c  1229s|  4100 |  3803 |613304 | 142.3 |  1834M |  55 |1272 |  98k|  94k|  10k|  2 |4904 |2349 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1229.75/1233.65	c  1234s|  4200 |  3867 |619890 | 140.5 |  1836M |  63 |1272 |  98k|  94k|  10k|  1 |4916 |2360 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1275.73/1279.76	c  1280s|  4300 |  3931 |628428 | 139.2 |  1841M |  63 |1272 |  98k|  94k|  10k|  1 |4933 |2410 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1292.77/1296.80	c  1297s|  4400 |  3991 |635265 | 137.6 |  1844M |  63 |1272 |  98k|  94k|  10k|  2 |4937 |2424 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1312.11/1316.26	c  1316s|  4500 |  4067 |645007 | 136.7 |  1849M |  63 |1272 |  98k|  94k|  10k|  1 |4947 |2471 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1317.00/1321.17	c  1321s|  4600 |  4143 |652107 | 135.3 |  1852M |  63 |1272 |  98k|  94k|  10k|  1 |4973 |2491 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1321.28/1325.48	c  1325s|  4700 |  4201 |658318 | 133.8 |  1856M |  74 |1272 |  98k|  94k|  10k|  0 |4978 |2512 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1323.77/1328.01	c  1328s|  4800 |  4231 |661539 | 131.6 |  1857M |  84 |1272 |  98k|  94k|  10k|  0 |4988 |2515 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1326.97/1331.11	c  1331s|  4900 |  4263 |665071 | 129.7 |  1858M |  84 |1272 |  98k|  94k|  10k|  0 |5034 |2532 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1329.05/1333.27	c  1333s|  5000 |  4293 |668690 | 127.8 |  1860M |  84 |1272 |  98k|  94k|  10k|  0 |5047 |2533 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1333.03/1337.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1333.03/1337.23	c  1337s|  5100 |  4333 |673986 | 126.3 |  1861M |  84 |1272 |  98k|  94k|  10k|  1 |5047 |2557 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1335.22/1339.40	c  1339s|  5200 |  4365 |677235 | 124.5 |  1862M |  84 |1272 |  98k|  94k|  10k|  1 |5047 |2558 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1338.41/1342.60	c  1343s|  5300 |  4405 |682170 | 123.1 |  1864M |  87 |1272 |  98k|  94k|  10k|  0 |5050 |2573 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1341.81/1346.09	c  1346s|  5400 |  4455 |687022 | 121.7 |  1864M |  87 |1272 |  98k|  94k|  10k|  0 |5050 |2591 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1344.19/1348.43	c  1348s|  5500 |  4481 |690727 | 120.2 |  1865M |  87 |1272 |  98k|  94k|  10k|  1 |5050 |2593 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1347.79/1352.01	c  1352s|  5600 |  4527 |696012 | 119.0 |  1877M |  89 |1272 |  98k|  94k|  10k|  1 |5054 |2595 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1357.15/1361.48	c  1361s|  5700 |  4583 |701169 | 117.8 |  1878M |  89 |1272 |  98k|  94k|  10k|  1 |5062 |2604 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1361.74/1366.07	c  1366s|  5800 |  4627 |705262 | 116.5 |  1879M |  89 |1272 |  98k|  94k|  10k|  1 |5067 |2649 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1364.92/1369.23	c  1369s|  5900 |  4657 |708555 | 115.1 |  1879M |  89 |1272 |  98k|  94k|  10k|  1 |5067 |2664 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1369.71/1374.01	c  1374s|  6000 |  4717 |714342 | 114.1 |  1882M |  89 |1272 |  98k|  94k|  10k|  1 |5082 |2709 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1373.70/1378.08	c  1378s|  6100 |  4773 |720077 | 113.2 |  1883M |  89 |1272 |  98k|  94k|  10k|  1 |5090 |2732 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1387.05/1391.46	c  1391s|  6200 |  4831 |726325 | 112.4 |  1885M |  89 |1272 |  98k|  94k|  10k|  1 |5114 |2765 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1393.02/1397.40	c  1397s|  6300 |  4881 |730901 | 111.3 |  1886M |  89 |1272 |  98k|  94k|  10k|  1 |5114 |2782 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1413.26/1417.80	c  1418s|  6400 |  4923 |734403 | 110.1 |  1897M |  92 |1272 |  98k|  94k|  10k|  1 |5114 |2786 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1415.36/1419.81	c  1420s|  6500 |  4947 |737434 | 108.9 |  1897M |  92 |1272 |  98k|  94k|  10k|  1 |5118 |2786 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1436.51/1441.02	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1436.51/1441.02	c  1441s|  6600 |  4987 |741287 | 107.8 |  1898M |  92 |1272 |  98k|  94k|  11k|  0 |5129 |2788 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1445.07/1449.62	c  1450s|  6700 |  5037 |745801 | 106.9 |  1899M |  92 |1272 |  98k|  94k|  11k|  0 |5163 |2814 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1467.90/1472.54	c  1473s|  6800 |  5083 |750989 | 106.1 |  1930M |  92 |1272 |  98k|  94k|  11k|  0 |5168 |2819 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1481.96/1486.65	c  1487s|  6900 |  5147 |757408 | 105.5 |  1980M |  92 |1272 |  98k|  94k|  11k|  1 |5200 |2845 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1488.24/1492.95	c  1493s|  7000 |  5173 |761033 | 104.5 |  1980M |  92 |1272 |  98k|  94k|  11k|  0 |5200 |2850 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1491.23/1495.95	c  1496s|  7100 |  5213 |765579 | 103.6 |  1983M |  92 |1272 |  98k|  94k|  11k|  1 |5206 |2857 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1493.82/1498.51	c  1498s|  7200 |  5255 |769804 | 102.8 |  1984M |  92 |1272 |  98k|  94k|  11k|  1 |5217 |2859 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1497.01/1501.70	c  1502s|  7300 |  5309 |775146 | 102.1 |  1987M |  92 |1272 |  98k|  94k|  11k|  1 |5221 |2860 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1499.69/1504.46	c  1504s|  7400 |  5355 |779995 | 101.4 |  1989M |  92 |1272 |  98k|  94k|  11k|  0 |5226 |2864 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1502.40/1507.19	c  1507s|  7500 |  5403 |784575 | 100.6 |  1989M |  92 |1272 |  98k|  94k|  11k|  1 |5231 |2867 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1506.38/1511.17	c  1511s|  7600 |  5457 |789819 | 100.0 |  1992M |  92 |1272 |  98k|  94k|  11k|  0 |5237 |2879 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1517.25/1522.08	c  1522s|  7700 |  5493 |793641 |  99.2 |  1993M |  92 |1272 |  98k|  94k|  11k|  2 |5237 |2881 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1524.12/1528.91	c  1529s|  7800 |  5535 |798399 |  98.5 |  1994M |  92 |1272 |  98k|  94k|  11k|  0 |5242 |2886 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1531.09/1535.91	c  1536s|  7900 |  5573 |802609 |  97.8 |  1996M |  92 |1272 |  98k|  94k|  11k|  1 |5247 |2888 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1534.19/1539.04	c  1539s|  8000 |  5631 |808614 |  97.4 |  1998M |  92 |1272 |  98k|  94k|  11k|  1 |5257 |2891 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1538.29/1543.17	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1538.29/1543.17	c  1543s|  8100 |  5681 |814996 |  96.9 |  1999M |  92 |1272 |  98k|  94k|  11k|  1 |5273 |2893 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1544.45/1549.38	c  1549s|  8200 |  5737 |822545 |  96.7 |  2003M |  92 |1272 |  98k|  94k|  11k|  1 |5285 |2901 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1549.73/1554.63	c  1555s|  8300 |  5783 |828247 |  96.2 |  2004M |  92 |1272 |  98k|  94k|  11k|  1 |5303 |2907 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1555.12/1560.05	c  1560s|  8400 |  5829 |835055 |  95.9 |  2007M |  92 |1272 |  98k|  94k|  11k|  1 |5303 |2911 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1562.20/1567.19	c  1567s|  8500 |  5899 |842564 |  95.6 |  2010M |  92 |1272 |  98k|  94k|  11k|  0 |5310 |2919 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1564.97/1569.99	c  1570s|  8600 |  5953 |847574 |  95.1 |  2013M |  92 |1272 |  98k|  94k|  11k|  0 |5310 |2921 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1593.10/1598.14	c  1598s|  8700 |  6051 |857123 |  95.1 |  2015M |  92 |1272 |  98k|  94k|  11k|  1 |5349 |2951 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1598.76/1603.80	c  1604s|  8800 |  6103 |862540 |  94.6 |  2018M |  92 |1272 |  98k|  94k|  11k|  1 |5361 |2954 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1605.33/1610.49	c  1610s|  8900 |  6165 |868273 |  94.2 |  2021M |  92 |1272 |  98k|  94k|  12k|  1 |5369 |2958 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1607.93/1613.10	c  1613s|  9000 |  6207 |872927 |  93.7 |  2022M |  92 |1272 |  98k|  94k|  12k|  0 |5369 |2960 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1610.61/1615.78	c  1616s|  9100 |  6253 |877851 |  93.2 |  2024M |  92 |1272 |  98k|  94k|  12k|  0 |5378 |2961 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1614.01/1619.16	c  1619s|  9200 |  6309 |884153 |  92.9 |  2026M |  92 |1272 |  98k|  94k|  12k|  0 |5384 |2966 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1616.09/1621.26	c  1621s|  9300 |  6339 |887282 |  92.2 |  2026M |  92 |1272 |  98k|  94k|  12k|  1 |5384 |2966 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1618.47/1623.61	c  1624s|  9400 |  6373 |890704 |  91.6 |  2029M |  92 |1272 |  98k|  94k|  12k|  1 |5388 |2967 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1621.87/1627.11	c  1627s|  9500 |  6441 |896754 |  91.3 |  2032M |  92 |1272 |  98k|  94k|  12k|  1 |5397 |2970 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1624.64/1629.81	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1624.64/1629.81	c  1630s|  9600 |  6471 |901006 |  90.8 |  2033M |  92 |1272 |  98k|  94k|  12k|  0 |5402 |2972 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1627.73/1632.97	c  1633s|  9700 |  6511 |905895 |  90.3 |  2033M |  92 |1272 |  98k|  94k|  12k|  0 |5404 |2980 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1635.51/1640.71	c  1641s|  9800 |  6567 |912848 |  90.1 |  2035M |  92 |1272 |  98k|  94k|  12k|  1 |5426 |3028 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1637.70/1643.01	c  1643s|  9900 |  6599 |916950 |  89.6 |  2036M |  92 |1272 |  98k|  94k|  12k|  0 |5434 |3029 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1641.90/1647.16	c  1647s| 10000 |  6665 |923663 |  89.4 |  2037M |  92 |1272 |  98k|  94k|  12k|  1 |5457 |3052 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1645.97/1651.22	c  1651s| 10100 |  6711 |929833 |  89.1 |  2039M |  92 |1272 |  98k|  94k|  12k|  1 |5476 |3076 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1649.45/1654.78	c  1655s| 10200 |  6745 |934727 |  88.7 |  2041M |  92 |1272 |  98k|  94k|  12k|  1 |5504 |3103 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1658.73/1664.04	c  1664s| 10300 |  6827 |943503 |  88.7 |  2046M |  92 |1272 |  98k|  94k|  12k|  1 |5558 |3146 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1662.50/1667.81	c  1668s| 10400 |  6883 |949597 |  88.4 |  2046M |  92 |1272 |  98k|  94k|  12k|  1 |5563 |3162 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1666.08/1671.48	c  1671s| 10500 |  6921 |953919 |  88.0 |  2047M |  92 |1272 |  98k|  94k|  12k|  1 |5563 |3196 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1674.16/1679.54	c  1680s| 10600 |  6953 |958716 |  87.6 |  2048M |  92 |1272 |  98k|  94k|  12k|  0 |5563 |3212 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1688.62/1694.07	c  1694s| 10700 |  6997 |963969 |  87.3 |  2052M |  92 |1272 |  98k|  94k|  12k|  0 |5574 |3231 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1716.32/1721.83	c  1722s| 10800 |  7035 |969100 |  87.0 |  2054M |  92 |1272 |  98k|  94k|  12k|  1 |5604 |3264 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1719.11/1724.69	c  1725s| 10900 |  7085 |974614 |  86.7 |  2057M |  92 |1272 |  98k|  94k|  12k|  0 |5604 |3268 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1726.98/1732.56	c  1733s| 11000 |  7143 |980728 |  86.5 |  2059M |  92 |1272 |  98k|  94k|  12k|  1 |5623 |3300 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1759.68/1765.36	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1759.68/1765.36	c  1765s| 11100 |  7183 |985816 |  86.1 |  2062M |  92 |1272 |  98k|  94k|  12k|  0 |5672 |3328 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1773.03/1778.77	c  1779s| 11200 |  7229 |991180 |  85.8 |  2064M |  92 |1272 |  98k|  94k|  12k|  1 |5702 |3353 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1785.59/1791.38	c  1791s| 11300 |  7271 |996160 |  85.5 |  2066M |  92 |1272 |  98k|  94k|  12k|  2 |5721 |3368 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1807.23/1813.03	c  1813s| 11400 |  7305 |  1002k|  85.3 |  2068M |  92 |1272 |  98k|  94k|  12k|  1 |5762 |3399 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1810.21/1816.06	c  1816s| 11500 |  7345 |  1006k|  84.9 |  2068M |  92 |1272 |  98k|  94k|  12k|  1 |5773 |3411 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1819.77/1825.60	c  1826s| 11600 |  7379 |  1012k|  84.7 |  2071M |  92 |1272 |  98k|  94k|  12k|  3 |5775 |3435 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1842.69/1848.69	c  1849s| 11700 |  7417 |  1019k|  84.6 |  2073M |  92 |1272 |  98k|  94k|  13k|  0 |5805 |3471 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1874.40/1880.45	c  1880s| 11800 |  7487 |  1027k|  84.6 |  2074M |  92 |1272 |  98k|  94k|  13k|  1 |5828 |3500 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1886.46/1892.58	c  1893s| 11900 |  7547 |  1034k|  84.4 |  2075M |  92 |1272 |  98k|  94k|  13k|  0 |5835 |3533 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1902.42/1908.58	c  1909s| 12000 |  7589 |  1039k|  84.1 |  2076M |  92 |1272 |  98k|  94k|  13k|  1 |5842 |3548 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1930.34/1936.56	c  1937s| 12100 |  7623 |  1044k|  83.8 |  2135M |  92 |1272 |  98k|  94k|  13k|  1 |5852 |3565 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1940.82/1947.09	c  1947s| 12200 |  7659 |  1049k|  83.6 |  2137M |  92 |1272 |  98k|  94k|  13k|  0 |5868 |3591 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1952.57/1958.83	c  1959s| 12300 |  7693 |  1054k|  83.3 |  2137M |  92 |1272 |  98k|  94k|  13k|  1 |5884 |3615 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1979.99/1986.35	c  1986s| 12400 |  7739 |  1060k|  83.1 |  2149M |  92 |1272 |  98k|  94k|  13k|  2 |5888 |3621 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
1991.35/1997.74	c  1998s| 12500 |  7785 |  1066k|  83.0 |  2151M |  92 |1272 |  98k|  94k|  13k|  0 |5909 |3649 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2008.61/2015.04	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2008.61/2015.04	c  2015s| 12600 |  7853 |  1073k|  82.9 |  2153M |  92 |1272 |  98k|  94k|  14k|  0 |5933 |3688 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2018.07/2024.55	c  2025s| 12700 |  7927 |  1082k|  82.9 |  2157M |  92 |1272 |  98k|  94k|  14k|  1 |5990 |3732 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2022.75/2029.23	c  2029s| 12800 |  7999 |  1090k|  82.9 |  2160M |  92 |1272 |  98k|  94k|  14k|  0 |5990 |3745 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2025.84/2032.31	c  2032s| 12900 |  8065 |  1096k|  82.7 |  2162M |  92 |1272 |  98k|  94k|  14k|  1 |6000 |3749 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2041.89/2048.41	c  2048s| 13000 |  8153 |  1104k|  82.7 |  2165M |  92 |1272 |  98k|  94k|  14k|  1 |6007 |3778 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2046.87/2053.47	c  2053s| 13100 |  8217 |  1110k|  82.5 |  2168M |  92 |1272 |  98k|  94k|  14k|  1 |6016 |3783 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2050.76/2057.34	c  2057s| 13200 |  8279 |  1118k|  82.5 |  2169M |  92 |1272 |  98k|  94k|  14k|  1 |6021 |3791 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2054.74/2061.36	c  2061s| 13300 |  8347 |  1126k|  82.4 |  2173M |  92 |1272 |  98k|  94k|  14k|  0 |6026 |3806 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2058.13/2064.73	c  2065s| 13400 |  8403 |  1133k|  82.3 |  2174M |  92 |1272 |  98k|  94k|  14k|  1 |6026 |3809 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2085.15/2091.87	c  2092s| 13500 |  8445 |  1139k|  82.2 |  2178M |  92 |1272 |  98k|  94k|  14k|  1 |6030 |3809 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2102.70/2109.44	c  2109s| 13600 |  8489 |  1145k|  82.1 |  2179M |  92 |1272 |  98k|  94k|  14k|  1 |6037 |3810 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2105.60/2112.36	c  2112s| 13700 |  8543 |  1151k|  81.8 |  2180M |  92 |1272 |  98k|  94k|  14k|  1 |6037 |3810 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2129.93/2136.72	c  2137s| 13800 |  8593 |  1157k|  81.7 |  2183M |  92 |1272 |  98k|  94k|  14k|  1 |6041 |3811 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2136.62/2143.44	c  2143s| 13900 |  8631 |  1162k|  81.5 |  2185M |  92 |1272 |  98k|  94k|  14k|  0 |6044 |3811 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2141.21/2148.10	c  2148s| 14000 |  8675 |  1168k|  81.3 |  2185M |  92 |1272 |  98k|  94k|  14k|  1 |6044 |3811 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2145.49/2152.34	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2145.49/2152.34	c  2152s| 14100 |  8725 |  1175k|  81.2 |  2187M |  92 |1272 |  98k|  94k|  15k|  1 |6058 |3814 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2149.57/2156.46	c  2156s| 14200 |  8805 |  1181k|  81.1 |  2212M |  92 |1272 |  98k|  94k|  15k|  0 |6084 |3822 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2156.85/2163.76	c  2164s| 14300 |  8855 |  1188k|  81.0 |  2214M |  92 |1272 |  98k|  94k|  15k|  1 |6084 |3826 |-5.333333e+01 |-4.700000e+01 |  13.48%| unknown
2167.42/2174.37	c  2174s| 14400 |  8899 |  1194k|  80.9 |  2217M |  92 |1272 |  98k|  94k|  15k|  1 |6093 |3830 |-5.327778e+01 |-4.700000e+01 |  13.36%| unknown
2202.03/2209.02	c  2209s| 14500 |  8939 |  1205k|  81.1 |  2220M |  92 |1272 |  98k|  94k|  15k|  1 |6093 |3830 |-5.327778e+01 |-4.700000e+01 |  13.36%| unknown
2206.51/2213.58	c  2214s| 14600 |  8975 |  1211k|  80.9 |  2221M |  92 |1272 |  98k|  94k|  15k|  0 |6093 |3830 |-5.327778e+01 |-4.700000e+01 |  13.36%| unknown
2225.85/2232.99	c  2233s| 14700 |  9017 |  1217k|  80.8 |  2262M |  92 |1272 |  98k|  94k|  15k|  1 |6108 |3831 |-5.327778e+01 |-4.700000e+01 |  13.36%| unknown
2236.32/2243.48	c  2243s| 14800 |  9071 |  1224k|  80.7 |  2264M |  92 |1272 |  98k|  94k|  15k|  3 |6115 |3834 |-5.323333e+01 |-4.700000e+01 |  13.26%| unknown
2243.91/2251.05	c  2251s| 14900 |  9113 |  1229k|  80.5 |  2265M |  92 |1272 |  98k|  94k|  15k|  1 |6115 |3835 |-5.322222e+01 |-4.700000e+01 |  13.24%| unknown
2251.18/2258.30	c  2258s| 15000 |  9146 |  1235k|  80.4 |  2266M |  92 |1272 |  98k|  94k|  16k|  0 |6119 |3835 |-5.322222e+01 |-4.700000e+01 |  13.24%| unknown
2273.22/2280.42	c  2280s| 15100 |  9184 |  1241k|  80.2 |  2286M |  92 |1272 |  98k|  94k|  16k|  3 |6122 |3835 |-5.322222e+01 |-4.700000e+01 |  13.24%| unknown
2287.98/2295.22	c  2295s| 15200 |  9220 |  1247k|  80.1 |  2288M |  92 |1272 |  98k|  94k|  16k|  0 |6122 |3835 |-5.322222e+01 |-4.700000e+01 |  13.24%| unknown
2290.57/2297.86	c  2298s| 15300 |  9262 |  1252k|  79.9 |  2289M |  92 |1272 |  98k|  94k|  16k|  0 |6126 |3839 |-5.316667e+01 |-4.700000e+01 |  13.12%| unknown
2297.55/2304.84	c  2305s| 15400 |  9308 |  1256k|  79.7 |  2290M |  92 |1272 |  98k|  94k|  16k|  1 |6129 |3840 |-5.313333e+01 |-4.700000e+01 |  13.05%| unknown
2303.23/2310.50	c  2310s| 15500 |  9332 |  1260k|  79.4 |  2292M |  92 |1272 |  98k|  94k|  16k|  1 |6129 |3840 |-5.313333e+01 |-4.700000e+01 |  13.05%| unknown
2310.31/2317.61	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2310.31/2317.61	c  2318s| 15600 |  9372 |  1264k|  79.2 |  2292M |  92 |1272 |  98k|  94k|  16k|  0 |6142 |3842 |-5.313333e+01 |-4.700000e+01 |  13.05%| unknown
2313.90/2321.21	c  2321s| 15700 |  9408 |  1270k|  79.0 |  2295M |  92 |1272 |  98k|  94k|  16k|  1 |6142 |3855 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2342.32/2349.73	c  2350s| 15800 |  9444 |  1276k|  78.9 |  2296M |  92 |1272 |  98k|  94k|  16k|  0 |6149 |3856 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2370.15/2377.69	c  2378s| 15900 |  9502 |  1282k|  78.8 |  2297M |  92 |1272 |  98k|  94k|  16k|  1 |6168 |3857 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2382.52/2390.02	c  2390s| 16000 |  9556 |  1290k|  78.8 |  2346M |  92 |1272 |  98k|  94k|  16k|  0 |6178 |3885 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2388.69/2396.20	c  2396s| 16100 |  9588 |  1294k|  78.6 |  2347M |  92 |1272 |  98k|  94k|  17k|  1 |6178 |3887 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2402.57/2410.15	c  2410s| 16200 |  9634 |  1299k|  78.4 |  2348M |  92 |1272 |  98k|  94k|  17k|  0 |6203 |3902 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2409.45/2417.01	c  2417s| 16300 |  9688 |  1304k|  78.2 |  2350M |  92 |1272 |  98k|  94k|  17k|  1 |6232 |3921 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2423.09/2430.71	c  2431s| 16400 |  9722 |  1311k|  78.1 |  2350M |  92 |1272 |  98k|  94k|  17k|  2 |6282 |3950 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2431.87/2439.54	c  2440s| 16500 |  9758 |  1315k|  77.9 |  2351M |  92 |1272 |  98k|  94k|  17k|  0 |6282 |3969 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2440.65/2448.39	c  2448s| 16600 |  9810 |  1320k|  77.8 |  2355M |  92 |1272 |  98k|  94k|  17k|  1 |6304 |3979 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2450.21/2458.00	c  2458s| 16700 |  9858 |  1326k|  77.6 |  2384M |  92 |1272 |  98k|  94k|  17k|  0 |6304 |4002 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2451.91/2459.68	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2451.91/2459.68	c (run 1, node 16761) performing user restart
2451.91/2459.68	c 
2451.91/2459.70	c (restart) converted 130 cuts from the global cut pool into linear constraints
2451.91/2459.70	c 
2452.21/2459.90	c presolving:
2452.21/2459.94	c (round 1, fast)       0 del vars, 14 del conss, 0 add conss, 0 chg bounds, 34 chg sides, 3138 chg coeffs, 0 upgd conss, 0 impls, 94257 clqs
2452.51/2460.25	c (round 2, exhaustive) 0 del vars, 14 del conss, 2 add conss, 0 chg bounds, 45 chg sides, 3188 chg coeffs, 150 upgd conss, 0 impls, 94258 clqs
2452.90/2460.64	c (round 3, exhaustive) 0 del vars, 189 del conss, 3 add conss, 0 chg bounds, 45 chg sides, 3283 chg coeffs, 150 upgd conss, 0 impls, 94259 clqs
2453.32/2461.02	c (round 4, exhaustive) 0 del vars, 190 del conss, 3 add conss, 0 chg bounds, 45 chg sides, 4541 chg coeffs, 150 upgd conss, 0 impls, 94259 clqs
2453.60/2461.33	c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
2453.60/2461.33	c  0 deleted vars, 190 deleted constraints, 3 added constraints, 0 tightened bounds, 0 added holes, 45 changed sides, 4566 changed coefficients
2453.60/2461.33	c  0 implications, 94259 cliques
2453.60/2461.33	c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 98474 constraints
2453.60/2461.33	c      20 constraints of type <knapsack>
2453.60/2461.33	c   94259 constraints of type <setppc>
2453.60/2461.33	c       7 constraints of type <linear>
2453.60/2461.33	c    4188 constraints of type <logicor>
2453.60/2461.33	c transformed objective value is always integral (scale: 1)
2453.60/2461.33	c Presolving Time: 4.00
2453.90/2461.60	c transformed 90/100 original solutions to the transformed problem space
2453.90/2461.60	c 
2454.20/2461.99	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2454.20/2461.99	c  2462s|     1 |     0 |  1330k|     - |  2161M |   0 |1272 |  98k|  94k|   0 |  0 |6310 |4002 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2457.09/2464.86	c  2465s|     1 |     0 |  1330k|     - |  2162M |   0 |1272 |  98k|  94k|  12 |  1 |6310 |4002 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2460.68/2468.48	c  2468s|     1 |     0 |  1330k|     - |  2162M |   0 |1272 |  98k|  94k|  23 |  2 |6310 |4002 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2465.29/2473.07	c  2473s|     1 |     0 |  1330k|     - |  2162M |   0 |1272 |  98k|  94k|  35 |  3 |6310 |4002 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2467.17/2474.90	c  2475s|     1 |     0 |  1330k|     - |  2162M |   0 |1272 |  98k|  94k|  45 |  4 |6310 |4002 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2469.66/2477.43	c  2477s|     1 |     0 |  1330k|     - |  2162M |   0 |1272 |  98k|  94k|  59 |  5 |6310 |4002 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2472.65/2480.41	c  2480s|     1 |     0 |  1330k|     - |  2162M |   0 |1272 |  98k|  94k|  70 |  6 |6310 |4002 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2473.95/2481.72	c  2482s|     1 |     0 |  1331k|     - |  2162M |   0 |1272 |  98k|  94k|  78 |  7 |6310 |4002 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2477.04/2484.81	c  2485s|     1 |     0 |  1331k|     - |  2162M |   0 |1272 |  98k|  94k|  88 |  8 |6310 |4002 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2477.54/2485.32	c  2485s|     1 |     0 |  1331k|     - |  2173M |   0 |1272 |  98k|  94k| 102 |  9 |6310 |4002 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2479.63/2487.43	c  2487s|     1 |     0 |  1331k|     - |  2182M |   0 |1272 |  98k|  94k| 109 | 10 |6310 |4002 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2479.73/2487.56	c  2488s|     1 |     0 |  1331k|     - |  2191M |   0 |1272 |  98k|  94k| 118 | 11 |6310 |4002 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2484.52/2492.34	c  2492s|     1 |     2 |  1332k|     - |  2192M |   0 |1272 |  98k|  94k| 118 | 11 |6322 |4036 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2508.94/2516.80	c  2517s|   100 |   101 |  1340k|  77.6 |  2216M |  39 |1272 |  98k|  94k| 142 |  1 |6364 |4527 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2583.12/2591.24	c  2591s|   200 |   191 |  1351k|  77.8 |  2258M |  44 |1272 |  98k|  94k| 508 |  3 |6556 |4869 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2648.35/2656.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2648.35/2656.62	c  2657s|   300 |   281 |  1367k|  78.3 |  2316M |  48 |1272 |  98k|  94k| 817 |  1 |6661 |4982 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2684.83/2693.21	c  2693s|   400 |   377 |  1381k|  78.6 |  2380M |  48 |1272 |  98k|  94k|1136 |  1 |6796 |5159 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2704.76/2713.29	c  2713s|   500 |   463 |  1389k|  78.6 |  2383M |  48 |1272 |  99k|  94k|1158 |  1 |7097 |5587 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2754.62/2763.24	c  2763s|   600 |   555 |  1397k|  78.7 |  2440M |  48 |1272 |  99k|  94k|1436 |  1 |7201 |5766 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2791.11/2799.89	c  2800s|   700 |   639 |  1406k|  78.7 |  2442M |  49 |1272 |  99k|  94k|1611 |  1 |7279 |5812 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2822.63/2831.46	c  2831s|   800 |   721 |  1416k|  78.8 |  2443M |  49 |1272 |  99k|  94k|1802 |  1 |7523 |6010 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2832.40/2841.28	c  2841s|   900 |   799 |  1424k|  78.8 |  2446M |  49 |1272 |  99k|  94k|1818 |  1 |7631 |6151 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2842.67/2851.58	c  2852s|  1000 |   871 |  1431k|  78.8 |  2447M |  49 |1272 |  99k|  94k|1853 |  2 |7694 |6228 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2852.44/2861.35	c  2861s|  1100 |   963 |  1439k|  78.8 |  2449M |  49 |1272 |  99k|  94k|1874 |  1 |7773 |6362 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2860.71/2869.61	c  2870s|  1200 |  1047 |  1448k|  78.8 |  2450M |  49 |1272 |  99k|  94k|1881 |  1 |7841 |6453 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2872.97/2881.92	c  2882s|  1300 |  1105 |  1456k|  78.9 |  2471M |  49 |1272 |  99k|  94k|1914 |  1 |7894 |6490 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2878.17/2887.16	c  2887s|  1400 |  1193 |  1464k|  78.9 |  2472M |  49 |1272 |  99k|  94k|1944 |  1 |7958 |6512 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2885.53/2894.59	c  2895s|  1500 |  1281 |  1473k|  78.9 |  2474M |  49 |1272 | 100k|  94k|1950 |  1 |8007 |6580 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2893.41/2902.50	c  2902s|  1600 |  1373 |  1482k|  79.0 |  2476M |  49 |1272 | 100k|  94k|1953 |  1 |8105 |6666 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2898.59/2907.60	c  2908s|  1700 |  1461 |  1490k|  79.0 |  2477M |  49 |1272 | 100k|  94k|1959 |  1 |8186 |6695 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2910.97/2920.05	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2910.97/2920.05	c  2920s|  1800 |  1551 |  1499k|  79.1 |  2479M |  49 |1272 | 100k|  94k|1993 |  1 |8245 |6717 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2941.07/2950.21	c  2950s|  1900 |  1645 |  1509k|  79.1 |  2499M |  49 |1272 | 100k|  94k|2181 |  1 |8326 |6732 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2965.61/2974.85	c  2975s|  2000 |  1735 |  1518k|  79.2 |  2501M |  49 |1272 | 100k|  94k|2265 |  1 |8375 |6752 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2972.48/2981.74	c  2982s|  2100 |  1825 |  1525k|  79.2 |  2536M |  49 |1272 | 100k|  94k|2297 |  0 |8449 |6830 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2980.36/2989.69	c  2990s|  2200 |  1923 |  1538k|  79.4 |  2538M |  49 |1272 | 100k|  94k|2319 |  1 |8506 |6867 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2986.85/2996.19	c  2996s|  2300 |  2013 |  1549k|  79.6 |  2539M |  49 |1272 | 100k|  94k|2323 |  1 |8526 |6882 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
2992.83/3002.19	c  3002s|  2400 |  2097 |  1560k|  79.8 |  2542M |  49 |1272 | 100k|  94k|2332 |  1 |8543 |6889 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3020.33/3029.71	c  3030s|  2500 |  2189 |  1571k|  79.9 |  2545M |  49 |1272 | 100k|  94k|2465 |  1 |8592 |6890 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3058.73/3068.29	c  3068s|  2600 |  2271 |  1582k|  80.1 |  2546M |  49 |1272 | 100k|  94k|2697 |  1 |8600 |6894 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3086.26/3095.88	c  3096s|  2700 |  2355 |  1591k|  80.1 |  2559M |  49 |1272 | 100k|  94k|2951 |  1 |8618 |6896 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3110.59/3120.22	c  3120s|  2800 |  2431 |  1602k|  80.3 |  2569M |  49 |1272 | 100k|  94k|3285 |  0 |8671 |6898 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3120.86/3130.54	c  3131s|  2900 |  2531 |  1612k|  80.4 |  2571M |  49 |1272 | 100k|  94k|3328 |  1 |8764 |7012 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3128.24/3137.93	c  3138s|  3000 |  2629 |  1622k|  80.5 |  2582M |  49 |1272 | 100k|  94k|3357 |  1 |8885 |7047 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3172.02/3181.86	c  3182s|  3100 |  2727 |  1633k|  80.6 |  2585M |  49 |1272 | 100k|  94k|3584 |  1 |8994 |7086 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3203.42/3213.33	c  3213s|  3200 |  2821 |  1643k|  80.7 |  2652M |  49 |1272 | 100k|  94k|3792 |  1 |9091 |7115 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3212.90/3222.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3212.90/3222.86	c  3223s|  3300 |  2913 |  1654k|  80.9 |  2654M |  49 |1272 | 100k|  94k|3873 |  1 |9193 |7135 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3218.28/3228.27	c  3228s|  3400 |  3005 |  1662k|  80.8 |  2656M |  49 |1272 | 100k|  94k|3887 |  1 |9234 |7164 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3222.08/3232.11	c  3232s|  3500 |  3093 |  1668k|  80.7 |  2658M |  49 |1272 | 100k|  94k|3897 |  1 |9274 |7170 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3276.03/3286.13	c  3286s|  3600 |  3169 |  1677k|  80.8 |  2659M |  49 |1272 | 100k|  94k|4286 |  1 |9320 |7175 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3284.59/3294.78	c  3295s|  3700 |  3261 |  1686k|  80.8 |  2661M |  49 |1272 | 101k|  94k|4352 |  1 |9403 |7220 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3292.37/3302.54	c  3303s|  3800 |  3353 |  1694k|  80.9 |  2662M |  49 |1272 | 101k|  94k|4404 |  1 |9460 |7245 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3298.16/3308.37	c  3308s|  3900 |  3443 |  1704k|  81.0 |  2665M |  49 |1272 | 101k|  94k|4415 |  1 |9529 |7259 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3322.49/3332.72	c  3333s|  4000 |  3525 |  1716k|  81.1 |  2666M |  49 |1272 | 101k|  94k|4633 |  1 |9622 |7264 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3337.14/3347.40	c  3347s|  4100 |  3613 |  1726k|  81.2 |  2668M |  49 |1272 | 101k|  94k|4716 |  1 |9684 |7276 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3353.20/3363.55	c  3364s|  4200 |  3701 |  1736k|  81.3 |  2670M |  49 |1272 | 101k|  94k|4811 |  1 |9766 |7283 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3365.47/3375.80	c  3376s|  4300 |  3785 |  1746k|  81.4 |  2671M |  49 |1272 | 101k|  94k|4869 |  1 |9818 |7305 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3376.84/3387.22	c  3387s|  4400 |  3871 |  1755k|  81.4 |  2673M |  49 |1272 | 101k|  94k|4925 |  1 |9860 |7314 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3381.92/3392.33	c  3392s|  4500 |  3953 |  1764k|  81.5 |  2674M |  49 |1272 | 101k|  94k|4960 |  0 |9923 |7314 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3396.07/3406.53	c  3407s|  4600 |  4019 |  1773k|  81.5 |  2676M |  49 |1272 | 101k|  94k|5053 |  5 |9955 |7315 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3412.73/3423.21	c  3423s|  4700 |  4077 |  1784k|  81.6 |  2678M |  49 |1272 | 101k|  94k|5250 |  0 |9964 |7315 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3436.48/3447.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3436.48/3447.06	c  3447s|  4800 |  4129 |  1796k|  81.8 |  2679M |  49 |1272 | 101k|  94k|5590 |  0 |9992 |7315 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3451.82/3462.46	c  3462s|  4900 |  4185 |  1805k|  81.8 |  2680M |  49 |1272 | 101k|  94k|5830 |  1 |  10k|7316 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3488.03/3498.79	c  3499s|  5000 |  4255 |  1814k|  81.9 |  2681M |  49 |1272 | 101k|  94k|6046 |  1 |  10k|7320 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3493.42/3504.19	c  3504s|  5100 |  4341 |  1822k|  81.9 |  2684M |  52 |1272 | 101k|  94k|6064 |  1 |  10k|7327 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3523.93/3534.73	c  3535s|  5200 |  4413 |  1829k|  81.9 |  2685M |  52 |1272 | 101k|  94k|6214 |  0 |  10k|7332 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3531.40/3542.21	c  3542s|  5300 |  4475 |  1835k|  81.7 |  2687M |  52 |1272 | 101k|  94k|6250 |  0 |  10k|7348 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3538.88/3549.74	c  3550s|  5400 |  4553 |  1841k|  81.7 |  2689M |  52 |1272 | 101k|  94k|6285 |  1 |  10k|7360 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3548.16/3559.10	c  3559s|  5500 |  4627 |  1848k|  81.6 |  2691M |  52 |1272 | 101k|  94k|6320 |  0 |  10k|7365 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3551.54/3562.49	c  3562s|  5600 |  4685 |  1854k|  81.5 |  2692M |  52 |1272 | 101k|  94k|6332 |  1 |  10k|7375 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3570.40/3581.39	c  3581s|  5700 |  4773 |  1862k|  81.5 |  2731M |  52 |1272 | 101k|  94k|6403 |  1 |  10k|7377 |-5.300000e+01 |-4.700000e+01 |  12.77%| unknown
3586.07/3597.01	c 
3586.07/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3586.07/3597.01	c Solving Time (sec) : 3596.99
3586.07/3597.01	c Solving Nodes      : 5781 (total of 22542 nodes in 2 runs)
3586.07/3597.01	c Primal Bound       : -4.70000000000000e+01 (612 solutions)
3586.07/3597.01	c Dual Bound         : -5.30000000000000e+01
3586.07/3597.01	c Gap                : 12.77 %
3586.07/3597.03	s SATISFIABLE
3586.07/3597.03	v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 
3586.07/3597.03	v -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 
3586.07/3597.03	v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 
3586.07/3597.03	v -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 
3586.07/3597.03	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 
3586.07/3597.03	v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 
3586.07/3597.03	v -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 
3586.07/3597.03	v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 
3586.07/3597.03	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 
3586.07/3597.03	v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 
3586.07/3597.03	v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 
3586.07/3597.03	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 
3586.07/3597.03	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
3586.07/3597.03	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 
3586.07/3597.03	v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 
3586.07/3597.03	v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 
3586.07/3597.03	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 
3586.07/3597.03	v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 
3586.07/3597.03	v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 
3586.07/3597.03	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 
3586.07/3597.03	v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 
3586.07/3597.03	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 
3586.07/3597.03	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 
3586.07/3597.03	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 
3586.07/3597.03	v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 
3586.07/3597.03	v -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 
3586.07/3597.03	v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 
3586.07/3597.03	v -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 
3586.07/3597.03	v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 
3586.07/3597.03	v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 
3586.07/3597.03	v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 
3586.07/3597.03	v -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 
3586.07/3597.03	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 
3586.07/3597.03	v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 
3586.07/3597.03	v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 
3586.07/3597.03	v x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 
3586.07/3597.03	v x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 
3586.07/3597.03	v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 
3586.07/3597.03	v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 
3586.07/3597.03	v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 
3586.07/3597.03	v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 
3586.07/3597.03	v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 
3586.07/3597.03	v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 
3586.07/3597.03	v -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 
3586.07/3597.03	v -x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 
3586.07/3597.03	v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 
3586.07/3597.03	v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 
3586.07/3597.03	v -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 
3586.07/3597.03	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 
3586.07/3597.03	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 
3586.07/3597.03	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 
3586.07/3597.03	v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 
3586.07/3597.03	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 
3586.07/3597.03	v -x1112 -x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 
3586.07/3597.03	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 
3586.07/3597.03	v x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 
3586.07/3597.03	v -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 
3586.07/3597.03	v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 -x1201 
3586.07/3597.03	v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 
3586.07/3597.03	v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 
3586.07/3597.03	v -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 
3586.07/3597.03	v x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 
3586.07/3597.03	c SCIP Status        : solving was interrupted [time limit reached]
3586.07/3597.03	c Total Time         :    3596.99
3586.07/3597.03	c   solving          :    3596.99
3586.07/3597.03	c   presolving       :       4.00 (included in solving)
3586.07/3597.03	c   reading          :       0.42 (included in solving)
3586.07/3597.03	c   copying          :       2.80 (24 #copies) (minimal 0.10, maximal 0.14, average 0.12)
3586.07/3597.03	c Original Problem   :
3586.07/3597.03	c   Problem name     : HOME/instance-4484824-1751297464.opb
3586.07/3597.03	c   Variables        : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.07/3597.03	c   Constraints      : 94127 initial, 94127 maximal
3586.07/3597.03	c   Objective        : minimize, 1272 non-zeros (abs.min = 1, abs.max = 1)
3586.07/3597.03	c Presolved Problem  :
3586.07/3597.03	c   Problem name     : t_HOME/instance-4484824-1751297464.opb
3586.07/3597.03	c   Variables        : 1272 (1272 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.07/3597.03	c   Constraints      : 98474 initial, 101690 maximal
3586.07/3597.03	c   Objective        : minimize, 1272 non-zeros (abs.min = 1, abs.max = 1)
3586.07/3597.03	c   Nonzeros         : 327032 constraint, 190120 clique table
3586.07/3597.03	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.07/3597.03	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   domcol           :       0.06       0.00      2          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   dualsparsify     :       0.69       0.00      1          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   gateextraction   :       0.21       0.00      4          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   implics          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   milp             :       0.50       0.00      1          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   sparsify         :       0.06       0.00      1          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   trivial          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   dualfix          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   probing          :       0.57       0.00      1          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   pseudoobj        :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   symmetry         :       0.06       0.00      1          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   vbounds          :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   knapsack         :       0.13       0.00     13          0          0          0          0          0          1          3         11        129
3586.07/3597.03	c   setppc           :       0.38       0.01     16          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   linear           :       0.45       0.05     11          0          0          0          0          0          0          0         34       3138
3586.07/3597.03	c   logicor          :       0.73       0.03     12          0          0          0          0          0        189          0          0       1299
3586.07/3597.03	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   components       :       0.05       0.00      2          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3586.07/3597.03	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.07/3597.03	c   benderslp        :          0          0          0          0      18980          0          0       3638          0          0          0          0          0          0          0
3586.07/3597.03	c   integral         :          0          0          0          0      18980          0          0       3638          0          0        701          0          0       1834      37256
3586.07/3597.03	c   knapsack         :         20+        25          0      43665          0          0          0          0       3990          6       3899          0          0          0          0
3586.07/3597.03	c   setppc           :      94259      94259         59     141410          0          0          0       3632     446290          6     585914          0          0          0          0
3586.07/3597.03	c   linear           :          7+        25          0      28438          0          0          0          2          5         10          0          0          0          0          0
3586.07/3597.03	c   logicor          :       4188+      7381         11      33637          0          0          0          0        126        283        104          0          0          0          0
3586.07/3597.03	c   benders          :          0          0          0          0          0          0          0        776          0          0          0          0          0          0          0
3586.07/3597.03	c   fixedvar         :          0          0          0          0          0          0          0        776          0          0          0          0          0          0          0
3586.07/3597.03	c   countsols        :          0          0          0          0          0          0          0        776          0          0          0          0          0          0          0
3586.07/3597.03	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.07/3597.03	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   integral         :     379.78       0.00       0.00       0.00     379.77       0.00       0.00       0.01       0.00       0.00
3586.07/3597.03	c   knapsack         :       0.30       0.00       0.00       0.23       0.00       0.00       0.00       0.00       0.00       0.07
3586.07/3597.03	c   setppc           :      21.24       0.01       0.23      14.53       0.00       0.00       0.00       2.43       0.10       3.95
3586.07/3597.03	c   linear           :       0.12       0.05       0.00       0.06       0.00       0.00       0.00       0.01       0.00       0.01
3586.07/3597.03	c   logicor          :       1.14       0.03       0.02       0.89       0.00       0.00       0.00       0.00       0.00       0.20
3586.07/3597.03	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   components       :       0.02       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.01
3586.07/3597.03	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.07/3597.03	c   dualfix          :          3          0          0          0
3586.07/3597.03	c   genvbounds       :          0          0          0          0
3586.07/3597.03	c   nlobbt           :          0          0          0          0
3586.07/3597.03	c   obbt             :          0          0          0          0
3586.07/3597.03	c   probing          :          0          0          0          0
3586.07/3597.03	c   pseudoobj        :      59203          0          0          0
3586.07/3597.03	c   redcost          :      26153          0          0        242
3586.07/3597.03	c   rootredcost      :          4          0          0          0
3586.07/3597.03	c   symmetry         :          0          0          0          0
3586.07/3597.03	c   vbounds          :      40718          0          0          0
3586.07/3597.03	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.07/3597.03	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   genvbounds       :       0.04       0.00       0.00       0.03       0.00       0.01
3586.07/3597.03	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   probing          :       0.57       0.00       0.57       0.00       0.00       0.00
3586.07/3597.03	c   pseudoobj        :       3.71       0.00       0.00       3.70       0.00       0.00
3586.07/3597.03	c   redcost          :       0.51       0.00       0.00       0.51       0.00       0.00
3586.07/3597.03	c   rootredcost      :       0.03       0.00       0.00       0.03       0.00       0.01
3586.07/3597.03	c   symmetry         :       0.11       0.00       0.06       0.04       0.00       0.01
3586.07/3597.03	c   vbounds          :       0.08       0.00       0.01       0.06       0.00       0.01
3586.07/3597.03	c Symmetry           :
3586.07/3597.03	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3586.07/3597.03	c   orbital reduction:          0 reductions applied,          0 cutoffs
3586.07/3597.03	c   lexicographic red:          0 reductions applied,          0 cutoffs
3586.07/3597.03	c   shadow tree time :       0.00 s
3586.07/3597.03	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.07/3597.03	c   propagation      :       0.00        305        188          -        435       79.7          0        0.0          -          -          -
3586.07/3597.03	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.07/3597.03	c   bound exceed. LP :       8.42       2792       1683          -      26314      200.9          0        0.0        232      171.4       5342
3586.07/3597.03	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.07/3597.03	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.07/3597.03	c   applied globally :       2.60          -          -          0      10212       34.2          -          -        232          -          -
3586.07/3597.03	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3586.07/3597.03	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.07/3597.03	c   cut pool         :       3.51          -       6234        116          -          -      98868     169423          -          -          -          -          -    (maximal pool size:       5013)
3586.07/3597.03	c   aggregation      :      10.23       0.00       2026         59          0          0         20         29          0          3          3          0          0
3586.07/3597.03	c   > cmir           :          -          -          -          -          -          -          -         20          0          3          3          0          -
3586.07/3597.03	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.07/3597.03	c   > knapsackcover  :          -          -          -          -          -          -          -          9          0          0          0          0          -
3586.07/3597.03	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   clique           :       0.70       0.00         59         59          0          0        541       3735          0        985        985          0          0
3586.07/3597.03	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   gomory           :    2238.17       0.00       1889         20          0          0      90648     130471       1109       7104       7092         12          0
3586.07/3597.03	c   > gomorymi       :          -          -          -          -          -          -          -      44046        567        540        533          7          -
3586.07/3597.03	c   > strongcg       :          -          -          -          -          -          -          -      86425        542       6564       6559          5          -
3586.07/3597.03	c   impliedbounds    :       2.85       0.00       2027         59          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   mcf              :       0.07       0.00          2          2          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   multilinear      :       0.00       0.00        667         59          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   rapidlearning    :       1.67       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   rlt              :       0.00       0.00        735         20          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   zerohalf         :      12.87       0.00       1899         31          0          0       9161      35188        394      15698      15554        144          0
3586.07/3597.03	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.07/3597.03	c   hybrid           :       0.13       0.00       3333         59      23790          0     147136        846          0       3786
3586.07/3597.03	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.07/3597.03	c   problem variables:       0.00          -          0          0
3586.07/3597.03	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.07/3597.03	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   relpscost        :     379.74       0.00      18980          0          0          0        701          0       1852      37256
3586.07/3597.03	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.07/3597.03	c   LP solutions     :       0.00          -          -          0          0
3586.07/3597.03	c   relax solutions  :       0.00          -          -          0          0
3586.07/3597.03	c   pseudo solutions :       0.00          -          -          0          0
3586.07/3597.03	c   strong branching :       1.11          -          -         68          0
3586.07/3597.03	c   actconsdiving    :       0.00       0.00          0          0          0
3586.07/3597.03	c   adaptivediving   :       7.86       0.00        136         10          0
3586.07/3597.03	c   alns             :       2.05       0.00          6          0          0
3586.07/3597.03	c   bound            :       0.00       0.00          0          0          0
3586.07/3597.03	c   clique           :       0.24       0.00          1          1          1
3586.07/3597.03	c   coefdiving       :       0.00       0.00          0          0          0
3586.07/3597.03	c   completesol      :       0.00       0.00          0          0          0
3586.07/3597.03	c   conflictdiving   :      17.06       0.00        174         11          0
3586.07/3597.03	c   crossover        :       2.62       0.00          8          3          0
3586.07/3597.03	c   dins             :       0.00       0.00          0          0          0
3586.07/3597.03	c   distributiondivin:      28.42       0.00        174          1          0
3586.07/3597.03	c   dps              :       0.00       0.00          0          0          0
3586.07/3597.03	c   dualval          :       0.00       0.00          0          0          0
3586.07/3597.03	c   farkasdiving     :       0.00       0.00          0          0          0
3586.07/3597.03	c   feasjump         :       0.00       0.00          0          0          0
3586.07/3597.03	c   feaspump         :       0.00       0.00          0          0          0
3586.07/3597.03	c   fixandinfer      :       0.00       0.00          0          0          0
3586.07/3597.03	c   fracdiving       :      12.52       0.00        174          2          0
3586.07/3597.03	c   gins             :       0.14       0.00          0          0          0
3586.07/3597.03	c   guideddiving     :      11.34       0.00        174          2          0
3586.07/3597.03	c   indcoefdiving    :       0.00       0.00          0          0          0
3586.07/3597.03	c   indicator        :       0.01       0.00          0          0          0
3586.07/3597.03	c   indicatordiving  :       0.00       0.00          0          0          0
3586.07/3597.03	c   indoneopt        :       0.01       0.00          0          0          0
3586.07/3597.03	c   indrounding      :       0.00       0.00          0          0          0
3586.07/3597.03	c   indtwoopt        :       0.00       0.00          0          0          0
3586.07/3597.03	c   intdiving        :       0.00       0.00          0          0          0
3586.07/3597.03	c   intshifting      :       0.00       0.00          0          0          0
3586.07/3597.03	c   linesearchdiving :      15.62       0.00        174         11          1
3586.07/3597.03	c   localbranching   :       0.00       0.00          0          0          0
3586.07/3597.03	c   locks            :       0.11       0.00          1          0          0
3586.07/3597.03	c   lpface           :       0.02       0.00          0          0          0
3586.07/3597.03	c   mpec             :       0.00       0.00          0          0          0
3586.07/3597.03	c   multistart       :       0.00       0.00          0          0          0
3586.07/3597.03	c   mutation         :       0.00       0.00          0          0          0
3586.07/3597.03	c   nlpdiving        :       0.00       0.00          0          0          0
3586.07/3597.03	c   objpscostdiving  :      30.50       0.00         87        190          0
3586.07/3597.03	c   octane           :       0.00       0.00          0          0          0
3586.07/3597.03	c   ofins            :       0.01       0.00          0          0          0
3586.07/3597.03	c   oneopt           :       0.03       0.00          3          0          0
3586.07/3597.03	c   padm             :       0.00       0.00          0          0          0
3586.07/3597.03	c   proximity        :       0.00       0.00          0          0          0
3586.07/3597.03	c   pscostdiving     :      20.95       0.00        174         54          2
3586.07/3597.03	c   randrounding     :       4.00       0.00       2939         49          0
3586.07/3597.03	c   rens             :       3.95       0.00          2          1          0
3586.07/3597.03	c   reoptsols        :       0.00       0.00          0          0          0
3586.07/3597.03	c   repair           :       0.00       0.00          0          0          0
3586.07/3597.03	c   rins             :       3.53       0.00          8          6          0
3586.07/3597.03	c   rootsoldiving    :      26.32       0.00         87        118          0
3586.07/3597.03	c   rounding         :       7.80       0.00       2059          0          0
3586.07/3597.03	c   scheduler        :       0.00       0.00          0          0          0
3586.07/3597.03	c   shiftandpropagate:       0.00       0.00          0          0          0
3586.07/3597.03	c   shifting         :       4.42       0.00        926          0          0
3586.07/3597.03	c   simplerounding   :       0.32       0.00      22312         10          0
3586.07/3597.03	c   smallcard        :       0.00       0.00          0          0          0
3586.07/3597.03	c   subnlp           :       0.02       0.00          0          0          0
3586.07/3597.03	c   trivial          :       0.01       0.00          4          1          1
3586.07/3597.03	c   trivialnegation  :       0.00       0.00          0          0          0
3586.07/3597.03	c   trustregion      :       0.00       0.00          0          0          0
3586.07/3597.03	c   trysol           :       0.01       0.00          0          0          0
3586.07/3597.03	c   twoopt           :       0.00       0.00          0          0          0
3586.07/3597.03	c   undercover       :       0.00       0.00          0          0          0
3586.07/3597.03	c   vbounds          :       0.31       0.00          2          1          1
3586.07/3597.03	c   veclendiving     :       9.92       0.00        174          0          0
3586.07/3597.03	c   zeroobj          :       0.00       0.00          0          0          0
3586.07/3597.03	c   zirounding       :      14.35       0.00       3651         73          0
3586.07/3597.03	c   other solutions  :          -          -          -          0          -
3586.07/3597.03	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.07/3597.03	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
3586.07/3597.03	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
3586.07/3597.03	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
3586.07/3597.03	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
3586.07/3597.03	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
3586.07/3597.03	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
3586.07/3597.03	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
3586.07/3597.03	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
3586.07/3597.03	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
3586.07/3597.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.07/3597.03	c   primal LP        :      11.08       1672          0       0.00       0.00      11.08       1672
3586.07/3597.03	c   dual LP          :     475.04      26495    1434220      54.83    3019.16       2.57        337
3586.07/3597.03	c   lex dual LP      :       0.00          0          0       0.00          -
3586.07/3597.03	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.07/3597.03	c   resolve instable :       0.00          0          0       0.00          -
3586.07/3597.03	c   diving/probing LP:     147.31       8783     434508      49.47    2949.62
3586.07/3597.03	c   strong branching :     206.98       7378     582841      79.00    2815.93          -          -       1525
3586.07/3597.03	c     (at root node) :          -         55       6680     121.45          -
3586.07/3597.03	c   conflict analysis:       2.75        546       5342       9.78    1940.56
3586.07/3597.03	c B&B Tree           :
3586.07/3597.03	c   number of runs   :          2
3586.07/3597.03	c   nodes            :       5781 (5305 internal, 476 leaves)
3586.07/3597.03	c   feasible leaves  :          0
3586.07/3597.03	c   infeas. leaves   :          6
3586.07/3597.03	c   objective leaves :        469
3586.07/3597.03	c   nodes (total)    :      22542 (18628 internal, 3914 leaves)
3586.07/3597.03	c   nodes left       :       4831
3586.07/3597.03	c   max depth        :         52
3586.07/3597.03	c   max depth (total):         92
3586.07/3597.03	c   backtracks       :       1085 (18.8%)
3586.07/3597.03	c   early backtracks :          0 (0.0%)
3586.07/3597.03	c   nodes exc. ref.  :          0 (0.0%)
3586.07/3597.03	c   delayed cutoffs  :          0
3586.07/3597.03	c   repropagations   :         24 (18 domain reductions, 0 cutoffs)
3586.07/3597.03	c   avg switch length:       4.95
3586.07/3597.03	c   switching time   :      49.59
3586.07/3597.03	c Root Node          :
3586.07/3597.03	c   First LP value   : -6.36000000000000e+02
3586.07/3597.03	c   First LP Iters   :       1272 (1954.78 Iter/sec)
3586.07/3597.03	c   First LP Time    :       0.65
3586.07/3597.03	c   Final Dual Bound : -5.30000000000000e+01
3586.07/3597.03	c   Final Root Iters :      32259
3586.07/3597.03	c   Root LP Estimate : -4.68844514346706e+01
3586.07/3597.03	c Solution           :
3586.07/3597.03	c   Solutions found  :        612 (6 improvements)
3586.07/3597.03	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.65 seconds, depth 0, found by <trivial>)
3586.07/3597.03	c   Gap First Sol.   :   infinite
3586.07/3597.03	c   Gap Last Sol.    :      13.48 %
3586.07/3597.03	c   Primal Bound     : -4.70000000000000e+01   (in run 1, after 945 nodes, 481.24 seconds, depth 49, found by <linesearchdiving>)
3586.07/3597.03	c   Dual Bound       : -5.30000000000000e+01
3586.07/3597.03	c   Gap              :      12.77 %
3586.07/3597.03	c Integrals          :      Total       Avg%
3586.07/3597.03	c   primal-dual      :   47327.00      13.16
3586.07/3597.03	c   primal-ref       :          -          - (not evaluated)
3586.07/3597.03	c   dual-ref         :          -          - (not evaluated)
3586.35/3597.31	c Time complete: 3586.37.

Verifier Data 

OK	-47

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (61401 MiB free)
  memory of node 1: 64507 MiB (61826 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=43221, runsolver pid=43218

[startup+0.100076 s]*
/proc/loadavg: 4.10 4.11 4.09 5/251 43222
/proc/meminfo: memFree=126170492/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=55068 memory=27264 CPUtime=0.09 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 3946 0 0 0 8 1 0 0 20 0 1 0 45426150 56389632 6816 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 13767 6816 3200 3530 0 5218 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55068 KiB
Current children cumulated memory: 27264 KiB

[startup+0.213292 s]*
/proc/loadavg: 4.10 4.11 4.09 5/251 43222
/proc/meminfo: memFree=126170492/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=67412 memory=39296 CPUtime=0.2 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 6955 0 0 0 18 2 0 0 20 0 1 0 45426150 69029888 9824 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 16853 9824 3200 3530 0 8304 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67412 KiB
Current children cumulated memory: 39296 KiB

[startup+0.313203 s]*
/proc/loadavg: 4.10 4.11 4.09 5/251 43222
/proc/meminfo: memFree=126166488/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=79552 memory=50944 CPUtime=0.3 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 9859 0 0 0 27 3 0 0 20 0 1 0 45426150 81461248 12736 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 19888 12736 3200 3530 0 11339 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79552 KiB
Current children cumulated memory: 50944 KiB

[startup+0.700317 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 43222
/proc/meminfo: memFree=126130468/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=158132 memory=129648 CPUtime=0.67 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 29588 0 0 0 58 9 0 0 20 0 1 0 45426150 161927168 32412 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 39533 32412 3552 3530 0 30984 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 158132 KiB
Current children cumulated memory: 129648 KiB

[startup+1.50033 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 43222
/proc/meminfo: memFree=126065956/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=190836 memory=161748 CPUtime=1.48 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 45051 0 0 0 134 14 0 0 20 0 1 0 45426150 195416064 40437 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 47709 40437 3648 3530 0 39160 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 190836 KiB
Current children cumulated memory: 161748 KiB

[startup+3.11293 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 43222
/proc/meminfo: memFree=125850548/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=428856 memory=358232 CPUtime=3.08 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 62441 0 0 0 287 21 0 0 20 0 1 0 45426150 439148544 89558 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 107214 89558 3712 3530 0 98665 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 428856 KiB
Current children cumulated memory: 358232 KiB

[startup+6.30024 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 43222
/proc/meminfo: memFree=125704888/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=586008 memory=499548 CPUtime=6.26 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 96758 0 0 0 599 27 0 0 20 0 1 0 45426150 600072192 124887 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 146502 124887 3904 3530 0 137953 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 586008 KiB
Current children cumulated memory: 499548 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.11 4.09 5/250 43222
/proc/meminfo: memFree=125704548/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=606236 memory=503624 CPUtime=12.64 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 97276 0 0 0 1237 27 0 0 20 0 1 0 45426150 620785664 125906 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 151559 125906 3904 3530 0 143010 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 606236 KiB
Current children cumulated memory: 503624 KiB

[startup+25.5003 s]
/proc/loadavg: 4.06 4.10 4.09 5/250 43222
/proc/meminfo: memFree=125684204/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=701820 memory=518096 CPUtime=25.39 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 99863 0 0 0 2512 27 0 0 20 0 1 0 45426150 718663680 129524 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 175455 129524 3904 3530 0 166906 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 701820 KiB
Current children cumulated memory: 518096 KiB

[startup+51.1125 s]
/proc/loadavg: 4.04 4.09 4.08 5/250 43222
/proc/meminfo: memFree=125542852/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=883756 memory=639440 CPUtime=50.93 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 130441 0 0 0 5061 32 0 0 20 0 1 0 45426150 904966144 159860 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 220939 159860 3904 3530 0 212390 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 883756 KiB
Current children cumulated memory: 639440 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.12 4.10 5/250 43224
/proc/meminfo: memFree=125516580/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=934792 memory=646196 CPUtime=101.97 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 131588 0 0 0 10165 32 0 0 20 0 1 0 45426150 957227008 161549 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 233698 161549 4064 3530 0 225149 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 934792 KiB
Current children cumulated memory: 646196 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 43274
/proc/meminfo: memFree=126188048/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=1038544 memory=716508 CPUtime=161.77 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 148683 0 0 0 16142 35 0 0 20 0 1 0 45426150 1063469056 179127 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 259636 179127 4064 3530 0 251087 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1038544 KiB
Current children cumulated memory: 716508 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 43280
/proc/meminfo: memFree=125990332/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=1055348 memory=723676 CPUtime=221.6 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 150479 0 0 0 22125 35 0 0 20 0 1 0 45426150 1080676352 180919 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 263837 180919 4064 3530 0 255288 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1055348 KiB
Current children cumulated memory: 723676 KiB

[startup+282.3 s]
/proc/loadavg: 4.18 4.12 4.09 5/251 43283
/proc/meminfo: memFree=125910920/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=1091100 memory=731484 CPUtime=281.41 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 152441 0 0 0 28105 36 0 0 20 0 1 0 45426150 1117286400 182871 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 272775 182871 4064 3530 0 264226 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 1091100 KiB
Current children cumulated memory: 731484 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/251 43285
/proc/meminfo: memFree=125740744/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=1158832 memory=756424 CPUtime=341.2 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 154079 0 0 0 34084 36 0 0 20 0 1 0 45426150 1186643968 189106 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 289708 189106 4064 3530 0 281159 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 1158832 KiB
Current children cumulated memory: 756424 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 43287
/proc/meminfo: memFree=125516744/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=1213580 memory=785016 CPUtime=401 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 155621 0 0 0 40063 37 0 0 20 0 1 0 45426150 1242705920 196254 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 303395 196254 4064 3530 0 294846 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 1213580 KiB
Current children cumulated memory: 785016 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/253 43292
/proc/meminfo: memFree=125416740/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=1256304 memory=810516 CPUtime=460.82 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 156990 0 0 0 46044 38 0 0 20 0 1 0 45426150 1286455296 202629 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 314076 202629 4064 3530 0 305527 0
Current children cumulated CPU time: 460.82 s

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

/proc/loadavg: 4.15 4.24 4.19 5/250 43478
/proc/meminfo: memFree=122811420/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2857924 memory=2144636 CPUtime=3212.4 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 370318 0 0 0 321157 83 0 0 20 0 1 0 45426150 2926514176 536159 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 714481 536159 4064 3530 0 705932 0
Current children cumulated CPU time: 3212.4 s
Current children cumulated vsize: 2857924 KiB
Current children cumulated memory: 2144636 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.21 4.18 5/252 43486
/proc/meminfo: memFree=122737056/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2857924 memory=2158080 CPUtime=3272.23 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 370333 0 0 0 327140 83 0 0 20 0 1 0 45426150 2926514176 539520 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 714481 539520 4064 3530 0 705932 0
Current children cumulated CPU time: 3272.23 s
Current children cumulated vsize: 2857924 KiB
Current children cumulated memory: 2158080 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.20 4.18 5/252 43488
/proc/meminfo: memFree=122691188/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2857924 memory=2162176 CPUtime=3332.06 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 370344 0 0 0 333122 84 0 0 20 0 1 0 45426150 2926514176 540544 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 714481 540544 4064 3530 0 705932 0
Current children cumulated CPU time: 3332.06 s
Current children cumulated vsize: 2857924 KiB
Current children cumulated memory: 2162176 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.18 4.17 5/253 43536
/proc/meminfo: memFree=124125632/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2857924 memory=2172416 CPUtime=3391.89 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 370355 0 0 0 339105 84 0 0 20 0 1 0 45426150 2926514176 543104 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 714481 543104 4064 3530 0 705932 0
Current children cumulated CPU time: 3391.89 s
Current children cumulated vsize: 2857924 KiB
Current children cumulated memory: 2172416 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/253 43538
/proc/meminfo: memFree=123947144/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2857924 memory=2178564 CPUtime=3451.72 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 370369 0 0 0 345088 84 0 0 20 0 1 0 45426150 2926514176 544641 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 714481 544641 4064 3530 0 705932 0
Current children cumulated CPU time: 3451.72 s
Current children cumulated vsize: 2857924 KiB
Current children cumulated memory: 2178564 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.15 4.17 5/253 43541
/proc/meminfo: memFree=123869132/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2857924 memory=2191124 CPUtime=3511.56 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 370472 0 0 0 351072 84 0 0 20 0 1 0 45426150 2926514176 547781 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 714481 547781 4064 3530 0 705932 0
Current children cumulated CPU time: 3511.56 s
Current children cumulated vsize: 2857924 KiB
Current children cumulated memory: 2191124 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.14 4.16 5/251 43544
/proc/meminfo: memFree=123750084/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2895340 memory=2202876 CPUtime=3571.39 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 371716 0 0 0 357054 85 0 0 20 0 1 0 45426150 2964828160 550719 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 723835 550719 4064 3530 0 715286 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 2895340 KiB
Current children cumulated memory: 2202876 KiB

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

# cumulated CPU time of all completed processes:  user=3585.51 s, system=0.865746 s

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

[startup+3584 s]*
/proc/loadavg: 4.06 4.14 4.16 5/251 43544
/proc/meminfo: memFree=123750100/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2895340 memory=2202876 CPUtime=3573.1 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 371716 0 0 0 357225 85 0 0 20 0 1 0 45426150 2964828160 550719 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 723835 550719 4064 3530 0 715286 0
Current children cumulated CPU time: 3573.1 s
Current children cumulated vsize: 2895340 KiB
Current children cumulated memory: 2202876 KiB

[startup+3590.4 s]
/proc/loadavg: 4.14 4.15 4.17 5/251 43544
/proc/meminfo: memFree=123750352/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2895340 memory=2202876 CPUtime=3579.47 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 371723 0 0 0 357862 85 0 0 20 0 1 0 45426150 2964828160 550719 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 723835 550719 4064 3530 0 715286 0
Current children cumulated CPU time: 3579.47 s
Current children cumulated vsize: 2895340 KiB
Current children cumulated memory: 2202876 KiB

[startup+3593.6 s]
/proc/loadavg: 4.13 4.15 4.17 5/251 43544
/proc/meminfo: memFree=123742160/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2895340 memory=2202876 CPUtime=3582.66 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 371798 0 0 0 358181 85 0 0 20 0 1 0 45426150 2964828160 550719 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 723835 550719 4064 3530 0 715286 0
Current children cumulated CPU time: 3582.66 s
Current children cumulated vsize: 2895340 KiB
Current children cumulated memory: 2202876 KiB

[startup+3595.2 s]
/proc/loadavg: 4.13 4.15 4.17 5/251 43544
/proc/meminfo: memFree=123742160/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2895340 memory=2202876 CPUtime=3584.26 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 371799 0 0 0 358341 85 0 0 20 0 1 0 45426150 2964828160 550719 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 723835 550719 4064 3530 0 715286 0
Current children cumulated CPU time: 3584.26 s
Current children cumulated vsize: 2895340 KiB
Current children cumulated memory: 2202876 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.14 4.16 5/251 43544
/proc/meminfo: memFree=123742412/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2895340 memory=2202876 CPUtime=3585.07 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 371799 0 0 0 358422 85 0 0 20 0 1 0 45426150 2964828160 550719 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 723835 550719 4064 3530 0 715286 0
Current children cumulated CPU time: 3585.07 s
Current children cumulated vsize: 2895340 KiB
Current children cumulated memory: 2202876 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.14 4.16 5/251 43544
/proc/meminfo: memFree=123742412/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2895340 memory=2202876 CPUtime=3585.86 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 371800 0 0 0 358501 85 0 0 20 0 1 0 45426150 2964828160 550719 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 723835 550719 4064 3530 0 715286 0
Current children cumulated CPU time: 3585.86 s
Current children cumulated vsize: 2895340 KiB
Current children cumulated memory: 2202876 KiB

[startup+3597.2 s]
/proc/loadavg: 4.12 4.14 4.16 5/251 43544
/proc/meminfo: memFree=123742412/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2895340 memory=2202876 CPUtime=3586.25 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 371845 0 0 0 358540 85 0 0 20 0 1 0 45426150 2964828160 550719 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 723835 550719 4064 3530 0 715286 0
Current children cumulated CPU time: 3586.25 s
Current children cumulated vsize: 2895340 KiB
Current children cumulated memory: 2202876 KiB

[startup+3597.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/251 43544
/proc/meminfo: memFree=123742412/131382116 swapFree=33010684/33010684
[pid=43221] ppid=43218 vsize=2853864 memory=2161724 CPUtime=3586.35 cores=0,2
/proc/43221/stat : 43221 (pbscip) R 43218 43221 42112 0 -1 4194304 371849 0 0 0 358550 85 0 0 20 0 1 0 45426150 2922356736 540431 18446744073709551615 4235264 18693293 140728842269824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46432256 140728842271113 140728842271212 140728842271212 140728842276814 0
/proc/43221/statm: 713466 540431 4064 3530 0 704917 0
Current children cumulated CPU time: 3586.35 s
Current children cumulated vsize: 2853864 KiB
Current children cumulated memory: 2161724 KiB

Child status: 0

Real time (s): 3597.32
CPU time (s): 3586.38
CPU user time (s): 3585.51
CPU system time (s): 0.865746
CPU usage (%): 99.6959
Max. virtual memory (cumulated for all children) (KiB): 2895340
Max. memory (cumulated for all children) (KiB): 2202876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.51
system time used= 0.865746
maximum resident set size= 2202876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371950
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= 192
involuntary context switches= 7974


# summary of solver processes directly reported to runsolver:
#   pid: 43221
#   total CPU time (s): 3586.38
#   total CPU user time (s): 3585.51
#   total CPU system time (s): 0.865746

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6653 second user time and 33.21 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-06-30 17:31:04
IDJOB=4484824
IDBENCH=146671
IDSOLVER=3365
FILE ID=nodeC011/4484824-1751297464
RUNJOBID= nodeC011-1751293853-42122
SLURM_JOB_ID= 9594269
Free space on /tmp= 432992 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484824-1751297464/watcher-4484824-1751297464 -o /tmp/evaluation-result-4484824-1751297464/solver-4484824-1751297464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751293853-42122 --watchdog 3760  pbscip -f HOME/instance-4484824-1751297464.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 4c4220841569fe2ff0ce6d0e8718e711
RANDOM SEED=1439354310

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        126186048 kB
MemAvailable:   126111204 kB
Buffers:            3280 kB
Cached:           733444 kB
SwapCached:            0 kB
Active:          4193736 kB
Inactive:         434572 kB
Active(anon):    3909544 kB
Inactive(anon):        0 kB
Active(file):     284192 kB
Inactive(file):   434572 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21032 kB
Writeback:             0 kB
AnonPages:       3893288 kB
Mapped:           139024 kB
Shmem:             17960 kB
KReclaimable:      91652 kB
Slab:             172452 kB
SReclaimable:      91652 kB
SUnreclaim:        80800 kB
KernelStack:        4080 kB
PageTables:        10972 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    5241800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2449408 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432972 MiB
End job on nodeC011 at 2025-06-30 18:31:02