Trace number 4459816

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-07SAT55 3588.81 3597.26

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb
MD5SUM8deb0b9174477a1f2aeb72dadb0281d2
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark71099.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6328
Sum of products size (including duplicates)12656
Number of different products6328
Sum of products size12656

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4459816-1721939463.opb>
0.00/0.02	c original problem has 6828 variables (500 bin, 0 int, 6328 impl, 0 cont) and 7328 constraints
0.00/0.02	c problem read in 0.02
0.00/0.04	c presolving:
0.00/0.05	c (round 1, medium)     0 del vars, 7328 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.06	c (round 2, fast)       6328 del vars, 7328 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.06	c (round 3, exhaustive) 6328 del vars, 7328 del conss, 500 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 0 impls, 0 clqs
0.00/0.07	c    (0.1s) probing: 51/500 (10.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07	c    (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.07	c    (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.07	c    (0.1s) no symmetry present (symcode time: 0.00)
0.00/0.07	c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
0.00/0.07	c  6328 deleted vars, 7328 deleted constraints, 500 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.07	c  0 implications, 0 cliques
0.00/0.07	c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.00/0.07	c     500 constraints of type <logicor>
0.00/0.07	c transformed objective value is always integral (scale: 1)
0.00/0.07	c Presolving Time: 0.03
0.00/0.07	c - non default parameters ----------------------------------------------------------------------
0.00/0.07	c # SCIP version 10.0.0
0.00/0.07	c 
0.00/0.07	c # maximal time in seconds to run
0.00/0.07	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.07	c limits/time = 3596.997044
0.00/0.07	c 
0.00/0.07	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.07	c limits/memory = 27900
0.00/0.07	c 
0.00/0.07	c # belongs reading time to solving time?
0.00/0.07	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07	c timing/reading = TRUE
0.00/0.07	c 
0.00/0.07	c -----------------------------------------------------------------------------------------------
0.00/0.07	c start solving
0.00/0.07	c 
0.00/0.07	o 500
0.00/0.07	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.00/0.07	c t 0.1s|     1 |     0 |     0 |     - | trivial|   0 | 500 | 500 |   0 |   0 |  0 |   0 |   0 | 0.000000e+00 | 5.000000e+02 |    Inf | unknown
0.00/0.07	o 58
0.00/0.07	c p 0.1s|     1 |     0 |     0 |     - |   locks|   0 | 500 | 500 | 500 |   0 |  0 |   0 |   0 | 0.000000e+00 | 5.800000e+01 |    Inf | unknown
0.99/1.07	c   1.1s|     1 |     0 | 10408 |     - |    32M |   0 | 500 | 500 | 500 |   0 |  0 |   0 |   0 | 3.683682e+01 | 5.800000e+01 |  57.45%| unknown
1.19/1.27	c   1.3s|     1 |     0 | 10658 |     - |    49M |   0 | 500 | 500 | 501 |   1 |  1 |   0 |   0 | 3.686298e+01 | 5.800000e+01 |  57.34%| unknown
1.39/1.43	c   1.4s|     1 |     0 | 10929 |     - |    60M |   0 | 500 | 500 | 502 |   2 |  2 |   0 |   0 | 3.690317e+01 | 5.800000e+01 |  57.17%| unknown
1.59/1.60	c   1.6s|     1 |     0 | 11206 |     - |    71M |   0 | 500 | 500 | 503 |   3 |  3 |   0 |   0 | 3.692406e+01 | 5.800000e+01 |  57.08%| unknown
1.68/1.76	c   1.8s|     1 |     0 | 11352 |     - |    82M |   0 | 500 | 500 | 504 |   4 |  4 |   0 |   0 | 3.693016e+01 | 5.800000e+01 |  57.05%| unknown
1.88/1.92	c   1.9s|     1 |     0 | 11525 |     - |    91M |   0 | 500 | 500 | 505 |   5 |  5 |   0 |   0 | 3.693445e+01 | 5.800000e+01 |  57.03%| unknown
1.98/2.08	c   2.1s|     1 |     0 | 11676 |     - |   104M |   0 | 500 | 500 | 506 |   6 |  6 |   0 |   0 | 3.693887e+01 | 5.800000e+01 |  57.02%| unknown
2.18/2.24	c   2.2s|     1 |     0 | 11760 |     - |   118M |   0 | 500 | 500 | 507 |   7 |  7 |   0 |   0 | 3.694036e+01 | 5.800000e+01 |  57.01%| unknown
2.38/2.41	c   2.4s|     1 |     0 | 11946 |     - |   121M |   0 | 500 | 500 | 508 |   8 |  8 |   0 |   0 | 3.694334e+01 | 5.800000e+01 |  57.00%| unknown
2.49/2.59	c   2.6s|     1 |     0 | 12068 |     - |   139M |   0 | 500 | 500 | 509 |   9 |  9 |   0 |   0 | 3.694457e+01 | 5.800000e+01 |  56.99%| unknown
2.69/2.78	c   2.8s|     1 |     0 | 12227 |     - |   141M |   0 | 500 | 500 | 510 |  10 | 10 |   0 |   0 | 3.694531e+01 | 5.800000e+01 |  56.99%| unknown
2.79/2.89	c   2.9s|     1 |     0 | 12319 |     - |   141M |   0 | 500 | 500 | 511 |  11 | 11 |   0 |   0 | 3.694579e+01 | 5.800000e+01 |  56.99%| unknown
2.89/3.00	c   3.0s|     1 |     0 | 12386 |     - |   141M |   0 | 500 | 500 | 512 |  12 | 12 |   0 |   0 | 3.694651e+01 | 5.800000e+01 |  56.98%| unknown
3.09/3.12	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.09/3.12	c   3.1s|     1 |     0 | 12475 |     - |   141M |   0 | 500 | 500 | 513 |  13 | 13 |   0 |   0 | 3.694751e+01 | 5.800000e+01 |  56.98%| unknown
3.18/3.24	c   3.2s|     1 |     0 | 12525 |     - |   141M |   0 | 500 | 500 | 514 |  14 | 14 |   0 |   0 | 3.694793e+01 | 5.800000e+01 |  56.98%| unknown
3.28/3.36	c   3.4s|     1 |     0 | 12585 |     - |   141M |   0 | 500 | 500 | 515 |  15 | 15 |   0 |   0 | 3.694845e+01 | 5.800000e+01 |  56.98%| unknown
3.38/3.49	c   3.5s|     1 |     0 | 12606 |     - |   141M |   0 | 500 | 500 | 516 |  16 | 16 |   0 |   0 | 3.694856e+01 | 5.800000e+01 |  56.98%| unknown
9.97/10.09	c  10.1s|     1 |     2 | 12606 |     - |   141M |   0 | 500 | 500 | 516 |  16 | 16 |   0 |  30 | 3.702098e+01 | 5.800000e+01 |  56.67%| unknown
54.77/54.93	c  54.9s|   100 |   101 |145017 |1337.5 |   224M |  15 | 500 | 502 | 514 |  52 |  1 |   4 | 218 | 3.702098e+01 | 5.800000e+01 |  56.67%| unknown
109.14/109.48	c   109s|   200 |   201 |588611 |2894.5 |   291M |  15 | 500 | 509 | 518 |  88 |  1 |  17 | 257 | 3.742231e+01 | 5.800000e+01 |  54.99%| unknown
117.73/118.08	o 56
117.73/118.08	c L 118s|   201 |   202 |589354 |2883.7 |crossove|  15 | 500 | 509 | 514 |  88 |  1 |  17 | 257 | 3.755036e+01 | 5.600000e+01 |  49.13%| unknown
145.77/146.16	c   146s|   300 |   301 |757931 |2492.7 |   290M |  16 | 500 | 512 | 518 | 113 |  1 |  24 | 295 | 3.775332e+01 | 5.600000e+01 |  48.33%| unknown
182.09/182.56	c   183s|   400 |   401 |937136 |2317.1 |   290M |  16 | 500 | 512 | 514 | 189 |  1 |  27 | 335 | 3.790303e+01 | 5.600000e+01 |  47.75%| unknown
219.29/219.84	c   220s|   500 |   501 |  1119k|2218.7 |   291M |  19 | 500 | 520 | 514 | 264 |  1 |  35 | 380 | 3.803577e+01 | 5.600000e+01 |  47.23%| unknown
264.40/265.03	c   265s|   600 |   601 |  1373k|2272.8 |   291M |  21 | 500 | 522 | 514 | 364 |  1 |  47 | 429 | 3.805200e+01 | 5.600000e+01 |  47.17%| unknown
298.71/299.40	c   299s|   700 |   701 |  1592k|2260.8 |   291M |  21 | 500 | 525 | 520 | 414 |  1 |  53 | 464 | 3.808923e+01 | 5.600000e+01 |  47.02%| unknown
331.75/332.50	c   333s|   800 |   801 |  1804k|2242.7 |   291M |  21 | 500 | 523 | 518 | 467 |  1 |  57 | 488 | 3.814530e+01 | 5.600000e+01 |  46.81%| unknown
359.78/360.69	c   361s|   900 |   901 |  1961k|2167.8 |   291M |  21 | 500 | 524 | 517 | 534 |  1 |  63 | 506 | 3.817720e+01 | 5.600000e+01 |  46.68%| unknown
385.63/386.58	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
385.63/386.58	c   387s|  1000 |  1001 |  2124k|2114.1 |   292M |  21 | 500 | 527 | 517 | 577 |  1 |  72 | 518 | 3.822501e+01 | 5.600000e+01 |  46.50%| unknown
398.29/399.23	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
398.29/399.24	c (run 1, node 1049) performing user restart
398.29/399.24	c 
398.29/399.24	c (restart) converted 14 cuts from the global cut pool into linear constraints
398.29/399.24	c 
398.69/399.64	c presolving:
398.69/399.65	c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
398.69/399.65	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
398.69/399.65	c  0 implications, 0 cliques
398.69/399.65	c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 541 constraints
398.69/399.65	c      14 constraints of type <linear>
398.69/399.65	c     527 constraints of type <logicor>
398.69/399.65	c transformed objective value is always integral (scale: 1)
398.69/399.65	c Presolving Time: 0.10
398.69/399.69	c transformed 99/100 original solutions to the transformed problem space
398.69/399.69	c 
399.79/400.75	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
399.79/400.75	c   401s|     1 |     0 |  2206k|     - |   243M |   0 | 500 | 541 | 514 |   0 |  0 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
400.29/401.20	c   401s|     1 |     0 |  2207k|     - |   246M |   0 | 500 | 541 | 515 |   1 |  1 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
400.59/401.52	c   402s|     1 |     0 |  2207k|     - |   252M |   0 | 500 | 541 | 516 |   2 |  2 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
400.89/401.86	c   402s|     1 |     0 |  2207k|     - |   256M |   0 | 500 | 541 | 517 |   3 |  3 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
401.29/402.21	c   402s|     1 |     0 |  2207k|     - |   267M |   0 | 500 | 541 | 518 |   4 |  4 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
401.69/402.62	c   403s|     1 |     0 |  2208k|     - |   272M |   0 | 500 | 541 | 519 |   5 |  5 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
401.99/402.92	c   403s|     1 |     0 |  2208k|     - |   277M |   0 | 500 | 541 | 520 |   6 |  6 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
402.28/403.22	c   403s|     1 |     0 |  2208k|     - |   273M |   0 | 500 | 541 | 521 |   7 |  7 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
402.58/403.53	c   404s|     1 |     0 |  2208k|     - |   273M |   0 | 500 | 541 | 522 |   8 |  8 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
402.88/403.85	c   404s|     1 |     0 |  2209k|     - |   272M |   0 | 500 | 541 | 523 |   9 |  9 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
403.19/404.16	c   404s|     1 |     0 |  2209k|     - |   277M |   0 | 500 | 541 | 524 |  10 | 10 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
403.48/404.41	c   404s|     1 |     0 |  2209k|     - |   277M |   0 | 500 | 541 | 525 |  11 | 11 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
403.68/404.64	c   405s|     1 |     0 |  2209k|     - |   277M |   0 | 500 | 541 | 526 |  12 | 12 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
403.88/404.86	c   405s|     1 |     0 |  2209k|     - |   277M |   0 | 500 | 541 | 527 |  13 | 13 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
404.09/405.08	c   405s|     1 |     0 |  2209k|     - |   277M |   0 | 500 | 541 | 528 |  14 | 14 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
404.38/405.35	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
404.38/405.35	c   405s|     1 |     0 |  2209k|     - |   277M |   0 | 500 | 541 | 524 |  15 | 15 |  72 | 524 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
408.37/409.35	c   409s|     1 |     2 |  2225k|     - |   277M |   0 | 500 | 543 | 524 |  15 | 15 |  74 | 534 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
459.15/460.27	c   460s|   100 |   101 |  2420k|2085.6 |   310M |  18 | 500 | 546 | 516 |  47 |  1 |  77 | 666 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
484.20/485.38	c   485s|   200 |   201 |  2562k|2032.2 |   342M |  18 | 500 | 550 | 520 |  69 |  1 |  81 | 697 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
512.03/513.29	c   513s|   300 |   301 |  2664k|1957.5 |   350M |  19 | 500 | 550 | 516 | 133 |  1 |  81 | 735 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
543.96/545.27	c   545s|   400 |   401 |  2816k|1927.3 |   350M |  21 | 500 | 545 | 521 | 200 |  1 |  85 | 769 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
577.18/578.52	c   579s|   500 |   501 |  2929k|1875.8 |   350M |  21 | 500 | 534 | 516 | 267 |  1 |  88 | 804 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
603.82/605.28	c   605s|   600 |   601 |  3060k|1841.6 |   350M |  21 | 500 | 534 | 519 | 309 |  1 |  92 | 841 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
635.35/636.87	c   637s|   700 |   701 |  3206k|1819.6 |   350M |  22 | 500 | 534 | 522 | 399 |  6 |  95 | 863 | 3.825284e+01 | 5.600000e+01 |  46.39%| unknown
656.81/658.34	c   658s|   800 |   801 |  3318k|1781.9 |   350M |  22 | 500 | 535 | 519 | 447 |  1 |  99 | 877 | 3.830505e+01 | 5.600000e+01 |  46.19%| unknown
676.77/678.37	c   678s|   900 |   901 |  3413k|1738.9 |   350M |  22 | 500 | 537 | 520 | 492 |  1 | 103 | 897 | 3.838215e+01 | 5.600000e+01 |  45.90%| unknown
701.61/703.26	c   703s|  1000 |  1001 |  3549k|1720.4 |   351M |  22 | 500 | 536 | 520 | 539 |  1 | 105 | 919 | 3.839832e+01 | 5.600000e+01 |  45.84%| unknown
719.27/720.91	c   721s|  1100 |  1101 |  3641k|1683.1 |   351M |  22 | 500 | 536 | 520 | 580 |  1 | 108 | 927 | 3.842981e+01 | 5.600000e+01 |  45.72%| unknown
741.13/742.86	c   743s|  1200 |  1201 |  3751k|1657.1 |   351M |  22 | 500 | 536 | 520 | 644 |  1 | 112 | 935 | 3.845944e+01 | 5.600000e+01 |  45.61%| unknown
762.48/764.29	c   764s|  1300 |  1301 |  3869k|1636.9 |   351M |  22 | 500 | 534 | 519 | 696 |  1 | 117 | 943 | 3.847037e+01 | 5.600000e+01 |  45.57%| unknown
785.83/787.68	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
785.83/787.68	c   788s|  1400 |  1401 |  3985k|1617.3 |   351M |  22 | 500 | 534 | 520 | 769 |  1 | 121 | 948 | 3.851735e+01 | 5.600000e+01 |  45.39%| unknown
806.68/808.53	c   809s|  1500 |  1501 |  4107k|1601.8 |   352M |  22 | 500 | 533 | 521 | 816 |  1 | 125 | 957 | 3.851735e+01 | 5.600000e+01 |  45.39%| unknown
830.14/832.08	c   832s|  1600 |  1601 |  4228k|1587.2 |   352M |  22 | 500 | 536 | 516 | 877 |  1 | 129 | 968 | 3.854097e+01 | 5.600000e+01 |  45.30%| unknown
855.18/857.18	c   857s|  1700 |  1701 |  4359k|1576.9 |   352M |  22 | 500 | 537 | 520 | 931 |  4 | 134 | 993 | 3.854097e+01 | 5.600000e+01 |  45.30%| unknown
872.54/874.52	c   875s|  1800 |  1801 |  4438k|1549.4 |   352M |  23 | 500 | 536 | 520 | 959 |  1 | 135 |1020 | 3.855739e+01 | 5.600000e+01 |  45.24%| unknown
892.70/894.79	c   895s|  1900 |  1901 |  4563k|1539.2 |   353M |  23 | 500 | 540 | 522 | 988 |  1 | 140 |1036 | 3.858361e+01 | 5.600000e+01 |  45.14%| unknown
910.06/912.11	c   912s|  2000 |  2001 |  4655k|1518.8 |   353M |  23 | 500 | 538 | 521 |1023 |  1 | 142 |1048 | 3.859546e+01 | 5.600000e+01 |  45.09%| unknown
931.61/933.75	c   934s|  2100 |  2101 |  4761k|1504.3 |   354M |  24 | 500 | 541 | 520 |1067 |  1 | 147 |1072 | 3.859810e+01 | 5.600000e+01 |  45.08%| unknown
959.05/961.26	c   961s|  2200 |  2201 |  4892k|1498.4 |   354M |  25 | 500 | 541 | 521 |1109 |  1 | 150 |1084 | 3.861649e+01 | 5.600000e+01 |  45.02%| unknown
979.31/981.58	c   982s|  2300 |  2301 |  5004k|1487.0 |   354M |  25 | 500 | 542 | 521 |1165 |  1 | 153 |1091 | 3.861936e+01 | 5.600000e+01 |  45.00%| unknown
998.57/1000.88	c  1001s|  2400 |  2401 |  5121k|1477.8 |   354M |  25 | 500 | 539 | 522 |1195 |  1 | 157 |1101 | 3.862581e+01 | 5.600000e+01 |  44.98%| unknown
1015.93/1018.21	c  1018s|  2500 |  2501 |  5233k|1467.8 |   354M |  25 | 500 | 537 | 519 |1225 |  1 | 160 |1105 | 3.863008e+01 | 5.600000e+01 |  44.96%| unknown
1031.59/1033.99	c  1034s|  2600 |  2601 |  5335k|1455.6 |   354M |  25 | 500 | 538 | 521 |1247 |  1 | 165 |1108 | 3.863132e+01 | 5.600000e+01 |  44.96%| unknown
1052.95/1055.30	c  1055s|  2700 |  2701 |  5468k|1452.1 |   354M |  25 | 500 | 535 | 522 |1297 |  1 | 168 |1111 | 3.866312e+01 | 5.600000e+01 |  44.84%| unknown
1072.71/1075.15	c  1075s|  2800 |  2801 |  5566k|1440.0 |   354M |  25 | 500 | 538 | 520 |1358 |  1 | 173 |1118 | 3.868524e+01 | 5.600000e+01 |  44.76%| unknown
1096.66/1099.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1096.66/1099.19	c  1099s|  2900 |  2901 |  5697k|1436.6 |   355M |  25 | 500 | 537 | 522 |1424 |  1 | 174 |1126 | 3.870547e+01 | 5.600000e+01 |  44.68%| unknown
1114.62/1117.14	c  1117s|  3000 |  3001 |  5796k|1425.5 |   357M |  25 | 500 | 536 | 521 |1471 |  1 | 177 |1129 | 3.871976e+01 | 5.600000e+01 |  44.63%| unknown
1138.86/1141.40	c  1141s|  3100 |  3101 |  5889k|1413.7 |   357M |  25 | 500 | 538 | 522 |1505 |  1 | 181 |1153 | 3.872768e+01 | 5.600000e+01 |  44.60%| unknown
1156.42/1159.09	c  1159s|  3200 |  3201 |  5997k|1405.7 |   357M |  25 | 500 | 538 | 519 |1535 |  1 | 184 |1166 | 3.872768e+01 | 5.600000e+01 |  44.60%| unknown
1175.48/1178.15	c  1178s|  3300 |  3301 |  6114k|1400.2 |   357M |  25 | 500 | 537 | 520 |1564 |  1 | 191 |1177 | 3.873099e+01 | 5.600000e+01 |  44.59%| unknown
1199.03/1201.70	c  1202s|  3400 |  3401 |  6243k|1397.8 |   357M |  25 | 500 | 540 | 522 |1617 |  1 | 195 |1190 | 3.873883e+01 | 5.600000e+01 |  44.56%| unknown
1212.90/1215.69	c  1216s|  3500 |  3501 |  6334k|1387.2 |   357M |  25 | 500 | 542 | 521 |1633 |  1 | 199 |1197 | 3.875995e+01 | 5.600000e+01 |  44.48%| unknown
1230.36/1233.11	c  1233s|  3600 |  3601 |  6440k|1380.1 |   357M |  25 | 500 | 540 | 520 |1664 |  1 | 201 |1204 | 3.876791e+01 | 5.600000e+01 |  44.45%| unknown
1250.32/1253.17	c  1253s|  3700 |  3701 |  6541k|1372.3 |   357M |  25 | 500 | 538 | 522 |1698 |  1 | 204 |1210 | 3.878480e+01 | 5.600000e+01 |  44.39%| unknown
1266.39/1269.23	c  1269s|  3800 |  3801 |  6631k|1362.6 |   359M |  25 | 500 | 541 | 520 |1739 |  1 | 209 |1214 | 3.878998e+01 | 5.600000e+01 |  44.37%| unknown
1286.05/1288.93	c  1289s|  3900 |  3901 |  6746k|1358.2 |   360M |  26 | 500 | 539 | 521 |1783 |  1 | 215 |1219 | 3.880143e+01 | 5.600000e+01 |  44.32%| unknown
1301.61/1304.51	c  1305s|  4000 |  4001 |  6843k|1350.6 |   360M |  26 | 500 | 539 | 520 |1812 |  1 | 217 |1224 | 3.881410e+01 | 5.600000e+01 |  44.28%| unknown
1319.97/1322.98	c  1323s|  4100 |  4101 |  6952k|1345.5 |   361M |  26 | 500 | 536 | 521 |1852 |  1 | 220 |1228 | 3.882921e+01 | 5.600000e+01 |  44.22%| unknown
1337.52/1340.59	c  1341s|  4200 |  4201 |  7060k|1340.4 |   361M |  26 | 500 | 537 | 522 |1889 |  1 | 223 |1234 | 3.883684e+01 | 5.600000e+01 |  44.19%| unknown
1358.46/1361.58	c  1362s|  4300 |  4301 |  7185k|1338.8 |   363M |  26 | 500 | 538 | 521 |1943 |  1 | 227 |1238 | 3.885157e+01 | 5.600000e+01 |  44.14%| unknown
1374.22/1377.37	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1374.22/1377.37	c  1377s|  4400 |  4401 |  7276k|1330.9 |   363M |  26 | 500 | 540 | 521 |1960 |  5 | 230 |1251 | 3.885608e+01 | 5.600000e+01 |  44.12%| unknown
1397.46/1400.60	c  1401s|  4500 |  4501 |  7406k|1330.3 |   364M |  26 | 500 | 538 | 519 |2007 |  1 | 236 |1267 | 3.885688e+01 | 5.600000e+01 |  44.12%| unknown
1409.62/1412.82	c  1413s|  4600 |  4601 |  7475k|1319.1 |   364M |  26 | 500 | 535 | 520 |2023 |  1 | 237 |1273 | 3.886081e+01 | 5.600000e+01 |  44.10%| unknown
1428.57/1431.80	c  1432s|  4700 |  4701 |  7595k|1316.9 |   364M |  26 | 500 | 537 | 522 |2054 |  1 | 241 |1286 | 3.887073e+01 | 5.600000e+01 |  44.07%| unknown
1451.01/1454.39	c  1454s|  4800 |  4801 |  7718k|1315.4 |   365M |  26 | 500 | 537 | 520 |2106 |  1 | 246 |1300 | 3.888380e+01 | 5.600000e+01 |  44.02%| unknown
1465.07/1468.46	c  1468s|  4900 |  4901 |  7804k|1307.9 |   365M |  26 | 500 | 536 | 521 |2138 |  1 | 248 |1303 | 3.888903e+01 | 5.600000e+01 |  44.00%| unknown
1481.53/1484.95	c  1485s|  5000 |  5001 |  7911k|1303.9 |   365M |  26 | 500 | 536 | 520 |2150 |  1 | 251 |1306 | 3.889616e+01 | 5.600000e+01 |  43.97%| unknown
1494.60/1498.04	c  1498s|  5100 |  5101 |  8000k|1297.2 |   365M |  26 | 500 | 537 | 519 |2161 |  1 | 256 |1309 | 3.889689e+01 | 5.600000e+01 |  43.97%| unknown
1509.55/1513.07	c  1513s|  5200 |  5201 |  8086k|1290.2 |   365M |  26 | 500 | 537 | 520 |2192 |  1 | 259 |1314 | 3.890312e+01 | 5.600000e+01 |  43.95%| unknown
1528.70/1532.26	c  1532s|  5300 |  5301 |  8207k|1288.8 |   366M |  26 | 500 | 539 | 520 |2226 |  1 | 263 |1322 | 3.890662e+01 | 5.600000e+01 |  43.93%| unknown
1542.36/1545.99	c  1546s|  5400 |  5401 |  8281k|1280.4 |   366M |  26 | 500 | 543 | 519 |2253 |  1 | 267 |1330 | 3.891821e+01 | 5.600000e+01 |  43.89%| unknown
1555.72/1559.38	c  1559s|  5500 |  5501 |  8373k|1274.8 |   366M |  26 | 500 | 540 | 522 |2266 |  1 | 270 |1335 | 3.892640e+01 | 5.600000e+01 |  43.86%| unknown
1569.29/1572.94	c  1573s|  5600 |  5601 |  8463k|1269.1 |   366M |  28 | 500 | 543 | 521 |2283 |  1 | 276 |1340 | 3.892640e+01 | 5.600000e+01 |  43.86%| unknown
1583.55/1587.25	c  1587s|  5700 |  5701 |  8554k|1263.9 |   366M |  28 | 500 | 538 | 522 |2312 |  1 | 278 |1343 | 3.893114e+01 | 5.600000e+01 |  43.84%| unknown
1594.72/1598.49	c  1598s|  5800 |  5801 |  8630k|1256.5 |   366M |  28 | 500 | 540 | 516 |2322 |  1 | 282 |1346 | 3.893221e+01 | 5.600000e+01 |  43.84%| unknown
1613.47/1617.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1613.47/1617.20	c  1617s|  5900 |  5901 |  8751k|1255.8 |   368M |  28 | 500 | 540 | 522 |2354 |  1 | 285 |1350 | 3.893751e+01 | 5.600000e+01 |  43.82%| unknown
1627.54/1631.38	c  1631s|  6000 |  6001 |  8838k|1250.4 |   368M |  28 | 500 | 544 | 521 |2381 |  1 | 289 |1357 | 3.894099e+01 | 5.600000e+01 |  43.81%| unknown
1642.22/1646.06	c  1646s|  6100 |  6101 |  8952k|1248.8 |   368M |  28 | 500 | 542 | 521 |2386 |  1 | 293 |1361 | 3.895317e+01 | 5.600000e+01 |  43.76%| unknown
1655.78/1659.69	c  1660s|  6200 |  6201 |  9039k|1243.6 |   368M |  28 | 500 | 542 | 521 |2407 |  5 | 297 |1366 | 3.895846e+01 | 5.600000e+01 |  43.74%| unknown
1670.16/1674.04	c  1674s|  6300 |  6301 |  9124k|1238.2 |   369M |  28 | 500 | 542 | 521 |2438 |  1 | 300 |1370 | 3.896248e+01 | 5.600000e+01 |  43.73%| unknown
1685.72/1689.60	c  1690s|  6400 |  6401 |  9223k|1235.0 |   369M |  28 | 500 | 541 | 522 |2460 |  1 | 304 |1377 | 3.897423e+01 | 5.600000e+01 |  43.68%| unknown
1699.50/1703.45	c  1703s|  6500 |  6501 |  9321k|1231.5 |   369M |  28 | 500 | 538 | 520 |2478 |  1 | 306 |1380 | 3.897524e+01 | 5.600000e+01 |  43.68%| unknown
1710.27/1714.29	c  1714s|  6600 |  6601 |  9388k|1224.3 |   369M |  28 | 500 | 537 | 521 |2496 |  1 | 307 |1382 | 3.897676e+01 | 5.600000e+01 |  43.68%| unknown
1727.44/1731.40	c  1731s|  6700 |  6701 |  9488k|1221.3 |   369M |  28 | 500 | 537 | 522 |2530 |  1 | 311 |1392 | 3.898345e+01 | 5.600000e+01 |  43.65%| unknown
1744.11/1748.16	c  1748s|  6800 |  6801 |  9589k|1218.6 |   370M |  28 | 500 | 536 | 520 |2566 |  1 | 314 |1401 | 3.899517e+01 | 5.600000e+01 |  43.61%| unknown
1755.88/1759.96	c  1760s|  6900 |  6901 |  9668k|1213.2 |   370M |  28 | 500 | 535 | 522 |2576 |  1 | 315 |1406 | 3.900241e+01 | 5.600000e+01 |  43.58%| unknown
1767.86/1771.99	c  1772s|  7000 |  7001 |  9751k|1208.5 |   370M |  28 | 500 | 535 | 522 |2582 |  1 | 321 |1414 | 3.900378e+01 | 5.600000e+01 |  43.58%| unknown
1782.83/1786.92	c  1787s|  7100 |  7101 |  9851k|1205.9 |   385M |  28 | 500 | 532 | 519 |2605 |  1 | 324 |1417 | 3.900721e+01 | 5.600000e+01 |  43.56%| unknown
1797.80/1801.91	c  1802s|  7200 |  7201 |  9946k|1202.8 |   385M |  28 | 500 | 535 | 522 |2628 |  1 | 329 |1424 | 3.900989e+01 | 5.600000e+01 |  43.55%| unknown
1807.88/1812.09	c  1812s|  7300 |  7301 | 10018k|1197.0 |   385M |  28 | 500 | 536 | 519 |2628 |  1 | 330 |1429 | 3.901264e+01 | 5.600000e+01 |  43.54%| unknown
1823.04/1827.26	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1823.04/1827.26	c  1827s|  7400 |  7401 | 10124k|1195.4 |   386M |  28 | 500 | 539 | 521 |2638 |  1 | 336 |1433 | 3.901599e+01 | 5.600000e+01 |  43.53%| unknown
1837.92/1842.12	c  1842s|  7500 |  7501 | 10216k|1192.1 |   386M |  28 | 500 | 538 | 522 |2660 |  1 | 338 |1443 | 3.901642e+01 | 5.600000e+01 |  43.53%| unknown
1849.49/1853.77	c  1854s|  7600 |  7601 | 10285k|1186.3 |   386M |  28 | 500 | 537 | 520 |2681 |  1 | 341 |1447 | 3.903621e+01 | 5.600000e+01 |  43.46%| unknown
1865.26/1869.58	c  1870s|  7700 |  7701 | 10394k|1185.3 |   386M |  28 | 500 | 541 | 520 |2714 |  1 | 346 |1448 | 3.904159e+01 | 5.600000e+01 |  43.44%| unknown
1877.63/1881.95	c  1882s|  7800 |  7801 | 10488k|1182.5 |   386M |  28 | 500 | 538 | 520 |2714 |  1 | 349 |1452 | 3.904159e+01 | 5.600000e+01 |  43.44%| unknown
1891.91/1896.27	c  1896s|  7900 |  7901 | 10576k|1179.1 |   433M |  28 | 500 | 538 | 522 |2747 |  1 | 354 |1452 | 3.904647e+01 | 5.600000e+01 |  43.42%| unknown
1907.57/1911.96	c  1912s|  8000 |  8001 | 10681k|1177.7 |   436M |  28 | 500 | 540 | 521 |2780 |  1 | 361 |1453 | 3.905220e+01 | 5.600000e+01 |  43.40%| unknown
1923.54/1927.97	c  1928s|  8100 |  8101 | 10789k|1176.7 |   438M |  28 | 500 | 540 | 520 |2797 |  1 | 363 |1455 | 3.906039e+01 | 5.600000e+01 |  43.37%| unknown
1935.01/1939.41	c  1939s|  8200 |  8201 | 10861k|1171.7 |   438M |  28 | 500 | 543 | 521 |2802 |  1 | 367 |1466 | 3.906418e+01 | 5.600000e+01 |  43.35%| unknown
1951.18/1955.60	c  1956s|  8300 |  8301 | 10970k|1170.8 |   438M |  28 | 500 | 543 | 521 |2823 |  1 | 368 |1477 | 3.907252e+01 | 5.600000e+01 |  43.32%| unknown
1966.95/1971.43	c  1971s|  8400 |  8401 | 11062k|1168.1 |   438M |  28 | 500 | 545 | 520 |2859 |  1 | 372 |1486 | 3.907296e+01 | 5.600000e+01 |  43.32%| unknown
1978.92/1983.47	c  1983s|  8500 |  8501 | 11144k|1164.5 |   438M |  28 | 500 | 542 | 521 |2872 |  1 | 372 |1492 | 3.907992e+01 | 5.600000e+01 |  43.30%| unknown
1993.79/1998.35	c  1998s|  8600 |  8601 | 11237k|1162.0 |   438M |  28 | 500 | 537 | 520 |2894 |  1 | 376 |1500 | 3.908106e+01 | 5.600000e+01 |  43.29%| unknown
2007.96/2012.58	c  2013s|  8700 |  8701 | 11335k|1160.2 |   438M |  28 | 500 | 532 | 522 |2911 |  1 | 378 |1507 | 3.908106e+01 | 5.600000e+01 |  43.29%| unknown
2018.94/2023.55	c  2024s|  8800 |  8801 | 11404k|1155.4 |   439M |  28 | 500 | 531 | 521 |2925 |  1 | 378 |1512 | 3.908593e+01 | 5.600000e+01 |  43.27%| unknown
2033.42/2038.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2033.42/2038.06	c  2038s|  8900 |  8901 | 11507k|1154.2 |   440M |  28 | 500 | 536 | 520 |2937 |  1 | 387 |1519 | 3.909444e+01 | 5.600000e+01 |  43.24%| unknown
2048.08/2052.79	c  2053s|  9000 |  9001 | 11604k|1152.3 |   440M |  28 | 500 | 535 | 521 |2965 |  1 | 389 |1521 | 3.909522e+01 | 5.600000e+01 |  43.24%| unknown
2060.06/2064.70	c  2065s|  9100 |  9101 | 11682k|1148.7 |   440M |  28 | 500 | 538 | 521 |2980 |  1 | 392 |1523 | 3.909645e+01 | 5.600000e+01 |  43.24%| unknown
2076.32/2081.04	c  2081s|  9200 |  9201 | 11787k|1147.7 |   441M |  28 | 500 | 542 | 520 |3013 |  1 | 398 |1525 | 3.909657e+01 | 5.600000e+01 |  43.24%| unknown
2089.78/2094.56	c  2095s|  9300 |  9301 | 11875k|1145.1 |   441M |  28 | 500 | 542 | 520 |3035 |  1 | 401 |1529 | 3.909844e+01 | 5.600000e+01 |  43.23%| unknown
2103.35/2108.13	c  2108s|  9400 |  9401 | 11968k|1143.1 |   442M |  28 | 500 | 545 | 520 |3052 |  1 | 405 |1533 | 3.910398e+01 | 5.600000e+01 |  43.21%| unknown
2116.41/2121.26	c  2121s|  9500 |  9501 | 12047k|1139.7 |   442M |  28 | 500 | 545 | 520 |3075 |  1 | 406 |1535 | 3.910941e+01 | 5.600000e+01 |  43.19%| unknown
2126.48/2131.32	c  2131s|  9600 |  9601 | 12116k|1135.5 |   442M |  28 | 500 | 548 | 520 |3080 |  1 | 410 |1538 | 3.911103e+01 | 5.600000e+01 |  43.18%| unknown
2142.25/2147.13	c  2147s|  9700 |  9701 | 12238k|1136.3 |   442M |  28 | 500 | 546 | 520 |3092 |  1 | 414 |1542 | 3.911599e+01 | 5.600000e+01 |  43.16%| unknown
2157.00/2161.94	c  2162s|  9800 |  9801 | 12326k|1133.9 |   442M |  28 | 500 | 548 | 522 |3124 |  1 | 420 |1547 | 3.911728e+01 | 5.600000e+01 |  43.16%| unknown
2172.46/2177.42	c  2177s|  9900 |  9901 | 12413k|1131.5 |   446M |  28 | 500 | 549 | 521 |3169 |  1 | 425 |1549 | 3.912063e+01 | 5.600000e+01 |  43.15%| unknown
2189.01/2194.02	c  2194s| 10000 | 10001 | 12523k|1131.2 |   447M |  28 | 500 | 545 | 521 |3189 |  1 | 429 |1558 | 3.912208e+01 | 5.600000e+01 |  43.14%| unknown
2202.57/2207.68	c  2208s| 10100 | 10101 | 12600k|1128.0 |   448M |  28 | 500 | 545 | 521 |3206 |  1 | 430 |1569 | 3.912592e+01 | 5.600000e+01 |  43.13%| unknown
2215.34/2220.40	c  2220s| 10200 | 10201 | 12691k|1126.0 |   448M |  28 | 500 | 543 | 520 |3213 |  1 | 433 |1575 | 3.912776e+01 | 5.600000e+01 |  43.12%| unknown
2229.40/2234.57	c  2235s| 10300 | 10301 | 12782k|1124.1 |   448M |  28 | 500 | 542 | 520 |3230 |  1 | 438 |1583 | 3.913087e+01 | 5.600000e+01 |  43.11%| unknown
2244.16/2249.38	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2244.16/2249.38	c  2249s| 10400 | 10401 | 12879k|1122.8 |   448M |  28 | 500 | 543 | 522 |3253 |  6 | 441 |1588 | 3.913232e+01 | 5.600000e+01 |  43.10%| unknown
2257.52/2262.77	c  2263s| 10500 | 10501 | 12968k|1120.8 |   448M |  28 | 500 | 544 | 520 |3269 |  1 | 446 |1593 | 3.913505e+01 | 5.600000e+01 |  43.09%| unknown
2269.98/2275.24	c  2275s| 10600 | 10601 | 13043k|1117.6 |   448M |  28 | 500 | 543 | 521 |3285 |  1 | 449 |1600 | 3.913508e+01 | 5.600000e+01 |  43.09%| unknown
2286.04/2291.39	c  2291s| 10700 | 10701 | 13159k|1117.9 |   448M |  28 | 500 | 542 | 522 |3309 |  1 | 452 |1608 | 3.913508e+01 | 5.600000e+01 |  43.09%| unknown
2297.91/2303.21	c  2303s| 10800 | 10801 | 13244k|1115.7 |   448M |  28 | 500 | 542 | 521 |3315 |  1 | 457 |1612 | 3.913644e+01 | 5.600000e+01 |  43.09%| unknown
2306.58/2311.97	c  2312s| 10900 | 10901 | 13302k|1111.2 |   448M |  28 | 500 | 541 | 520 |3316 |  1 | 459 |1616 | 3.914115e+01 | 5.600000e+01 |  43.07%| unknown
2318.75/2324.11	c  2324s| 11000 | 11001 | 13391k|1109.4 |   448M |  28 | 500 | 539 | 521 |3328 |  1 | 462 |1619 | 3.914307e+01 | 5.600000e+01 |  43.06%| unknown
2333.51/2338.90	c  2339s| 11100 | 11101 | 13500k|1109.2 |   448M |  28 | 500 | 540 | 519 |3344 |  1 | 467 |1622 | 3.914437e+01 | 5.600000e+01 |  43.06%| unknown
2344.28/2349.79	c  2350s| 11200 | 11201 | 13574k|1106.2 |   448M |  28 | 500 | 540 | 521 |3350 |  1 | 468 |1625 | 3.914668e+01 | 5.600000e+01 |  43.05%| unknown
2355.25/2360.77	c  2361s| 11300 | 11301 | 13641k|1102.7 |   448M |  28 | 500 | 538 | 520 |3371 |  1 | 470 |1629 | 3.914668e+01 | 5.600000e+01 |  43.05%| unknown
2366.92/2372.45	c  2372s| 11400 | 11401 | 13735k|1101.4 |   448M |  28 | 500 | 541 | 521 |3377 |  1 | 474 |1631 | 3.914776e+01 | 5.600000e+01 |  43.05%| unknown
2378.39/2383.94	c  2384s| 11500 | 11501 | 13825k|1099.7 |   448M |  28 | 500 | 545 | 522 |3383 |  1 | 480 |1631 | 3.915307e+01 | 5.600000e+01 |  43.03%| unknown
2388.26/2393.85	c  2394s| 11600 | 11601 | 13891k|1096.3 |   448M |  28 | 500 | 543 | 521 |3393 |  1 | 482 |1633 | 3.916147e+01 | 5.600000e+01 |  43.00%| unknown
2399.43/2405.10	c  2405s| 11700 | 11701 | 13973k|1094.1 |   449M |  28 | 500 | 544 | 520 |3406 |  1 | 485 |1634 | 3.916443e+01 | 5.600000e+01 |  42.99%| unknown
2412.29/2417.98	c  2418s| 11800 | 11801 | 14061k|1092.5 |   449M |  28 | 500 | 542 | 521 |3421 |  1 | 487 |1636 | 3.916981e+01 | 5.600000e+01 |  42.97%| unknown
2422.76/2428.40	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2422.76/2428.40	c  2428s| 11900 | 11901 | 14144k|1090.4 |   449M |  28 | 500 | 544 | 520 |3422 |  1 | 490 |1638 | 3.917431e+01 | 5.600000e+01 |  42.95%| unknown
2437.02/2442.78	c  2443s| 12000 | 12001 | 14241k|1089.5 |   449M |  28 | 500 | 546 | 521 |3446 |  1 | 493 |1644 | 3.917569e+01 | 5.600000e+01 |  42.95%| unknown
2453.48/2459.29	c  2459s| 12100 | 12101 | 14356k|1090.0 |   449M |  28 | 500 | 545 | 521 |3450 |  1 | 499 |1652 | 3.917948e+01 | 5.600000e+01 |  42.93%| unknown
2463.35/2469.11	c  2469s| 12200 | 12201 | 14419k|1086.5 |   449M |  28 | 500 | 544 | 521 |3456 |  1 | 501 |1658 | 3.918455e+01 | 5.600000e+01 |  42.91%| unknown
2475.72/2481.57	c  2482s| 12300 | 12301 | 14518k|1085.8 |   449M |  28 | 500 | 542 | 521 |3457 |  1 | 505 |1665 | 3.918563e+01 | 5.600000e+01 |  42.91%| unknown
2487.29/2493.14	c  2493s| 12400 | 12401 | 14600k|1083.8 |   449M |  28 | 500 | 541 | 522 |3463 |  6 | 506 |1672 | 3.919032e+01 | 5.600000e+01 |  42.89%| unknown
2500.25/2506.17	c  2506s| 12500 | 12501 | 14692k|1082.6 |   449M |  29 | 500 | 539 | 521 |3469 |  1 | 509 |1680 | 3.919415e+01 | 5.600000e+01 |  42.88%| unknown
2512.91/2518.80	c  2519s| 12600 | 12601 | 14789k|1081.7 |   449M |  29 | 500 | 541 | 521 |3481 |  1 | 513 |1684 | 3.919561e+01 | 5.600000e+01 |  42.87%| unknown
2523.99/2529.94	c  2530s| 12700 | 12701 | 14862k|1079.2 |   449M |  29 | 500 | 540 | 519 |3494 |  1 | 514 |1690 | 3.919997e+01 | 5.600000e+01 |  42.86%| unknown
2538.07/2544.08	c  2544s| 12800 | 12801 | 14958k|1078.4 |   449M |  29 | 500 | 541 | 520 |3518 |  1 | 518 |1691 | 3.920053e+01 | 5.600000e+01 |  42.86%| unknown
2547.94/2553.95	c  2554s| 12900 | 12901 | 15034k|1076.0 |   449M |  29 | 500 | 541 | 521 |3525 |  1 | 521 |1693 | 3.920053e+01 | 5.600000e+01 |  42.86%| unknown
2556.92/2562.91	c  2563s| 13000 | 13001 | 15101k|1073.2 |   449M |  29 | 500 | 542 | 522 |3525 |  1 | 524 |1698 | 3.920374e+01 | 5.600000e+01 |  42.84%| unknown
2568.60/2574.66	c  2575s| 13100 | 13101 | 15183k|1071.4 |   450M |  29 | 500 | 539 | 519 |3536 |  1 | 525 |1703 | 3.920593e+01 | 5.600000e+01 |  42.84%| unknown
2581.17/2587.22	c  2587s| 13200 | 13201 | 15285k|1071.0 |   450M |  29 | 500 | 539 | 520 |3540 |  1 | 528 |1706 | 3.920626e+01 | 5.600000e+01 |  42.83%| unknown
2591.85/2597.99	c  2598s| 13300 | 13301 | 15360k|1068.8 |   450M |  29 | 500 | 539 | 520 |3544 |  1 | 531 |1707 | 3.920923e+01 | 5.600000e+01 |  42.82%| unknown
2603.13/2609.23	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2603.13/2609.23	c  2609s| 13400 | 13401 | 15449k|1067.5 |   450M |  29 | 500 | 542 | 520 |3550 |  1 | 537 |1709 | 3.920955e+01 | 5.600000e+01 |  42.82%| unknown
2614.80/2620.93	c  2621s| 13500 | 13501 | 15539k|1066.4 |   450M |  29 | 500 | 541 | 522 |3550 |  1 | 540 |1713 | 3.921031e+01 | 5.600000e+01 |  42.82%| unknown
2626.28/2632.44	c  2632s| 13600 | 13601 | 15624k|1064.9 |   450M |  29 | 500 | 541 | 522 |3560 |  1 | 544 |1716 | 3.921130e+01 | 5.600000e+01 |  42.82%| unknown
2637.36/2643.52	c  2644s| 13700 | 13701 | 15707k|1063.3 |   450M |  29 | 500 | 541 | 521 |3569 |  1 | 548 |1718 | 3.921279e+01 | 5.600000e+01 |  42.81%| unknown
2649.53/2655.71	c  2656s| 13800 | 13801 | 15801k|1062.5 |   450M |  29 | 500 | 543 | 520 |3581 |  1 | 551 |1722 | 3.921279e+01 | 5.600000e+01 |  42.81%| unknown
2661.11/2667.35	c  2667s| 13900 | 13901 | 15879k|1060.6 |   450M |  29 | 500 | 547 | 521 |3599 |  1 | 556 |1725 | 3.921331e+01 | 5.600000e+01 |  42.81%| unknown
2671.79/2678.01	c  2678s| 14000 | 14001 | 15952k|1058.4 |   450M |  29 | 500 | 547 | 520 |3606 |  1 | 558 |1732 | 3.921376e+01 | 5.600000e+01 |  42.81%| unknown
2682.57/2688.85	c  2689s| 14100 | 14101 | 16025k|1056.2 |   450M |  29 | 500 | 545 | 520 |3606 |  1 | 561 |1740 | 3.921416e+01 | 5.600000e+01 |  42.81%| unknown
2683.16/2689.43	o 55
2683.16/2689.43	c L2689s| 14102 | 14103 | 16026k|1056.1 |crossove|  30 | 500 | 545 | 520 |3606 |  1 | 561 |1741 | 3.921416e+01 | 5.500000e+01 |  40.26%| unknown
2696.64/2702.91	c  2703s| 14200 | 14201 | 16130k|1056.2 |   450M |  33 | 500 | 548 | 521 |3619 |  1 | 567 |1743 | 3.921416e+01 | 5.500000e+01 |  40.26%| unknown
2706.12/2712.45	c  2712s| 14300 | 14301 | 16206k|1054.3 |   450M |  33 | 500 | 550 | 519 |3619 |  1 | 572 |1745 | 3.921666e+01 | 5.500000e+01 |  40.25%| unknown
2722.48/2728.88	c  2729s| 14400 | 14401 | 16289k|1052.8 |   450M |  33 | 500 | 550 | 520 |3619 |  1 | 574 |1748 | 3.921691e+01 | 5.500000e+01 |  40.25%| unknown
2733.06/2739.48	c  2739s| 14500 | 14501 | 16368k|1051.1 |   450M |  33 | 500 | 548 | 520 |3623 |  1 | 575 |1752 | 3.922047e+01 | 5.500000e+01 |  40.23%| unknown
2744.04/2750.49	c  2750s| 14600 | 14601 | 16453k|1049.8 |   450M |  33 | 500 | 549 | 522 |3630 |  1 | 580 |1754 | 3.922583e+01 | 5.500000e+01 |  40.21%| unknown
2754.73/2761.16	c  2761s| 14700 | 14701 | 16515k|1047.1 |   450M |  33 | 500 | 550 | 520 |3650 |  1 | 583 |1761 | 3.923159e+01 | 5.500000e+01 |  40.19%| unknown
2765.20/2771.63	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2765.20/2771.63	c  2772s| 14800 | 14801 | 16598k|1045.7 |   451M |  33 | 500 | 553 | 521 |3650 |  1 | 592 |1765 | 3.923174e+01 | 5.500000e+01 |  40.19%| unknown
2775.88/2782.35	c  2782s| 14900 | 14901 | 16675k|1044.0 |   451M |  33 | 500 | 552 | 521 |3651 |  1 | 594 |1773 | 3.923699e+01 | 5.500000e+01 |  40.17%| unknown
2786.46/2792.99	c  2793s| 15000 | 15001 | 16753k|1042.4 |   451M |  33 | 500 | 553 | 520 |3654 |  1 | 598 |1780 | 3.923972e+01 | 5.500000e+01 |  40.16%| unknown
2800.43/2806.95	c  2807s| 15100 | 15101 | 16853k|1042.1 |   451M |  33 | 500 | 552 | 521 |3655 |  1 | 602 |1793 | 3.924058e+01 | 5.500000e+01 |  40.16%| unknown
2810.01/2816.56	c  2817s| 15200 | 15201 | 16926k|1040.2 |   451M |  33 | 500 | 553 | 521 |3655 |  1 | 605 |1795 | 3.924058e+01 | 5.500000e+01 |  40.16%| unknown
2819.39/2825.98	c  2826s| 15300 | 15301 | 16997k|1038.2 |   451M |  33 | 500 | 553 | 521 |3655 |  1 | 607 |1800 | 3.924058e+01 | 5.500000e+01 |  40.16%| unknown
2829.17/2835.72	c  2836s| 15400 | 15401 | 17065k|1036.0 |   451M |  33 | 500 | 554 | 520 |3659 |  1 | 611 |1809 | 3.924058e+01 | 5.500000e+01 |  40.16%| unknown
2840.56/2847.17	c  2847s| 15500 | 15501 | 17147k|1034.7 |   451M |  33 | 500 | 554 | 522 |3670 |  1 | 616 |1812 | 3.924999e+01 | 5.500000e+01 |  40.13%| unknown
2851.83/2858.43	c  2858s| 15600 | 15601 | 17231k|1033.5 |   451M |  33 | 500 | 554 | 520 |3680 |  1 | 620 |1815 | 3.925048e+01 | 5.500000e+01 |  40.13%| unknown
2861.21/2867.88	c  2868s| 15700 | 15701 | 17296k|1031.2 |   451M |  33 | 500 | 552 | 521 |3686 |  1 | 622 |1819 | 3.925048e+01 | 5.500000e+01 |  40.13%| unknown
2871.89/2878.56	c  2879s| 15800 | 15801 | 17376k|1029.8 |   451M |  33 | 500 | 550 | 522 |3690 |  1 | 623 |1821 | 3.925149e+01 | 5.500000e+01 |  40.12%| unknown
2883.16/2889.83	c  2890s| 15900 | 15901 | 17460k|1028.7 |   452M |  33 | 500 | 552 | 521 |3700 |  1 | 629 |1824 | 3.925234e+01 | 5.500000e+01 |  40.12%| unknown
2891.05/2897.77	c  2898s| 16000 | 16001 | 17522k|1026.3 |   452M |  33 | 500 | 554 | 521 |3700 |  1 | 634 |1828 | 3.925234e+01 | 5.500000e+01 |  40.12%| unknown
2901.33/2908.10	c  2908s| 16100 | 16101 | 17588k|1024.2 |   452M |  33 | 500 | 555 | 520 |3704 |  1 | 636 |1839 | 3.925322e+01 | 5.500000e+01 |  40.12%| unknown
2912.60/2919.35	c  2919s| 16200 | 16201 | 17676k|1023.4 |   452M |  33 | 500 | 551 | 520 |3704 |  1 | 639 |1843 | 3.925322e+01 | 5.500000e+01 |  40.12%| unknown
2922.08/2928.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2922.08/2928.86	c  2929s| 16300 | 16301 | 17751k|1021.7 |   452M |  33 | 500 | 552 | 519 |3704 |  1 | 642 |1847 | 3.925385e+01 | 5.500000e+01 |  40.11%| unknown
2931.57/2938.34	c  2938s| 16400 | 16401 | 17826k|1020.2 |   452M |  33 | 500 | 554 | 521 |3704 |  1 | 644 |1850 | 3.925505e+01 | 5.500000e+01 |  40.11%| unknown
2943.44/2950.25	c  2950s| 16500 | 16501 | 17916k|1019.5 |   452M |  33 | 500 | 557 | 520 |3709 |  1 | 653 |1857 | 3.925749e+01 | 5.500000e+01 |  40.10%| unknown
2953.32/2960.20	c  2960s| 16600 | 16601 | 17989k|1017.9 |   452M |  33 | 500 | 556 | 520 |3709 |  1 | 657 |1863 | 3.925808e+01 | 5.500000e+01 |  40.10%| unknown
2961.60/2968.45	c  2968s| 16700 | 16701 | 18051k|1015.6 |   452M |  33 | 500 | 556 | 521 |3709 |  1 | 658 |1866 | 3.926153e+01 | 5.500000e+01 |  40.09%| unknown
2973.88/2980.70	c  2981s| 16800 | 16801 | 18150k|1015.5 |   452M |  33 | 500 | 557 | 520 |3709 |  1 | 663 |1870 | 3.926176e+01 | 5.500000e+01 |  40.09%| unknown
2983.76/2990.61	c  2991s| 16900 | 16901 | 18223k|1013.9 |   452M |  33 | 500 | 556 | 521 |3709 |  1 | 665 |1872 | 3.926202e+01 | 5.500000e+01 |  40.08%| unknown
2994.44/3001.33	c  3001s| 17000 | 17001 | 18310k|1013.1 |   452M |  33 | 500 | 553 | 521 |3709 |  1 | 669 |1875 | 3.926283e+01 | 5.500000e+01 |  40.08%| unknown
3004.71/3011.63	c  3012s| 17100 | 17101 | 18387k|1011.8 |   452M |  33 | 500 | 555 | 521 |3714 |  1 | 674 |1878 | 3.926283e+01 | 5.500000e+01 |  40.08%| unknown
3014.99/3021.90	c  3022s| 17200 | 17201 | 18468k|1010.7 |   452M |  33 | 500 | 555 | 520 |3714 |  1 | 676 |1880 | 3.926430e+01 | 5.500000e+01 |  40.08%| unknown
3027.95/3034.91	c  3035s| 17300 | 17301 | 18535k|1008.8 |   452M |  33 | 500 | 554 | 521 |3720 |  1 | 679 |1882 | 3.926931e+01 | 5.500000e+01 |  40.06%| unknown
3039.22/3046.27	c  3046s| 17400 | 17401 | 18628k|1008.4 |   452M |  33 | 500 | 554 | 520 |3724 |  1 | 682 |1884 | 3.927155e+01 | 5.500000e+01 |  40.05%| unknown
3050.19/3057.24	c  3057s| 17500 | 17501 | 18707k|1007.2 |   453M |  33 | 500 | 554 | 521 |3728 |  1 | 687 |1890 | 3.927155e+01 | 5.500000e+01 |  40.05%| unknown
3060.46/3067.54	c  3068s| 17600 | 17601 | 18784k|1005.9 |   453M |  33 | 500 | 554 | 519 |3728 |  1 | 690 |1898 | 3.927474e+01 | 5.500000e+01 |  40.04%| unknown
3070.83/3077.99	c  3078s| 17700 | 17701 | 18848k|1004.0 |   454M |  33 | 500 | 555 | 521 |3740 |  1 | 693 |1907 | 3.927582e+01 | 5.500000e+01 |  40.04%| unknown
3082.80/3089.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3082.80/3089.96	c  3090s| 17800 | 17801 | 18934k|1003.2 |   454M |  33 | 500 | 553 | 520 |3754 |  1 | 698 |1913 | 3.927712e+01 | 5.500000e+01 |  40.03%| unknown
3094.17/3101.31	c  3101s| 17900 | 17901 | 19009k|1001.9 |   454M |  33 | 500 | 553 | 522 |3761 |  2 | 701 |1922 | 3.928222e+01 | 5.500000e+01 |  40.01%| unknown
3106.13/3113.35	c  3113s| 18000 | 18001 | 19093k|1001.0 |   454M |  33 | 500 | 551 | 521 |3771 |  1 | 705 |1929 | 3.928598e+01 | 5.500000e+01 |  40.00%| unknown
3115.11/3122.34	c  3122s| 18100 | 18101 | 19161k| 999.4 |   454M |  33 | 500 | 552 | 519 |3771 |  1 | 708 |1933 | 3.928711e+01 | 5.500000e+01 |  40.00%| unknown
3124.28/3131.59	c  3132s| 18200 | 18201 | 19235k| 998.0 |   454M |  33 | 500 | 551 | 521 |3771 |  1 | 710 |1935 | 3.928711e+01 | 5.500000e+01 |  40.00%| unknown
3134.26/3141.58	c  3142s| 18300 | 18301 | 19314k| 996.9 |   454M |  33 | 500 | 554 | 522 |3776 |  1 | 717 |1937 | 3.928711e+01 | 5.500000e+01 |  40.00%| unknown
3144.63/3151.92	c  3152s| 18400 | 18401 | 19395k| 996.0 |   454M |  33 | 500 | 555 | 522 |3776 |  1 | 721 |1940 | 3.928909e+01 | 5.500000e+01 |  39.99%| unknown
3154.50/3161.82	c  3162s| 18500 | 18501 | 19469k| 994.6 |   454M |  33 | 500 | 555 | 520 |3777 |  1 | 723 |1946 | 3.929002e+01 | 5.500000e+01 |  39.98%| unknown
3164.97/3172.34	c  3172s| 18600 | 18601 | 19554k| 993.9 |   454M |  33 | 500 | 555 | 519 |3777 |  1 | 728 |1948 | 3.929023e+01 | 5.500000e+01 |  39.98%| unknown
3176.04/3183.48	c  3183s| 18700 | 18701 | 19634k| 993.0 |   454M |  33 | 500 | 558 | 521 |3781 |  1 | 732 |1957 | 3.929133e+01 | 5.500000e+01 |  39.98%| unknown
3185.22/3192.68	c  3193s| 18800 | 18801 | 19700k| 991.2 |   454M |  33 | 500 | 562 | 520 |3781 |  1 | 738 |1962 | 3.929467e+01 | 5.500000e+01 |  39.97%| unknown
3194.79/3202.20	c  3202s| 18900 | 18901 | 19768k| 989.7 |   454M |  33 | 500 | 561 | 520 |3782 |  1 | 739 |1967 | 3.929677e+01 | 5.500000e+01 |  39.96%| unknown
3205.66/3213.14	c  3213s| 19000 | 19001 | 19856k| 989.1 |   454M |  33 | 500 | 564 | 519 |3789 |  1 | 746 |1970 | 3.929838e+01 | 5.500000e+01 |  39.95%| unknown
3214.64/3222.18	c  3222s| 19100 | 19101 | 19931k| 988.0 |   454M |  33 | 500 | 564 | 521 |3790 |  1 | 750 |1971 | 3.930154e+01 | 5.500000e+01 |  39.94%| unknown
3224.41/3231.93	c  3232s| 19200 | 19201 | 19993k| 986.2 |   454M |  33 | 500 | 562 | 520 |3790 |  1 | 753 |1976 | 3.930246e+01 | 5.500000e+01 |  39.94%| unknown
3233.78/3241.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3233.78/3241.31	c  3241s| 19300 | 19301 | 20063k| 984.7 |   454M |  33 | 500 | 564 | 520 |3790 |  1 | 756 |1981 | 3.930398e+01 | 5.500000e+01 |  39.93%| unknown
3243.36/3250.93	c  3251s| 19400 | 19401 | 20136k| 983.5 |   454M |  33 | 500 | 566 | 521 |3791 |  1 | 761 |1984 | 3.930398e+01 | 5.500000e+01 |  39.93%| unknown
3254.23/3261.81	c  3262s| 19500 | 19501 | 20218k| 982.7 |   454M |  33 | 500 | 563 | 521 |3801 |  1 | 765 |1987 | 3.930559e+01 | 5.500000e+01 |  39.93%| unknown
3263.90/3271.59	c  3272s| 19600 | 19601 | 20297k| 981.8 |   454M |  33 | 500 | 560 | 522 |3806 |  1 | 768 |1987 | 3.930695e+01 | 5.500000e+01 |  39.92%| unknown
3276.07/3283.70	c  3284s| 19700 | 19701 | 20386k| 981.3 |   454M |  33 | 500 | 557 | 522 |3812 |  1 | 769 |1990 | 3.930815e+01 | 5.500000e+01 |  39.92%| unknown
3287.04/3294.72	c  3295s| 19800 | 19801 | 20454k| 979.9 |   454M |  33 | 500 | 558 | 521 |3832 |  1 | 771 |1993 | 3.931020e+01 | 5.500000e+01 |  39.91%| unknown
3297.01/3304.71	c  3305s| 19900 | 19901 | 20534k| 979.0 |   455M |  33 | 500 | 558 | 522 |3838 |  6 | 776 |1994 | 3.931062e+01 | 5.500000e+01 |  39.91%| unknown
3308.58/3316.38	c  3316s| 20000 | 20001 | 20618k| 978.4 |   455M |  33 | 500 | 552 | 520 |3844 |  1 | 777 |1999 | 3.931098e+01 | 5.500000e+01 |  39.91%| unknown
3317.65/3325.41	c  3325s| 20100 | 20101 | 20676k| 976.5 |   455M |  33 | 500 | 555 | 521 |3844 |  1 | 782 |2005 | 3.931268e+01 | 5.500000e+01 |  39.90%| unknown
3327.03/3334.84	c  3335s| 20200 | 20201 | 20750k| 975.4 |   455M |  33 | 500 | 554 | 521 |3844 |  1 | 784 |2010 | 3.931268e+01 | 5.500000e+01 |  39.90%| unknown
3338.99/3346.88	c  3347s| 20300 | 20301 | 20846k| 975.3 |   455M |  33 | 500 | 552 | 519 |3844 |  1 | 789 |2016 | 3.931268e+01 | 5.500000e+01 |  39.90%| unknown
3347.77/3355.61	c  3356s| 20400 | 20401 | 20912k| 973.8 |   455M |  33 | 500 | 553 | 521 |3844 |  1 | 792 |2021 | 3.931303e+01 | 5.500000e+01 |  39.90%| unknown
3356.64/3364.53	c  3365s| 20500 | 20501 | 20978k| 972.4 |   455M |  33 | 500 | 555 | 522 |3844 |  1 | 797 |2026 | 3.931360e+01 | 5.500000e+01 |  39.90%| unknown
3368.12/3376.06	c  3376s| 20600 | 20601 | 21074k| 972.3 |   455M |  33 | 500 | 557 | 520 |3844 |  1 | 801 |2031 | 3.931513e+01 | 5.500000e+01 |  39.90%| unknown
3378.58/3386.50	c  3386s| 20700 | 20701 | 21138k| 970.8 |   455M |  33 | 500 | 557 | 521 |3856 |  1 | 803 |2034 | 3.931680e+01 | 5.500000e+01 |  39.89%| unknown
3385.76/3393.71	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3385.76/3393.71	c  3394s| 20800 | 20801 | 21197k| 969.0 |   455M |  33 | 500 | 557 | 519 |3856 |  1 | 805 |2035 | 3.931680e+01 | 5.500000e+01 |  39.89%| unknown
3395.44/3403.41	c  3403s| 20900 | 20901 | 21276k| 968.2 |   455M |  33 | 500 | 554 | 520 |3856 |  1 | 807 |2037 | 3.931801e+01 | 5.500000e+01 |  39.89%| unknown
3404.12/3412.17	c  3412s| 21000 | 21001 | 21341k| 966.8 |   455M |  33 | 500 | 553 | 520 |3856 |  1 | 808 |2042 | 3.932011e+01 | 5.500000e+01 |  39.88%| unknown
3415.99/3424.04	c  3424s| 21100 | 21101 | 21428k| 966.4 |   455M |  33 | 500 | 550 | 522 |3856 |  1 | 811 |2052 | 3.932146e+01 | 5.500000e+01 |  39.87%| unknown
3426.35/3434.49	c  3434s| 21200 | 21201 | 21506k| 965.5 |   455M |  33 | 500 | 553 | 522 |3861 |  1 | 817 |2054 | 3.932156e+01 | 5.500000e+01 |  39.87%| unknown
3439.52/3447.64	c  3448s| 21300 | 21301 | 21595k| 965.2 |   456M |  33 | 500 | 556 | 522 |3883 |  1 | 821 |2061 | 3.932308e+01 | 5.500000e+01 |  39.87%| unknown
3448.59/3456.79	c  3457s| 21400 | 21401 | 21664k| 964.0 |   456M |  33 | 500 | 556 | 521 |3883 |  1 | 822 |2065 | 3.932312e+01 | 5.500000e+01 |  39.87%| unknown
3458.76/3466.95	c  3467s| 21500 | 21501 | 21741k| 963.1 |   456M |  33 | 500 | 556 | 522 |3884 |  1 | 825 |2071 | 3.932390e+01 | 5.500000e+01 |  39.86%| unknown
3468.34/3476.59	c  3477s| 21600 | 21601 | 21819k| 962.3 |   456M |  33 | 500 | 554 | 521 |3884 |  1 | 829 |2075 | 3.932397e+01 | 5.500000e+01 |  39.86%| unknown
3479.31/3487.55	c  3488s| 21700 | 21701 | 21906k| 961.9 |   456M |  33 | 500 | 555 | 521 |3884 |  1 | 834 |2081 | 3.932554e+01 | 5.500000e+01 |  39.86%| unknown
3488.18/3496.47	c  3496s| 21800 | 21801 | 21971k| 960.5 |   456M |  33 | 500 | 551 | 520 |3888 |  1 | 837 |2084 | 3.932897e+01 | 5.500000e+01 |  39.85%| unknown
3497.95/3506.28	c  3506s| 21900 | 21901 | 22033k| 959.0 |   456M |  33 | 500 | 554 | 520 |3893 |  1 | 842 |2094 | 3.932935e+01 | 5.500000e+01 |  39.84%| unknown
3509.42/3517.71	c  3518s| 22000 | 22001 | 22113k| 958.4 |   456M |  33 | 500 | 552 | 519 |3904 |  1 | 844 |2097 | 3.932939e+01 | 5.500000e+01 |  39.84%| unknown
3519.80/3528.14	c  3528s| 22100 | 22101 | 22197k| 957.8 |   456M |  33 | 500 | 556 | 521 |3905 |  1 | 850 |2104 | 3.932972e+01 | 5.500000e+01 |  39.84%| unknown
3528.87/3537.21	c  3537s| 22200 | 22201 | 22266k| 956.7 |   456M |  33 | 500 | 558 | 522 |3905 |  1 | 855 |2109 | 3.933138e+01 | 5.500000e+01 |  39.84%| unknown
3538.25/3546.65	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3538.25/3546.65	c  3547s| 22300 | 22301 | 22343k| 955.9 |   456M |  33 | 500 | 557 | 521 |3905 |  1 | 858 |2114 | 3.933302e+01 | 5.500000e+01 |  39.83%| unknown
3548.92/3557.31	c  3557s| 22400 | 22401 | 22423k| 955.2 |   456M |  33 | 500 | 556 | 520 |3906 |  1 | 861 |2122 | 3.933463e+01 | 5.500000e+01 |  39.83%| unknown
3559.61/3568.09	c  3568s| 22500 | 22501 | 22493k| 954.1 |   456M |  33 | 500 | 557 | 520 |3911 |  1 | 863 |2126 | 3.933477e+01 | 5.500000e+01 |  39.83%| unknown
3569.38/3577.82	c  3578s| 22600 | 22601 | 22563k| 953.0 |   457M |  33 | 500 | 557 | 520 |3916 |  1 | 868 |2131 | 3.933565e+01 | 5.500000e+01 |  39.82%| unknown
3578.16/3586.67	c  3587s| 22700 | 22701 | 22636k| 952.1 |   457M |  33 | 500 | 556 | 521 |3916 |  1 | 871 |2132 | 3.933565e+01 | 5.500000e+01 |  39.82%| unknown
3588.44/3597.00	c 
3588.44/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3588.44/3597.00	c Solving Time (sec) : 3597.00
3588.44/3597.00	c Solving Nodes      : 22792 (total of 23841 nodes in 2 runs)
3588.44/3597.00	c Primal Bound       : +5.50000000000000e+01 (600 solutions)
3588.44/3597.00	c Dual Bound         : +3.93362117261979e+01
3588.44/3597.00	c Gap                : 39.82 %
3588.55/3597.00	s SATISFIABLE
3588.55/3597.00	v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 
3588.55/3597.00	v -x478 x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 
3588.55/3597.00	v -x457 -x456 -x455 x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 
3588.55/3597.00	v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 
3588.55/3597.00	v -x415 -x414 -x413 -x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 
3588.55/3597.00	v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 x376 -x375 -x374 
3588.55/3597.00	v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 
3588.55/3597.00	v -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 
3588.55/3597.00	v x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 
3588.55/3597.00	v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 
3588.55/3597.00	v -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 
3588.55/3597.00	v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 
3588.55/3597.00	v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 x230 -x229 -x228 -x227 
3588.55/3597.00	v -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 
3588.55/3597.00	v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 x185 
3588.55/3597.00	v -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 
3588.55/3597.00	v -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 
3588.55/3597.00	v -x141 -x140 -x139 -x138 x137 -x136 -x135 x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 
3588.55/3597.00	v -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 x101 -x100 
3588.55/3597.00	v -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 
3588.55/3597.00	v x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 x62 -x61 x60 x59 -x58 -x57 -x56 -x55 x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 
3588.55/3597.00	v x46 x45 -x44 x43 -x42 x41 x40 x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 
3588.55/3597.00	v -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1 
3588.55/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3588.55/3597.00	c Total Time         :    3597.00
3588.55/3597.00	c   solving          :    3597.00
3588.55/3597.00	c   presolving       :       0.10 (included in solving)
3588.55/3597.00	c   reading          :       0.02 (included in solving)
3588.55/3597.00	c   copying          :       0.07 (19 #copies) (minimal 0.00, maximal 0.00, average 0.00)
3588.55/3597.00	c Original Problem   :
3588.55/3597.00	c   Problem name     : HOME/instance-4459816-1721939463.opb
3588.55/3597.00	c   Variables        : 6828 (500 binary, 0 integer, 6328 implicit integer, 0 continuous)
3588.55/3597.00	c   Constraints      : 7328 initial, 7328 maximal
3588.55/3597.00	c   Objective        : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.55/3597.00	c Presolved Problem  :
3588.55/3597.00	c   Problem name     : t_HOME/instance-4459816-1721939463.opb
3588.55/3597.00	c   Variables        : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
3588.55/3597.00	c   Constraints      : 541 initial, 567 maximal
3588.55/3597.00	c   Objective        : minimize, 500 non-zeros (abs.min = 1, abs.max = 1)
3588.55/3597.00	c   Nonzeros         : 15446 constraint, 0 clique table
3588.55/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3588.55/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   domcol           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   implics          :       0.00       0.00      4          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   trivial          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   dualfix          :       0.00       0.00      5       6328          0          0          0          0          0          0          0          0
3588.55/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   probing          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   symmetry         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   linear           :       0.01       0.00      5          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   logicor          :       0.01       0.00      8          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   pseudoboolean    :       0.01       0.00      1          0          0          0          0          0       7328        500          0          0
3588.55/3597.00	c   components       :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3588.55/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3588.55/3597.00	c   benderslp        :          0          0          0          0      23841          0          0       1891          0          0          0          0          0          0          0
3588.55/3597.00	c   integral         :          0          0          0          0      23841          0          0       1891          0          0          0          0          0          0      47682
3588.55/3597.00	c   linear           :         14         14         15     225546          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   logicor          :        527+       553         31     112795          0          0          0       1887        916        210          0          0          0          0          0
3588.55/3597.00	c   benders          :          0          0          0          0          0          0          0        703          0          0          0          0          0          0          0
3588.55/3597.00	c   fixedvar         :          0          0          0          0          0          0          0        701          0          0          0          0          0          0          0
3588.55/3597.00	c   countsols        :          0          0          0          0          0          0          0        701          0          0          0          0          0          0          0
3588.55/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3588.55/3597.00	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.55/3597.00	c   integral         :     312.33       0.00       0.00       0.00     312.33       0.00       0.00       0.00       0.00       0.00
3588.55/3597.00	c   linear           :       1.51       0.00       1.22       0.28       0.00       0.00       0.00       0.00       0.00       0.00
3588.55/3597.00	c   logicor          :       0.23       0.00       0.00       0.22       0.00       0.00       0.00       0.01       0.00       0.00
3588.55/3597.00	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.55/3597.00	c   fixedvar         :       0.16       0.00       0.00       0.00       0.00       0.00       0.00       0.16       0.00       0.00
3588.55/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3588.55/3597.00	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3588.55/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3588.55/3597.00	c   dualfix          :          3          0          0          0
3588.55/3597.00	c   genvbounds       :          0          0          0          0
3588.55/3597.00	c   nlobbt           :          0          0          0          0
3588.55/3597.00	c   obbt             :          0          0          0          0
3588.55/3597.00	c   probing          :          0          0          0          0
3588.55/3597.00	c   pseudoobj        :      47716          0          0          0
3588.55/3597.00	c   redcost          :         35          0          0          0
3588.55/3597.00	c   rootredcost      :          4          0          0          0
3588.55/3597.00	c   symmetry         :          0          0          0          0
3588.55/3597.00	c   vbounds          :          0          0          0          0
3588.55/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3588.55/3597.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3588.55/3597.00	c   genvbounds       :       0.02       0.00       0.00       0.02       0.00       0.00
3588.55/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3588.55/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3588.55/3597.00	c   probing          :       0.00       0.00       0.00       0.00       0.00       0.00
3588.55/3597.00	c   pseudoobj        :       0.04       0.00       0.00       0.04       0.00       0.00
3588.55/3597.00	c   redcost          :       0.03       0.00       0.00       0.03       0.00       0.00
3588.55/3597.00	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00       0.00
3588.55/3597.00	c   symmetry         :       0.03       0.00       0.00       0.03       0.00       0.00
3588.55/3597.00	c   vbounds          :       0.03       0.00       0.00       0.02       0.00       0.00
3588.55/3597.00	c Symmetry           :
3588.55/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3588.55/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3588.55/3597.00	c   lexicographic red:          0 reductions applied,          0 cutoffs
3588.55/3597.00	c   shadow tree time :       0.00 s
3588.55/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3588.55/3597.00	c   propagation      :       0.00        210         14          -         79      142.4          0        0.0          -          -          -
3588.55/3597.00	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3588.55/3597.00	c   bound exceed. LP :       0.79       2077        858          -       1157       85.7          0        0.0          0        0.0       7050
3588.55/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3588.55/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3588.55/3597.00	c   applied globally :       0.00          -          -          0        727       61.1          -          -          0          -          -
3588.55/3597.00	c   applied locally  :          -          -          -          0        145      107.0          -          -          0          -          -
3588.55/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3588.55/3597.00	c   cut pool         :      28.56          -       9726         49          -          -     208894     349619          -          -          -          -          -    (maximal pool size:       5111)
3588.55/3597.00	c   aggregation      :     259.83       0.00       4464         31          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3588.55/3597.00	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3588.55/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3588.55/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   clique           :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   gomory           :      55.11       0.00       4107         20          0          0     208848     348708          0       4463       4463          0          0
3588.55/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -     232833          0       3630       3630          0          -
3588.55/3597.00	c   > strongcg       :          -          -          -          -          -          -          -     115875          0        833        833          0          -
3588.55/3597.00	c   impliedbounds    :       0.06       0.00       4464         31          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   multilinear      :       0.00       0.00       2624         31          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   rapidlearning    :       0.02       0.00          0          0          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   rlt              :       0.01       0.00        919         20          0          0          0          0          0          0          0          0          0
3588.55/3597.00	c   zerohalf         :      40.41       0.00       4118         31          0          0         46        911          0         57         57          0          0
3588.55/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3588.55/3597.00	c   hybrid           :       1.91       0.00       4520         31       4520          0     345099         31          0       6447
3588.55/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3588.55/3597.00	c   problem variables:       0.00          -          0          0
3588.55/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3588.55/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c   relpscost        :     312.32       0.00      23841          0          0          0          0          0          0      47682
3588.55/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3588.55/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3588.55/3597.00	c   LP solutions     :       0.00          -          -          0          0
3588.55/3597.00	c   relax solutions  :       0.00          -          -          0          0
3588.55/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3588.55/3597.00	c   strong branching :       0.10          -          -        139          0
3588.55/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3588.55/3597.00	c   adaptivediving   :      16.20       0.00         15          1          0
3588.55/3597.00	c   alns             :       1.06       0.00          5          0          0
3588.55/3597.00	c   bound            :       0.00       0.00          0          0          0
3588.55/3597.00	c   clique           :       0.00       0.00          0          0          0
3588.55/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3588.55/3597.00	c   completesol      :       0.00       0.00          0          0          0
3588.55/3597.00	c   conflictdiving   :     183.91       0.00        353          1          0
3588.55/3597.00	c   crossover        :       7.08       0.00          4          4          2
3588.55/3597.00	c   dins             :       0.00       0.00          0          0          0
3588.55/3597.00	c   distributiondivin:     118.47       0.00         91          3          0
3588.55/3597.00	c   dps              :       0.00       0.00          0          0          0
3588.55/3597.00	c   dualval          :       0.00       0.00          0          0          0
3588.55/3597.00	c   farkasdiving     :       0.00       0.00          0          0          0
3588.55/3597.00	c   feasjump         :       0.00       0.00          0          0          0
3588.55/3597.00	c   feaspump         :       0.00       0.00          0          0          0
3588.55/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3588.55/3597.00	c   fracdiving       :      81.92       0.00         84          2          0
3588.55/3597.00	c   gins             :       0.00       0.00          0          0          0
3588.55/3597.00	c   guideddiving     :      63.86       0.00         71          0          0
3588.55/3597.00	c   indcoefdiving    :       0.00       0.00          0          0          0
3588.55/3597.00	c   indicator        :       0.01       0.00          0          0          0
3588.55/3597.00	c   indicatordiving  :       0.00       0.00          0          0          0
3588.55/3597.00	c   indoneopt        :       0.01       0.00          0          0          0
3588.55/3597.00	c   indrounding      :       0.00       0.00          0          0          0
3588.55/3597.00	c   indtwoopt        :       0.00       0.00          0          0          0
3588.55/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3588.55/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3588.55/3597.00	c   linesearchdiving :      60.73       0.00         93          0          0
3588.55/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3588.55/3597.00	c   locks            :       0.00       0.00          1          1          1
3588.55/3597.00	c   lpface           :       0.01       0.00          0          0          0
3588.55/3597.00	c   mpec             :       0.00       0.00          0          0          0
3588.55/3597.00	c   multistart       :       0.00       0.00          0          0          0
3588.55/3597.00	c   mutation         :       0.00       0.00          0          0          0
3588.55/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3588.55/3597.00	c   objpscostdiving  :      42.21       0.00         32         66          0
3588.55/3597.00	c   octane           :       0.00       0.00          0          0          0
3588.55/3597.00	c   ofins            :       0.00       0.00          0          0          0
3588.55/3597.00	c   oneopt           :       0.01       0.00          3          0          0
3588.55/3597.00	c   padm             :       0.00       0.00          0          0          0
3588.55/3597.00	c   proximity        :       0.00       0.00          0          0          0
3588.55/3597.00	c   pscostdiving     :     268.49       0.00        391        160          0
3588.55/3597.00	c   randrounding     :       0.09       0.00       1182          0          0
3588.55/3597.00	c   rens             :       0.00       0.00          0          0          0
3588.55/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3588.55/3597.00	c   repair           :       0.00       0.00          0          0          0
3588.55/3597.00	c   rins             :      37.34       0.00         10         10          0
3588.55/3597.00	c   rootsoldiving    :      13.86       0.00        111          0          0
3588.55/3597.00	c   rounding         :       0.70       0.00       2356          0          0
3588.55/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3588.55/3597.00	c   shiftandpropagate:       0.00       0.00          0          0          0
3588.55/3597.00	c   shifting         :       0.38       0.00       1064          0          0
3588.55/3597.00	c   simplerounding   :       0.49       0.00      28361         59          0
3588.55/3597.00	c   smallcard        :       0.00       0.00          0          0          0
3588.55/3597.00	c   subnlp           :       0.01       0.00          0          0          0
3588.55/3597.00	c   trivial          :       0.00       0.00          4          1          1
3588.55/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3588.55/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3588.55/3597.00	c   trysol           :       0.00       0.00          0          0          0
3588.55/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3588.55/3597.00	c   undercover       :       0.00       0.00          0          0          0
3588.55/3597.00	c   vbounds          :       0.00       0.00          0          0          0
3588.55/3597.00	c   veclendiving     :      66.03       0.00        159          0          0
3588.55/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3588.55/3597.00	c   zirounding       :       1.25       0.00       7651        153          0
3588.55/3597.00	c   other solutions  :          -          -          -          0          -
3588.55/3597.00	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3588.55/3597.00	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.55/3597.00	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.55/3597.00	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.55/3597.00	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.55/3597.00	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.55/3597.00	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.55/3597.00	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.55/3597.00	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3588.55/3597.00	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3588.55/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3588.55/3597.00	c   primal LP        :       4.81        316          0       0.00       0.00       4.81        316
3588.55/3597.00	c   dual LP          :    1921.34      28361   12828041     452.31    6676.63       0.00          0
3588.55/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3588.55/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3588.55/3597.00	c   resolve instable :       0.00          0          0       0.00          -
3588.55/3597.00	c   diving/probing LP:     903.03      10003    9892698     988.97   10954.96
3588.55/3597.00	c   strong branching :     288.66       2133    1783918     836.34    6180.03          -          -       2441
3588.55/3597.00	c     (at root node) :          -         40      37754     943.85          -
3588.55/3597.00	c   conflict analysis:       0.54        705       7050      10.00   12940.12
3588.55/3597.00	c B&B Tree           :
3588.55/3597.00	c   number of runs   :          2
3588.55/3597.00	c   nodes            :      22792 (22792 internal, 0 leaves)
3588.55/3597.00	c   feasible leaves  :          0
3588.55/3597.00	c   infeas. leaves   :          0
3588.55/3597.00	c   objective leaves :          0
3588.55/3597.00	c   nodes (total)    :      23841 (23841 internal, 0 leaves)
3588.55/3597.00	c   nodes left       :      22793
3588.55/3597.00	c   max depth        :         33
3588.55/3597.00	c   max depth (total):         33
3588.55/3597.00	c   backtracks       :       5030 (22.1%)
3588.55/3597.00	c   early backtracks :          0 (0.0%)
3588.55/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3588.55/3597.00	c   delayed cutoffs  :          0
3588.55/3597.00	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3588.55/3597.00	c   avg switch length:       5.81
3588.55/3597.00	c   switching time   :       5.35
3588.55/3597.00	c Root Node          :
3588.55/3597.00	c   First LP value   : +3.68368214105395e+01
3588.55/3597.00	c   First LP Iters   :      10408 (10418.48 Iter/sec)
3588.55/3597.00	c   First LP Time    :       1.00
3588.55/3597.00	c   Final Dual Bound : +3.82528351763238e+01
3588.55/3597.00	c   Final Root Iters :      25804
3588.55/3597.00	c   Root LP Estimate : +4.88175743189380e+01
3588.55/3597.00	c Solution           :
3588.55/3597.00	c   Solutions found  :        600 (4 improvements)
3588.55/3597.00	c   First Solution   : +5.00000000000000e+02   (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trivial>)
3588.55/3597.00	c   Gap First Sol.   :   infinite
3588.55/3597.00	c   Gap Last Sol.    :      40.26 %
3588.55/3597.00	c   Primal Bound     : +5.50000000000000e+01   (in run 2, after 14102 nodes, 2689.43 seconds, depth 30, found by <crossover>)
3588.55/3597.00	c   Dual Bound       : +3.93362117261979e+01
3588.55/3597.00	c   Gap              :      39.82 %
3588.55/3597.00	c Integrals          :      Total       Avg%
3588.55/3597.00	c   primal-dual      :  109465.99      30.43
3588.55/3597.00	c   primal-ref       :          -          - (not evaluated)
3588.55/3597.00	c   dual-ref         :          -          - (not evaluated)
3588.74/3597.25	c Time complete: 3588.81.

Verifier Data

OK	55

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: 63968 MiB (60765 MiB free)
  memory of node 1: 64473 MiB (59035 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=256907, runsolver pid=256904

[startup+0.100058 s]*
/proc/loadavg: 0.12 0.10 0.14 6/260 256914
/proc/meminfo: memFree=122624748/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=88436 memory=48452 CPUtime=0.09 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 8660 0 0 0 8 1 0 0 20 0 1 0 30469643 90558464 12113 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 22109 12113 3813 3540 0 10366 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 88436 KiB
Current children cumulated memory: 48452 KiB

[startup+0.205123 s]*
/proc/loadavg: 0.12 0.10 0.14 5/260 256914
/proc/meminfo: memFree=122599296/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=88736 memory=48716 CPUtime=0.2 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 8759 0 0 0 19 1 0 0 20 0 1 0 30469643 90865664 12179 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 22184 12179 3813 3540 0 10441 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88736 KiB
Current children cumulated memory: 48716 KiB

[startup+0.304727 s]*
/proc/loadavg: 0.12 0.10 0.14 5/260 256914
/proc/meminfo: memFree=122582348/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=89192 memory=49244 CPUtime=0.3 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 8846 0 0 0 29 1 0 0 20 0 1 0 30469643 91332608 12311 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 22298 12311 3813 3540 0 10555 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 49244 KiB

[startup+0.700141 s]
/proc/loadavg: 0.12 0.10 0.14 5/260 256914
/proc/meminfo: memFree=122557548/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=90172 memory=49900 CPUtime=0.69 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 9122 0 0 0 68 1 0 0 20 0 1 0 30469643 92336128 12475 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 22543 12475 3813 3540 0 10800 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90172 KiB
Current children cumulated memory: 49900 KiB

[startup+1.50019 s]
/proc/loadavg: 0.12 0.10 0.14 5/260 256914
/proc/meminfo: memFree=122547804/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=130548 memory=89796 CPUtime=1.49 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 19747 0 0 0 146 3 0 0 20 0 1 0 30469643 133681152 22449 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 32637 22449 3829 3540 0 20894 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 130548 KiB
Current children cumulated memory: 89796 KiB

[startup+3.10558 s]
/proc/loadavg: 0.12 0.10 0.14 4/257 256930
/proc/meminfo: memFree=122443740/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=200584 memory=158964 CPUtime=3.09 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 37045 0 0 0 304 5 0 0 20 0 1 0 30469643 205398016 39741 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 50146 39741 3829 3540 0 38403 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 200584 KiB
Current children cumulated memory: 158964 KiB

[startup+6.30014 s]
/proc/loadavg: 0.43 0.17 0.16 4/255 256995
/proc/meminfo: memFree=122439020/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=202724 memory=160340 CPUtime=6.27 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 37367 0 0 0 622 5 0 0 20 0 1 0 30469643 207589376 40085 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 50681 40085 3844 3540 0 38938 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 202724 KiB
Current children cumulated memory: 160340 KiB

[startup+12.7001 s]
/proc/loadavg: 0.63 0.21 0.18 4/255 256996
/proc/meminfo: memFree=122404408/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=201852 memory=160020 CPUtime=12.66 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 37476 0 0 0 1260 6 0 0 20 0 1 0 30469643 206696448 40005 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 50463 40005 3876 3540 0 38720 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 201852 KiB
Current children cumulated memory: 160020 KiB

[startup+25.5001 s]
/proc/loadavg: 1.16 0.35 0.22 4/255 256998
/proc/meminfo: memFree=122382084/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=202876 memory=161076 CPUtime=25.43 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 37705 0 0 0 2536 7 0 0 20 0 1 0 30469643 207745024 40269 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 50719 40269 3876 3540 0 38976 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 202876 KiB
Current children cumulated memory: 161076 KiB

[startup+51.1054 s]
/proc/loadavg: 1.85 0.58 0.30 4/255 257001
/proc/meminfo: memFree=122246424/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=273480 memory=231828 CPUtime=50.98 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 55407 0 0 0 5086 12 0 0 20 0 1 0 30469643 280043520 57957 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 68370 57957 3876 3540 0 56627 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 273480 KiB
Current children cumulated memory: 231828 KiB

[startup+102.3 s]
/proc/loadavg: 2.55 0.97 0.45 4/255 257012
/proc/meminfo: memFree=122110360/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358236 memory=313668 CPUtime=102.06 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 75872 0 0 0 10186 20 0 0 20 0 1 0 30469643 366833664 78417 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89559 78417 3876 3540 0 77816 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 358236 KiB
Current children cumulated memory: 313668 KiB

[startup+162.3 s]
/proc/loadavg: 2.94 1.37 0.63 4/255 257023
/proc/meminfo: memFree=122038668/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=314148 CPUtime=161.93 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76024 0 0 0 16162 31 0 0 20 0 1 0 30469643 366637056 78537 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 78537 3987 3540 0 77768 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 314148 KiB

[startup+222.3 s]
/proc/loadavg: 3.04 1.69 0.78 4/253 257033
/proc/meminfo: memFree=121983596/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=314148 CPUtime=221.79 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76030 0 0 0 22137 42 0 0 20 0 1 0 30469643 366637056 78537 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 78537 3987 3540 0 77768 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 314148 KiB

[startup+282.3 s]
/proc/loadavg: 3.14 1.96 0.93 4/249 257043
/proc/meminfo: memFree=121936712/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=314148 CPUtime=281.65 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76036 0 0 0 28112 53 0 0 20 0 1 0 30469643 366637056 78537 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 78537 3987 3540 0 77768 0
Current children cumulated CPU time: 281.65 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 314148 KiB

[startup+342.3 s]
/proc/loadavg: 3.11 2.17 1.07 4/247 257053
/proc/meminfo: memFree=121890320/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=314148 CPUtime=341.52 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76046 0 0 0 34088 64 0 0 20 0 1 0 30469643 366637056 78537 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 78537 3987 3540 0 77768 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 314148 KiB

[startup+402.3 s]
/proc/loadavg: 3.09 2.34 1.20 4/247 257064
/proc/meminfo: memFree=121857352/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=358044 memory=316372 CPUtime=401.39 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 76305 0 0 0 40064 75 0 0 20 0 1 0 30469643 366637056 79093 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 89511 79093 3987 3540 0 77768 0
Current children cumulated CPU time: 401.39 s
Current children cumulated vsize: 358044 KiB
Current children cumulated memory: 316372 KiB

[startup+462.3 s]
/proc/loadavg: 3.15 2.49 1.33 4/247 257074
/proc/meminfo: memFree=121785152/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=392172 memory=350892 CPUtime=461.24 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 85163 0 0 0 46048 76 0 0 20 0 1 0 30469643 401584128 87723 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 98043 87723 3987 3540 0 86300 0

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

/proc/loadavg: 2.08 2.12 2.16 3/243 258169
/proc/meminfo: memFree=121481152/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=517660 memory=479420 CPUtime=3155 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 123357 0 0 0 315417 83 0 0 20 0 1 0 30469643 530083840 119855 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129415 119855 3987 3540 0 117672 0
Current children cumulated CPU time: 3155 s
Current children cumulated vsize: 517660 KiB
Current children cumulated memory: 479420 KiB

[startup+3222.3 s]
/proc/loadavg: 2.13 2.12 2.16 3/243 258180
/proc/meminfo: memFree=121476784/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=517660 memory=479492 CPUtime=3214.84 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 123560 0 0 0 321401 83 0 0 20 0 1 0 30469643 530083840 119873 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129415 119873 3987 3540 0 117672 0
Current children cumulated CPU time: 3214.84 s
Current children cumulated vsize: 517660 KiB
Current children cumulated memory: 479492 KiB

[startup+3282.3 s]
/proc/loadavg: 2.18 2.13 2.16 3/244 258576
/proc/meminfo: memFree=121572144/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=517660 memory=479732 CPUtime=3274.67 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 123819 0 0 0 327384 83 0 0 20 0 1 0 30469643 530083840 119933 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129415 119933 3987 3540 0 117672 0
Current children cumulated CPU time: 3274.67 s
Current children cumulated vsize: 517660 KiB
Current children cumulated memory: 479732 KiB

[startup+3342.3 s]
/proc/loadavg: 2.18 2.14 2.16 3/242 258586
/proc/meminfo: memFree=121566680/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=518108 memory=480220 CPUtime=3334.5 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 124157 0 0 0 333367 83 0 0 20 0 1 0 30469643 530542592 120055 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129527 120055 3987 3540 0 117784 0
Current children cumulated CPU time: 3334.5 s
Current children cumulated vsize: 518108 KiB
Current children cumulated memory: 480220 KiB

[startup+3402.3 s]
/proc/loadavg: 2.12 2.12 2.15 3/242 258597
/proc/meminfo: memFree=121554572/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=518108 memory=480248 CPUtime=3394.34 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 124356 0 0 0 339351 83 0 0 20 0 1 0 30469643 530542592 120062 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129527 120062 3987 3540 0 117784 0
Current children cumulated CPU time: 3394.34 s
Current children cumulated vsize: 518108 KiB
Current children cumulated memory: 480248 KiB

[startup+3462.3 s]
/proc/loadavg: 2.09 2.11 2.14 3/243 258608
/proc/meminfo: memFree=121553748/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=518108 memory=480296 CPUtime=3454.17 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 124554 0 0 0 345334 83 0 0 20 0 1 0 30469643 530542592 120074 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129527 120074 3987 3540 0 117784 0
Current children cumulated CPU time: 3454.17 s
Current children cumulated vsize: 518108 KiB
Current children cumulated memory: 480296 KiB

[startup+3522.3 s]
/proc/loadavg: 2.14 2.12 2.14 3/245 258789
/proc/meminfo: memFree=121541304/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=518108 memory=480316 CPUtime=3514.01 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 124756 0 0 0 351318 83 0 0 20 0 1 0 30469643 530542592 120079 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 129527 120079 3987 3540 0 117784 0
Current children cumulated CPU time: 3514.01 s
Current children cumulated vsize: 518108 KiB
Current children cumulated memory: 480316 KiB

[startup+3582.3 s]
/proc/loadavg: 2.10 2.11 2.14 3/247 258858
/proc/meminfo: memFree=121536220/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3573.87 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125591 0 0 0 357304 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3573.87 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB

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

# cumulated CPU time of all completed processes:  user=3587.97 s, system=0.839931 s

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

[startup+3584 s]*
/proc/loadavg: 2.10 2.11 2.14 3/247 258858
/proc/meminfo: memFree=121536276/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3575.57 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125592 0 0 0 357474 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3575.57 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB

[startup+3590.4 s]
/proc/loadavg: 2.09 2.11 2.14 3/247 258858
/proc/meminfo: memFree=121536260/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3581.96 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125594 0 0 0 358113 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3581.96 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB

[startup+3593.6 s]
/proc/loadavg: 2.08 2.11 2.14 3/245 258859
/proc/meminfo: memFree=121536236/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3585.15 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358432 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3585.15 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB

[startup+3595.2 s]
/proc/loadavg: 2.08 2.11 2.14 3/245 258860
/proc/meminfo: memFree=121536076/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3586.75 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358592 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3586.75 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB

[startup+3596 s]*
/proc/loadavg: 2.16 2.12 2.14 3/245 258860
/proc/meminfo: memFree=121536084/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3587.55 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358672 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3587.55 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB

[startup+3596.8 s]
/proc/loadavg: 2.16 2.12 2.14 3/245 258860
/proc/meminfo: memFree=121536084/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3588.34 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358751 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3588.34 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB

[startup+3597.2 s]
/proc/loadavg: 2.16 2.12 2.14 3/245 258860
/proc/meminfo: memFree=121827588/131524600 swapFree=131054968/131071996
[pid=256907] ppid=256904 vsize=521516 memory=483012 CPUtime=3588.74 cores=1,3
/proc/256907/stat : 256907 (pbscip) R 256904 256907 256841 0 -1 4194304 125595 0 0 0 358791 83 0 0 20 0 1 0 30469643 534032384 120753 134679101440 4194304 18693293 140735874733856 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 51961856 140735874741251 140735874741350 140735874741350 140735874748366 0
/proc/256907/statm: 130379 120753 3987 3540 0 118636 0
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 521516 KiB
Current children cumulated memory: 483012 KiB

Child status: 0

Real time (s): 3597.26
CPU time (s): 3588.81
CPU user time (s): 3587.97
CPU system time (s): 0.839931
CPU usage (%): 99.7652
Max. virtual memory (cumulated for all children) (KiB): 521516
Max. memory (cumulated for all children) (KiB): 483012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.97
system time used= 0.839931
maximum resident set size= 483012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36
involuntary context switches= 1859


# summary of solver processes directly reported to runsolver:
#   pid: 256907
#   total CPU time (s): 3588.81
#   total CPU user time (s): 3587.97
#   total CPU system time (s): 0.839931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21365 second user time and 13.4421 second system time

The end

Launcher Data

Begin job on nodeC028 at 2024-07-25 22:31:03
IDJOB=4459816
IDBENCH=148588
IDSOLVER=3059
FILE ID=nodeC028/4459816-1721939463
RUNJOBID= nodeC028-1721939462-256853
SLURM_JOB_ID= 8247248
Free space on /tmp= 890032 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_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-4459816-1721939463/watcher-4459816-1721939463 -o /tmp/evaluation-result-4459816-1721939463/solver-4459816-1721939463 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721939462-256853 --watchdog 3760  pbscip -f HOME/instance-4459816-1721939463.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 8deb0b9174477a1f2aeb72dadb0281d2
RANDOM SEED=1503976896

nodeC028.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	: 0xb00002a
cpu MHz		: 3638.581
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3664.371
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3664.877
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3658.525
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3652.611
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.031
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3660.480
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3648.912
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122686204 kB
MemAvailable:   129664396 kB
Buffers:          326076 kB
Cached:          7437936 kB
SwapCached:          312 kB
Active:          2370836 kB
Inactive:        5788220 kB
Active(anon):       4300 kB
Inactive(anon):   442696 kB
Active(file):    2366536 kB
Inactive(file):  5345524 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054968 kB
Dirty:             74704 kB
Writeback:             0 kB
AnonPages:        394264 kB
Mapped:           119572 kB
Shmem:             51932 kB
KReclaimable:     211908 kB
Slab:             332944 kB
SReclaimable:     211908 kB
SUnreclaim:       121036 kB
KernelStack:        4048 kB
PageTables:        10176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     700556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13440 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      443092 kB
DirectMap2M:    51759104 kB
DirectMap1G:    83886080 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC028 at 2024-07-25 23:31:00