Trace number 4432590

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-07? 3587.4 3597.12

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-2.opb
MD5SUM58d046e1e41ee9602d09224f38506b42
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6352
Total number of constraints13429
Number of constraints which are clauses13429
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 constraint1
Maximum length of a constraint3
Number of terms in the objective function 6352
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 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4432590-1721073284.opb>
0.00/0.10	c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13429 constraints
0.00/0.10	c problem read in 0.09
0.10/0.16	c presolving:
0.10/0.21	c (round 1, fast)       426 del vars, 502 del conss, 0 add conss, 331 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5763 clqs
0.10/0.22	c (round 2, fast)       758 del vars, 973 del conss, 0 add conss, 351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5732 clqs
0.22/0.23	c (round 3, fast)       1170 del vars, 1811 del conss, 0 add conss, 448 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5528 clqs
0.22/0.23	c (round 4, fast)       1357 del vars, 1906 del conss, 0 add conss, 456 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5454 clqs
0.22/0.24	c (round 5, fast)       1609 del vars, 2479 del conss, 0 add conss, 534 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5278 clqs
0.22/0.24	c (round 6, fast)       1773 del vars, 2539 del conss, 0 add conss, 536 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5215 clqs
0.22/0.25	c (round 7, fast)       2001 del vars, 3063 del conss, 0 add conss, 607 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5053 clqs
0.22/0.25	c (round 8, fast)       2154 del vars, 3111 del conss, 0 add conss, 608 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4991 clqs
0.22/0.26	c (round 9, fast)       2371 del vars, 3612 del conss, 0 add conss, 673 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4836 clqs
0.22/0.26	c (round 10, fast)       2412 del vars, 3653 del conss, 0 add conss, 673 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4942 clqs
0.22/0.30	c    (0.3s) running MILP presolver
0.41/0.48	c    (0.5s) MILP presolver (3 rounds): 2857 aggregations, 4 fixings, 0 bound changes
0.41/0.49	c (round 11, medium)     5288 del vars, 13429 del conss, 5947 add conss, 673 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 975 clqs
0.41/0.51	c (round 12, fast)       5288 del vars, 13571 del conss, 5947 add conss, 673 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 977 clqs
0.51/0.55	c (round 13, exhaustive) 5288 del vars, 13572 del conss, 5947 add conss, 673 chg bounds, 1 chg sides, 0 chg coeffs, 5804 upgd conss, 0 impls, 977 clqs
0.51/0.57	c (round 14, exhaustive) 5288 del vars, 13761 del conss, 6010 add conss, 673 chg bounds, 1 chg sides, 0 chg coeffs, 5804 upgd conss, 0 impls, 977 clqs
0.51/0.59	c (round 15, exhaustive) 5288 del vars, 13761 del conss, 6010 add conss, 673 chg bounds, 1 chg sides, 182 chg coeffs, 5804 upgd conss, 0 impls, 977 clqs
0.51/0.61	c (round 16, exhaustive) 5288 del vars, 13822 del conss, 6071 add conss, 673 chg bounds, 1 chg sides, 182 chg coeffs, 5804 upgd conss, 0 impls, 1038 clqs
0.68/0.77	c    (0.8s) probing: 298/1908 (15.6%) - 0 fixings, 0 aggregations, 5707 implications, 0 bound changes
0.68/0.77	c    (0.8s) probing aborted: 50/50 successive totally useless probings
0.68/0.77	c    (0.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.68/0.78	c    (0.8s) no symmetry present (symcode time: 0.00)
0.68/0.78	c presolving (17 rounds: 17 fast, 6 medium, 5 exhaustive):
0.68/0.78	c  5288 deleted vars, 13822 deleted constraints, 6071 added constraints, 673 tightened bounds, 0 added holes, 1 changed sides, 182 changed coefficients
0.68/0.78	c  0 implications, 6805 cliques
0.68/0.78	c presolved problem has 1908 variables (1908 bin, 0 int, 0 impl, 0 cont) and 5678 constraints
0.68/0.78	c     912 constraints of type <setppc>
0.68/0.78	c       2 constraints of type <and>
0.68/0.78	c    4764 constraints of type <logicor>
0.68/0.78	c transformed objective value is always integral (scale: 1)
0.68/0.78	c Presolving Time: 0.63
0.68/0.78	c - non default parameters ----------------------------------------------------------------------
0.68/0.78	c # SCIP version 10.0.0
0.68/0.78	c 
0.68/0.78	c # maximal time in seconds to run
0.68/0.78	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.68/0.78	c limits/time = 3596.993109
0.68/0.78	c 
0.68/0.78	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.68/0.78	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.68/0.78	c limits/memory = 27900
0.68/0.78	c 
0.68/0.78	c # belongs reading time to solving time?
0.68/0.78	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.68/0.78	c timing/reading = TRUE
0.68/0.78	c 
0.68/0.78	c -----------------------------------------------------------------------------------------------
0.68/0.78	c start solving
0.68/0.78	c 
0.88/0.98	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.88/0.98	c   1.0s|     1 |     0 |  2095 |     - |    49M |   0 |1908 |5716 |5680 |   0 |  0 |  37 |   0 | 2.833692e+03 |      --      |    Inf | unknown
1.98/2.06	c   2.0s|     1 |     0 |  8019 |     - |    52M |   0 |1908 |5918 |5848 | 168 |  1 |  39 |   0 | 2.888000e+03 |      --      |    Inf | unknown
2.08/2.16	c   2.1s|     1 |     0 |  8531 |     - |    54M |   0 |1908 |5921 |5953 | 273 |  2 |  42 |   0 | 2.926958e+03 |      --      |    Inf | unknown
2.17/2.27	c   2.3s|     1 |     0 |  9183 |     - |    55M |   0 |1908 |5922 |6080 | 400 |  3 |  43 |   0 | 2.972184e+03 |      --      |    Inf | unknown
2.27/2.39	c   2.4s|     1 |     0 |  9887 |     - |    56M |   0 |1908 |5923 |6191 | 511 |  4 |  44 |   0 | 3.006192e+03 |      --      |    Inf | unknown
2.47/2.50	c   2.5s|     1 |     0 | 10428 |     - |    57M |   0 |1908 |5924 |6267 | 587 |  5 |  45 |   0 | 3.035449e+03 |      --      |    Inf | unknown
2.57/2.61	c   2.6s|     1 |     0 | 10902 |     - |    59M |   0 |1908 |5925 |6313 | 633 |  6 |  46 |   0 | 3.051286e+03 |      --      |    Inf | unknown
2.67/2.73	c   2.7s|     1 |     0 | 11460 |     - |    59M |   0 |1908 |5927 |6361 | 681 |  7 |  48 |   0 | 3.060563e+03 |      --      |    Inf | unknown
2.77/2.83	c   2.8s|     1 |     0 | 11995 |     - |    61M |   0 |1908 |5929 |6404 | 724 |  8 |  50 |   0 | 3.067558e+03 |      --      |    Inf | unknown
2.87/2.94	c   2.9s|     1 |     0 | 12379 |     - |    62M |   0 |1908 |5930 |6444 | 764 |  9 |  51 |   0 | 3.072218e+03 |      --      |    Inf | unknown
2.98/3.06	c   3.0s|     1 |     0 | 12804 |     - |    63M |   0 |1908 |5931 |6470 | 790 | 10 |  52 |   0 | 3.076574e+03 |      --      |    Inf | unknown
2.98/3.11	c   3.1s|     1 |     0 | 13068 |     - |    63M |   0 |1908 |5934 |6491 | 811 | 11 |  55 |   0 | 3.077993e+03 |      --      |    Inf | unknown
3.08/3.15	c   3.1s|     1 |     0 | 13332 |     - |    64M |   0 |1908 |5935 |6519 | 839 | 12 |  56 |   0 | 3.080327e+03 |      --      |    Inf | unknown
3.08/3.19	c   3.2s|     1 |     0 | 13516 |     - |    65M |   0 |1908 |5937 |6542 | 862 | 13 |  58 |   0 | 3.082176e+03 |      --      |    Inf | unknown
3.17/3.23	c   3.2s|     1 |     0 | 13631 |     - |    66M |   0 |1908 |5938 |6464 | 876 | 14 |  59 |   0 | 3.083194e+03 |      --      |    Inf | unknown
3.17/3.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.17/3.27	c   3.3s|     1 |     0 | 13752 |     - |    67M |   0 |1908 |5940 |6475 | 887 | 15 |  61 |   0 | 3.084074e+03 |      --      |    Inf | unknown
3.27/3.30	c   3.3s|     1 |     0 | 13881 |     - |    67M |   0 |1908 |5941 |6491 | 903 | 16 |  62 |   0 | 3.084742e+03 |      --      |    Inf | unknown
3.27/3.34	c   3.3s|     1 |     0 | 14021 |     - |    67M |   0 |1908 |5943 |6505 | 917 | 17 |  64 |   0 | 3.085539e+03 |      --      |    Inf | unknown
3.27/3.37	c   3.4s|     1 |     0 | 14192 |     - |    68M |   0 |1908 |5945 |6514 | 926 | 18 |  66 |   0 | 3.086766e+03 |      --      |    Inf | unknown
3.37/3.41	c   3.4s|     1 |     0 | 14387 |     - |    69M |   0 |1908 |5946 |6546 | 958 | 19 |  67 |   0 | 3.087671e+03 |      --      |    Inf | unknown
3.37/3.45	c   3.4s|     1 |     0 | 14539 |     - |    69M |   0 |1908 |5947 |6316 | 977 | 20 |  68 |   0 | 3.089602e+03 |      --      |    Inf | unknown
3.37/3.47	c   3.5s|     1 |     0 | 14546 |     - |    69M |   0 |1908 |5948 |6318 | 979 | 21 |  69 |   0 | 3.089602e+03 |      --      |    Inf | unknown
3.37/3.49	c   3.5s|     1 |     0 | 14547 |     - |    70M |   0 |1908 |5950 |6319 | 980 | 22 |  71 |   0 | 3.089602e+03 |      --      |    Inf | unknown
3.67/3.70	c   3.7s|     1 |     2 | 14577 |     - |    70M |   0 |1908 |5953 |6319 | 980 | 23 |  74 |  24 | 3.090602e+03 |      --      |    Inf | unknown
26.59/26.70	c  26.7s|   100 |   101 |125394 |1119.7 |   101M |  15 |1908 |6098 |6409 |2042 |  5 | 219 | 393 | 3.119777e+03 |      --      |    Inf | unknown
40.15/40.30	c  40.3s|   200 |   193 |202329 | 943.6 |   106M |  19 |1908 |6323 |6341 |2202 |  1 | 456 | 553 | 3.120604e+03 |      --      |    Inf |   0.98%
53.30/53.59	c  53.6s|   300 |   216 |250914 | 790.5 |   108M |  34 |1908 |6492 |   0 |2430 |  0 | 673 | 762 | 3.120604e+03 |      --      |    Inf |   0.98%
64.88/65.14	c  65.1s|   400 |   255 |330561 | 792.0 |   109M |  34 |1908 |6702 |6387 |2586 |  1 | 986 | 852 | 3.120777e+03 |      --      |    Inf |   0.98%
75.14/75.40	c  75.4s|   500 |   297 |398726 | 769.9 |   113M |  34 |1908 |6752 |6387 |3138 |  1 |1151 | 960 | 3.120777e+03 |      --      |    Inf |   0.98%
85.82/86.16	c  86.1s|   600 |   382 |461638 | 746.4 |   117M |  34 |1908 |6681 |6408 |3786 |  1 |1444 |1069 | 3.123104e+03 |      --      |    Inf |   0.98%
99.97/100.34	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
99.97/100.34	c   100s|   700 |   467 |543736 | 757.1 |   123M |  34 |1908 |6632 |6393 |4756 |  1 |1629 |1209 | 3.123948e+03 |      --      |    Inf |   0.98%
113.14/113.55	c   114s|   800 |   554 |629187 | 769.3 |   128M |  34 |1908 |6672 |6345 |5339 |  1 |1875 |1346 | 3.124281e+03 |      --      |    Inf |   0.98%
127.31/127.77	c   128s|   900 |   623 |722508 | 787.5 |   144M |  34 |1908 |6724 |6360 |6533 |  1 |2063 |1509 | 3.125116e+03 |      --      |    Inf |   0.98%
142.27/142.71	c   143s|  1000 |   691 |827360 | 813.6 |   154M |  34 |1908 |6812 |6373 |7527 |  1 |2319 |1624 | 3.125467e+03 |      --      |    Inf |   0.98%
158.33/158.84	c   159s|  1100 |   756 |932893 | 835.6 |   166M |  34 |1908 |6848 |6392 |8458 |  1 |2554 |1752 | 3.125469e+03 |      --      |    Inf |   0.98%
182.28/182.85	c   183s|  1200 |   829 |  1088k| 896.0 |   178M |  34 |1908 |6908 |6421 |9594 |  1 |2842 |1863 | 3.125968e+03 |      --      |    Inf |   0.98%
205.03/205.69	c   206s|  1300 |   899 |  1226k| 933.2 |   188M |  34 |1908 |6877 |6421 |  10k|  0 |3095 |2025 | 3.126365e+03 |      --      |    Inf |   0.98%
219.59/220.20	c   220s|  1400 |   975 |  1330k| 940.8 |   191M |  34 |1908 |6900 |6431 |  11k|  1 |3332 |2119 | 3.126984e+03 |      --      |    Inf |   0.98%
234.05/234.70	c   235s|  1500 |  1061 |  1453k| 959.8 |   195M |  34 |1908 |6880 |6446 |  13k|  3 |3600 |2124 | 3.127272e+03 |      --      |    Inf |   0.98%
250.52/251.24	c   251s|  1600 |  1141 |  1586k| 983.2 |   201M |  34 |1908 |6971 |6450 |  14k|  1 |3889 |2125 | 3.127453e+03 |      --      |    Inf |   0.98%
272.76/273.56	c   274s|  1700 |  1233 |  1740k|1016.0 |   206M |  34 |1908 |7039 |6436 |  16k|  3 |4172 |2155 | 3.127668e+03 |      --      |    Inf |   0.98%
295.91/296.70	c   297s|  1800 |  1297 |  1881k|1037.5 |   213M |  34 |1908 |7066 |6449 |  17k|  1 |4406 |2282 | 3.127668e+03 |      --      |    Inf |   0.98%
322.54/323.41	c   323s|  1900 |  1375 |  2027k|1059.9 |   226M |  34 |1908 |7091 |6418 |  18k|  1 |4683 |2436 | 3.127970e+03 |      --      |    Inf |   0.98%
347.20/348.11	c   348s|  2000 |  1463 |  2163k|1075.2 |   228M |  34 |1908 |7112 |6476 |  20k|  1 |4893 |2597 | 3.128134e+03 |      --      |    Inf |   0.98%
374.82/375.83	c   376s|  2100 |  1549 |  2320k|1098.8 |   230M |  34 |1908 |7148 |6470 |  21k|  1 |5149 |2709 | 3.128543e+03 |      --      |    Inf |   0.98%
397.36/398.49	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
397.36/398.49	c   398s|  2200 |  1641 |  2466k|1114.9 |   231M |  34 |1908 |7079 |6444 |  23k|  1 |5345 |2847 | 3.129093e+03 |      --      |    Inf |   0.98%
422.49/423.69	c   424s|  2300 |  1736 |  2621k|1134.1 |   236M |  34 |1908 |7167 |6417 |  24k|  1 |5697 |2967 | 3.129567e+03 |      --      |    Inf |   0.98%
451.10/452.31	c   452s|  2400 |  1817 |  2788k|1156.2 |   241M |  34 |1908 |7212 |6409 |  26k|  1 |6028 |3108 | 3.130111e+03 |      --      |    Inf |   0.98%
473.24/474.53	c   475s|  2500 |  1890 |  2924k|1164.4 |   242M |  34 |1908 |7183 |6471 |  27k|  1 |6259 |3229 | 3.130386e+03 |      --      |    Inf |   0.98%
490.89/492.20	c   492s|  2600 |  1924 |  3034k|1161.8 |   243M |  34 |1908 |7297 |6449 |  28k|  2 |6524 |3304 | 3.130639e+03 |      --      |    Inf |   0.98%
504.25/505.62	c   506s|  2700 |  1967 |  3146k|1160.3 |   244M |  34 |1908 |7393 |6430 |  29k|  1 |6799 |3309 | 3.130646e+03 |      --      |    Inf |   0.98%
517.91/519.32	c   519s|  2800 |  2007 |  3262k|1160.3 |   246M |  34 |1908 |7427 |6438 |  30k|  0 |7022 |3310 | 3.131067e+03 |      --      |    Inf |   0.98%
527.29/528.77	c   529s|  2900 |  2010 |  3346k|1149.5 |   247M |  34 |1908 |7568 |6449 |  30k|  0 |7237 |3311 | 3.131067e+03 |      --      |    Inf |   0.98%
538.05/539.59	c   540s|  3000 |  2024 |  3441k|1142.7 |   247M |  34 |1908 |7733 |6443 |  31k|  1 |7510 |3311 | 3.131129e+03 |      --      |    Inf |   0.98%
553.31/554.89	c   555s|  3100 |  2031 |  3574k|1148.7 |   247M |  34 |1908 |7929 |6443 |  31k|  1 |7785 |3311 | 3.131139e+03 |      --      |    Inf |   0.98%
565.67/567.26	c   567s|  3200 |  2034 |  3670k|1142.9 |   247M |  34 |1908 |8095 |6443 |  31k|  1 |8061 |3331 | 3.131226e+03 |      --      |    Inf |   0.98%
579.54/581.14	c   581s|  3300 |  2045 |  3761k|1135.9 |   248M |  34 |1908 |8042 |6419 |  32k|  0 |8287 |3416 | 3.131390e+03 |      --      |    Inf |   0.98%
595.50/597.18	c   597s|  3400 |  2066 |  3866k|1133.4 |   252M |  34 |1908 |7948 |6399 |  32k|  1 |8583 |3476 | 3.131587e+03 |      --      |    Inf |   0.98%
611.04/612.79	c   613s|  3500 |  2077 |  3972k|1131.2 |   253M |  34 |1908 |7976 |6485 |  33k|  0 |8953 |3536 | 3.131694e+03 |      --      |    Inf |   0.98%
627.69/629.46	c   629s|  3600 |  2099 |  4084k|1130.9 |   256M |  34 |1908 |7912 |6459 |  34k|  1 |9255 |3599 | 3.131815e+03 |      --      |    Inf |   0.98%
641.05/642.85	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
641.05/642.85	c   643s|  3700 |  2129 |  4178k|1125.8 |   257M |  34 |1908 |7787 |6430 |  34k|  1 |9473 |3649 | 3.131842e+03 |      --      |    Inf |   0.98%
655.41/657.27	c   657s|  3800 |  2159 |  4273k|1121.1 |   257M |  34 |1908 |7701 |6372 |  35k|  1 |9698 |3736 | 3.132074e+03 |      --      |    Inf |   0.98%
670.07/671.98	c   672s|  3900 |  2181 |  4372k|1117.6 |   258M |  34 |1908 |7719 |6435 |  36k|  1 |9945 |3799 | 3.132205e+03 |      --      |    Inf |   0.98%
684.33/686.25	c   686s|  4000 |  2193 |  4463k|1112.5 |   259M |  34 |1908 |7658 |6407 |  36k|  1 |  10k|3878 | 3.132275e+03 |      --      |    Inf |   0.98%
696.69/698.67	c   699s|  4100 |  2203 |  4544k|1105.1 |   261M |  34 |1908 |7857 |6413 |  36k|  0 |  10k|3918 | 3.132278e+03 |      --      |    Inf |   0.98%
709.85/711.81	c   712s|  4200 |  2224 |  4636k|1100.7 |   262M |  34 |1908 |7858 |6446 |  37k|  0 |  10k|3965 | 3.132382e+03 |      --      |    Inf |   0.98%
725.90/727.99	c   728s|  4300 |  2244 |  4744k|1100.3 |   262M |  34 |1908 |7786 |6424 |  38k|  0 |  11k|4047 | 3.132690e+03 |      --      |    Inf |   0.98%
741.86/743.97	c   744s|  4400 |  2290 |  4846k|1098.5 |   263M |  34 |1908 |7588 |6410 |  38k|  1 |  11k|4127 | 3.132872e+03 |      --      |    Inf |   0.98%
755.41/757.51	c   757s|  4500 |  2306 |  4945k|1096.0 |   263M |  34 |1908 |7599 |6486 |  39k|  0 |  11k|4194 | 3.133057e+03 |      --      |    Inf |   0.98%
765.58/767.72	c   768s|  4600 |  2311 |  5013k|1087.1 |   264M |  34 |1908 |7762 |6410 |  39k|  1 |  11k|4243 | 3.133129e+03 |      --      |    Inf |   0.98%
778.05/780.22	c   780s|  4700 |  2329 |  5103k|1082.9 |   264M |  34 |1908 |7899 |6431 |  39k|  0 |  12k|4295 | 3.133129e+03 |      --      |    Inf |   0.98%
791.31/793.58	c   794s|  4800 |  2355 |  5188k|1078.2 |   267M |  34 |1908 |7945 |6415 |  40k|  0 |  12k|4371 | 3.133718e+03 |      --      |    Inf |   0.98%
808.56/810.87	c   811s|  4900 |  2375 |  5303k|1079.6 |   267M |  34 |1908 |7889 |6428 |  41k|  0 |  12k|4451 | 3.134464e+03 |      --      |    Inf |   0.98%
822.32/824.66	c   825s|  5000 |  2382 |  5388k|1075.0 |   269M |  34 |1908 |7882 |6431 |  41k|  0 |  12k|4528 | 3.134464e+03 |      --      |    Inf |   0.98%
834.70/837.09	c   837s|  5100 |  2405 |  5469k|1069.9 |   269M |  34 |1908 |7842 |   0 |  41k|  0 |  13k|4576 | 3.134546e+03 |      --      |    Inf |   0.98%
843.46/845.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
843.46/845.87	c   846s|  5200 |  2416 |  5548k|1064.5 |   269M |  34 |1908 |7880 |6404 |  41k|  1 |  13k|4587 | 3.134546e+03 |      --      |    Inf |   0.98%
854.33/856.79	c   857s|  5300 |  2449 |  5641k|1061.9 |   270M |  34 |1908 |7834 |6478 |  42k|  0 |  13k|4587 | 3.135217e+03 |      --      |    Inf |   0.98%
862.21/864.60	c   865s|  5400 |  2444 |  5711k|1055.2 |   271M |  34 |1908 |7971 |6430 |  42k|  0 |  13k|4587 | 3.135298e+03 |      --      |    Inf |   0.98%
869.89/872.36	c   872s|  5500 |  2458 |  5782k|1048.9 |   271M |  34 |1908 |7975 |6431 |  42k|  0 |  14k|4587 | 3.135549e+03 |      --      |    Inf |   0.98%
881.57/884.09	c   884s|  5600 |  2490 |  5883k|1048.2 |   274M |  34 |1908 |7885 |6422 |  43k|  1 |  14k|4587 | 3.135569e+03 |      --      |    Inf |   0.98%
898.53/901.08	c   901s|  5700 |  2512 |  6015k|1052.9 |   275M |  34 |1908 |7863 |6485 |  43k|  1 |  14k|4587 | 3.136071e+03 |      --      |    Inf |   0.98%
910.30/912.82	c   913s|  5800 |  2535 |  6115k|1052.1 |   276M |  34 |1908 |7816 |6481 |  44k|  1 |  14k|4587 | 3.136220e+03 |      --      |    Inf |   0.98%
921.27/923.87	c   924s|  5900 |  2541 |  6214k|1051.0 |   276M |  34 |1908 |7797 |6410 |  44k|  1 |  15k|4587 | 3.136688e+03 |      --      |    Inf |   0.98%
928.75/931.35	c   931s|  6000 |  2560 |  6287k|1045.6 |   276M |  34 |1908 |7897 |6505 |  44k|  1 |  15k|4587 | 3.136688e+03 |      --      |    Inf |   0.98%
940.13/942.76	c   943s|  6100 |  2572 |  6375k|1043.0 |   279M |  34 |1908 |7971 |6505 |  45k|  0 |  15k|4597 | 3.136876e+03 |      --      |    Inf |   0.98%
953.90/956.56	c   957s|  6200 |  2588 |  6468k|1041.1 |   283M |  34 |1908 |8040 |6507 |  45k|  0 |  15k|4632 | 3.137225e+03 |      --      |    Inf |   0.98%
964.97/967.64	c   968s|  6300 |  2600 |  6549k|1037.4 |   284M |  34 |1908 |8015 |6409 |  45k|  0 |  15k|4673 | 3.137235e+03 |      --      |    Inf |   0.98%
978.04/980.71	c   981s|  6400 |  2628 |  6637k|1035.0 |   284M |  34 |1908 |7986 |6429 |  46k|  1 |  16k|4724 | 3.137367e+03 |      --      |    Inf |   1.37%
993.21/996.01	c   996s|  6500 |  2651 |  6736k|1034.3 |   287M |  34 |1908 |7824 |6458 |  46k|  1 |  16k|4801 | 3.137567e+03 |      --      |    Inf |   1.56%
1008.67/1011.42	c  1011s|  6600 |  2651 |  6840k|1034.3 |   287M |  34 |1908 |7909 |6455 |  46k|  1 |  16k|4863 | 3.137603e+03 |      --      |    Inf |   1.56%
1019.26/1022.03	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1019.26/1022.03	c (run 1, node 6664) performing user restart
1019.26/1022.03	c 
1019.26/1022.04	c (restart) converted 605 cuts from the global cut pool into linear constraints
1019.26/1022.04	c 
1019.26/1022.09	c presolving:
1019.26/1022.10	c (round 1, fast)       0 del vars, 62 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 54 chg coeffs, 0 upgd conss, 0 impls, 6930 clqs
1019.26/1022.11	c (round 2, medium)     118 del vars, 62 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 55 chg coeffs, 0 upgd conss, 0 impls, 6670 clqs
1019.36/1022.11	c (round 3, fast)       118 del vars, 333 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 256 chg coeffs, 0 upgd conss, 0 impls, 6674 clqs
1019.36/1022.13	c (round 4, exhaustive) 118 del vars, 378 del conss, 15 add conss, 0 chg bounds, 6 chg sides, 256 chg coeffs, 0 upgd conss, 0 impls, 6674 clqs
1019.36/1022.14	c (round 5, exhaustive) 118 del vars, 385 del conss, 15 add conss, 0 chg bounds, 13 chg sides, 256 chg coeffs, 0 upgd conss, 0 impls, 6674 clqs
1019.36/1022.15	c (round 6, exhaustive) 118 del vars, 385 del conss, 15 add conss, 0 chg bounds, 13 chg sides, 256 chg coeffs, 653 upgd conss, 0 impls, 6674 clqs
1019.36/1022.18	c (round 7, exhaustive) 118 del vars, 713 del conss, 16 add conss, 0 chg bounds, 13 chg sides, 1549 chg coeffs, 653 upgd conss, 0 impls, 6674 clqs
1019.36/1022.19	c (round 8, exhaustive) 120 del vars, 719 del conss, 18 add conss, 0 chg bounds, 13 chg sides, 1551 chg coeffs, 653 upgd conss, 0 impls, 6672 clqs
1019.36/1022.19	c (round 9, fast)       120 del vars, 724 del conss, 20 add conss, 0 chg bounds, 13 chg sides, 1551 chg coeffs, 653 upgd conss, 0 impls, 6672 clqs
1019.44/1022.22	c (round 10, exhaustive) 120 del vars, 736 del conss, 20 add conss, 0 chg bounds, 13 chg sides, 1552 chg coeffs, 653 upgd conss, 0 impls, 6672 clqs
1019.44/1022.27	c presolving (11 rounds: 11 fast, 8 medium, 7 exhaustive):
1019.44/1022.27	c  120 deleted vars, 736 deleted constraints, 20 added constraints, 0 tightened bounds, 0 added holes, 13 changed sides, 1572 changed coefficients
1019.44/1022.27	c  0 implications, 6672 cliques
1019.44/1022.27	c presolved problem has 1788 variables (1788 bin, 0 int, 0 impl, 0 cont) and 7778 constraints
1019.44/1022.27	c     324 constraints of type <knapsack>
1019.44/1022.27	c     801 constraints of type <setppc>
1019.44/1022.27	c      18 constraints of type <and>
1019.44/1022.27	c      67 constraints of type <linear>
1019.44/1022.27	c    6568 constraints of type <logicor>
1019.44/1022.27	c transformed objective value is always integral (scale: 1)
1019.44/1022.27	c Presolving Time: 0.81
1019.44/1022.27	c 
1019.54/1022.37	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1019.54/1022.37	c  1022s|     1 |     0 |  6908k|     - |   288M |   0 |1788 |7788 |6022 |   0 |  0 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1019.64/1022.48	c  1022s|     1 |     0 |  6908k|     - |   289M |   0 |1788 |7788 |6070 |  48 |  1 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1019.74/1022.57	c  1023s|     1 |     0 |  6909k|     - |   290M |   0 |1788 |7790 |6094 |  72 |  2 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1019.84/1022.67	c  1023s|     1 |     0 |  6909k|     - |   290M |   0 |1788 |7791 |6126 | 104 |  3 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1019.94/1022.76	c  1023s|     1 |     0 |  6909k|     - |   291M |   0 |1788 |7794 |6157 | 135 |  4 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1020.04/1022.87	c  1023s|     1 |     0 |  6910k|     - |   292M |   0 |1788 |7795 |6186 | 164 |  5 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1020.14/1022.96	c  1023s|     1 |     0 |  6910k|     - |   292M |   0 |1788 |7796 |6204 | 182 |  6 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1020.25/1023.07	c  1023s|     1 |     0 |  6911k|     - |   293M |   0 |1788 |7798 |6229 | 207 |  7 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1020.35/1023.17	c  1023s|     1 |     0 |  6912k|     - |   293M |   0 |1788 |7799 |6256 | 234 |  8 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1020.44/1023.27	c  1023s|     1 |     0 |  6912k|     - |   294M |   0 |1788 |7802 |6281 | 259 |  9 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1020.54/1023.36	c  1023s|     1 |     0 |  6912k|     - |   295M |   0 |1788 |7804 |6304 | 282 | 10 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1020.64/1023.41	c  1023s|     1 |     0 |  6912k|     - |   295M |   0 |1788 |7805 |6158 | 300 | 11 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1020.64/1023.46	c  1023s|     1 |     0 |  6913k|     - |   296M |   0 |1788 |7807 |6170 | 312 | 12 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1020.74/1023.53	c  1024s|     1 |     0 |  6913k|     - |   296M |   0 |1788 |7809 |6191 | 333 | 13 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1020.74/1023.57	c  1024s|     1 |     0 |  6913k|     - |   296M |   0 |1788 |7810 |6204 | 346 | 14 |  16k|4893 | 3.137725e+03 |      --      |    Inf | unknown
1020.84/1023.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1020.84/1023.62	c  1024s|     1 |     0 |  6914k|     - |   296M |   0 |1788 |7812 |6231 | 373 | 15 |  16k|4893 | 3.138194e+03 |      --      |    Inf | unknown
1020.84/1023.67	c  1024s|     1 |     0 |  6914k|     - |   297M |   0 |1788 |7813 |6246 | 388 | 16 |  16k|4893 | 3.138497e+03 |      --      |    Inf | unknown
1020.94/1023.72	c  1024s|     1 |     0 |  6914k|     - |   298M |   0 |1788 |7815 |6137 | 405 | 17 |  16k|4893 | 3.139987e+03 |      --      |    Inf | unknown
1020.94/1023.76	c  1024s|     1 |     0 |  6915k|     - |   298M |   0 |1788 |7816 |6158 | 426 | 18 |  16k|4893 | 3.140820e+03 |      --      |    Inf | unknown
1021.04/1023.81	c  1024s|     1 |     0 |  6915k|     - |   298M |   0 |1788 |7818 |6167 | 435 | 19 |  16k|4893 | 3.141594e+03 |      --      |    Inf | unknown
1021.04/1023.85	c  1024s|     1 |     0 |  6915k|     - |   299M |   0 |1788 |7819 |6174 | 442 | 20 |  16k|4893 | 3.141844e+03 |      --      |    Inf | unknown
1021.04/1023.87	c  1024s|     1 |     0 |  6915k|     - |   299M |   0 |1788 |7819 |6179 | 447 | 21 |  16k|4893 | 3.141844e+03 |      --      |    Inf | unknown
1021.04/1023.89	c  1024s|     1 |     0 |  6915k|     - |   299M |   0 |1788 |7819 |6185 | 453 | 22 |  16k|4893 | 3.141844e+03 |      --      |    Inf | unknown
1021.54/1024.38	c  1024s|     1 |     2 |  6917k|     - |   299M |   0 |1788 |7831 |6185 | 453 | 23 |  16k|4899 | 3.145444e+03 |      --      |    Inf | unknown
1057.66/1060.50	c  1060s|   100 |    47 |  6984k|1029.0 |   303M |  31 |1788 |7818 |6035 | 541 |  1 |  17k|5809 | 3.150186e+03 |      --      |    Inf | unknown
1086.69/1089.63	c  1090s|   200 |    71 |  7071k|1026.8 |   303M |  31 |1788 |8040 |6030 | 568 |  1 |  17k|6467 | 3.150186e+03 |      --      |    Inf | unknown
1117.82/1120.81	c  1121s|   300 |   135 |  7142k|1022.2 |   307M |  31 |1788 |7761 |6037 | 728 |  1 |  17k|7443 | 3.150186e+03 |      --      |    Inf | unknown
1154.83/1157.96	c  1158s|   400 |   175 |  7221k|1018.9 |   307M |  32 |1788 |7582 |6034 | 766 |  1 |  18k|8176 | 3.150186e+03 |      --      |    Inf | unknown
1192.95/1196.15	c  1196s|   500 |   208 |  7285k|1013.7 |   311M |  33 |1788 |8001 |6049 | 923 |  0 |  18k|8993 | 3.150320e+03 |      --      |    Inf | unknown
1204.41/1207.66	c  1208s|   600 |   257 |  7362k|1010.3 |   314M |  33 |1788 |7690 |6050 |1135 |  2 |  18k|9061 | 3.150408e+03 |      --      |    Inf | unknown
1215.69/1218.95	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1215.69/1218.95	c  1219s|   700 |   333 |  7439k|1007.0 |   315M |  33 |1788 |7420 |6053 |1275 |  0 |  19k|9143 | 3.150575e+03 |      --      |    Inf | unknown
1227.77/1231.07	c  1231s|   800 |   396 |  7521k|1004.5 |   317M |  33 |1788 |7252 |6051 |1414 |  1 |  19k|9245 | 3.150606e+03 |      --      |    Inf | unknown
1239.23/1242.57	c  1243s|   900 |   448 |  7593k|1000.8 |   318M |  33 |1788 |7185 |6043 |1528 |  1 |  19k|9368 | 3.150786e+03 |      --      |    Inf | unknown
1250.19/1253.51	c  1253s|  1000 |   518 |  7663k| 996.8 |   322M |  33 |1788 |7091 |6056 |1766 |  1 |  19k|9460 | 3.150994e+03 |      --      |    Inf | unknown
1258.68/1262.01	c  1262s|  1100 |   565 |  7740k| 993.9 |   326M |  33 |1788 |7175 |6031 |1920 |  1 |  19k|9478 | 3.151020e+03 |      --      |    Inf | unknown
1265.85/1269.28	c  1269s|  1200 |   602 |  7821k| 991.6 |   326M |  33 |1788 |7264 |6044 |1980 |  1 |  20k|9481 | 3.151167e+03 |      --      |    Inf | unknown
1274.22/1277.66	c  1278s|  1300 |   628 |  7910k| 990.3 |   333M |  33 |1788 |7352 |6057 |2316 |  0 |  20k|9484 | 3.151224e+03 |      --      |    Inf | unknown
1280.50/1283.98	c  1284s|  1400 |   642 |  7979k| 986.5 |   335M |  33 |1788 |7483 |6051 |2517 |  1 |  20k|9485 | 3.151224e+03 |      --      |    Inf | unknown
1286.48/1289.91	c  1290s|  1500 |   652 |  8037k| 981.6 |   338M |  33 |1788 |7595 |6057 |2837 |  0 |  20k|9487 | 3.151333e+03 |      --      |    Inf | unknown
1293.67/1297.17	c  1297s|  1600 |   669 |  8108k| 978.4 |   344M |  33 |1788 |7676 |6055 |3162 |  2 |  21k|9487 | 3.151333e+03 |      --      |    Inf | unknown
1301.74/1305.29	c  1305s|  1700 |   682 |  8189k| 976.3 |   345M |  33 |1788 |7690 |6049 |3425 |  1 |  21k|9488 | 3.151376e+03 |      --      |    Inf | unknown
1309.42/1312.90	c  1313s|  1800 |   701 |  8270k| 974.4 |   345M |  33 |1788 |7688 |6057 |3544 |  1 |  21k|9489 | 3.151575e+03 |      --      |    Inf | unknown
1316.51/1320.04	c  1320s|  1900 |   717 |  8344k| 971.6 |   348M |  33 |1788 |7721 |6064 |3781 |  1 |  21k|9489 | 3.151583e+03 |      --      |    Inf | unknown
1328.37/1331.98	c  1332s|  2000 |   732 |  8448k| 972.4 |   351M |  33 |1788 |7759 |6056 |4127 |  1 |  22k|9492 | 3.151592e+03 |      --      |    Inf | unknown
1335.94/1339.50	c  1339s|  2100 |   739 |  8526k| 970.2 |   354M |  33 |1788 |7839 |6047 |4379 |  0 |  22k|9492 | 3.151736e+03 |      --      |    Inf | unknown
1343.32/1346.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1343.32/1346.96	c  1347s|  2200 |   779 |  8600k| 967.6 |   355M |  33 |1788 |7777 |6074 |4444 |  0 |  22k|9492 | 3.151835e+03 |      --      |    Inf | unknown
1349.01/1352.64	c  1353s|  2300 |   783 |  8657k| 963.1 |   355M |  33 |1788 |7920 |6067 |4450 |  1 |  22k|9492 | 3.151840e+03 |      --      |    Inf | unknown
1355.19/1358.86	c  1359s|  2400 |   791 |  8716k| 959.1 |   355M |  33 |1788 |8032 |6065 |4633 |  1 |  23k|9492 | 3.151840e+03 |      --      |    Inf | unknown
1363.16/1366.85	c  1367s|  2500 |   801 |  8788k| 956.5 |   357M |  33 |1788 |8095 |6079 |4847 |  1 |  23k|9494 | 3.151853e+03 |      --      |    Inf | unknown
1369.74/1373.41	c  1373s|  2600 |   801 |  8855k| 953.3 |   357M |  33 |1788 |8256 |6075 |4859 |  0 |  23k|9494 | 3.151853e+03 |      --      |    Inf | unknown
1379.81/1383.54	c  1384s|  2700 |   821 |  8939k| 952.1 |   361M |  33 |1788 |8228 |6080 |5294 |  1 |  23k|9494 | 3.151906e+03 |      --      |    Inf | unknown
1390.48/1394.24	c  1394s|  2800 |   835 |  9030k| 951.7 |   370M |  33 |1788 |8188 |6077 |5750 |  0 |  23k|9494 | 3.151959e+03 |      --      |    Inf | unknown
1397.37/1401.20	c  1401s|  2900 |   841 |  9095k| 948.6 |   375M |  33 |1788 |8251 |6081 |5963 |  0 |  24k|9494 | 3.151959e+03 |      --      |    Inf | unknown
1406.24/1410.05	c  1410s|  3000 |   861 |  9171k| 946.6 |   376M |  33 |1788 |8187 |6072 |6377 |  0 |  24k|9494 | 3.152092e+03 |      --      |    Inf | unknown
1413.02/1416.88	c  1417s|  3100 |   877 |  9248k| 944.8 |   376M |  33 |1788 |8151 |6062 |6531 |  1 |  24k|9494 | 3.152127e+03 |      --      |    Inf | unknown
1419.70/1423.51	c  1423s|  3200 |   885 |  9320k| 942.5 |   377M |  33 |1788 |8068 |6054 |6555 |  1 |  24k|9494 | 3.152127e+03 |      --      |    Inf | unknown
1426.68/1430.53	c  1431s|  3300 |   897 |  9388k| 939.9 |   378M |  33 |1788 |8081 |6047 |6851 |  1 |  25k|9494 | 3.152127e+03 |      --      |    Inf | unknown
1433.56/1437.40	c  1437s|  3400 |   920 |  9464k| 938.1 |   378M |  33 |1788 |8074 |6063 |6935 |  0 |  25k|9494 | 3.152127e+03 |      --      |    Inf | unknown
1440.44/1444.38	c  1444s|  3500 |   932 |  9536k| 936.0 |   378M |  33 |1788 |8109 |6070 |7042 |  1 |  25k|9494 | 3.152340e+03 |      --      |    Inf | unknown
1451.31/1455.21	c  1455s|  3600 |   937 |  9608k| 933.8 |   378M |  33 |1788 |8190 |6070 |7150 |  1 |  25k|9562 | 3.152351e+03 |      --      |    Inf | unknown
1460.58/1464.52	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1460.58/1464.52	c  1465s|  3700 |   937 |  9678k| 931.6 |   378M |  33 |1788 |8344 |6068 |7176 |  0 |  25k|9605 | 3.152351e+03 |      --      |    Inf | unknown
1474.34/1478.35	c  1478s|  3800 |   959 |  9763k| 930.8 |   379M |  33 |1788 |8274 |6069 |7590 |  0 |  26k|9667 | 3.152376e+03 |      --      |    Inf | unknown
1490.59/1494.64	c  1495s|  3900 |   997 |  9872k| 932.3 |   380M |  33 |1788 |8320 |6073 |7889 |  0 |  26k|9746 | 3.152401e+03 |      --      |    Inf | unknown
1503.96/1508.08	c  1508s|  4000 |  1020 |  9963k| 932.1 |   380M |  33 |1788 |8392 |6118 |7915 |  0 |  26k|9816 | 3.152436e+03 |      --      |    Inf | unknown
1516.81/1520.97	c  1521s|  4100 |  1033 | 10051k| 931.6 |   380M |  33 |1788 |8412 |6071 |8148 |  0 |  27k|9889 | 3.152625e+03 |      --      |    Inf | unknown
1529.47/1533.69	c  1534s|  4200 |  1051 | 10134k| 930.6 |   385M |  33 |1788 |8516 |6069 |8473 |  1 |  27k|9968 | 3.152628e+03 |      --      |    Inf | unknown
1545.64/1549.84	c  1550s|  4300 |  1087 | 10244k| 932.2 |   390M |  33 |1788 |8646 |6110 |8674 |  1 |  27k|  10k| 3.152632e+03 |      --      |    Inf | unknown
1565.28/1569.57	c  1570s|  4400 |  1144 | 10367k| 934.9 |   390M |  33 |1788 |8781 |6117 |8856 |  0 |  27k|  10k| 3.152642e+03 |      --      |    Inf | unknown
1583.03/1587.36	c  1587s|  4500 |  1174 | 10485k| 937.1 |   391M |  33 |1788 |8849 |6121 |9036 |  0 |  28k|  10k| 3.152661e+03 |      --      |    Inf | unknown
1596.19/1600.51	c  1600s|  4600 |  1192 | 10600k| 939.0 |   391M |  33 |1788 |8951 |6116 |9094 |  1 |  28k|  10k| 3.152686e+03 |      --      |    Inf | unknown
1609.85/1614.25	c  1614s|  4700 |  1202 | 10723k| 941.6 |   391M |  33 |1788 |9104 |6116 |9144 |  1 |  28k|  10k| 3.152704e+03 |      --      |    Inf | unknown
1621.91/1626.36	c  1626s|  4800 |  1204 | 10845k| 944.0 |   391M |  33 |1788 |9240 |6115 |9201 |  0 |  28k|  10k| 3.152704e+03 |      --      |    Inf | unknown
1636.27/1640.77	c  1641s|  4900 |  1230 | 10965k| 946.2 |   392M |  33 |1788 |9372 |6111 |9334 |  0 |  29k|  10k| 3.152724e+03 |      --      |    Inf | unknown
1647.44/1651.96	c  1652s|  5000 |  1237 | 11079k| 947.8 |   393M |  33 |1788 |9527 |6112 |9387 |  1 |  29k|  10k| 3.152724e+03 |      --      |    Inf | unknown
1658.20/1662.77	c  1663s|  5100 |  1250 | 11183k| 948.6 |   393M |  33 |1788 |9510 |6116 |9481 |  1 |  29k|  10k| 3.152809e+03 |      --      |    Inf | unknown
1670.86/1675.40	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1670.86/1675.40	c  1675s|  5200 |  1264 | 11307k| 951.1 |   393M |  33 |1788 |9446 |6119 |9608 |  0 |  30k|  10k| 3.152821e+03 |      --      |    Inf | unknown
1682.73/1687.31	c  1687s|  5300 |  1280 | 11427k| 953.2 |   393M |  33 |1788 |9519 |6117 |9611 |  1 |  30k|  10k| 3.152853e+03 |      --      |    Inf | unknown
1693.60/1698.26	c  1698s|  5400 |  1288 | 11539k| 954.5 |   393M |  33 |1788 |9463 |6119 |9686 |  1 |  30k|  10k| 3.152854e+03 |      --      |    Inf | unknown
1707.06/1711.77	c  1712s|  5500 |  1318 | 11669k| 957.4 |   394M |  33 |1788 |9262 |6123 |9823 |  0 |  30k|  10k| 3.152854e+03 |      --      |    Inf | unknown
1719.82/1724.51	c  1724s|  5600 |  1328 | 11797k| 960.1 |   394M |  33 |1788 |9299 |6122 |9919 |  0 |  31k|  10k| 3.152871e+03 |      --      |    Inf | unknown
1735.88/1740.62	c  1741s|  5700 |  1328 | 11947k| 964.4 |   394M |  33 |1788 |9303 |6120 |9971 |  0 |  31k|  10k| 3.152871e+03 |      --      |    Inf | unknown
1749.44/1754.28	c  1754s|  5800 |  1340 | 12083k| 967.6 |   395M |  33 |1788 |9234 |6123 |  10k|  1 |  31k|  10k| 3.152874e+03 |      --      |    Inf | unknown
1760.50/1765.30	c  1765s|  5900 |  1355 | 12190k| 968.4 |   395M |  33 |1788 |9273 |6123 |  10k|  0 |  31k|  10k| 3.152874e+03 |      --      |    Inf | unknown
1773.28/1778.17	c  1778s|  6000 |  1365 | 12318k| 970.9 |   395M |  33 |1788 |9305 |6123 |  10k|  0 |  31k|  10k| 3.152877e+03 |      --      |    Inf | unknown
1788.33/1793.27	c  1793s|  6100 |  1377 | 12461k| 974.5 |   396M |  33 |1788 |9160 |6125 |  10k|  1 |  32k|  10k| 3.153055e+03 |      --      |    Inf | unknown
1805.78/1810.80	c  1811s|  6200 |  1381 | 12592k| 977.1 |   396M |  33 |1788 |9089 |6126 |  10k|  1 |  32k|  10k| 3.153081e+03 |      --      |    Inf | unknown
1823.93/1828.96	c  1829s|  6300 |  1387 | 12728k| 980.0 |   396M |  33 |1788 |9175 |6124 |  10k|  0 |  32k|  10k| 3.153218e+03 |      --      |    Inf | unknown
1843.57/1848.67	c  1849s|  6400 |  1393 | 12870k| 983.4 |   396M |  33 |1788 |9142 |6125 |  10k|  1 |  32k|  10k| 3.153261e+03 |      --      |    Inf | unknown
1863.71/1868.81	c  1869s|  6500 |  1399 | 13012k| 986.7 |   396M |  33 |1788 |8978 |6117 |  10k|  1 |  33k|  10k| 3.153351e+03 |      --      |    Inf | unknown
1881.97/1887.19	c  1887s|  6600 |  1403 | 13152k| 989.8 |   396M |  33 |1788 |9045 |6118 |  10k|  0 |  33k|  10k| 3.153351e+03 |      --      |    Inf | unknown
1901.91/1907.14	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1901.91/1907.14	c  1907s|  6700 |  1407 | 13294k| 993.1 |   396M |  33 |1788 |9040 |6121 |  11k|  2 |  33k|  10k| 3.153351e+03 |      --      |    Inf | unknown
1919.55/1924.84	c  1925s|  6800 |  1425 | 13415k| 994.6 |   398M |  33 |1788 |9109 |6120 |  11k|  1 |  33k|  10k| 3.153353e+03 |      --      |    Inf | unknown
1936.71/1942.10	c  1942s|  6900 |  1428 | 13537k| 996.3 |   398M |  33 |1788 |9183 |6121 |  11k|  1 |  33k|  10k| 3.153379e+03 |      --      |    Inf | unknown
1955.45/1960.89	c  1961s|  7000 |  1432 | 13668k| 998.6 |   398M |  33 |1788 |8855 |6117 |  11k|  1 |  34k|  11k| 3.153381e+03 |      --      |    Inf | unknown
1974.41/1979.89	c  1980s|  7100 |  1444 | 13798k|1000.8 |   398M |  33 |1788 |8528 |6111 |  11k|  1 |  34k|  11k| 3.153621e+03 |      --      |    Inf | unknown
1988.87/1994.39	c  1994s|  7200 |  1460 | 13900k|1000.9 |   398M |  33 |1788 |8753 |   0 |  11k|  0 |  34k|  11k| 3.153621e+03 |      --      |    Inf | unknown
2012.11/2017.61	c  2018s|  7300 |  1468 | 14058k|1005.1 |   398M |  33 |1788 |8701 |6121 |  11k|  1 |  35k|  11k| 3.153653e+03 |      --      |    Inf | unknown
2033.86/2039.46	c  2039s|  7400 |  1462 | 14209k|1008.7 |   398M |  33 |1788 |8879 |6121 |  11k|  0 |  35k|  11k| 3.153677e+03 |      --      |    Inf | unknown
2061.20/2066.81	c  2067s|  7500 |  1498 | 14385k|1014.0 |   399M |  33 |1788 |8717 |6123 |  12k|  1 |  35k|  11k| 3.153796e+03 |      --      |    Inf | unknown
2082.05/2087.71	c  2088s|  7600 |  1516 | 14539k|1017.7 |   399M |  33 |1788 |8712 |6129 |  12k|  1 |  35k|  11k| 3.153880e+03 |      --      |    Inf | unknown
2100.02/2105.73	c  2106s|  7700 |  1526 | 14684k|1020.7 |   399M |  33 |1788 |8632 |6125 |  12k|  0 |  36k|  11k| 3.153880e+03 |      --      |    Inf | unknown
2117.17/2123.00	c  2123s|  7800 |  1542 | 14829k|1023.7 |   399M |  33 |1788 |8647 |6124 |  12k|  0 |  36k|  11k| 3.153883e+03 |      --      |    Inf | unknown
2133.35/2139.18	c  2139s|  7900 |  1546 | 14978k|1026.8 |   399M |  33 |1788 |8776 |6123 |  12k|  0 |  36k|  11k| 3.153962e+03 |      --      |    Inf | unknown
2149.10/2155.00	c  2155s|  8000 |  1550 | 15121k|1029.6 |   399M |  33 |1788 |8744 |6117 |  12k|  0 |  36k|  11k| 3.153988e+03 |      --      |    Inf | unknown
2162.96/2168.81	c  2169s|  8100 |  1558 | 15251k|1031.5 |   400M |  33 |1788 |8800 |6116 |  12k|  0 |  37k|  11k| 3.153988e+03 |      --      |    Inf | unknown
2176.33/2182.24	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2176.33/2182.24	c  2182s|  8200 |  1572 | 15375k|1032.8 |   400M |  33 |1788 |8800 |6125 |  12k|  2 |  37k|  11k| 3.154080e+03 |      --      |    Inf | unknown
2194.77/2200.72	c  2201s|  8300 |  1580 | 15539k|1036.9 |   400M |  33 |1788 |8867 |6129 |  13k|  0 |  37k|  11k| 3.154083e+03 |      --      |    Inf | unknown
2212.62/2218.61	c  2219s|  8400 |  1584 | 15699k|1040.7 |   401M |  33 |1788 |8834 |6125 |  13k|  1 |  37k|  11k| 3.154092e+03 |      --      |    Inf | unknown
2230.37/2236.42	c  2236s|  8500 |  1590 | 15856k|1044.1 |   401M |  33 |1788 |8841 |6128 |  13k|  0 |  38k|  11k| 3.154092e+03 |      --      |    Inf | unknown
2250.02/2256.17	c  2256s|  8600 |  1608 | 16023k|1048.2 |   402M |  33 |1788 |8603 |6134 |  13k|  2 |  38k|  11k| 3.154135e+03 |      --      |    Inf | unknown
2270.96/2277.11	c  2277s|  8700 |  1636 | 16207k|1053.4 |   402M |  33 |1788 |8425 |6132 |  13k|  1 |  38k|  11k| 3.154158e+03 |      --      |    Inf | unknown
2293.79/2300.10	c  2300s|  8800 |  1653 | 16396k|1058.8 |   402M |  33 |1788 |8459 |6137 |  13k|  0 |  38k|  11k| 3.154296e+03 |      --      |    Inf | unknown
2314.62/2320.91	c  2321s|  8900 |  1660 | 16572k|1063.3 |   403M |  33 |1788 |8484 |6134 |  13k|  0 |  38k|  11k| 3.154298e+03 |      --      |    Inf | unknown
2336.46/2342.80	c  2343s|  9000 |  1670 | 16759k|1068.4 |   403M |  33 |1788 |8453 |6134 |  13k|  0 |  39k|  11k| 3.154310e+03 |      --      |    Inf | unknown
2353.11/2359.58	c  2360s|  9100 |  1664 | 16887k|1069.8 |   403M |  33 |1788 |8516 |6134 |  14k|  0 |  39k|  11k| 3.154318e+03 |      --      |    Inf | unknown
2369.57/2376.08	c  2376s|  9200 |  1664 | 16991k|1069.6 |   403M |  33 |1788 |8323 |6132 |  14k|  0 |  39k|  11k| 3.154357e+03 |      --      |    Inf | unknown
2384.32/2390.88	c  2391s|  9300 |  1711 | 17083k|1068.7 |   404M |  33 |1788 |7970 |6082 |  14k|  1 |  39k|  11k| 3.154358e+03 |      --      |    Inf | unknown
2395.09/2401.61	c  2402s|  9400 |  1756 | 17160k|1066.8 |   405M |  33 |1788 |8060 |6097 |  14k|  0 |  39k|  11k| 3.154358e+03 |      --      |    Inf | unknown
2405.06/2411.66	c  2412s|  9500 |  1769 | 17224k|1064.1 |   407M |  33 |1788 |8253 |6100 |  14k|  1 |  40k|  11k| 3.154385e+03 |      --      |    Inf | unknown
2413.33/2420.00	c  2420s|  9600 |  1778 | 17279k|1061.0 |   407M |  33 |1788 |8422 |6100 |  14k|  1 |  40k|  11k| 3.154412e+03 |      --      |    Inf | unknown
2421.42/2428.03	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2421.42/2428.03	c  2428s|  9700 |  1779 | 17334k|1057.8 |   407M |  33 |1788 |8647 |6094 |  15k|  0 |  40k|  11k| 3.154412e+03 |      --      |    Inf | unknown
2431.49/2438.17	c  2438s|  9800 |  1801 | 17400k|1055.4 |   407M |  33 |1788 |8661 |6095 |  15k|  0 |  40k|  11k| 3.154527e+03 |      --      |    Inf | unknown
2441.06/2447.73	c  2448s|  9900 |  1811 | 17461k|1052.8 |   407M |  33 |1788 |8701 |6096 |  15k|  0 |  41k|  11k| 3.154535e+03 |      --      |    Inf | unknown
2448.64/2455.32	c  2455s| 10000 |  1815 | 17514k|1049.6 |   407M |  33 |1788 |8680 |6101 |  15k|  1 |  41k|  11k| 3.154540e+03 |      --      |    Inf | unknown
2458.21/2464.93	c  2465s| 10100 |  1826 | 17576k|1047.0 |   408M |  33 |1788 |8702 |6101 |  15k|  0 |  41k|  11k| 3.154580e+03 |      --      |    Inf | unknown
2467.19/2473.98	c  2474s| 10200 |  1840 | 17636k|1044.4 |   408M |  33 |1788 |8766 |6104 |  15k|  1 |  41k|  12k| 3.154587e+03 |      --      |    Inf | unknown
2475.56/2482.36	c  2482s| 10300 |  1851 | 17698k|1041.9 |   409M |  33 |1788 |8820 |6110 |  15k|  1 |  42k|  12k| 3.154587e+03 |      --      |    Inf | unknown
2486.83/2493.65	c  2494s| 10400 |  1863 | 17774k|1040.3 |   409M |  33 |1788 |8849 |6109 |  16k|  1 |  42k|  12k| 3.154629e+03 |      --      |    Inf | unknown
2500.09/2506.95	c  2507s| 10500 |  1886 | 17863k|1039.4 |   409M |  33 |1788 |8921 |6110 |  16k|  1 |  42k|  12k| 3.154644e+03 |      --      |    Inf | unknown
2508.66/2515.52	c  2516s| 10600 |  1906 | 17923k|1036.8 |   409M |  33 |1788 |8860 |6106 |  16k|  0 |  43k|  12k| 3.154645e+03 |      --      |    Inf | unknown
2516.54/2523.44	c  2523s| 10700 |  1914 | 17976k|1033.9 |   409M |  33 |1788 |8927 |6107 |  16k|  0 |  43k|  12k| 3.154645e+03 |      --      |    Inf | unknown
2525.61/2532.56	c  2533s| 10800 |  1928 | 18044k|1031.9 |   410M |  33 |1788 |8777 |6112 |  16k|  0 |  43k|  12k| 3.154802e+03 |      --      |    Inf | unknown
2534.49/2541.45	c  2541s| 10900 |  1936 | 18102k|1029.3 |   410M |  33 |1788 |8722 |6112 |  16k|  0 |  43k|  12k| 3.154927e+03 |      --      |    Inf | unknown
2543.96/2550.91	c  2551s| 11000 |  1944 | 18163k|1027.0 |   411M |  33 |1788 |8561 |6113 |  16k|  0 |  44k|  12k| 3.155124e+03 |      --      |    Inf | unknown
2552.93/2559.94	c  2560s| 11100 |  1961 | 18224k|1024.6 |   411M |  33 |1788 |8454 |6113 |  17k|  0 |  44k|  12k| 3.155284e+03 |      --      |    Inf | unknown
2560.81/2567.82	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2560.81/2567.82	c  2568s| 11200 |  1962 | 18276k|1021.8 |   411M |  33 |1788 |8564 |6110 |  17k|  1 |  44k|  12k| 3.155284e+03 |      --      |    Inf | unknown
2568.79/2575.81	c  2576s| 11300 |  1970 | 18333k|1019.2 |   411M |  33 |1788 |8542 |6108 |  17k|  1 |  44k|  12k| 3.155302e+03 |      --      |    Inf | unknown
2578.26/2585.36	c  2585s| 11400 |  1974 | 18396k|1017.1 |   412M |  33 |1788 |8445 |6108 |  17k|  1 |  45k|  12k| 3.155303e+03 |      --      |    Inf | unknown
2586.54/2593.68	c  2594s| 11500 |  1978 | 18451k|1014.5 |   412M |  33 |1788 |8544 |6110 |  17k|  1 |  45k|  12k| 3.155330e+03 |      --      |    Inf | unknown
2595.31/2602.40	c  2602s| 11600 |  1989 | 18511k|1012.3 |   412M |  33 |1788 |8391 |6109 |  17k|  0 |  45k|  12k| 3.155624e+03 |      --      |    Inf | unknown
2603.49/2610.61	c  2611s| 11700 |  1999 | 18568k|1009.8 |   412M |  33 |1788 |8429 |6106 |  17k|  0 |  45k|  12k| 3.155624e+03 |      --      |    Inf | unknown
2613.46/2620.61	c  2621s| 11800 |  2010 | 18637k|1008.1 |   412M |  33 |1788 |8358 |6106 |  17k|  1 |  46k|  12k| 3.156054e+03 |      --      |    Inf | unknown
2621.84/2629.01	c  2629s| 11900 |  2026 | 18695k|1005.8 |   413M |  33 |1788 |8243 |6108 |  18k|  0 |  46k|  12k| 3.156054e+03 |      --      |    Inf | unknown
2631.41/2638.62	c  2639s| 12000 |  2040 | 18758k|1003.8 |   413M |  33 |1788 |8254 |6109 |  18k|  1 |  46k|  12k| 3.156200e+03 |      --      |    Inf | unknown
2642.37/2649.66	c  2650s| 12100 |  2056 | 18829k|1002.2 |   413M |  33 |1788 |8185 |6107 |  18k|  1 |  46k|  12k| 3.156676e+03 |      --      |    Inf | unknown
2653.04/2660.40	c  2660s| 12200 |  2070 | 18905k|1001.0 |   414M |  33 |1788 |8076 |6112 |  18k|  0 |  47k|  12k| 3.157132e+03 |      --      |    Inf | unknown
2663.11/2670.47	c  2670s| 12300 |  2085 | 18971k| 999.1 |   415M |  33 |1788 |7982 |6109 |  18k|  0 |  47k|  12k| 3.157417e+03 |      --      |    Inf | unknown
2673.38/2680.79	c  2681s| 12400 |  2105 | 19042k| 997.7 |   415M |  33 |1788 |7962 |6108 |  19k|  0 |  47k|  12k| 3.159624e+03 |      --      |    Inf | unknown
2682.95/2690.38	c  2690s| 12500 |  2112 | 19114k| 996.2 |   416M |  33 |1788 |8001 |6111 |  19k|  0 |  47k|  12k| 3.161238e+03 |      --      |    Inf | unknown
2689.83/2697.22	c  2697s| 12600 |  2120 | 19172k| 994.0 |   416M |  33 |1788 |8078 |6110 |  19k|  0 |  48k|  12k| 3.161820e+03 |      --      |    Inf | unknown
2697.41/2704.84	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2697.41/2704.84	c  2705s| 12700 |  2129 | 19235k| 992.1 |   416M |  33 |1788 |8114 |6111 |  19k|  1 |  48k|  12k| 3.163271e+03 |      --      |    Inf | unknown
2704.19/2711.63	c  2712s| 12800 |  2145 | 19296k| 990.2 |   416M |  33 |1788 |8214 |6111 |  19k|  0 |  48k|  12k| 3.163967e+03 |      --      |    Inf | unknown
2710.97/2718.44	c  2718s| 12900 |  2152 | 19356k| 988.2 |   416M |  33 |1788 |8266 |6111 |  19k|  1 |  48k|  12k| 3.164144e+03 |      --      |    Inf | unknown
2717.35/2724.84	c  2725s| 13000 |  2158 | 19414k| 986.1 |   416M |  33 |1788 |8349 |6110 |  19k|  0 |  49k|  12k| 3.164167e+03 |      --      |    Inf | unknown
2725.54/2733.05	c  2733s| 13100 |  2182 | 19490k| 985.0 |   417M |  33 |1788 |8191 |6092 |  19k|  0 |  49k|  12k| 3.164500e+03 |      --      |    Inf | unknown
2731.71/2739.23	c  2739s| 13200 |  2195 | 19550k| 983.1 |   417M |  33 |1788 |8228 |6086 |  19k|  0 |  49k|  12k| 3.164608e+03 |      --      |    Inf | unknown
2737.61/2745.19	c  2745s| 13300 |  2216 | 19608k| 981.0 |   417M |  33 |1788 |8190 |6095 |  19k|  1 |  49k|  12k| 3.164729e+03 |      --      |    Inf | unknown
2743.38/2751.00	c  2751s| 13400 |  2220 | 19668k| 979.1 |   417M |  33 |1788 |8284 |6092 |  20k|  0 |  50k|  12k| 3.165167e+03 |      --      |    Inf | unknown
2748.96/2756.52	c  2757s| 13500 |  2238 | 19724k| 977.0 |   417M |  33 |1788 |8405 |6097 |  20k|  2 |  50k|  12k| 3.165167e+03 |      --      |    Inf | unknown
2758.03/2765.66	c  2766s| 13600 |  2295 | 19798k| 975.9 |   417M |  33 |1788 |8562 |6105 |  20k|  0 |  50k|  12k| 3.165333e+03 |      --      |    Inf | unknown
2763.72/2771.39	c  2771s| 13700 |  2296 | 19850k| 973.6 |   417M |  33 |1788 |8742 |6104 |  20k|  0 |  50k|  12k| 3.165333e+03 |      --      |    Inf | unknown
2771.59/2779.28	c  2779s| 13800 |  2310 | 19917k| 972.1 |   417M |  33 |1788 |8843 |6107 |  20k|  1 |  51k|  12k| 3.165333e+03 |      --      |    Inf | unknown
2778.17/2785.80	c  2786s| 13900 |  2318 | 19973k| 970.2 |   417M |  35 |1788 |9057 |6103 |  20k|  0 |  51k|  12k| 3.165333e+03 |      --      |    Inf | unknown
2785.75/2793.42	c  2793s| 14000 |  2339 | 20041k| 968.7 |   418M |  35 |1788 |9197 |6117 |  20k|  0 |  51k|  12k| 3.165500e+03 |      --      |    Inf | unknown
2791.64/2799.39	c  2799s| 14100 |  2343 | 20094k| 966.6 |   418M |  35 |1788 |9310 |6111 |  20k|  1 |  51k|  12k| 3.165555e+03 |      --      |    Inf | unknown
2799.21/2806.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2799.21/2806.92	c  2807s| 14200 |  2347 | 20158k| 965.0 |   418M |  35 |1788 |9336 |6116 |  21k|  0 |  52k|  12k| 3.165611e+03 |      --      |    Inf | unknown
2808.09/2815.89	c  2816s| 14300 |  2363 | 20231k| 963.9 |   418M |  35 |1788 |9305 |6119 |  21k|  1 |  52k|  12k| 3.165667e+03 |      --      |    Inf | unknown
2814.97/2822.76	c  2823s| 14400 |  2367 | 20293k| 962.3 |   418M |  35 |1788 |9284 |6101 |  21k|  0 |  52k|  12k| 3.165667e+03 |      --      |    Inf | unknown
2822.26/2830.04	c  2830s| 14500 |  2374 | 20358k| 960.8 |   418M |  35 |1788 |9292 |6096 |  21k|  0 |  53k|  12k| 3.165683e+03 |      --      |    Inf | unknown
2828.44/2836.27	c  2836s| 14600 |  2375 | 20414k| 958.9 |   418M |  35 |1788 |9368 |   0 |  21k|  0 |  53k|  12k| 3.165683e+03 |      --      |    Inf | unknown
2836.23/2844.01	c  2844s| 14700 |  2388 | 20478k| 957.5 |   420M |  35 |1788 |9371 |6107 |  21k|  0 |  53k|  12k| 3.165889e+03 |      --      |    Inf | unknown
2846.59/2854.42	c  2854s| 14800 |  2406 | 20553k| 956.5 |   420M |  35 |1788 |9321 |6108 |  21k|  1 |  53k|  12k| 3.166037e+03 |      --      |    Inf | unknown
2855.76/2863.63	c  2864s| 14900 |  2429 | 20630k| 955.6 |   421M |  35 |1788 |9038 |6100 |  22k|  1 |  54k|  12k| 3.166211e+03 |      --      |    Inf | unknown
2862.34/2870.21	c  2870s| 15000 |  2427 | 20688k| 953.9 |   421M |  35 |1788 |9145 |6103 |  22k|  0 |  54k|  12k| 3.166211e+03 |      --      |    Inf | unknown
2869.72/2877.68	c  2878s| 15100 |  2436 | 20752k| 952.4 |   421M |  35 |1788 |9065 |6096 |  22k|  1 |  54k|  12k| 3.166211e+03 |      --      |    Inf | unknown
2878.00/2885.90	c  2886s| 15200 |  2452 | 20821k| 951.2 |   421M |  35 |1788 |8936 |6109 |  22k|  0 |  55k|  12k| 3.166303e+03 |      --      |    Inf | unknown
2886.47/2894.42	c  2894s| 15300 |  2472 | 20893k| 950.2 |   422M |  35 |1788 |8880 |6111 |  23k|  1 |  55k|  12k| 3.166333e+03 |      --      |    Inf | unknown
2892.45/2900.42	c  2900s| 15400 |  2465 | 20950k| 948.4 |   422M |  35 |1788 |9031 |6102 |  23k|  1 |  55k|  12k| 3.166333e+03 |      --      |    Inf | unknown
2899.63/2907.67	c  2908s| 15500 |  2466 | 21013k| 947.0 |   422M |  35 |1788 |9131 |6107 |  23k|  0 |  55k|  12k| 3.166333e+03 |      --      |    Inf | unknown
2907.02/2915.08	c  2915s| 15600 |  2476 | 21076k| 945.6 |   423M |  35 |1788 |9150 |6100 |  23k|  1 |  56k|  12k| 3.166333e+03 |      --      |    Inf | unknown
2915.10/2923.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2915.10/2923.19	c  2923s| 15700 |  2493 | 21143k| 944.4 |   423M |  35 |1788 |9106 |6100 |  23k|  1 |  56k|  12k| 3.166333e+03 |      --      |    Inf | unknown
2921.67/2929.71	c  2930s| 15800 |  2493 | 21200k| 942.7 |   423M |  35 |1788 |9096 |6102 |  23k|  0 |  56k|  12k| 3.166333e+03 |      --      |    Inf | unknown
2930.14/2938.25	c  2938s| 15900 |  2502 | 21276k| 941.9 |   423M |  35 |1788 |9014 |6116 |  23k|  0 |  56k|  12k| 3.166333e+03 |      --      |    Inf | unknown
2937.22/2945.32	c  2945s| 16000 |  2506 | 21338k| 940.5 |   423M |  35 |1788 |9053 |6105 |  24k|  1 |  57k|  12k| 3.166333e+03 |      --      |    Inf | unknown
2944.70/2952.85	c  2953s| 16100 |  2512 | 21400k| 939.1 |   423M |  35 |1788 |9037 |6106 |  24k|  0 |  57k|  12k| 3.166333e+03 |      --      |    Inf | unknown
2953.98/2962.16	c  2962s| 16200 |  2547 | 21485k| 938.7 |   423M |  35 |1788 |8959 |6104 |  24k|  1 |  57k|  12k| 3.166333e+03 |      --      |    Inf | unknown
2962.35/2970.59	c  2971s| 16300 |  2561 | 21554k| 937.6 |   425M |  35 |1788 |8904 |6110 |  24k|  1 |  58k|  12k| 3.166509e+03 |      --      |    Inf | unknown
2969.43/2977.60	c  2978s| 16400 |  2571 | 21615k| 936.2 |   425M |  35 |1788 |8815 |6110 |  24k|  1 |  58k|  12k| 3.166556e+03 |      --      |    Inf | unknown
2974.82/2983.07	c  2983s| 16500 |  2571 | 21667k| 934.4 |   425M |  35 |1788 |8969 |6110 |  24k|  1 |  58k|  12k| 3.166556e+03 |      --      |    Inf | unknown
2986.79/2995.05	c  2995s| 16600 |  2613 | 21761k| 934.4 |   425M |  35 |1788 |9038 |6108 |  25k|  1 |  58k|  12k| 3.166556e+03 |      --      |    Inf | unknown
2993.56/3001.89	c  3002s| 16700 |  2625 | 21822k| 933.0 |   425M |  35 |1788 |9209 |6105 |  25k|  0 |  59k|  12k| 3.166556e+03 |      --      |    Inf | unknown
3003.13/3011.41	c  3011s| 16800 |  2641 | 21901k| 932.4 |   425M |  35 |1788 |9043 |6107 |  25k|  0 |  59k|  12k| 3.166556e+03 |      --      |    Inf | unknown
3010.01/3018.33	c  3018s| 16900 |  2655 | 21963k| 931.1 |   425M |  35 |1788 |9005 |6101 |  25k|  0 |  59k|  12k| 3.166667e+03 |      --      |    Inf | unknown
3020.19/3028.52	c  3029s| 17000 |  2672 | 22037k| 930.3 |   428M |  35 |1788 |8698 |6106 |  26k|  1 |  59k|  12k| 3.166833e+03 |      --      |    Inf | unknown
3031.45/3039.80	c  3040s| 17100 |  2704 | 22112k| 929.5 |   428M |  35 |1788 |8727 |6102 |  26k|  1 |  60k|  12k| 3.166833e+03 |      --      |    Inf | unknown
3041.42/3049.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3041.42/3049.88	c  3050s| 17200 |  2734 | 22183k| 928.6 |   428M |  35 |1788 |8750 |6105 |  26k|  1 |  60k|  12k| 3.166833e+03 |      --      |    Inf | unknown
3052.89/3061.38	c  3061s| 17300 |  2748 | 22264k| 928.1 |   428M |  35 |1788 |8916 |6110 |  26k|  1 |  60k|  12k| 3.166833e+03 |      --      |    Inf | unknown
3062.86/3071.30	c  3071s| 17400 |  2764 | 22335k| 927.2 |   428M |  35 |1788 |8985 |6110 |  26k|  1 |  60k|  12k| 3.166833e+03 |      --      |    Inf | unknown
3073.23/3081.72	c  3082s| 17500 |  2780 | 22409k| 926.4 |   428M |  35 |1788 |9106 |6111 |  26k|  0 |  61k|  12k| 3.166833e+03 |      --      |    Inf | unknown
3082.40/3090.97	c  3091s| 17600 |  2790 | 22478k| 925.4 |   428M |  35 |1788 |9234 |6110 |  26k|  0 |  61k|  13k| 3.166848e+03 |      --      |    Inf | unknown
3094.27/3102.89	c  3103s| 17700 |  2832 | 22555k| 924.8 |   428M |  35 |1788 |9052 |6112 |  27k|  2 |  61k|  13k| 3.167000e+03 |      --      |    Inf | unknown
3105.93/3114.50	c  3114s| 17800 |  2858 | 22632k| 924.2 |   428M |  35 |1788 |9048 |6112 |  27k|  1 |  62k|  13k| 3.167009e+03 |      --      |    Inf | unknown
3115.91/3124.53	c  3125s| 17900 |  2870 | 22700k| 923.2 |   428M |  35 |1788 |9264 |6112 |  27k|  0 |  62k|  13k| 3.167175e+03 |      --      |    Inf | unknown
3126.28/3134.94	c  3135s| 18000 |  2890 | 22770k| 922.3 |   428M |  35 |1788 |9198 |6114 |  27k|  1 |  62k|  13k| 3.167437e+03 |      --      |    Inf | unknown
3136.05/3144.72	c  3145s| 18100 |  2900 | 22844k| 921.5 |   428M |  35 |1788 |9386 |6113 |  27k|  0 |  63k|  13k| 3.167500e+03 |      --      |    Inf | unknown
3145.62/3154.38	c  3154s| 18200 |  2904 | 22912k| 920.6 |   428M |  35 |1788 |9319 |6116 |  27k|  0 |  63k|  13k| 3.167515e+03 |      --      |    Inf | unknown
3156.30/3165.02	c  3165s| 18300 |  2926 | 22982k| 919.7 |   428M |  35 |1788 |9059 |6119 |  27k|  1 |  63k|  13k| 3.167667e+03 |      --      |    Inf | unknown
3165.06/3173.89	c  3174s| 18400 |  2942 | 23046k| 918.5 |   428M |  35 |1788 |9058 |6111 |  27k|  0 |  63k|  13k| 3.167667e+03 |      --      |    Inf | unknown
3176.83/3185.66	c  3186s| 18500 |  2948 | 23119k| 917.8 |   429M |  35 |1788 |8762 |6111 |  28k|  1 |  64k|  13k| 3.167667e+03 |      --      |    Inf | unknown
3189.39/3198.26	c  3198s| 18600 |  2970 | 23209k| 917.7 |   429M |  35 |1788 |8821 |6114 |  28k|  0 |  64k|  13k| 3.167667e+03 |      --      |    Inf | unknown
3201.75/3210.63	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3201.75/3210.63	c  3211s| 18700 |  2970 | 23294k| 917.5 |   430M |  35 |1788 |9103 |6115 |  28k|  0 |  65k|  13k| 3.167667e+03 |      --      |    Inf | unknown
3211.93/3220.85	c  3221s| 18800 |  2993 | 23369k| 916.8 |   430M |  35 |1788 |8842 |6111 |  28k|  1 |  65k|  13k| 3.167833e+03 |      --      |    Inf | unknown
3220.31/3229.20	c  3229s| 18900 |  2999 | 23429k| 915.6 |   430M |  35 |1788 |8895 |6111 |  28k|  1 |  65k|  13k| 3.167833e+03 |      --      |    Inf | unknown
3233.09/3242.03	c  3242s| 19000 |  3023 | 23502k| 914.8 |   431M |  35 |1788 |8534 |6113 |  29k|  0 |  66k|  13k| 3.167844e+03 |      --      |    Inf | unknown
3241.86/3250.87	c  3251s| 19100 |  3035 | 23569k| 913.9 |   431M |  35 |1788 |8624 |6114 |  29k|  1 |  66k|  13k| 3.167844e+03 |      --      |    Inf | unknown
3250.74/3259.71	c  3260s| 19200 |  3051 | 23633k| 912.8 |   431M |  35 |1788 |8538 |6110 |  29k|  1 |  66k|  13k| 3.167888e+03 |      --      |    Inf | unknown
3257.42/3266.43	c  3266s| 19300 |  3052 | 23691k| 911.6 |   432M |  35 |1788 |8403 |6112 |  29k|  1 |  66k|  13k| 3.168000e+03 |      --      |    Inf | unknown
3268.29/3277.37	c  3277s| 19400 |  3068 | 23757k| 910.6 |   432M |  35 |1788 |8353 |6112 |  29k|  0 |  67k|  13k| 3.168014e+03 |      --      |    Inf | unknown
3277.87/3286.98	c  3287s| 19500 |  3085 | 23831k| 909.9 |   432M |  35 |1788 |8314 |6109 |  29k|  0 |  67k|  13k| 3.168014e+03 |      --      |    Inf | unknown
3285.46/3294.50	c  3294s| 19600 |  3116 | 23895k| 908.9 |   432M |  35 |1788 |8310 |6110 |  29k|  1 |  67k|  13k| 3.168056e+03 |      --      |    Inf | unknown
3291.95/3301.09	c  3301s| 19700 |  3124 | 23955k| 907.7 |   432M |  35 |1788 |8478 |6110 |  29k|  0 |  67k|  13k| 3.168167e+03 |      --      |    Inf | unknown
3300.32/3309.47	c  3309s| 19800 |  3130 | 24025k| 907.0 |   432M |  35 |1788 |8547 |6112 |  29k|  1 |  68k|  13k| 3.168167e+03 |      --      |    Inf | unknown
3308.10/3317.27	c  3317s| 19900 |  3138 | 24090k| 906.0 |   433M |  35 |1788 |8604 |6111 |  29k|  1 |  68k|  13k| 3.168213e+03 |      --      |    Inf | unknown
3314.39/3323.57	c  3324s| 20000 |  3146 | 24148k| 904.8 |   433M |  35 |1788 |8702 |6111 |  29k|  0 |  68k|  13k| 3.168213e+03 |      --      |    Inf | unknown
3320.68/3329.89	c  3330s| 20100 |  3142 | 24208k| 903.6 |   433M |  35 |1788 |8878 |6110 |  29k|  0 |  68k|  13k| 3.168213e+03 |      --      |    Inf | unknown
3328.46/3337.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3328.46/3337.62	c  3338s| 20200 |  3152 | 24274k| 902.7 |   433M |  35 |1788 |8766 |6112 |  30k|  1 |  69k|  13k| 3.168333e+03 |      --      |    Inf | unknown
3341.63/3350.81	c  3351s| 20300 |  3174 | 24375k| 903.1 |   433M |  35 |1788 |8780 |6113 |  30k|  0 |  69k|  13k| 3.168333e+03 |      --      |    Inf | unknown
3349.31/3358.58	c  3359s| 20400 |  3192 | 24444k| 902.3 |   433M |  35 |1788 |8746 |6108 |  30k|  1 |  69k|  13k| 3.168333e+03 |      --      |    Inf | unknown
3360.09/3369.40	c  3369s| 20500 |  3212 | 24530k| 902.2 |   433M |  35 |1788 |8461 |6117 |  30k|  0 |  69k|  13k| 3.168333e+03 |      --      |    Inf | unknown
3369.08/3378.39	c  3378s| 20600 |  3215 | 24607k| 901.7 |   433M |  35 |1788 |8401 |6107 |  30k|  0 |  70k|  13k| 3.168333e+03 |      --      |    Inf | unknown
3376.96/3386.29	c  3386s| 20700 |  3234 | 24672k| 900.8 |   433M |  35 |1788 |8434 |6098 |  30k|  0 |  70k|  13k| 3.168333e+03 |      --      |    Inf | unknown
3383.85/3393.18	c  3393s| 20800 |  3238 | 24734k| 899.8 |   433M |  35 |1788 |8573 |6098 |  30k|  0 |  70k|  13k| 3.168553e+03 |      --      |    Inf | unknown
3391.03/3400.35	c  3400s| 20900 |  3249 | 24798k| 898.8 |   433M |  35 |1788 |8737 |6101 |  31k|  0 |  70k|  13k| 3.168556e+03 |      --      |    Inf | unknown
3396.51/3405.82	c  3406s| 21000 |  3256 | 24850k| 897.4 |   433M |  35 |1788 |9017 |6101 |  31k|  1 |  71k|  13k| 3.168556e+03 |      --      |    Inf | unknown
3404.20/3413.56	c  3414s| 21100 |  3264 | 24916k| 896.6 |   433M |  35 |1788 |9119 |6103 |  31k|  0 |  71k|  13k| 3.168705e+03 |      --      |    Inf | unknown
3409.98/3419.33	c  3419s| 21200 |  3268 | 24971k| 895.3 |   433M |  35 |1788 |9326 |6101 |  31k|  0 |  71k|  13k| 3.168705e+03 |      --      |    Inf | unknown
3416.68/3426.01	c  3426s| 21300 |  3277 | 25030k| 894.2 |   433M |  35 |1788 |9295 |6100 |  31k|  0 |  72k|  13k| 3.168711e+03 |      --      |    Inf | unknown
3424.45/3433.88	c  3434s| 21400 |  3291 | 25092k| 893.3 |   434M |  35 |1788 |9211 |6102 |  31k|  1 |  72k|  13k| 3.168799e+03 |      --      |    Inf | unknown
3430.53/3439.96	c  3440s| 21500 |  3297 | 25148k| 892.1 |   434M |  35 |1788 |9057 |6101 |  31k|  0 |  72k|  13k| 3.168909e+03 |      --      |    Inf | unknown
3437.73/3447.20	c  3447s| 21600 |  3315 | 25212k| 891.2 |   435M |  35 |1788 |8761 |6098 |  31k|  1 |  72k|  13k| 3.169167e+03 |      --      |    Inf | unknown
3444.40/3453.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3444.40/3453.86	c  3454s| 21700 |  3321 | 25272k| 890.2 |   435M |  35 |1788 |8759 |6099 |  31k|  0 |  73k|  13k| 3.169211e+03 |      --      |    Inf | unknown
3452.28/3461.74	c  3462s| 21800 |  3337 | 25338k| 889.4 |   435M |  35 |1788 |8577 |6098 |  32k|  1 |  73k|  13k| 3.169299e+03 |      --      |    Inf | unknown
3459.47/3468.93	c  3469s| 21900 |  3351 | 25401k| 888.5 |   435M |  35 |1788 |8537 |6098 |  32k|  0 |  73k|  13k| 3.169344e+03 |      --      |    Inf | unknown
3466.45/3475.98	c  3476s| 22000 |  3373 | 25461k| 887.5 |   435M |  35 |1788 |8536 |6099 |  32k|  0 |  73k|  13k| 3.169354e+03 |      --      |    Inf | unknown
3474.23/3483.74	c  3484s| 22100 |  3378 | 25531k| 886.8 |   435M |  35 |1788 |8489 |6103 |  32k|  1 |  74k|  13k| 3.169354e+03 |      --      |    Inf | unknown
3483.11/3492.62	c  3493s| 22200 |  3382 | 25608k| 886.4 |   436M |  35 |1788 |8425 |6100 |  32k|  0 |  74k|  13k| 3.169417e+03 |      --      |    Inf | unknown
3491.61/3501.12	c  3501s| 22300 |  3404 | 25682k| 885.9 |   436M |  35 |1788 |8141 |6123 |  32k|  2 |  74k|  13k| 3.169431e+03 |      --      |    Inf | unknown
3500.37/3509.92	c  3510s| 22400 |  3426 | 25758k| 885.5 |   436M |  35 |1788 |8251 |6119 |  33k|  0 |  74k|  13k| 3.169458e+03 |      --      |    Inf | unknown
3510.56/3520.13	c  3520s| 22500 |  3454 | 25844k| 885.4 |   436M |  35 |1788 |8181 |6126 |  33k|  1 |  75k|  13k| 3.169492e+03 |      --      |    Inf | unknown
3518.33/3527.92	c  3528s| 22600 |  3460 | 25918k| 884.9 |   436M |  35 |1788 |8328 |6126 |  33k|  1 |  75k|  13k| 3.169492e+03 |      --      |    Inf | unknown
3529.21/3538.85	c  3539s| 22700 |  3502 | 26010k| 885.0 |   436M |  35 |1788 |8411 |6126 |  33k|  0 |  75k|  13k| 3.169504e+03 |      --      |    Inf | unknown
3538.40/3548.01	c  3548s| 22800 |  3510 | 26091k| 884.7 |   436M |  35 |1788 |8491 |6127 |  33k|  1 |  76k|  13k| 3.169559e+03 |      --      |    Inf | unknown
3545.97/3555.68	c  3556s| 22900 |  3523 | 26160k| 884.1 |   436M |  35 |1788 |8572 |6117 |  33k|  1 |  76k|  13k| 3.169569e+03 |      --      |    Inf | unknown
3552.75/3562.49	c  3562s| 23000 |  3518 | 26224k| 883.3 |   437M |  35 |1788 |8681 |6118 |  33k|  0 |  76k|  13k| 3.169569e+03 |      --      |    Inf | unknown
3561.23/3570.93	c  3571s| 23100 |  3534 | 26303k| 882.9 |   437M |  35 |1788 |8600 |6128 |  33k|  0 |  76k|  13k| 3.169630e+03 |      --      |    Inf | unknown
3570.91/3580.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3570.91/3580.62	c  3581s| 23200 |  3545 | 26387k| 882.8 |   437M |  35 |1788 |8419 |6115 |  33k|  1 |  77k|  13k| 3.169667e+03 |      --      |    Inf | unknown
3579.69/3589.47	c  3589s| 23300 |  3554 | 26460k| 882.3 |   437M |  35 |1788 |8270 |6123 |  33k|  0 |  77k|  13k| 3.169736e+03 |      --      |    Inf | unknown
3587.29/3597.01	c 
3587.29/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3587.29/3597.01	c Solving Time (sec) : 3596.99
3587.29/3597.01	c Solving Nodes      : 23370 (total of 30034 nodes in 2 runs)
3587.29/3597.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.29/3597.01	c Dual Bound         : +3.16983333333333e+03
3587.29/3597.01	c Gap                : infinite
3587.29/3597.01	s UNKNOWN
3587.29/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3587.29/3597.01	c Total Time         :    3596.99
3587.29/3597.01	c   solving          :    3596.99
3587.29/3597.01	c   presolving       :       0.81 (included in solving)
3587.29/3597.01	c   reading          :       0.09 (included in solving)
3587.29/3597.01	c   copying          :       1.30 (105 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3587.29/3597.01	c Original Problem   :
3587.29/3597.01	c   Problem name     : HOME/instance-4432590-1721073284.opb
3587.29/3597.01	c   Variables        : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.29/3597.01	c   Constraints      : 13429 initial, 13429 maximal
3587.29/3597.01	c   Objective        : minimize, 6352 non-zeros (abs.min = 1, abs.max = 1)
3587.29/3597.01	c Presolved Problem  :
3587.29/3597.01	c   Problem name     : t_HOME/instance-4432590-1721073284.opb
3587.29/3597.01	c   Variables        : 1788 (1788 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.29/3597.01	c   Constraints      : 7778 initial, 9572 maximal
3587.29/3597.01	c   Objective        : minimize, 976 non-zeros (abs.min = 1, abs.max = 1)
3587.29/3597.01	c   Nonzeros         : 67382 constraint, 13469 clique table
3587.29/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.29/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   domcol           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   gateextraction   :       0.05       0.00     11          0          0          0          0          0        241         81          0          0
3587.29/3597.01	c   implics          :       0.00       0.00     14          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   milp             :       0.22       0.00      1          4       2857          0          0          0       9776       5947          0          0
3587.29/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   trivial          :       0.00       0.00     28        844          0          0          0          0          0          0          0          0
3587.29/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   dualfix          :       0.00       0.00     28          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   probing          :       0.14       0.00      1          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   vbounds          :       0.01       0.00      2          0        133          0          0          0          0          0          0          0
3587.29/3597.01	c   knapsack         :       0.01       0.00     25          0          0          0          0          0          2          2          5        267
3587.29/3597.01	c   setppc           :       0.02       0.00     36          0          2          0          0          0        144          0          0          0
3587.29/3597.01	c   and              :       0.00       0.00     22          0          0          0          0          0         61         61          0          0
3587.29/3597.01	c   linear           :       0.17       0.01     30        673         51          0        673          0       3929          0          9          1
3587.29/3597.01	c   logicor          :       0.14       0.02     32          0          0          0          0          0        405          0          0       1486
3587.29/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   components       :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.29/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.29/3597.01	c   benderslp        :          0          0          0          0      18642          0          0       1133          0          0          0          0          0          0          0
3587.29/3597.01	c   integral         :          0          0          0          0      18642          0          0       1133          0          0      14516          0          0       1986      36706
3587.29/3597.01	c   knapsack         :        324+       347         23     724190          0          0          0          0     548118        525     415027         11          5          0          0
3587.29/3597.01	c   setppc           :        801+       842         46     735465          0          0          0       1128     569908        805     418805          6          0          0          0
3587.29/3597.01	c   and              :         18         18      16967     532389          0          0          0          0      14545         46       4121       1841       1385          0          0
3587.29/3597.01	c   linear           :         67+        95         23     732786          0          0          0          3       1154         20       1874         17          9          0          0
3587.29/3597.01	c   logicor          :       6568+      8338         46     635002          0          0          0          0    2774913       2684    1677791         55         33          0          0
3587.29/3597.01	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.29/3597.01	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3587.29/3597.01	c   integral         :     658.13       0.00       0.00       0.00     658.13       0.00       0.00       0.00       0.00       0.00
3587.29/3597.01	c   knapsack         :       4.02       0.00       0.02       3.15       0.00       0.00       0.00       0.00       0.27       0.58
3587.29/3597.01	c   setppc           :       3.58       0.00       0.00       2.74       0.00       0.00       0.00       0.00       0.22       0.62
3587.29/3597.01	c   and              :       0.27       0.00       0.07       0.14       0.00       0.00       0.00       0.00       0.01       0.04
3587.29/3597.01	c   linear           :       1.40       0.01       0.00       1.24       0.00       0.00       0.00       0.00       0.00       0.14
3587.29/3597.01	c   logicor          :      17.15       0.02       0.03      13.61       0.00       0.00       0.00       0.00       1.20       2.30
3587.29/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.29/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.29/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.29/3597.01	c   components       :       0.02       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3587.29/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.29/3597.01	c   dualfix          :          2          0          0          0
3587.29/3597.01	c   genvbounds       :          0          0          0          0
3587.29/3597.01	c   nlobbt           :          0          0          0          0
3587.29/3597.01	c   obbt             :          0          0          0          0
3587.29/3597.01	c   probing          :          0          0          0          0
3587.29/3597.01	c   pseudoobj        :     321145          0          0          0
3587.29/3597.01	c   redcost          :         48          0          0          0
3587.29/3597.01	c   rootredcost      :          2          0          0          0
3587.29/3597.01	c   symmetry         :          0          0          0          0
3587.29/3597.01	c   vbounds          :     561518          0          0          0
3587.29/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.29/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3587.29/3597.01	c   genvbounds       :       0.05       0.00       0.00       0.04       0.00       0.01
3587.29/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.29/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.29/3597.01	c   probing          :       0.14       0.00       0.14       0.00       0.00       0.00
3587.29/3597.01	c   pseudoobj        :       0.18       0.00       0.00       0.18       0.00       0.01
3587.29/3597.01	c   redcost          :       0.06       0.00       0.00       0.05       0.00       0.01
3587.29/3597.01	c   rootredcost      :       0.06       0.00       0.00       0.04       0.00       0.01
3587.29/3597.01	c   symmetry         :       0.11       0.00       0.01       0.07       0.00       0.02
3587.29/3597.01	c   vbounds          :       3.82       0.00       0.01       3.75       0.00       0.06
3587.29/3597.01	c Symmetry           :
3587.29/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.29/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.29/3597.01	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.29/3597.01	c   shadow tree time :       0.00 s
3587.29/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.29/3597.01	c   propagation      :       0.30       4063       3829          -      20642       28.9        631        6.5          -          -          -
3587.29/3597.01	c   infeasible LP    :       8.46      12073      12073          -     180140       39.2         17        7.3      12074       63.6          0
3587.29/3597.01	c   bound exceed. LP :       0.00          2          2          -          1       31.0          0        0.0          1      115.0         12
3587.29/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.29/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.29/3597.01	c   applied globally :       0.39          -          -          0      65591       33.8          -          -      12074          -          -
3587.29/3597.01	c   applied locally  :          -          -          -          0          1        5.0          -          -          1          -          -
3587.29/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.29/3597.01	c   cut pool         :       7.44          -       5378         86          -          -      88237     897073          -          -          -          -          -    (maximal pool size:       5512)
3587.29/3597.01	c   aggregation      :       2.71       0.00       1581         46          0          0         34        873          0         20         20          0          0
3587.29/3597.01	c   > cmir           :          -          -          -          -          -          -          -        542          0         18         18          0          -
3587.29/3597.01	c   > flowcover      :          -          -          -          -          -          -          -          1          0          1          1          0          -
3587.29/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -        330          0          1          1          0          -
3587.29/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   clique           :       0.39       0.00         46         46          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   gomory           :      17.93       0.00       1480         20          0          0      77488     715021        136      29392      29388          4          0
3587.29/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -     119069         68       1215       1213          2          -
3587.29/3597.01	c   > strongcg       :          -          -          -          -          -          -          -     595952         68      28177      28175          2          -
3587.29/3597.01	c   impliedbounds    :       0.48       0.00       1581         46          0          0       1233       6399          0       4082       4082          0          0
3587.29/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   mcf              :       0.01       0.00          2          2          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   multilinear      :       0.00       0.00        274         46          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.29/3597.01	c   rapidlearning    :      29.10       0.00        100          1          0        186          0          0          0          0          0          0       1190
3587.29/3597.01	c   rlt              :      13.66       0.00        701         20          0          0         45        167          4         49         49          0          0
3587.29/3597.01	c   zerohalf         :      16.24       0.00       1500         40          0          0       9647     174613         72      46507      46443         64          0
3587.29/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.29/3597.01	c   hybrid           :       1.11       0.00       4866         44      81502          0     817713       1433          0       5774
3587.29/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.29/3597.01	c   problem variables:       0.00          -          0          0
3587.29/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.29/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c   relpscost        :     658.11       0.00      18642          0          0          0      14516          0       2188      36706
3587.29/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.29/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.29/3597.01	c   LP solutions     :       0.00          -          -          0          0
3587.29/3597.01	c   relax solutions  :       0.00          -          -          0          0
3587.29/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3587.29/3597.01	c   strong branching :       0.03          -          -          0          0
3587.29/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3587.29/3597.01	c   adaptivediving   :      11.32       0.00         30          0          0
3587.29/3597.01	c   alns             :       0.14       0.00          5          0          0
3587.29/3597.01	c   bound            :       0.00       0.00          0          0          0
3587.29/3597.01	c   clique           :       0.02       0.00          1          0          0
3587.29/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3587.29/3597.01	c   completesol      :       0.00       0.00          0          0          0
3587.29/3597.01	c   conflictdiving   :      91.83       0.00        256          0          0
3587.29/3597.01	c   crossover        :       0.01       0.00          0          0          0
3587.29/3597.01	c   dins             :       0.00       0.00          0          0          0
3587.29/3597.01	c   distributiondivin:      93.12       0.00        256          0          0
3587.29/3597.01	c   dps              :       0.00       0.00          0          0          0
3587.29/3597.01	c   dualval          :       0.00       0.00          0          0          0
3587.29/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3587.29/3597.01	c   feasjump         :       0.04       0.00          2          0          0
3587.29/3597.01	c   feaspump         :      27.17       0.00         55          0          0
3587.29/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3587.29/3597.01	c   fracdiving       :      40.37       0.00        256          0          0
3587.29/3597.01	c   gins             :       0.00       0.00          0          0          0
3587.29/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3587.29/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.29/3597.01	c   indicator        :       0.01       0.00          0          0          0
3587.29/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3587.29/3597.01	c   indoneopt        :       0.01       0.00          0          0          0
3587.29/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3587.29/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3587.29/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3587.29/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3587.29/3597.01	c   linesearchdiving :      37.89       0.00        256          0          0
3587.29/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3587.29/3597.01	c   locks            :       0.01       0.00          1          0          0
3587.29/3597.01	c   lpface           :       0.01       0.00          0          0          0
3587.29/3597.01	c   mpec             :       0.00       0.00          0          0          0
3587.29/3597.01	c   multistart       :       0.00       0.00          0          0          0
3587.29/3597.01	c   mutation         :       0.00       0.00          0          0          0
3587.29/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3587.29/3597.01	c   objpscostdiving  :      62.87       0.00         15          0          0
3587.29/3597.01	c   octane           :       0.00       0.00          0          0          0
3587.29/3597.01	c   ofins            :       0.01       0.00          0          0          0
3587.29/3597.01	c   oneopt           :       0.01       0.00          0          0          0
3587.29/3597.01	c   padm             :       0.00       0.00          0          0          0
3587.29/3597.01	c   proximity        :       0.00       0.00          0          0          0
3587.29/3597.01	c   pscostdiving     :      46.81       0.00        256          0          0
3587.29/3597.01	c   randrounding     :       0.34       0.00       1165          0          0
3587.29/3597.01	c   rens             :       0.00       0.00          0          0          0
3587.29/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3587.29/3597.01	c   repair           :       0.00       0.00          0          0          0
3587.29/3597.01	c   rins             :       0.01       0.00          0          0          0
3587.29/3597.01	c   rootsoldiving    :      33.29       0.00         35          0          0
3587.29/3597.01	c   rounding         :       0.50       0.00       2056          0          0
3587.29/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3587.29/3597.01	c   shiftandpropagate:       0.03       0.00          2          0          0
3587.29/3597.01	c   shifting         :       0.97       0.00        907          0          0
3587.29/3597.01	c   simplerounding   :       0.01       0.00          0          0          0
3587.29/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3587.29/3597.01	c   subnlp           :       0.02       0.00          0          0          0
3587.29/3597.01	c   trivial          :       0.01       0.00          4          0          0
3587.29/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3587.29/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3587.29/3597.01	c   trysol           :       0.01       0.00          0          0          0
3587.29/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3587.29/3597.01	c   undercover       :       0.00       0.00          1          0          0
3587.29/3597.01	c   vbounds          :       0.01       0.00          2          0          0
3587.29/3597.01	c   veclendiving     :      78.52       0.00        256          0          0
3587.29/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3587.29/3597.01	c   zirounding       :       0.22       0.00       1000          0          0
3587.29/3597.01	c   other solutions  :          -          -          -          0          -
3587.29/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.29/3597.01	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.29/3597.01	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.29/3597.01	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.29/3597.01	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.29/3597.01	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.29/3597.01	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.29/3597.01	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.29/3597.01	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.29/3597.01	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3587.29/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.29/3597.01	c   primal LP        :       2.28       3405        102       3.19      44.69       2.23       3373
3587.29/3597.01	c   dual LP          :    2249.20      34810   23046553     663.52   10246.55       0.09         76
3587.29/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3587.29/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.29/3597.01	c   resolve instable :       0.01          0          0       0.00       0.00
3587.29/3597.01	c   diving/probing LP:     585.62       7530    3473287     461.26    5930.97
3587.29/3597.01	c   strong branching :     529.57      13763    5158901     374.84    9741.68          -          -       4752
3587.29/3597.01	c     (at root node) :          -         30       4022     134.07          -
3587.29/3597.01	c   conflict analysis:       0.00          2         12       6.00          -
3587.29/3597.01	c B&B Tree           :
3587.29/3597.01	c   number of runs   :          2
3587.29/3597.01	c   nodes            :      23370 (13598 internal, 9772 leaves)
3587.29/3597.01	c   feasible leaves  :          0
3587.29/3597.01	c   infeas. leaves   :       9751
3587.29/3597.01	c   objective leaves :         20
3587.29/3597.01	c   nodes (total)    :      30034 (18353 internal, 11681 leaves)
3587.29/3597.01	c   nodes left       :       3568
3587.29/3597.01	c   max depth        :         35
3587.29/3597.01	c   max depth (total):         35
3587.29/3597.01	c   backtracks       :       6201 (26.5%)
3587.29/3597.01	c   early backtracks :          0 (0.0%)
3587.29/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3587.29/3597.01	c   delayed cutoffs  :        260
3587.29/3597.01	c   repropagations   :      15615 (851358 domain reductions, 255 cutoffs)
3587.29/3597.01	c   avg switch length:       4.58
3587.29/3597.01	c   switching time   :      17.09
3587.29/3597.01	c Root Node          :
3587.29/3597.01	c   First LP value   : +2.83369173721340e+03
3587.29/3597.01	c   First LP Iters   :       2095 (17087.67 Iter/sec)
3587.29/3597.01	c   First LP Time    :       0.12
3587.29/3597.01	c   Final Dual Bound : +3.14544437500000e+03
3587.29/3597.01	c   Final Root Iters :      24621
3587.29/3597.01	c   Root LP Estimate : +3.25966893398722e+03
3587.29/3597.01	c Solution           :
3587.29/3597.01	c   Solutions found  :          0 (0 improvements)
3587.29/3597.01	c   Primal Bound     :          -
3587.29/3597.01	c   Dual Bound       : +3.16983333333333e+03
3587.29/3597.01	c   Gap              :   infinite
3587.29/3597.01	c Integrals          :      Total       Avg%
3587.29/3597.01	c   primal-dual      :  359699.34     100.00
3587.29/3597.01	c   primal-ref       :          -          - (not evaluated)
3587.29/3597.01	c   dual-ref         :          -          - (not evaluated)
3587.29/3597.11	c Time complete: 3587.39.

Verifier Data

ERROR: no interpretation found !

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: 64096 MiB (62774 MiB free)
  memory of node 1: 64473 MiB (63553 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432590-1721073284/watcher-4432590-1721073284 -o /tmp/evaluation-result-4432590-1721073284/solver-4432590-1721073284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721073296-810248 --watchdog 3760 pbscip -f HOME/instance-4432590-1721073284.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=810308, runsolver pid=810296
Current StackSize limit: 8192 KiB


[startup+0.100109 s]*
/proc/loadavg: 1.11 1.60 2.50 9/246 810313
/proc/meminfo: memFree=129306952/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=73212 memory=34476 CPUtime=0.1 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 5423 0 3 0 8 2 0 0 20 0 1 0 159484266 74969088 8619 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 18303 8619 3577 3540 0 6560 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 73212 KiB
Current children cumulated memory: 34476 KiB

[startup+0.215604 s]*
/proc/loadavg: 1.11 1.60 2.50 8/246 810313
/proc/meminfo: memFree=129272696/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=89752 memory=49968 CPUtime=0.22 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 9244 0 3 0 19 3 0 0 20 0 1 0 159484266 91906048 12492 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 22438 12492 3625 3540 0 10695 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 89752 KiB
Current children cumulated memory: 49968 KiB

[startup+0.315559 s]*
/proc/loadavg: 1.11 1.60 2.50 8/246 810313
/proc/meminfo: memFree=129257016/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=96760 memory=56780 CPUtime=0.32 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 11590 0 3 0 28 4 0 0 20 0 1 0 159484266 99082240 14195 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 24190 14195 3688 3540 0 12447 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 96760 KiB
Current children cumulated memory: 56780 KiB

[startup+0.700332 s]
/proc/loadavg: 1.11 1.60 2.50 6/246 810313
/proc/meminfo: memFree=129250064/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=95344 memory=55784 CPUtime=0.68 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 12373 0 3 0 64 4 0 0 20 0 1 0 159484266 97632256 13946 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 23836 13946 3784 3540 0 12093 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 95344 KiB
Current children cumulated memory: 55784 KiB

[startup+1.50031 s]
/proc/loadavg: 1.11 1.60 2.50 7/241 810337
/proc/meminfo: memFree=129266664/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=134964 memory=91104 CPUtime=1.48 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 21054 0 3 0 142 6 0 0 20 0 1 0 159484266 138203136 22776 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 33741 22776 4007 3540 0 21998 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 134964 KiB
Current children cumulated memory: 91104 KiB

[startup+3.11219 s]
/proc/loadavg: 1.34 1.64 2.50 6/246 810451
/proc/meminfo: memFree=129129328/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=132704 memory=89876 CPUtime=3.08 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 22668 0 3 0 302 6 0 0 20 0 1 0 159484266 135888896 22469 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 33176 22469 4023 3540 0 21433 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 132704 KiB
Current children cumulated memory: 89876 KiB

[startup+6.30025 s]
/proc/loadavg: 1.34 1.64 2.50 7/246 810499
/proc/meminfo: memFree=128975008/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=152444 memory=109948 CPUtime=6.26 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 32233 0 3 0 618 8 0 0 20 0 1 0 159484266 156102656 27487 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 38111 27487 4023 3540 0 26368 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 152444 KiB
Current children cumulated memory: 109948 KiB

[startup+12.7003 s]
/proc/loadavg: 1.75 1.72 2.52 7/242 810847
/proc/meminfo: memFree=129076088/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=152868 memory=110372 CPUtime=12.64 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 33577 0 3 0 1256 8 0 0 20 0 1 0 159484266 156536832 27593 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 38217 27593 4023 3540 0 26474 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 152868 KiB
Current children cumulated memory: 110372 KiB

[startup+25.5003 s]
/proc/loadavg: 2.10 1.80 2.54 6/244 811100
/proc/meminfo: memFree=128880332/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=178492 memory=137192 CPUtime=25.39 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 44708 0 3 0 2529 10 0 0 20 0 1 0 159484266 182775808 34298 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 44623 34298 4023 3540 0 32880 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 178492 KiB
Current children cumulated memory: 137192 KiB

[startup+51.1126 s]
/proc/loadavg: 2.74 1.98 2.58 5/244 811887
/proc/meminfo: memFree=128867708/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=190060 memory=152156 CPUtime=50.92 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 57631 0 3 0 5079 13 0 0 20 0 1 0 159484266 194621440 38039 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 47515 38039 4023 3540 0 35772 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 190060 KiB
Current children cumulated memory: 152156 KiB

[startup+102.3 s]
/proc/loadavg: 3.58 2.35 2.67 5/246 812325
/proc/meminfo: memFree=128691760/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=208684 memory=172480 CPUtime=101.97 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 66264 0 3 0 10182 15 0 0 20 0 1 0 159484266 213692416 43120 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 52171 43120 4023 3540 0 40428 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 208684 KiB
Current children cumulated memory: 172480 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.68 2.77 5/246 812335
/proc/meminfo: memFree=128578084/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=234656 memory=179740 CPUtime=161.82 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 73691 0 3 0 16166 16 0 0 20 0 1 0 159484266 240287744 44935 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 58664 44935 4023 3540 0 46921 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 234656 KiB
Current children cumulated memory: 179740 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 2.96 2.86 5/248 812515
/proc/meminfo: memFree=128494436/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=281544 memory=225492 CPUtime=221.68 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 87483 0 3 0 22150 18 0 0 20 0 1 0 159484266 288301056 56373 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 70386 56373 4023 3540 0 58643 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 281544 KiB
Current children cumulated memory: 225492 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.16 2.94 5/248 812526
/proc/meminfo: memFree=128457640/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=288084 memory=233268 CPUtime=281.54 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 100103 0 3 0 28134 20 0 0 20 0 1 0 159484266 294998016 58317 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 72021 58317 4023 3540 0 60278 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 288084 KiB
Current children cumulated memory: 233268 KiB

[startup+342.3 s]
/proc/loadavg: 4.70 3.50 3.07 5/246 812539
/proc/meminfo: memFree=128414684/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=308828 memory=254012 CPUtime=341.4 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 123928 0 3 0 34115 25 0 0 20 0 1 0 159484266 316239872 63503 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 77207 63503 4023 3540 0 65464 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 308828 KiB
Current children cumulated memory: 254012 KiB

[startup+402.3 s]
/proc/loadavg: 4.37 3.64 3.15 6/245 812560
/proc/meminfo: memFree=128296112/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=313948 memory=259132 CPUtime=401.25 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 134740 0 3 0 40098 27 0 0 20 0 1 0 159484266 321482752 64783 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 78487 64783 4023 3540 0 66744 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 313948 KiB
Current children cumulated memory: 259132 KiB

[startup+462.3 s]
/proc/loadavg: 4.29 3.75 3.22 5/245 812571
/proc/meminfo: memFree=128251024/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=313948 memory=259132 CPUtime=461.07 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 134812 0 3 0 46080 27 0 0 20 0 1 0 159484266 321482752 64783 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 78487 64783 4023 3540 0 66744 0

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

/proc/loadavg: 4.81 4.36 4.16 5/241 813670
/proc/meminfo: memFree=127579316/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=485996 memory=441932 CPUtime=3153.6 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 167432 0 3 0 315322 38 0 0 20 0 1 0 159484266 497659904 110483 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 121499 110483 4023 3540 0 109756 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 485996 KiB
Current children cumulated memory: 441932 KiB

[startup+3222.3 s]
/proc/loadavg: 4.33 4.31 4.15 5/241 813680
/proc/meminfo: memFree=127564716/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=488208 memory=448104 CPUtime=3213.42 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 168069 0 3 0 321304 38 0 0 20 0 1 0 159484266 499924992 112026 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 122052 112026 4023 3540 0 110309 0
Current children cumulated CPU time: 3213.42 s
Current children cumulated vsize: 488208 KiB
Current children cumulated memory: 448104 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.27 4.15 5/241 813691
/proc/meminfo: memFree=127561184/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=489268 memory=451184 CPUtime=3273.28 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 168483 0 3 0 327290 38 0 0 20 0 1 0 159484266 501010432 112796 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 122317 112796 4023 3540 0 110574 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 489268 KiB
Current children cumulated memory: 451184 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.26 4.15 5/243 813705
/proc/meminfo: memFree=127559408/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=490280 memory=452260 CPUtime=3333.15 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 168936 0 3 0 333277 38 0 0 20 0 1 0 159484266 502046720 113065 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 122570 113065 4023 3540 0 110827 0
Current children cumulated CPU time: 3333.15 s
Current children cumulated vsize: 490280 KiB
Current children cumulated memory: 452260 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.24 4.15 5/243 813715
/proc/meminfo: memFree=127557796/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=490780 memory=452816 CPUtime=3393.02 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 169308 0 3 0 339263 39 0 0 20 0 1 0 159484266 502558720 113204 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 122695 113204 4023 3540 0 110952 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 490780 KiB
Current children cumulated memory: 452816 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.20 4.14 5/243 813726
/proc/meminfo: memFree=127554444/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=493300 memory=455220 CPUtime=3452.88 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 170062 0 3 0 345249 39 0 0 20 0 1 0 159484266 505139200 113805 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 123325 113805 4023 3540 0 111582 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 493300 KiB
Current children cumulated memory: 455220 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.19 4.14 6/243 813736
/proc/meminfo: memFree=127553740/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=493460 memory=455504 CPUtime=3512.75 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 170336 0 3 0 351236 39 0 0 20 0 1 0 159484266 505303040 113876 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 123365 113876 4023 3540 0 111622 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 493460 KiB
Current children cumulated memory: 455504 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/243 813746
/proc/meminfo: memFree=127552632/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=494444 memory=456328 CPUtime=3572.61 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 170718 0 3 0 357222 39 0 0 20 0 1 0 159484266 506310656 114082 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 123611 114082 4023 3540 0 111868 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 494444 KiB
Current children cumulated memory: 456328 KiB

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

# cumulated CPU time of all completed processes:  user=3587 s, system=0.400944 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.17 4.14 5/243 813746
/proc/meminfo: memFree=127552672/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=494444 memory=456372 CPUtime=3574.32 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 170780 0 3 0 357393 39 0 0 20 0 1 0 159484266 506310656 114093 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 123611 114093 4023 3540 0 111868 0
Current children cumulated CPU time: 3574.32 s
Current children cumulated vsize: 494444 KiB
Current children cumulated memory: 456372 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.16 4.14 5/243 813748
/proc/meminfo: memFree=127552580/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=494444 memory=456372 CPUtime=3580.69 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 170792 0 3 0 358030 39 0 0 20 0 1 0 159484266 506310656 114093 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 123611 114093 4023 3540 0 111868 0
Current children cumulated CPU time: 3580.69 s
Current children cumulated vsize: 494444 KiB
Current children cumulated memory: 456372 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.16 4.14 5/243 813748
/proc/meminfo: memFree=127552560/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=494444 memory=456372 CPUtime=3583.88 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 170792 0 3 0 358349 39 0 0 20 0 1 0 159484266 506310656 114093 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 123611 114093 4023 3540 0 111868 0
Current children cumulated CPU time: 3583.88 s
Current children cumulated vsize: 494444 KiB
Current children cumulated memory: 456372 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.16 4.14 5/243 813749
/proc/meminfo: memFree=127552496/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=494444 memory=456372 CPUtime=3585.48 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 170792 0 3 0 358509 39 0 0 20 0 1 0 159484266 506310656 114093 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 123611 114093 4023 3540 0 111868 0
Current children cumulated CPU time: 3585.48 s
Current children cumulated vsize: 494444 KiB
Current children cumulated memory: 456372 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.16 4.14 5/243 813749
/proc/meminfo: memFree=127552488/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=494444 memory=456372 CPUtime=3586.29 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 170823 0 3 0 358590 39 0 0 20 0 1 0 159484266 506310656 114093 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 123611 114093 4023 3540 0 111868 0
Current children cumulated CPU time: 3586.29 s
Current children cumulated vsize: 494444 KiB
Current children cumulated memory: 456372 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.16 4.14 5/243 813749
/proc/meminfo: memFree=127552488/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=494444 memory=456372 CPUtime=3587.08 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 170823 0 3 0 358669 39 0 0 20 0 1 0 159484266 506310656 114093 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 123611 114093 4023 3540 0 111868 0
Current children cumulated CPU time: 3587.08 s
Current children cumulated vsize: 494444 KiB
Current children cumulated memory: 456372 KiB

[startup+3597 s]*
/proc/loadavg: 4.07 4.16 4.13 5/243 813749
/proc/meminfo: memFree=127552348/131655788 swapFree=131071996/131071996
[pid=810308] ppid=810296 vsize=494444 memory=456372 CPUtime=3587.29 cores=4,6
/proc/810308/stat : 810308 (pbscip) R 810296 810308 810237 0 -1 4194304 170823 0 3 0 358690 39 0 0 20 0 1 0 159484266 506310656 114093 134679101440 4194304 18693293 140730200273440 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 42663936 140730200282116 140730200282215 140730200282215 140730200289230 0
/proc/810308/statm: 123611 114093 4023 3540 0 111868 0
Current children cumulated CPU time: 3587.29 s
Current children cumulated vsize: 494444 KiB
Current children cumulated memory: 456372 KiB

Child status: 0

Real time (s): 3597.12
CPU time (s): 3587.4
CPU user time (s): 3587
CPU system time (s): 0.400944
CPU usage (%): 99.7297
Max. virtual memory (cumulated for all children) (KiB): 494444
Max. memory (cumulated for all children) (KiB): 456372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587
system time used= 0.400944
maximum resident set size= 456372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170846
page faults= 3
swaps= 0
block input operations= 384
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71
involuntary context switches= 3800


# summary of solver processes directly reported to runsolver:
#   pid: 810308
#   total CPU time (s): 3587.4
#   total CPU user time (s): 3587
#   total CPU system time (s): 0.400944

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9851 second user time and 33.2753 second system time

The end

Launcher Data

Begin job on nodeC004 at 2024-07-15 21:54:56
IDJOB=4432590
IDBENCH=147102
IDSOLVER=3059
FILE ID=nodeC004/4432590-1721073284
RUNJOBID= nodeC004-1721073296-810248
SLURM_JOB_ID= 7505545
Free space on /tmp= 723776 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-2.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432590-1721073284/watcher-4432590-1721073284 -o /tmp/evaluation-result-4432590-1721073284/solver-4432590-1721073284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721073296-810248 --watchdog 3760  pbscip -f HOME/instance-4432590-1721073284.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 58d046e1e41ee9602d09224f38506b42
RANDOM SEED=165851746

nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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.315
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.305
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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.311
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
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		: 1205.907
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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		: 1204.323
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
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		: 1205.057
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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		: 1256.126
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
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		: 1258.934
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129361364 kB
MemAvailable:   129945260 kB
Buffers:          382000 kB
Cached:          1041716 kB
SwapCached:            0 kB
Active:           640504 kB
Inactive:        1125620 kB
Active(anon):       3240 kB
Inactive(anon):   376872 kB
Active(file):     637264 kB
Inactive(file):   748748 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             74572 kB
Writeback:             0 kB
AnonPages:        342088 kB
Mapped:           103680 kB
Shmem:             37700 kB
KReclaimable:      76164 kB
Slab:             170624 kB
SReclaimable:      76164 kB
SUnreclaim:        94460 kB
KernelStack:        3712 kB
PageTables:         9156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     757540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51296 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189256 kB
DirectMap2M:    14395392 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 723708 MiB
End job on nodeC004 at 2024-07-15 22:54:54