Trace number 4446165

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 NameAnswerCPU timeWall clock time
SCIP 2024-07-07? 3584.34 3597.38

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-86.opb
MD5SUM3b78757f10307782e0b04e5cada0d1b0
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.36818
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7354
Total number of constraints165969
Number of constraints which are clauses149056
Number of constraints which are cardinality constraints (but not clauses)575
Number of constraints which are nor clauses,nor cardinality constraints16338
Minimum length of a constraint1
Maximum length of a constraint195
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.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-4446165-1721329766.opb>
0.30/0.35	c original problem has 7354 variables (7354 bin, 0 int, 0 impl, 0 cont) and 165969 constraints
0.30/0.35	c problem read in 0.35
0.30/0.35	c No objective function, only one solution is needed.
0.50/0.60	c presolving:
0.79/0.80	c (round 1, fast)       643 del vars, 14160 del conss, 0 add conss, 643 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 29007 clqs
0.79/0.83	c (round 2, fast)       643 del vars, 21300 del conss, 0 add conss, 643 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 29007 clqs
0.99/1.06	c    (1.1s) running MILP presolver
1.48/1.54	c    (1.5s) MILP presolver found nothing
1.88/1.92	c (round 3, exhaustive) 643 del vars, 21311 del conss, 0 add conss, 643 chg bounds, 11 chg sides, 0 chg coeffs, 144657 upgd conss, 0 impls, 29007 clqs
2.28/2.33	c (round 4, exhaustive) 643 del vars, 23377 del conss, 0 add conss, 643 chg bounds, 11 chg sides, 3112 chg coeffs, 144657 upgd conss, 0 impls, 29007 clqs
3.37/3.43	c    (3.4s) probing: 51/6711 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.37/3.43	c    (3.4s) probing aborted: 50/50 successive totally useless probings
4.37/4.48	c    (4.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.78/4.81	c    (4.8s) no symmetry present (symcode time: 0.04)
4.87/4.94	c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
4.87/4.94	c  643 deleted vars, 23377 deleted constraints, 0 added constraints, 643 tightened bounds, 0 added holes, 11 changed sides, 3157 changed coefficients
4.87/4.94	c  0 implications, 29007 cliques
4.87/4.94	c presolved problem has 6711 variables (6711 bin, 0 int, 0 impl, 0 cont) and 142592 constraints
4.87/4.94	c   16597 constraints of type <knapsack>
4.87/4.94	c   29007 constraints of type <setppc>
4.87/4.94	c       1 constraints of type <linear>
4.87/4.94	c   96987 constraints of type <logicor>
4.87/4.94	c transformed objective value is always integral (scale: 1)
4.87/4.94	c Presolving Time: 4.35
4.87/4.94	c - non default parameters ----------------------------------------------------------------------
4.87/4.94	c # SCIP version 10.0.0
4.87/4.94	c 
4.87/4.94	c # maximal time in seconds to run
4.87/4.94	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.87/4.94	c limits/time = 3596.997062
4.87/4.94	c 
4.87/4.94	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.87/4.94	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.87/4.94	c limits/memory = 27900
4.87/4.94	c 
4.87/4.94	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
4.87/4.94	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
4.87/4.94	c limits/solutions = 1
4.87/4.94	c 
4.87/4.94	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
4.87/4.94	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
4.87/4.94	c misc/usesymmetry = 3
4.87/4.94	c 
4.87/4.94	c # belongs reading time to solving time?
4.87/4.94	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.87/4.94	c timing/reading = TRUE
4.87/4.94	c 
4.87/4.94	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
4.87/4.94	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.87/4.94	c propagating/symmetry/detectdoublelex = FALSE
4.87/4.94	c 
4.87/4.94	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
4.87/4.94	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.87/4.94	c propagating/symmetry/detectsubgroups = FALSE
4.87/4.94	c 
4.87/4.94	c # Type of symmetries that shall be computed?
4.87/4.94	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
4.87/4.94	c propagating/symmetry/symtype = 1
4.87/4.94	c 
4.87/4.94	c # Should components consisting of a single full reflection be handled?
4.87/4.94	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.87/4.94	c propagating/symmetry/usesimplesgncomp = FALSE
4.87/4.94	c 
4.87/4.94	c -----------------------------------------------------------------------------------------------
4.87/4.94	c start solving
4.87/4.95	c 
5.76/5.85	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
5.76/5.85	c   5.8s|     1 |     0 |   793 |     - |   746M |   0 |6711 | 142k| 142k|   0 |  0 |  45 |   0 | 0.000000e+00 |      --      |    Inf | unknown
15.83/16.00	c  16.0s|     1 |     0 |  3823 |     - |   766M |   0 |6711 | 142k| 142k|   6 |  1 |  46 |   0 | 0.000000e+00 |      --      |    Inf | unknown
26.60/26.77	c  26.8s|     1 |     0 |  3907 |     - |   781M |   0 |6711 | 142k| 142k|  15 |  2 |  47 |   0 | 0.000000e+00 |      --      |    Inf | unknown
47.83/48.09	c  48.1s|     1 |     0 |  3928 |     - |   796M |   0 |6711 | 142k| 142k|  21 |  3 |  53 |   0 | 0.000000e+00 |      --      |    Inf | unknown
77.43/77.76	c  77.8s|     1 |     0 |  3947 |     - |   814M |   0 |6711 | 142k| 142k|  27 |  4 |  55 |   0 | 0.000000e+00 |      --      |    Inf | unknown
104.23/104.67	c   105s|     1 |     0 |  3977 |     - |   831M |   0 |6711 | 142k| 142k|  36 |  5 |  55 |   0 | 0.000000e+00 |      --      |    Inf | unknown
127.75/128.21	c   128s|     1 |     0 |  4124 |     - |   847M |   0 |6711 | 142k| 142k|  43 |  6 |  59 |   0 | 0.000000e+00 |      --      |    Inf | unknown
147.20/147.76	c   148s|     1 |     0 |  4216 |     - |   861M |   0 |6711 | 142k| 142k|  56 |  7 |  63 |   0 | 0.000000e+00 |      --      |    Inf | unknown
159.46/160.07	c   160s|     1 |     0 |  4264 |     - |   880M |   0 |6711 | 142k| 142k|  68 |  8 |  63 |   0 | 0.000000e+00 |      --      |    Inf | unknown
163.45/164.02	c   164s|     1 |     0 |  4359 |     - |   897M |   0 |6711 | 142k| 142k|  81 |  9 |  66 |   0 | 0.000000e+00 |      --      |    Inf | unknown
171.61/172.20	c   172s|     1 |     0 |  4461 |     - |   913M |   0 |6711 | 142k| 142k|  99 | 10 |  67 |   0 | 0.000000e+00 |      --      |    Inf | unknown
171.71/172.38	c   172s|     1 |     0 |  4522 |     - |   927M |   0 |6711 | 142k| 142k| 111 | 11 |  70 |   0 | 0.000000e+00 |      --      |    Inf | unknown
174.90/175.58	c   176s|     1 |     2 |  8334 |     - |   928M |   0 |6711 | 142k| 142k| 111 | 11 |  84 |  19 | 0.000000e+00 |      --      |    Inf | unknown
313.03/314.11	c   314s|   100 |   101 |108432 |1049.6 |  1116M |  13 |6711 | 143k| 142k| 840 |  1 | 921 |  19 | 0.000000e+00 |      --      |    Inf | unknown
394.95/396.34	c   396s|   200 |   188 |203878 |1001.8 |  1284M |  17 |6711 | 143k| 142k|1771 |  2 |1726 |  19 | 0.000000e+00 |      --      |    Inf | unknown
448.87/450.49	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
448.87/450.49	c   450s|   300 |   270 |296475 | 976.4 |  1346M |  22 |6711 | 144k| 142k|2731 |  1 |2290 |  19 | 0.000000e+00 |      --      |    Inf |   0.56%
468.39/470.07	c   470s|   400 |   368 |356329 | 881.7 |  1353M |  39 |6711 | 144k|   0 |2903 |  0 |2755 |  19 | 0.000000e+00 |      --      |    Inf |   0.56%
479.95/481.62	c   482s|   500 |   458 |363127 | 718.6 |  1412M |  54 |6711 | 144k| 142k|3126 |  1 |2773 |  19 | 0.000000e+00 |      --      |    Inf |   0.56%
485.62/487.30	c   487s|   600 |   550 |364822 | 601.5 |  1415M |  56 |6711 | 144k| 142k|3266 |  1 |2779 |  19 | 0.000000e+00 |      --      |    Inf |   0.56%
490.40/492.12	c   492s|   700 |   644 |367674 | 519.5 |  1420M |  73 |6711 | 144k| 142k|3331 |  1 |2830 |  19 | 0.000000e+00 |      --      |    Inf |   0.56%
493.87/495.68	c   496s|   800 |   700 |371918 | 459.8 |  1422M |  74 |6711 | 144k| 142k|3335 |  1 |2983 |  19 | 0.000000e+00 |      --      |    Inf |   0.56%
498.55/500.35	c   500s|   900 |   725 |380305 | 418.0 |  1424M |  74 |6711 | 144k|   0 |3338 |  0 |3183 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
502.63/504.40	c   504s|  1000 |   747 |381677 | 377.5 |  1425M |  74 |6711 | 145k| 142k|3380 |  1 |3313 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
507.01/508.88	c   509s|  1100 |   841 |383502 | 344.8 |  1428M |  79 |6711 | 145k| 142k|3395 |  1 |3318 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
510.59/512.47	c   512s|  1200 |   929 |384891 | 317.2 |  1432M |  95 |6711 | 145k| 142k|3395 |  1 |3333 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
514.87/516.73	c   517s|  1300 |  1019 |391640 | 298.0 |  1435M | 102 |6711 | 145k| 142k|3395 |  1 |3469 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
522.24/524.16	c   524s|  1400 |  1053 |396213 | 280.0 |  1450M | 102 |6711 | 145k|   0 |3458 |  0 |3628 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
526.31/528.20	c   528s|  1500 |  1130 |398025 | 262.5 |  1453M | 102 |6711 | 145k| 142k|3486 |  1 |3690 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
531.88/533.82	c   534s|  1600 |  1073 |402737 | 249.0 |  1456M | 102 |6711 | 145k| 142k|3562 |  1 |3755 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
535.96/537.98	c   538s|  1700 |  1104 |405123 | 235.8 |  1459M | 102 |6711 | 145k| 142k|3671 |  1 |3873 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
541.74/543.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
541.74/543.70	c   544s|  1800 |  1085 |406735 | 223.6 |  1459M | 102 |6711 | 145k| 142k|3769 |  3 |4015 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
545.03/547.07	c   547s|  1900 |  1106 |408172 | 212.6 |  1459M | 102 |6711 | 145k| 142k|3830 |  1 |4155 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
548.71/550.70	c   551s|  2000 |  1117 |409677 | 202.7 |  1459M | 102 |6711 | 145k| 142k|3909 |  1 |4301 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
552.59/554.64	c   555s|  2100 |  1122 |411524 | 193.9 |  1459M | 102 |6711 | 145k|   0 |4033 |  0 |4434 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
555.98/558.09	c   558s|  2200 |  1132 |412962 | 185.7 |  1459M | 102 |6711 | 145k| 142k|4133 |  1 |4602 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
559.66/561.71	c   562s|  2300 |  1110 |414651 | 178.4 |  1459M | 102 |6711 | 145k| 142k|4236 |  1 |4757 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
562.95/565.09	c   565s|  2400 |  1105 |416552 | 171.8 |  1459M | 102 |6711 | 145k| 142k|4323 |  1 |4825 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
566.82/568.95	c   569s|  2500 |  1080 |418323 | 165.6 |  1459M | 102 |6711 | 145k| 142k|4498 |  1 |4902 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
570.40/572.59	c   573s|  2600 |  1054 |420065 | 159.9 |  1459M | 102 |6711 | 145k| 142k|4607 |  1 |4999 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
575.68/577.80	c   578s|  2700 |  1003 |421999 | 154.7 |  1459M | 102 |6711 | 145k| 142k|4766 |  2 |5089 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
585.94/588.11	c   588s|  2800 |   965 |425224 | 150.3 |  1490M | 102 |6711 | 145k| 142k|4975 |  1 |5216 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
595.40/597.63	c   598s|  2900 |   987 |429055 | 146.4 |  1519M | 102 |6711 | 145k| 142k|5323 |  1 |5300 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
611.44/613.73	c   614s|  3000 |  1017 |431762 | 142.5 |  1603M | 102 |6711 | 145k| 142k|5622 |  1 |5449 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
615.62/618.00	c   618s|  3100 |  1036 |434308 | 138.7 |  1617M | 102 |6711 | 145k| 142k|5888 |  1 |5613 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
619.40/621.77	c   622s|  3200 |  1051 |436791 | 135.1 |  1645M | 102 |6711 | 145k|   0 |6206 |  0 |5814 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
622.89/625.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
622.89/625.27	c   625s|  3300 |  1067 |438846 | 131.7 |  1646M | 102 |6711 | 145k| 142k|6450 |  1 |6027 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
630.06/632.42	c   632s|  3400 |  1078 |441953 | 128.7 |  1661M | 102 |6711 | 145k| 142k|6959 |  2 |6229 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
633.54/635.98	c   636s|  3500 |  1075 |444566 | 125.8 |  1661M | 102 |6711 | 145k| 142k|7275 |  1 |6408 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
637.32/639.74	c   640s|  3600 |  1085 |446814 | 122.9 |  1661M | 102 |6711 | 145k| 142k|7619 |  1 |6565 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
640.61/643.03	c   643s|  3700 |  1095 |448985 | 120.2 |  1662M | 102 |6711 | 145k| 142k|7860 |  1 |6779 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
644.28/646.77	c   647s|  3800 |  1088 |452540 | 117.9 |  1662M | 102 |6711 | 145k| 142k|8276 |  1 |6993 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
648.16/650.67	c   651s|  3900 |  1043 |456253 | 115.9 |  1662M | 102 |6711 | 145k| 142k|8760 |  1 |7211 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
651.45/653.93	c   654s|  4000 |  1051 |458966 | 113.6 |  1662M | 102 |6711 | 145k| 142k|8922 |  1 |7336 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
654.83/657.32	c   657s|  4100 |  1070 |462081 | 111.6 |  1662M | 102 |6711 | 145k| 142k|9095 |  1 |7440 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
658.41/660.96	c   661s|  4200 |  1097 |464716 | 109.6 |  1664M | 102 |6711 | 145k| 142k|9317 |  1 |7551 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
661.70/664.22	c   664s|  4300 |  1089 |467284 | 107.6 |  1664M | 102 |6711 | 145k|   0 |9454 |  0 |7711 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
666.87/669.46	c   669s|  4400 |  1095 |472072 | 106.3 |  1677M | 102 |6711 | 145k| 142k|9857 |  2 |7824 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
672.65/675.26	c   675s|  4500 |  1132 |482162 | 106.2 |  1681M | 102 |6711 | 145k| 142k|  10k|  1 |7959 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
678.82/681.43	c   681s|  4600 |  1164 |487165 | 104.9 |  1682M | 102 |6711 | 145k| 142k|  10k|  1 |8077 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
683.00/685.65	c   686s|  4700 |  1176 |492088 | 103.8 |  1682M | 102 |6711 | 145k| 142k|  11k|  1 |8195 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
687.18/689.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
687.18/689.89	c   690s|  4800 |  1177 |496910 | 102.6 |  1682M | 102 |6711 | 145k| 142k|  11k|  2 |8322 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
691.26/693.98	c   694s|  4900 |  1205 |501325 | 101.4 |  1682M | 102 |6711 | 145k|   0 |  11k|  0 |8458 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
697.73/700.47	c   700s|  5000 |  1242 |508128 | 100.7 |  1684M | 102 |6711 | 145k|   0 |  12k|  0 |8577 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
705.79/708.56	c   709s|  5100 |  1249 |511865 |  99.5 |  1697M | 102 |6711 | 145k|   0 |  12k|  0 |8731 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
709.38/712.16	c   712s|  5200 |  1262 |517608 |  98.7 |  1699M | 102 |6711 | 145k|   0 |  12k|  0 |8857 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
719.64/722.49	c   722s|  5300 |  1289 |524310 |  98.1 |  1724M | 102 |6711 | 145k| 142k|  13k|  1 |8996 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
722.82/725.62	c   726s|  5400 |  1309 |526943 |  96.8 |  1724M | 102 |6711 | 145k|   0 |  13k|  0 |9105 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
725.81/728.62	c   729s|  5500 |  1304 |529352 |  95.4 |  1724M | 102 |6711 | 145k| 142k|  13k|  1 |9232 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
728.99/731.82	c   732s|  5600 |  1278 |532125 |  94.2 |  1724M | 102 |6711 | 145k| 142k|  13k|  1 |9357 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
736.96/739.85	c   740s|  5700 |  1313 |538227 |  93.6 |  1724M | 102 |6711 | 145k| 142k|  14k|  1 |9508 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
740.34/743.28	c   743s|  5800 |  1337 |540265 |  92.4 |  1725M | 102 |6711 | 145k| 142k|  14k|  1 |9670 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
743.73/746.61	c   747s|  5900 |  1234 |542730 |  91.2 |  1725M | 102 |6711 | 145k| 142k|  14k|  1 |9807 |  19 | 0.000000e+00 |      --      |    Inf |   0.95%
751.60/754.58	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
751.70/754.65	c (run 1, node 5970) performing user restart
751.70/754.65	c 
751.70/754.66	c (restart) converted 21 cuts from the global cut pool into linear constraints
751.70/754.66	c 
751.90/754.83	c presolving:
751.90/754.88	c (round 1, fast)       14 del vars, 472 del conss, 104 add conss, 0 chg bounds, 1 chg sides, 429 chg coeffs, 0 upgd conss, 0 impls, 29112 clqs
752.00/754.99	c (round 2, medium)     38 del vars, 472 del conss, 104 add conss, 0 chg bounds, 1 chg sides, 429 chg coeffs, 0 upgd conss, 0 impls, 29045 clqs
752.29/755.21	c (round 3, exhaustive) 38 del vars, 687 del conss, 137 add conss, 0 chg bounds, 1 chg sides, 429 chg coeffs, 0 upgd conss, 0 impls, 29046 clqs
752.59/755.55	c (round 4, exhaustive) 38 del vars, 1210 del conss, 162 add conss, 0 chg bounds, 1 chg sides, 1659 chg coeffs, 21 upgd conss, 0 impls, 29048 clqs
753.20/756.18	c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
753.20/756.18	c  38 deleted vars, 1229 deleted constraints, 163 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 1708 changed coefficients
753.20/756.18	c  0 implications, 29074 cliques
753.20/756.18	c presolved problem has 6673 variables (6673 bin, 0 int, 0 impl, 0 cont) and 144476 constraints
753.20/756.18	c   16502 constraints of type <knapsack>
753.20/756.18	c   28919 constraints of type <setppc>
753.20/756.18	c       5 constraints of type <and>
753.20/756.18	c      12 constraints of type <linear>
753.20/756.18	c   99038 constraints of type <logicor>
753.20/756.18	c transformed objective value is always integral (scale: 1)
753.20/756.18	c Presolving Time: 5.74
753.20/756.18	c 
753.79/756.71	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
753.79/756.71	c   757s|     1 |     0 |554683 |     - |  1765M |   0 |6673 | 144k| 141k|   0 |  0 |9940 |  19 | 0.000000e+00 |      --      |    Inf | unknown
772.05/775.02	c   775s|     1 |     0 |554700 |     - |  1782M |   0 |6673 | 144k| 142k|  10 |  1 |9941 |  19 | 0.000000e+00 |      --      |    Inf | unknown
795.17/798.25	c   798s|     1 |     0 |554826 |     - |  1798M |   0 |6673 | 144k| 142k|  19 |  2 |9949 |  19 | 0.000000e+00 |      --      |    Inf | unknown
831.66/834.89	c   835s|     1 |     0 |554858 |     - |  1814M |   0 |6673 | 144k| 142k|  25 |  3 |9951 |  19 | 0.000000e+00 |      --      |    Inf | unknown
865.55/868.87	c   869s|     1 |     0 |554928 |     - |  1831M |   0 |6673 | 144k| 142k|  38 |  4 |9958 |  19 | 0.000000e+00 |      --      |    Inf | unknown
905.13/908.56	c   909s|     1 |     0 |555117 |     - |  1851M |   0 |6673 | 144k| 142k|  46 |  5 |9960 |  19 | 0.000000e+00 |      --      |    Inf | unknown
923.46/926.92	c   927s|     1 |     0 |555448 |     - |  1868M |   0 |6673 | 144k| 142k|  63 |  6 |9960 |  19 | 0.000000e+00 |      --      |    Inf | unknown
938.02/941.55	c   942s|     1 |     0 |555564 |     - |  1884M |   0 |6673 | 144k| 142k|  83 |  7 |9968 |  19 | 0.000000e+00 |      --      |    Inf | unknown
945.80/949.33	c   949s|     1 |     0 |555628 |     - |  1898M |   0 |6673 | 144k| 142k|  97 |  8 |9975 |  19 | 0.000000e+00 |      --      |    Inf | unknown
952.37/955.94	c   956s|     1 |     0 |555693 |     - |  1913M |   0 |6673 | 144k| 142k| 112 |  9 |9978 |  19 | 0.000000e+00 |      --      |    Inf | unknown
962.74/966.32	c   966s|     1 |     0 |555766 |     - |  1929M |   0 |6673 | 144k| 142k| 122 | 10 |9979 |  19 | 0.000000e+00 |      --      |    Inf | unknown
962.84/966.50	c   966s|     1 |     0 |555838 |     - |  1942M |   0 |6673 | 144k| 142k| 135 | 11 |9986 |  19 | 0.000000e+00 |      --      |    Inf | unknown
963.04/966.67	c   967s|     1 |     0 |555902 |     - |  1957M |   0 |6673 | 144k| 142k| 150 | 12 |9992 |  19 | 0.000000e+00 |      --      |    Inf | unknown
963.24/966.82	c   967s|     1 |     0 |555945 |     - |  1972M |   0 |6673 | 144k| 142k| 163 | 13 |9997 |  19 | 0.000000e+00 |      --      |    Inf | unknown
963.34/966.97	c   967s|     1 |     0 |555990 |     - |  1987M |   0 |6673 | 144k| 142k| 174 | 14 |  10k|  19 | 0.000000e+00 |      --      |    Inf | unknown
963.44/967.10	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
963.44/967.10	c   967s|     1 |     0 |556016 |     - |  2003M |   0 |6673 | 144k| 142k| 185 | 15 |  10k|  19 | 0.000000e+00 |      --      |    Inf | unknown
969.22/972.88	c   973s|     1 |     2 |563014 |     - |  2005M |   0 |6673 | 144k| 142k| 185 | 15 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
976.49/980.16	c   980s|   100 |    38 |577711 |  94.1 |  2064M |  22 |6673 | 144k|   0 | 225 |  0 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
991.03/994.73	c   995s|   200 |    54 |593706 |  95.1 |  2065M |  22 |6673 | 145k| 142k| 237 |  1 |  10k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1007.76/1011.50	c  1011s|   300 |    94 |611683 |  96.5 |  2083M |  23 |6673 | 145k| 142k| 285 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1010.74/1014.50	c  1014s|   400 |   124 |613125 |  95.2 |  2084M |  23 |6673 | 145k| 142k| 299 |  1 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1022.71/1026.50	c  1026s|   500 |   127 |623033 |  95.2 |  2113M |  23 |6673 | 145k|   0 | 350 |  0 |  11k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1039.45/1043.37	c  1043s|   600 |   129 |639900 |  96.4 |  2132M |  23 |6673 | 146k| 142k| 440 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1042.43/1046.39	c  1046s|   700 |   131 |643869 |  95.5 |  2134M |  23 |6673 | 146k| 142k| 461 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1077.21/1081.20	c  1081s|   800 |    70 |646662 |  94.5 |  2169M |  24 |6673 | 146k| 142k| 754 |  1 |  12k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1080.69/1084.70	c  1085s|   900 |   108 |648113 |  93.4 |  2169M |  24 |6673 | 146k| 142k| 896 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1084.07/1088.14	c  1088s|  1000 |   115 |652403 |  92.6 |  2170M |  24 |6673 | 146k|   0 |1025 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1086.85/1090.98	c  1091s|  1100 |   113 |653658 |  91.5 |  2170M |  24 |6673 | 146k| 142k|1047 |  1 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1089.24/1093.30	c  1093s|  1200 |   122 |654602 |  90.3 |  2170M |  24 |6673 | 146k|   0 |1047 |  0 |  13k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1091.82/1095.94	c  1096s|  1300 |    79 |655835 |  89.3 |  2170M |  24 |6673 | 147k|   0 |1154 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf |   0.57%
1094.21/1098.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1094.21/1098.32	c  1098s|  1400 |    44 |656901 |  88.2 |  2170M |  24 |6673 | 147k| 142k|1206 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf |   0.68%
1160.19/1164.58	c  1165s|  1500 |    78 |680143 |  90.1 |  2262M |  24 |6673 | 147k|   0 |1746 |  0 |  14k|  38 | 0.000000e+00 |      --      |    Inf |   0.78%
1180.52/1184.95	c  1185s|  1600 |    87 |691723 |  90.5 |  2293M |  24 |6673 | 147k| 142k|1946 |  1 |  14k|  38 | 0.000000e+00 |      --      |    Inf |   0.83%
1220.49/1225.07	c  1225s|  1700 |   130 |725741 |  93.7 |  2359M |  24 |6673 | 147k|   0 |2465 |  0 |  15k|  38 | 0.000000e+00 |      --      |    Inf |   1.07%
1224.17/1228.71	c  1229s|  1800 |   135 |732248 |  93.4 |  2359M |  24 |6673 | 147k| 142k|2528 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf |   1.10%
1228.94/1233.56	c  1234s|  1900 |   122 |739649 |  93.1 |  2360M |  24 |6673 | 147k| 142k|2568 |  1 |  15k|  38 | 0.000000e+00 |      --      |    Inf |   1.13%
1243.40/1248.06	c  1248s|  2000 |   132 |749253 |  93.2 |  2361M |  27 |6673 | 147k| 142k|2640 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf |   1.17%
1246.28/1250.93	c  1251s|  2100 |   145 |750857 |  92.2 |  2361M |  27 |6673 | 148k|   0 |2683 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf |   1.22%
1250.37/1255.07	c  1255s|  2200 |   128 |754793 |  91.6 |  2375M |  27 |6673 | 148k| 142k|2740 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf |   1.28%
1253.74/1258.49	c  1258s|  2300 |   166 |757614 |  90.8 |  2377M |  27 |6673 | 148k|   0 |2835 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf |   1.30%
1257.62/1262.31	c  1262s|  2400 |   200 |759610 |  89.9 |  2377M |  27 |6673 | 148k| 142k|2976 |  1 |  16k|  38 | 0.000000e+00 |      --      |    Inf |   1.31%
1260.90/1265.66	c  1266s|  2500 |   210 |761577 |  89.1 |  2378M |  29 |6673 | 148k|   0 |3086 |  0 |  16k|  38 | 0.000000e+00 |      --      |    Inf |   1.32%
1268.37/1273.15	c  1273s|  2600 |   169 |763791 |  88.3 |  2408M |  29 |6673 | 148k| 142k|3222 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf |   1.41%
1272.84/1277.64	c  1278s|  2700 |   221 |768034 |  87.8 |  2409M |  29 |6673 | 148k| 142k|3322 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf |   1.42%
1278.81/1283.69	c  1284s|  2800 |   260 |775386 |  87.6 |  2411M |  29 |6673 | 148k|   0 |3436 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf |   1.43%
1283.79/1288.63	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1283.79/1288.63	c  1289s|  2900 |   320 |777136 |  86.8 |  2413M |  29 |6673 | 149k| 142k|3571 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf |   1.43%
1298.13/1303.09	c  1303s|  3000 |   355 |784467 |  86.7 |  2444M |  29 |6673 | 148k|   0 |3815 |  0 |  17k|  38 | 0.000000e+00 |      --      |    Inf |   1.44%
1301.41/1306.35	c  1306s|  3100 |   363 |788895 |  86.2 |  2444M |  29 |6673 | 148k| 142k|3910 |  1 |  17k|  38 | 0.000000e+00 |      --      |    Inf |   1.46%
1394.52/1399.75	c  1400s|  3200 |   387 |829486 |  89.7 |  2523M |  29 |6673 | 148k| 142k|5203 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf |   1.46%
1399.00/1404.28	c  1404s|  3300 |   423 |834026 |  89.2 |  2527M |  32 |6673 | 148k|   0 |5375 |  0 |  18k|  38 | 0.000000e+00 |      --      |    Inf |   1.46%
1403.28/1408.55	c  1409s|  3400 |   407 |840700 |  89.0 |  2527M |  32 |6673 | 148k| 142k|5544 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf |   1.48%
1428.39/1433.75	c  1434s|  3500 |   368 |854434 |  89.5 |  2534M |  32 |6673 | 148k| 142k|5775 |  1 |  18k|  38 | 0.000000e+00 |      --      |    Inf |   1.58%
1439.94/1445.33	c  1445s|  3600 |   382 |874135 |  90.6 |  2536M |  32 |6673 | 147k| 142k|5918 |  1 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   1.62%
1445.82/1451.30	c  1451s|  3700 |   426 |890072 |  91.3 |  2539M |  32 |6673 | 147k|   0 |5979 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   1.64%
1450.50/1455.95	c  1456s|  3800 |   431 |893315 |  90.7 |  2567M |  40 |6673 | 147k| 142k|6092 |  1 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   1.64%
1468.94/1474.43	c  1474s|  3900 |   426 |894331 |  89.9 |  2652M |  44 |6673 | 148k|   0 |6251 |  0 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   1.64%
1472.12/1477.63	c  1478s|  4000 |   435 |895658 |  89.2 |  2652M |  44 |6673 | 148k| 142k|6352 |  1 |  19k|  38 | 0.000000e+00 |      --      |    Inf |   1.64%
1479.19/1484.70	c  1485s|  4100 |   430 |899474 |  88.6 |  2654M |  44 |6673 | 148k|   0 |6595 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   1.64%
1524.54/1530.20	c  1530s|  4200 |   410 |920690 |  89.9 |  2658M |  44 |6673 | 148k| 142k|6933 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   1.65%
1535.42/1541.14	c  1541s|  4300 |   417 |924015 |  89.3 |  2699M |  44 |6673 | 148k|   0 |7080 |  0 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   1.75%
1547.86/1553.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1547.86/1553.70	c  1554s|  4400 |   412 |934316 |  89.4 |  2714M |  44 |6673 | 148k| 142k|7256 |  1 |  20k|  38 | 0.000000e+00 |      --      |    Inf |   1.89%
1582.05/1587.98	c  1588s|  4500 |   447 |962488 |  91.3 |  2757M |  44 |6673 | 148k| 142k|7739 |  2 |  21k|  38 | 0.000000e+00 |      --      |    Inf |   1.91%
1661.19/1667.33	c  1667s|  4600 |   537 |  1041k|  97.9 |  2783M |  44 |6673 | 147k|   0 |9133 |  0 |  21k|  38 | 0.000000e+00 |      --      |    Inf |   2.33%
1667.56/1673.79	c  1674s|  4700 |   541 |  1050k|  97.8 |  2783M |  44 |6673 | 148k| 142k|9166 |  2 |  21k|  38 | 0.000000e+00 |      --      |    Inf |   2.33%
1676.83/1683.01	c  1683s|  4800 |   555 |  1065k|  98.3 |  2784M |  44 |6673 | 148k| 142k|9287 |  1 |  21k|  38 | 0.000000e+00 |      --      |    Inf |   2.33%
1679.81/1686.08	c  1686s|  4900 |   546 |  1066k|  97.5 |  2784M |  44 |6673 | 148k|   0 |9371 |  0 |  21k|  38 | 0.000000e+00 |      --      |    Inf |   2.33%
1682.39/1688.65	c  1689s|  5000 |   536 |  1067k|  96.7 |  2785M |  44 |6673 | 148k| 142k|9406 |  1 |  22k|  38 | 0.000000e+00 |      --      |    Inf |   2.33%
1695.65/1701.99	c  1702s|  5100 |   531 |  1076k|  96.6 |  2800M |  44 |6673 | 148k| 142k|9673 |  1 |  22k|  38 | 0.000000e+00 |      --      |    Inf |   2.38%
1746.08/1752.57	c  1753s|  5200 |   584 |  1122k|  99.9 |  2823M |  44 |6673 | 148k| 142k|  10k|  1 |  22k|  38 | 0.000000e+00 |      --      |    Inf |   2.42%
1754.04/1760.52	c  1761s|  5300 |   666 |  1132k|  99.9 |  2858M |  66 |6673 | 148k| 142k|  10k|  1 |  22k|  38 | 0.000000e+00 |      --      |    Inf |   2.42%
1761.11/1767.69	c  1768s|  5400 |   746 |  1143k|  99.9 |  2861M |  77 |6673 | 147k| 142k|  10k|  1 |  23k|  38 | 0.000000e+00 |      --      |    Inf |   2.42%
1766.98/1773.57	c  1774s|  5500 |   836 |  1148k|  99.5 |  2864M |  79 |6673 | 147k| 142k|  10k|  1 |  23k|  38 | 0.000000e+00 |      --      |    Inf |   2.42%
1771.15/1777.76	c  1778s|  5600 |   931 |  1150k|  98.8 |  2867M | 109 |6673 | 147k| 142k|  10k|  1 |  23k|  38 | 0.000000e+00 |      --      |    Inf |   2.42%
1775.03/1781.61	c  1782s|  5700 |   935 |  1153k|  98.2 |  2869M | 133 |6673 | 147k| 142k|  10k|  1 |  23k|  38 | 0.000000e+00 |      --      |    Inf |   2.42%
1778.61/1785.26	c  1785s|  5800 |   966 |  1157k|  97.8 |  2869M | 133 |6673 | 147k| 142k|  10k|  1 |  23k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1781.70/1788.36	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1781.70/1788.36	c  1788s|  5900 |   950 |  1160k|  97.2 |  2869M | 133 |6673 | 147k| 142k|  10k|  1 |  23k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1785.99/1792.68	c  1793s|  6000 |   758 |  1164k|  96.7 |  2869M | 133 |6673 | 147k|   0 |  10k|  0 |  23k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1789.67/1796.33	c  1796s|  6100 |   777 |  1165k|  96.0 |  2870M | 133 |6673 | 147k|   0 |  10k|  0 |  23k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1792.15/1798.81	c  1799s|  6200 |   779 |  1166k|  95.3 |  2870M | 133 |6673 | 147k|   0 |  10k|  0 |  23k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1794.35/1801.03	c  1801s|  6300 |   770 |  1167k|  94.6 |  2870M | 133 |6673 | 147k| 142k|  10k|  1 |  23k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1797.82/1804.59	c  1805s|  6400 |   742 |  1169k|  94.0 |  2870M | 133 |6673 | 147k|   0 |  10k|  0 |  23k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1802.90/1809.63	c  1810s|  6500 |   668 |  1178k|  94.0 |  2869M | 133 |6673 | 147k| 142k|  10k|  1 |  23k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1807.98/1814.75	c  1815s|  6600 |   670 |  1181k|  93.4 |  2883M | 133 |6673 | 147k| 142k|  10k|  1 |  23k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1810.96/1817.78	c  1818s|  6700 |   701 |  1182k|  92.8 |  2883M | 133 |6673 | 147k| 142k|  10k|  1 |  23k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1815.84/1822.66	c  1823s|  6800 |   662 |  1188k|  92.6 |  2884M | 133 |6673 | 147k|   0 |  10k|  0 |  24k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1821.51/1828.38	c  1828s|  6900 |   661 |  1192k|  92.1 |  2899M | 133 |6673 | 148k| 142k|  11k|  1 |  24k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1829.98/1836.85	c  1837s|  7000 |   661 |  1195k|  91.7 |  2913M | 133 |6673 | 148k| 142k|  11k|  1 |  24k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1838.44/1845.39	c  1845s|  7100 |   667 |  1198k|  91.2 |  2957M | 133 |6673 | 148k|   0 |  11k|  0 |  24k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1846.41/1853.37	c  1853s|  7200 |   669 |  1200k|  90.7 |  2986M | 133 |6673 | 148k| 142k|  11k|  1 |  24k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1849.59/1856.56	c  1857s|  7300 |   674 |  1201k|  90.1 |  2986M | 133 |6673 | 148k|   0 |  11k|  0 |  24k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1852.67/1859.69	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1852.67/1859.69	c  1860s|  7400 |   674 |  1203k|  89.5 |  2986M | 133 |6673 | 148k| 142k|  11k|  1 |  24k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1856.36/1863.31	c  1863s|  7500 |   669 |  1204k|  88.9 |  2986M | 133 |6673 | 148k|   0 |  11k|  0 |  24k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1864.23/1871.23	c  1871s|  7600 |   666 |  1208k|  88.5 |  3000M | 133 |6673 | 148k|   0 |  12k|  0 |  25k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1871.20/1878.29	c  1878s|  7700 |   666 |  1211k|  88.2 |  3014M | 133 |6673 | 148k|   0 |  12k|  0 |  25k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1875.08/1882.12	c  1882s|  7800 |   669 |  1215k|  87.7 |  3014M | 133 |6673 | 148k| 142k|  12k|  1 |  25k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1879.45/1886.52	c  1887s|  7900 |   659 |  1218k|  87.3 |  3014M | 133 |6673 | 148k| 142k|  13k|  1 |  25k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1882.94/1890.02	c  1890s|  8000 |   654 |  1221k|  87.0 |  3014M | 133 |6673 | 148k|   0 |  13k|  0 |  25k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1892.90/1900.03	c  1900s|  8100 |   673 |  1233k|  87.2 |  3014M | 133 |6673 | 148k| 142k|  13k|  1 |  25k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1901.46/1908.69	c  1909s|  8200 |   692 |  1234k|  86.6 |  3043M | 133 |6673 | 148k|   0 |  13k|  0 |  25k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1912.11/1919.35	c  1919s|  8300 |   706 |  1238k|  86.3 |  3057M | 133 |6673 | 148k| 142k|  13k|  1 |  26k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1928.06/1935.34	c  1935s|  8400 |   730 |  1240k|  85.9 |  3088M | 133 |6673 | 149k| 142k|  13k|  1 |  26k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1932.74/1940.08	c  1940s|  8500 |   751 |  1244k|  85.6 |  3088M | 133 |6673 | 149k|   0 |  14k|  0 |  26k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1948.18/1955.55	c  1956s|  8600 |   760 |  1248k|  85.2 |  3117M | 133 |6673 | 149k|   0 |  14k|  0 |  27k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1953.95/1961.36	c  1961s|  8700 |   776 |  1250k|  84.8 |  3145M | 133 |6673 | 149k| 142k|  14k|  1 |  27k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1958.04/1965.45	c  1965s|  8800 |   770 |  1253k|  84.4 |  3146M | 133 |6673 | 150k|   0 |  14k|  0 |  27k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1963.31/1970.71	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1963.31/1970.71	c  1971s|  8900 |   779 |  1258k|  84.2 |  3146M | 133 |6673 | 150k| 142k|  15k|  1 |  28k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1967.49/1974.98	c  1975s|  9000 |   772 |  1262k|  83.9 |  3146M | 133 |6673 | 150k| 142k|  15k|  1 |  28k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1972.67/1980.14	c  1980s|  9100 |   753 |  1267k|  83.7 |  3146M | 133 |6673 | 150k|   0 |  16k|  0 |  29k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1978.34/1985.83	c  1986s|  9200 |   748 |  1271k|  83.3 |  3174M | 133 |6673 | 150k|   0 |  16k|  0 |  29k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1990.29/1997.86	c  1998s|  9300 |   748 |  1274k|  83.0 |  3189M | 133 |6673 | 150k|   0 |  16k|  0 |  29k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1994.67/2002.24	c  2002s|  9400 |   746 |  1279k|  82.8 |  3190M | 133 |6673 | 150k|   0 |  17k|  0 |  30k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
1999.15/2006.76	c  2007s|  9500 |   708 |  1283k|  82.5 |  3190M | 133 |6673 | 150k|   0 |  17k|  0 |  30k|  38 | 0.000000e+00 |      --      |    Inf |   2.43%
2011.70/2019.39	c  2019s|  9600 |   726 |  1299k|  83.0 |  3191M | 133 |6673 | 149k| 142k|  17k|  1 |  31k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2015.38/2023.06	c  2023s|  9700 |   753 |  1300k|  82.6 |  3192M | 133 |6673 | 149k| 142k|  17k|  1 |  31k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2019.46/2027.13	c  2027s|  9800 |   775 |  1303k|  82.2 |  3192M | 133 |6673 | 149k| 142k|  18k|  1 |  31k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2022.24/2029.95	c  2030s|  9900 |   768 |  1305k|  81.8 |  3193M | 133 |6673 | 149k|   0 |  18k|  0 |  31k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2025.52/2033.25	c  2033s| 10000 |   780 |  1307k|  81.4 |  3193M | 133 |6673 | 149k|   0 |  18k|  0 |  31k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2028.91/2036.65	c  2037s| 10100 |   806 |  1309k|  81.0 |  3194M | 133 |6673 | 149k| 142k|  18k|  1 |  32k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2037.29/2045.07	c  2045s| 10200 |   817 |  1311k|  80.7 |  3222M | 133 |6673 | 149k| 142k|  18k|  1 |  32k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2040.56/2048.38	c  2048s| 10300 |   822 |  1313k|  80.3 |  3222M | 133 |6673 | 149k| 142k|  18k|  1 |  32k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2044.35/2052.15	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2044.35/2052.15	c  2052s| 10400 |   830 |  1315k|  79.9 |  3222M | 133 |6673 | 149k| 142k|  18k|  1 |  32k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2047.03/2054.88	c  2055s| 10500 |   822 |  1317k|  79.6 |  3222M | 133 |6673 | 149k| 142k|  18k|  1 |  32k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2050.71/2058.57	c  2059s| 10600 |   825 |  1319k|  79.2 |  3222M | 133 |6673 | 149k| 142k|  18k|  1 |  32k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2054.20/2062.08	c  2062s| 10700 |   822 |  1321k|  78.9 |  3222M | 133 |6673 | 149k| 142k|  18k|  1 |  32k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2057.47/2065.34	c  2065s| 10800 |   814 |  1323k|  78.5 |  3222M | 133 |6673 | 149k|   0 |  18k|  0 |  33k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2061.05/2068.97	c  2069s| 10900 |   829 |  1325k|  78.2 |  3222M | 133 |6673 | 149k| 142k|  19k|  1 |  33k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2064.64/2072.54	c  2073s| 11000 |   826 |  1327k|  77.8 |  3223M | 133 |6673 | 149k| 142k|  19k|  1 |  33k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2068.23/2076.16	c  2076s| 11100 |   820 |  1330k|  77.6 |  3223M | 133 |6673 | 149k|   0 |  19k|  0 |  33k|  38 | 0.000000e+00 |      --      |    Inf |   2.44%
2086.76/2094.79	c  2095s| 11200 |   803 |  1343k|  77.8 |  3239M | 133 |6673 | 149k| 142k|  19k|  2 |  33k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2099.31/2107.38	c  2107s| 11300 |   845 |  1354k|  78.0 |  3241M | 133 |6673 | 149k| 142k|  19k|  1 |  33k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2161.60/2169.80	c  2170s| 11400 |   915 |  1387k|  79.5 |  3257M | 133 |6673 | 148k|   0 |  20k|  0 |  33k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2164.98/2173.26	c  2173s| 11500 |   935 |  1389k|  79.1 |  3258M | 133 |6673 | 149k| 142k|  20k|  1 |  33k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2170.45/2178.71	c  2179s| 11600 |   941 |  1390k|  78.8 |  3286M | 133 |6673 | 149k| 142k|  20k|  1 |  34k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2174.43/2182.74	c  2183s| 11700 |   931 |  1394k|  78.5 |  3286M | 133 |6673 | 149k| 142k|  20k|  1 |  34k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2178.73/2187.05	c  2187s| 11800 |   942 |  1398k|  78.3 |  3287M | 133 |6673 | 149k|   0 |  21k|  0 |  34k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2183.50/2191.86	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2183.50/2191.86	c  2192s| 11900 |   940 |  1401k|  78.1 |  3302M | 133 |6673 | 149k|   0 |  21k|  0 |  34k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2187.08/2195.46	c  2195s| 12000 |   938 |  1404k|  77.8 |  3302M | 133 |6673 | 149k|   0 |  21k|  0 |  34k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2190.26/2198.60	c  2199s| 12100 |   947 |  1406k|  77.4 |  3302M | 133 |6673 | 149k| 142k|  21k|  1 |  35k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2201.32/2209.80	c  2210s| 12200 |   952 |  1407k|  77.1 |  3318M | 133 |6673 | 149k|   0 |  21k|  0 |  35k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2215.26/2223.79	c  2224s| 12300 |   953 |  1410k|  76.9 |  3347M | 133 |6673 | 149k|   0 |  22k|  0 |  35k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2219.44/2227.91	c  2228s| 12400 |   952 |  1414k|  76.6 |  3347M | 133 |6673 | 150k| 142k|  22k|  1 |  35k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2223.53/2232.06	c  2232s| 12500 |   945 |  1417k|  76.4 |  3347M | 133 |6673 | 150k|   0 |  23k|  0 |  35k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2227.80/2236.38	c  2236s| 12600 |   935 |  1421k|  76.2 |  3347M | 133 |6673 | 150k| 142k|  23k|  1 |  36k|  38 | 0.000000e+00 |      --      |    Inf |   2.45%
2252.74/2261.39	c  2261s| 12700 |   958 |  1424k|  75.9 |  3349M | 133 |6673 | 150k|   0 |  24k|  0 |  36k|  38 | 0.000000e+00 |      --      |    Inf |   2.57%
2255.72/2264.34	c  2264s| 12800 |   977 |  1425k|  75.6 |  3349M | 133 |6673 | 150k| 142k|  24k|  1 |  36k|  38 | 0.000000e+00 |      --      |    Inf |   2.57%
2259.30/2267.94	c  2268s| 12900 |   997 |  1427k|  75.3 |  3350M | 133 |6673 | 150k| 142k|  24k|  1 |  36k|  38 | 0.000000e+00 |      --      |    Inf |   2.58%
2262.39/2271.04	c  2271s| 13000 |   997 |  1429k|  75.0 |  3350M | 133 |6673 | 150k|   0 |  24k|  0 |  36k|  38 | 0.000000e+00 |      --      |    Inf |   2.58%
2265.77/2274.41	c  2274s| 13100 |   966 |  1431k|  74.7 |  3350M | 133 |6673 | 150k| 142k|  24k|  1 |  36k|  38 | 0.000000e+00 |      --      |    Inf |   2.60%
2269.35/2278.09	c  2278s| 13200 |   946 |  1433k|  74.4 |  3350M | 133 |6673 | 150k| 142k|  24k|  1 |  36k|  38 | 0.000000e+00 |      --      |    Inf |   2.61%
2272.93/2281.68	c  2282s| 13300 |   956 |  1436k|  74.2 |  3350M | 133 |6673 | 150k| 142k|  24k|  1 |  37k|  38 | 0.000000e+00 |      --      |    Inf |   2.61%
2277.21/2285.90	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2277.21/2285.90	c  2286s| 13400 |   949 |  1439k|  74.0 |  3350M | 133 |6673 | 150k| 142k|  24k|  1 |  37k|  38 | 0.000000e+00 |      --      |    Inf |   2.61%
2285.08/2293.81	c  2294s| 13500 |   957 |  1442k|  73.7 |  3366M | 133 |6673 | 150k| 142k|  25k|  1 |  37k|  38 | 0.000000e+00 |      --      |    Inf |   2.61%
2288.37/2297.16	c  2297s| 13600 |   955 |  1445k|  73.5 |  3366M | 133 |6673 | 150k| 142k|  25k|  3 |  37k|  38 | 0.000000e+00 |      --      |    Inf |   2.61%
2291.74/2300.55	c  2301s| 13700 |   961 |  1448k|  73.3 |  3366M | 133 |6673 | 150k|   0 |  25k|  0 |  38k|  38 | 0.000000e+00 |      --      |    Inf |   2.61%
2295.72/2304.54	c  2305s| 13800 |   965 |  1452k|  73.1 |  3366M | 133 |6673 | 151k| 142k|  26k|  1 |  38k|  38 | 0.000000e+00 |      --      |    Inf |   2.61%
2300.10/2308.97	c  2309s| 13900 |   943 |  1455k|  72.9 |  3366M | 133 |6673 | 150k| 142k|  26k|  1 |  38k|  38 | 0.000000e+00 |      --      |    Inf |   2.61%
2303.08/2311.96	c  2312s| 14000 |   945 |  1457k|  72.7 |  3366M | 133 |6673 | 150k|   0 |  26k|  0 |  38k|  38 | 0.000000e+00 |      --      |    Inf |   2.61%
2318.33/2327.27	c  2327s| 14100 |   938 |  1460k|  72.4 |  3367M | 133 |6673 | 150k| 142k|  26k|  1 |  38k|  38 | 0.000000e+00 |      --      |    Inf |   2.62%
2328.40/2337.31	c  2337s| 14200 |   912 |  1470k|  72.6 |  3397M | 133 |6673 | 150k| 142k|  27k|  1 |  39k|  38 | 0.000000e+00 |      --      |    Inf |   2.64%
2358.02/2367.06	c  2367s| 14300 |   930 |  1485k|  72.9 |  3413M | 133 |6673 | 150k| 142k|  27k|  1 |  39k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2364.38/2373.40	c  2373s| 14400 |   976 |  1492k|  72.9 |  3413M | 133 |6673 | 150k|   0 |  27k|  0 |  39k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2366.87/2376.00	c  2376s| 14500 |   988 |  1493k|  72.6 |  3413M | 133 |6673 | 150k| 142k|  27k|  1 |  39k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2369.76/2378.89	c  2379s| 14600 |  1008 |  1494k|  72.3 |  3413M | 133 |6673 | 150k| 142k|  27k|  1 |  39k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2372.34/2381.47	c  2381s| 14700 |   991 |  1496k|  72.1 |  3413M | 133 |6673 | 150k|   0 |  27k|  0 |  40k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2375.33/2384.40	c  2384s| 14800 |  1004 |  1497k|  71.8 |  3413M | 133 |6673 | 151k| 142k|  27k|  1 |  40k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2378.02/2387.19	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2378.02/2387.19	c  2387s| 14900 |  1024 |  1498k|  71.5 |  3413M | 133 |6673 | 151k|   0 |  27k|  0 |  40k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2383.49/2392.62	c  2393s| 15000 |  1054 |  1500k|  71.2 |  3428M | 133 |6673 | 151k| 142k|  27k|  3 |  40k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2394.54/2403.71	c  2404s| 15100 |  1072 |  1502k|  71.0 |  3444M | 133 |6673 | 151k|   0 |  27k|  0 |  40k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2415.37/2424.68	c  2425s| 15200 |  1089 |  1504k|  70.8 |  3503M | 133 |6673 | 151k| 142k|  27k|  3 |  41k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2421.94/2431.21	c  2431s| 15300 |  1084 |  1506k|  70.5 |  3504M | 133 |6673 | 151k|   0 |  28k|  0 |  41k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2427.52/2436.85	c  2437s| 15400 |  1084 |  1508k|  70.3 |  3505M | 133 |6673 | 151k| 142k|  28k|  1 |  41k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2431.40/2440.76	c  2441s| 15500 |  1094 |  1510k|  70.1 |  3506M | 133 |6673 | 151k| 142k|  28k|  1 |  41k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2441.96/2451.33	c  2451s| 15600 |  1097 |  1512k|  69.8 |  3536M | 133 |6673 | 151k|   0 |  28k|  0 |  41k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2454.73/2464.18	c  2464s| 15700 |  1096 |  1514k|  69.6 |  3539M | 133 |6673 | 151k|   0 |  28k|  0 |  42k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2457.31/2466.79	c  2467s| 15800 |  1095 |  1515k|  69.3 |  3539M | 133 |6673 | 151k| 142k|  28k|  2 |  42k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2460.49/2469.91	c  2470s| 15900 |  1098 |  1517k|  69.1 |  3539M | 133 |6673 | 151k|   0 |  29k|  0 |  42k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2463.98/2473.47	c  2473s| 16000 |  1100 |  1520k|  68.9 |  3539M | 133 |6673 | 151k| 142k|  29k|  1 |  42k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2469.15/2478.62	c  2479s| 16100 |  1105 |  1522k|  68.7 |  3568M | 133 |6673 | 151k| 142k|  29k|  1 |  43k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2472.44/2481.95	c  2482s| 16200 |  1096 |  1525k|  68.5 |  3568M | 133 |6673 | 151k|   0 |  30k|  0 |  43k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2476.12/2485.66	c  2486s| 16300 |  1104 |  1529k|  68.4 |  3568M | 133 |6673 | 151k|   0 |  30k|  0 |  43k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2479.30/2488.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2479.30/2488.88	c  2489s| 16400 |  1107 |  1532k|  68.2 |  3568M | 133 |6673 | 151k| 142k|  30k|  1 |  43k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2482.78/2492.39	c  2492s| 16500 |  1102 |  1535k|  68.0 |  3568M | 133 |6673 | 151k|   0 |  31k|  0 |  43k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2486.16/2495.73	c  2496s| 16600 |  1095 |  1539k|  67.9 |  3568M | 133 |6673 | 151k| 142k|  31k|  1 |  44k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2489.45/2499.02	c  2499s| 16700 |  1085 |  1542k|  67.8 |  3568M | 133 |6673 | 151k| 142k|  32k|  1 |  44k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2492.83/2502.44	c  2502s| 16800 |  1097 |  1545k|  67.6 |  3568M | 133 |6673 | 151k|   0 |  32k|  0 |  44k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2496.41/2506.09	c  2506s| 16900 |  1092 |  1548k|  67.4 |  3568M | 133 |6673 | 151k|   0 |  32k|  0 |  45k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2499.99/2509.60	c  2510s| 17000 |  1089 |  1550k|  67.2 |  3568M | 133 |6673 | 151k| 142k|  33k|  2 |  45k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2503.77/2513.47	c  2513s| 17100 |  1075 |  1553k|  67.0 |  3568M | 133 |6673 | 151k| 142k|  33k|  1 |  45k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2507.46/2517.12	c  2517s| 17200 |  1074 |  1556k|  66.9 |  3568M | 133 |6673 | 151k| 142k|  34k|  1 |  45k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2510.53/2520.25	c  2520s| 17300 |  1053 |  1559k|  66.7 |  3568M | 133 |6673 | 151k| 142k|  34k|  1 |  46k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2514.12/2523.87	c  2524s| 17400 |  1043 |  1562k|  66.6 |  3568M | 133 |6673 | 151k| 142k|  34k|  1 |  46k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2518.79/2528.55	c  2529s| 17500 |  1030 |  1565k|  66.4 |  3569M | 133 |6673 | 151k| 142k|  35k|  1 |  47k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2522.18/2531.93	c  2532s| 17600 |   998 |  1568k|  66.3 |  3569M | 133 |6673 | 151k| 142k|  35k|  1 |  47k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2525.46/2535.24	c  2535s| 17700 |   986 |  1572k|  66.1 |  3569M | 133 |6673 | 151k|   0 |  36k|  0 |  47k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2528.05/2537.89	c  2538s| 17800 |   945 |  1573k|  65.9 |  3569M | 133 |6673 | 151k|   0 |  36k|  0 |  48k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2535.03/2544.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2535.03/2544.88	c  2545s| 17900 |   973 |  1576k|  65.8 |  3570M | 133 |6673 | 151k| 142k|  36k|  1 |  48k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2542.10/2551.91	c  2552s| 18000 |  1001 |  1589k|  66.0 |  3570M | 133 |6673 | 151k|   0 |  36k|  0 |  48k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2551.76/2561.64	c  2562s| 18100 |  1050 |  1596k|  66.0 |  3570M | 133 |6673 | 151k| 142k|  36k|  1 |  48k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2568.40/2578.37	c  2578s| 18200 |  1073 |  1601k|  66.0 |  3586M | 133 |6673 | 151k| 142k|  36k|  1 |  48k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2571.69/2581.61	c  2582s| 18300 |  1081 |  1603k|  65.8 |  3586M | 133 |6673 | 151k|   0 |  36k|  0 |  48k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2574.27/2584.20	c  2584s| 18400 |  1084 |  1605k|  65.6 |  3586M | 133 |6673 | 151k| 142k|  36k|  2 |  49k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2577.75/2587.76	c  2588s| 18500 |  1088 |  1608k|  65.5 |  3586M | 133 |6673 | 151k|   0 |  37k|  0 |  49k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2581.83/2591.83	c  2592s| 18600 |  1104 |  1612k|  65.4 |  3586M | 133 |6673 | 151k|   0 |  37k|  0 |  49k|  38 | 0.000000e+00 |      --      |    Inf |   2.68%
2584.03/2594.03	c  2594s| 18700 |  1070 |  1613k|  65.1 |  3586M | 133 |6673 | 151k|   0 |  37k|  0 |  49k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2586.70/2596.72	c  2597s| 18800 |  1066 |  1614k|  64.9 |  3586M | 133 |6673 | 151k| 142k|  37k|  1 |  49k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2589.29/2599.31	c  2599s| 18900 |  1068 |  1616k|  64.7 |  3587M | 133 |6673 | 151k| 142k|  37k|  1 |  50k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2591.88/2601.95	c  2602s| 19000 |  1024 |  1617k|  64.5 |  3587M | 133 |6673 | 151k|   0 |  37k|  0 |  50k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2599.46/2609.52	c  2610s| 19100 |  1053 |  1620k|  64.4 |  3602M | 133 |6673 | 151k| 142k|  37k|  2 |  50k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2604.23/2614.38	c  2614s| 19200 |  1071 |  1628k|  64.4 |  3602M | 133 |6673 | 151k|   0 |  38k|  0 |  50k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2610.31/2620.47	c  2620s| 19300 |  1079 |  1641k|  64.7 |  3602M | 133 |6673 | 151k| 142k|  38k|  1 |  50k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2614.99/2625.16	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2614.99/2625.16	c  2625s| 19400 |  1104 |  1652k|  64.9 |  3603M | 133 |6673 | 151k| 142k|  38k|  1 |  50k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2617.97/2628.15	c  2628s| 19500 |  1117 |  1654k|  64.7 |  3603M | 133 |6673 | 151k| 142k|  38k|  1 |  51k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2622.95/2633.13	c  2633s| 19600 |  1094 |  1660k|  64.7 |  3618M | 133 |6673 | 151k|   0 |  38k|  0 |  51k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2627.63/2637.89	c  2638s| 19700 |  1093 |  1670k|  64.8 |  3618M | 133 |6673 | 151k|   0 |  38k|  0 |  51k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2631.50/2641.79	c  2642s| 19800 |  1096 |  1676k|  64.8 |  3618M | 133 |6673 | 151k|   0 |  39k|  0 |  51k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2634.99/2645.25	c  2645s| 19900 |  1113 |  1678k|  64.6 |  3618M | 133 |6673 | 151k| 142k|  39k|  1 |  51k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2638.08/2648.39	c  2648s| 20000 |  1137 |  1679k|  64.4 |  3619M | 133 |6673 | 151k| 142k|  39k|  2 |  51k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2648.05/2658.30	c  2658s| 20100 |  1156 |  1681k|  64.2 |  3634M | 133 |6673 | 151k| 142k|  39k|  1 |  52k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2653.23/2663.59	c  2664s| 20200 |  1158 |  1682k|  64.0 |  3634M | 133 |6673 | 151k| 142k|  39k|  1 |  52k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2656.32/2666.60	c  2667s| 20300 |  1166 |  1685k|  63.9 |  3635M | 133 |6673 | 151k|   0 |  39k|  0 |  52k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2660.11/2670.45	c  2670s| 20400 |  1172 |  1688k|  63.8 |  3635M | 133 |6673 | 151k| 142k|  39k|  1 |  52k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2663.40/2673.70	c  2674s| 20500 |  1174 |  1690k|  63.6 |  3635M | 133 |6673 | 151k|   0 |  40k|  0 |  53k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2667.19/2677.59	c  2678s| 20600 |  1145 |  1693k|  63.5 |  3635M | 133 |6673 | 151k|   0 |  40k|  0 |  53k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2670.48/2680.88	c  2681s| 20700 |  1119 |  1695k|  63.3 |  3635M | 133 |6673 | 151k| 142k|  40k|  1 |  53k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2673.37/2683.71	c  2684s| 20800 |  1106 |  1698k|  63.2 |  3636M | 133 |6673 | 151k| 142k|  40k|  1 |  54k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2675.96/2686.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2675.96/2686.32	c  2686s| 20900 |  1106 |  1699k|  63.0 |  3636M | 133 |6673 | 151k| 142k|  40k|  1 |  54k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2678.95/2689.30	c  2689s| 21000 |  1128 |  1702k|  62.9 |  3636M | 133 |6673 | 151k|   0 |  40k|  0 |  54k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2681.44/2691.87	c  2692s| 21100 |  1130 |  1703k|  62.7 |  3636M | 133 |6673 | 151k| 142k|  40k|  1 |  54k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2683.93/2694.34	c  2694s| 21200 |  1126 |  1704k|  62.5 |  3636M | 133 |6673 | 151k| 142k|  40k|  2 |  54k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2687.22/2697.61	c  2698s| 21300 |  1130 |  1711k|  62.5 |  3638M | 133 |6673 | 151k| 142k|  40k|  1 |  54k|  38 | 0.000000e+00 |      --      |    Inf |   2.69%
2691.90/2702.33	c  2702s| 21400 |  1149 |  1715k|  62.4 |  3639M | 133 |6673 | 151k| 142k|  40k|  1 |  55k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2694.39/2704.81	c  2705s| 21500 |  1149 |  1717k|  62.3 |  3639M | 133 |6673 | 151k| 142k|  40k|  1 |  55k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2697.28/2707.78	c  2708s| 21600 |  1169 |  1718k|  62.1 |  3639M | 133 |6673 | 151k| 142k|  40k|  1 |  55k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2700.17/2710.65	c  2711s| 21700 |  1194 |  1720k|  61.9 |  3639M | 133 |6673 | 151k|   0 |  40k|  0 |  55k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2703.16/2713.67	c  2714s| 21800 |  1218 |  1721k|  61.7 |  3640M | 133 |6673 | 151k| 142k|  40k|  1 |  55k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2707.94/2718.48	c  2718s| 21900 |  1217 |  1724k|  61.6 |  3654M | 133 |6673 | 151k|   0 |  41k|  0 |  56k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2711.53/2722.07	c  2722s| 22000 |  1221 |  1727k|  61.5 |  3654M | 133 |6673 | 151k|   0 |  41k|  0 |  56k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2714.81/2725.36	c  2725s| 22100 |  1223 |  1730k|  61.4 |  3654M | 133 |6673 | 151k|   0 |  41k|  0 |  56k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2718.60/2729.18	c  2729s| 22200 |  1220 |  1733k|  61.3 |  3654M | 133 |6673 | 151k|   0 |  41k|  0 |  56k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2722.39/2732.94	c  2733s| 22300 |  1219 |  1736k|  61.2 |  3655M | 133 |6673 | 151k|   0 |  42k|  0 |  56k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2726.87/2737.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2726.87/2737.48	c  2737s| 22400 |  1216 |  1740k|  61.1 |  3655M | 133 |6673 | 151k|   0 |  42k|  0 |  57k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2730.16/2740.70	c  2741s| 22500 |  1208 |  1742k|  61.0 |  3655M | 133 |6673 | 151k| 142k|  42k|  2 |  57k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2733.94/2744.51	c  2745s| 22600 |  1169 |  1746k|  60.9 |  3655M | 133 |6673 | 151k|   0 |  42k|  0 |  57k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2738.33/2748.90	c  2749s| 22700 |  1186 |  1748k|  60.8 |  3657M | 133 |6673 | 151k| 142k|  42k|  1 |  57k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2746.22/2756.83	c  2757s| 22800 |  1190 |  1753k|  60.7 |  3658M | 133 |6673 | 151k| 142k|  43k|  1 |  58k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2752.70/2763.37	c  2763s| 22900 |  1185 |  1756k|  60.6 |  3673M | 133 |6673 | 151k|   0 |  43k|  0 |  58k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2762.56/2773.21	c  2773s| 23000 |  1183 |  1761k|  60.6 |  3688M | 133 |6673 | 151k|   0 |  43k|  0 |  58k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2765.95/2776.65	c  2777s| 23100 |  1175 |  1764k|  60.5 |  3688M | 133 |6673 | 151k| 142k|  43k|  1 |  58k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2773.33/2784.02	c  2784s| 23200 |  1175 |  1767k|  60.4 |  3689M | 133 |6673 | 151k| 142k|  43k|  1 |  58k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2777.41/2788.12	c  2788s| 23300 |  1165 |  1772k|  60.3 |  3689M | 133 |6673 | 151k| 142k|  43k|  2 |  58k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2782.09/2792.83	c  2793s| 23400 |  1145 |  1779k|  60.3 |  3689M | 133 |6673 | 151k| 142k|  44k|  1 |  59k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2785.68/2796.43	c  2796s| 23500 |  1162 |  1783k|  60.3 |  3689M | 133 |6673 | 151k| 142k|  44k|  1 |  59k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2788.86/2799.62	c  2800s| 23600 |  1155 |  1788k|  60.2 |  3690M | 133 |6673 | 151k|   0 |  44k|  0 |  59k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2791.95/2802.77	c  2803s| 23700 |  1159 |  1793k|  60.2 |  3690M | 133 |6673 | 151k|   0 |  44k|  0 |  59k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2796.43/2807.24	c  2807s| 23800 |  1150 |  1803k|  60.4 |  3690M | 133 |6673 | 151k| 142k|  44k|  1 |  59k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2800.11/2810.99	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2800.11/2810.99	c  2811s| 23900 |  1159 |  1807k|  60.3 |  3690M | 133 |6673 | 151k| 142k|  44k|  1 |  60k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2802.70/2813.57	c  2814s| 24000 |  1167 |  1809k|  60.1 |  3690M | 133 |6673 | 151k|   0 |  44k|  0 |  60k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2812.07/2822.91	c  2823s| 24100 |  1162 |  1811k|  60.0 |  3690M | 133 |6673 | 151k| 142k|  44k|  1 |  60k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2814.96/2825.86	c  2826s| 24200 |  1175 |  1813k|  59.9 |  3690M | 133 |6673 | 151k| 142k|  44k|  2 |  60k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2838.40/2849.40	c  2849s| 24300 |  1207 |  1816k|  59.8 |  3707M | 133 |6673 | 151k| 142k|  44k|  1 |  60k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2910.02/2921.20	c  2921s| 24400 |  1216 |  1821k|  59.7 |  3740M | 133 |6673 | 151k| 142k|  45k|  0 |  60k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2929.37/2940.54	c  2941s| 24500 |  1182 |  1824k|  59.6 |  3742M | 133 |6673 | 151k|   0 |  45k|  0 |  60k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2931.76/2942.96	c  2943s| 24600 |  1185 |  1825k|  59.5 |  3742M | 133 |6673 | 151k| 142k|  45k|  1 |  60k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2934.35/2945.51	c  2946s| 24700 |  1185 |  1827k|  59.3 |  3742M | 133 |6673 | 151k|   0 |  45k|  0 |  60k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2937.54/2948.79	c  2949s| 24800 |  1193 |  1828k|  59.2 |  3742M | 133 |6673 | 151k|   0 |  46k|  0 |  61k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2940.62/2951.84	c  2952s| 24900 |  1187 |  1830k|  59.1 |  3742M | 133 |6673 | 151k|   0 |  46k|  0 |  61k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2943.92/2955.13	c  2955s| 25000 |  1187 |  1832k|  59.0 |  3742M | 133 |6673 | 151k|   0 |  46k|  0 |  61k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2946.50/2957.72	c  2958s| 25100 |  1160 |  1834k|  58.8 |  3742M | 133 |6673 | 151k| 142k|  46k|  1 |  61k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2949.29/2960.59	c  2961s| 25200 |  1167 |  1836k|  58.7 |  3742M | 133 |6673 | 151k| 142k|  46k|  2 |  61k|  38 | 0.000000e+00 |      --      |    Inf |   2.70%
2958.67/2969.98	c  2970s| 25300 |  1164 |  1844k|  58.8 |  3745M | 133 |6673 | 151k|   0 |  46k|  0 |  61k|  38 | 0.000000e+00 |      --      |    Inf |   2.71%
2976.63/2987.90	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2976.63/2987.90	c  2988s| 25400 |  1191 |  1864k|  59.2 |  3759M | 133 |6673 | 151k| 142k|  46k|  1 |  61k|  38 | 0.000000e+00 |      --      |    Inf |   2.71%
2979.62/2990.94	c  2991s| 25500 |  1195 |  1866k|  59.1 |  3759M | 133 |6673 | 151k| 142k|  46k|  2 |  62k|  38 | 0.000000e+00 |      --      |    Inf |   2.71%
2990.08/3001.46	c  3001s| 25600 |  1215 |  1880k|  59.4 |  3761M | 133 |6673 | 151k| 142k|  46k|  1 |  62k|  38 | 0.000000e+00 |      --      |    Inf |   2.71%
2994.67/3006.08	c  3006s| 25700 |  1242 |  1888k|  59.4 |  3761M | 133 |6673 | 151k| 142k|  46k|  1 |  62k|  38 | 0.000000e+00 |      --      |    Inf |   2.71%
2997.95/3009.38	c  3009s| 25800 |  1241 |  1890k|  59.3 |  3761M | 133 |6673 | 151k| 142k|  46k|  1 |  62k|  38 | 0.000000e+00 |      --      |    Inf |   2.71%
3001.24/3012.68	c  3013s| 25900 |  1239 |  1891k|  59.1 |  3761M | 133 |6673 | 151k| 142k|  47k|  1 |  62k|  38 | 0.000000e+00 |      --      |    Inf |   2.71%
3004.22/3015.60	c  3016s| 26000 |  1237 |  1892k|  59.0 |  3761M | 133 |6673 | 151k| 142k|  47k|  1 |  63k|  38 | 0.000000e+00 |      --      |    Inf |   2.71%
3008.10/3019.56	c  3020s| 26100 |  1239 |  1895k|  58.9 |  3761M | 133 |6673 | 151k| 142k|  47k|  0 |  63k|  38 | 0.000000e+00 |      --      |    Inf |   2.71%
3012.19/3023.66	c  3024s| 26200 |  1263 |  1900k|  58.9 |  3763M | 133 |6673 | 151k| 142k|  47k|  1 |  63k|  38 | 0.000000e+00 |      --      |    Inf |   2.71%
3016.97/3028.40	c  3028s| 26300 |  1275 |  1908k|  58.9 |  3763M | 133 |6673 | 151k| 142k|  47k|  1 |  63k|  38 | 0.000000e+00 |      --      |    Inf |   2.71%
3022.45/3033.91	c  3034s| 26400 |  1255 |  1916k|  59.0 |  3764M | 133 |6673 | 151k| 142k|  47k|  1 |  63k|  38 | 0.000000e+00 |      --      |    Inf |   2.71%
3029.53/3041.02	c  3041s| 26500 |  1283 |  1919k|  58.9 |  3778M | 133 |6673 | 151k|   0 |  47k|  0 |  64k|  38 | 0.000000e+00 |      --      |    Inf |   2.71%
3032.41/3044.00	c  3044s| 26600 |  1271 |  1921k|  58.8 |  3778M | 133 |6673 | 151k|   0 |  47k|  0 |  64k|  38 | 0.000000e+00 |      --      |    Inf |   2.71%
3036.79/3048.39	c  3048s| 26700 |  1249 |  1925k|  58.7 |  3778M | 133 |6673 | 151k| 142k|  47k|  1 |  64k|  38 | 0.000000e+00 |      --      |    Inf |   2.74%
3054.45/3066.02	c  3066s| 26800 |  1269 |  1942k|  59.1 |  3779M | 133 |6673 | 151k| 142k|  48k|  1 |  64k|  38 | 0.000000e+00 |      --      |    Inf |   2.81%
3084.47/3096.17	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3084.47/3096.17	c  3096s| 26900 |  1327 |  1956k|  59.3 |  3781M | 133 |6673 | 151k| 142k|  48k|  1 |  64k|  38 | 0.000000e+00 |      --      |    Inf |   2.81%
3088.25/3099.95	c  3100s| 27000 |  1362 |  1959k|  59.2 |  3781M | 133 |6673 | 151k| 142k|  48k|  1 |  64k|  38 | 0.000000e+00 |      --      |    Inf |   2.81%
3092.13/3103.83	c  3104s| 27100 |  1386 |  1962k|  59.1 |  3782M | 133 |6673 | 151k| 142k|  48k|  1 |  65k|  38 | 0.000000e+00 |      --      |    Inf |   2.81%
3095.52/3107.29	c  3107s| 27200 |  1398 |  1965k|  59.0 |  3783M | 133 |6673 | 151k| 142k|  49k|  1 |  65k|  38 | 0.000000e+00 |      --      |    Inf |   2.81%
3099.11/3110.89	c  3111s| 27300 |  1406 |  1968k|  59.0 |  3784M | 133 |6673 | 151k|   0 |  49k|  0 |  65k|  38 | 0.000000e+00 |      --      |    Inf |   2.81%
3102.60/3114.34	c  3114s| 27400 |  1396 |  1970k|  58.8 |  3784M | 133 |6673 | 151k| 142k|  49k|  1 |  65k|  38 | 0.000000e+00 |      --      |    Inf |   2.82%
3105.09/3116.89	c  3117s| 27500 |  1385 |  1972k|  58.7 |  3784M | 133 |6673 | 151k|   0 |  49k|  0 |  65k|  38 | 0.000000e+00 |      --      |    Inf |   2.82%
3107.78/3119.58	c  3120s| 27600 |  1336 |  1973k|  58.6 |  3784M | 133 |6673 | 151k| 142k|  49k|  1 |  66k|  38 | 0.000000e+00 |      --      |    Inf |   2.82%
3110.67/3122.42	c  3122s| 27700 |  1303 |  1976k|  58.5 |  3784M | 133 |6673 | 151k| 142k|  49k|  1 |  66k|  38 | 0.000000e+00 |      --      |    Inf |   2.82%
3114.75/3126.51	c  3127s| 27800 |  1323 |  1979k|  58.4 |  3784M | 133 |6673 | 151k|   0 |  49k|  0 |  66k|  38 | 0.000000e+00 |      --      |    Inf |   2.82%
3118.93/3130.76	c  3131s| 27900 |  1335 |  1983k|  58.3 |  3784M | 133 |6673 | 151k| 142k|  50k|  2 |  66k|  38 | 0.000000e+00 |      --      |    Inf |   2.83%
3122.92/3134.71	c  3135s| 28000 |  1336 |  1985k|  58.2 |  3784M | 133 |6673 | 151k| 142k|  50k|  1 |  67k|  38 | 0.000000e+00 |      --      |    Inf |   2.83%
3125.80/3137.69	c  3138s| 28100 |  1294 |  1989k|  58.2 |  3784M | 133 |6673 | 151k|   0 |  50k|  0 |  67k|  38 | 0.000000e+00 |      --      |    Inf |   2.83%
3246.10/3258.22	c  3258s| 28200 |  1324 |  2015k|  58.8 |  3784M | 133 |6673 | 151k|   0 |  50k|  0 |  67k|  38 | 0.000000e+00 |      --      |    Inf |   2.84%
3249.39/3261.56	c  3262s| 28300 |  1350 |  2017k|  58.7 |  3784M | 133 |6673 | 151k| 142k|  50k|  1 |  67k|  38 | 0.000000e+00 |      --      |    Inf |   2.84%
3254.68/3266.89	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3254.68/3266.89	c  3267s| 28400 |  1353 |  2019k|  58.6 |  3786M | 133 |6673 | 151k| 142k|  50k|  1 |  67k|  38 | 0.000000e+00 |      --      |    Inf |   2.84%
3257.56/3269.77	c  3270s| 28500 |  1350 |  2021k|  58.4 |  3786M | 133 |6673 | 151k| 142k|  50k|  1 |  68k|  38 | 0.000000e+00 |      --      |    Inf |   2.84%
3260.55/3272.79	c  3273s| 28600 |  1346 |  2022k|  58.3 |  3786M | 133 |6673 | 151k|   0 |  50k|  0 |  68k|  38 | 0.000000e+00 |      --      |    Inf |   2.84%
3264.04/3276.23	c  3276s| 28700 |  1345 |  2024k|  58.2 |  3786M | 133 |6673 | 151k| 142k|  50k|  1 |  68k|  38 | 0.000000e+00 |      --      |    Inf |   2.84%
3266.83/3279.02	c  3279s| 28800 |  1333 |  2026k|  58.1 |  3786M | 133 |6673 | 151k| 142k|  50k|  1 |  68k|  38 | 0.000000e+00 |      --      |    Inf |   2.84%
3269.82/3282.04	c  3282s| 28900 |  1319 |  2027k|  57.9 |  3786M | 133 |6673 | 151k| 142k|  51k|  1 |  69k|  38 | 0.000000e+00 |      --      |    Inf |   2.84%
3272.91/3285.15	c  3285s| 29000 |  1310 |  2028k|  57.8 |  3786M | 133 |6673 | 151k| 142k|  51k|  1 |  69k|  38 | 0.000000e+00 |      --      |    Inf |   2.84%
3293.65/3305.91	c  3306s| 29100 |  1314 |  2037k|  57.9 |  3787M | 133 |6673 | 151k| 142k|  51k|  1 |  69k|  38 | 0.000000e+00 |      --      |    Inf |   2.85%
3298.63/3310.96	c  3311s| 29200 |  1315 |  2049k|  58.1 |  3787M | 133 |6673 | 151k| 142k|  51k|  1 |  69k|  38 | 0.000000e+00 |      --      |    Inf |   2.85%
3302.32/3314.67	c  3315s| 29300 |  1331 |  2053k|  58.0 |  3787M | 133 |6673 | 151k|   0 |  51k|  0 |  70k|  38 | 0.000000e+00 |      --      |    Inf |   2.86%
3305.11/3317.44	c  3317s| 29400 |  1329 |  2056k|  57.9 |  3787M | 133 |6673 | 150k|   0 |  51k|  0 |  70k|  38 | 0.000000e+00 |      --      |    Inf |   2.86%
3308.40/3320.75	c  3321s| 29500 |  1331 |  2060k|  57.9 |  3787M | 133 |6673 | 151k| 142k|  51k|  1 |  70k|  38 | 0.000000e+00 |      --      |    Inf |   2.86%
3311.38/3323.76	c  3324s| 29600 |  1336 |  2064k|  57.8 |  3787M | 133 |6673 | 151k|   0 |  51k|  0 |  70k|  38 | 0.000000e+00 |      --      |    Inf |   2.86%
3362.16/3374.65	c  3375s| 29700 |  1340 |  2081k|  58.2 |  3789M | 133 |6673 | 150k| 142k|  51k|  1 |  70k|  38 | 0.000000e+00 |      --      |    Inf |   2.86%
3386.01/3398.57	c  3399s| 29800 |  1386 |  2108k|  58.8 |  3818M | 133 |6673 | 150k| 142k|  52k|  1 |  70k|  38 | 0.000000e+00 |      --      |    Inf |   2.87%
3411.45/3424.07	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3411.45/3424.07	c  3424s| 29900 |  1434 |  2123k|  59.0 |  3835M | 133 |6673 | 150k| 142k|  52k|  1 |  70k|  38 | 0.000000e+00 |      --      |    Inf |   2.95%
3414.33/3426.95	c  3427s| 30000 |  1441 |  2125k|  58.9 |  3836M | 133 |6673 | 150k| 142k|  52k|  1 |  71k|  38 | 0.000000e+00 |      --      |    Inf |   2.96%
3416.82/3429.43	c  3429s| 30100 |  1436 |  2126k|  58.8 |  3836M | 133 |6673 | 150k| 142k|  52k|  1 |  71k|  38 | 0.000000e+00 |      --      |    Inf |   2.96%
3419.61/3432.26	c  3432s| 30200 |  1425 |  2127k|  58.6 |  3836M | 133 |6673 | 150k|   0 |  52k|  0 |  71k|  38 | 0.000000e+00 |      --      |    Inf |   2.98%
3422.51/3435.19	c  3435s| 30300 |  1424 |  2129k|  58.5 |  3836M | 133 |6673 | 150k|   0 |  52k|  0 |  71k|  38 | 0.000000e+00 |      --      |    Inf |   3.05%
3444.25/3456.95	c  3457s| 30400 |  1456 |  2133k|  58.5 |  3839M | 133 |6673 | 150k| 142k|  53k|  1 |  71k|  38 | 0.000000e+00 |      --      |    Inf |   3.25%
3447.54/3460.27	c  3460s| 30500 |  1478 |  2135k|  58.4 |  3839M | 133 |6673 | 150k| 142k|  53k|  1 |  72k|  38 | 0.000000e+00 |      --      |    Inf |   3.29%
3461.91/3474.61	c  3475s| 30600 |  1507 |  2148k|  58.6 |  3843M | 133 |6673 | 150k|   0 |  53k|  0 |  72k|  38 | 0.000000e+00 |      --      |    Inf |   3.36%
3464.60/3477.38	c  3477s| 30700 |  1499 |  2149k|  58.4 |  3843M | 133 |6673 | 150k| 142k|  53k|  1 |  72k|  38 | 0.000000e+00 |      --      |    Inf |   3.43%
3486.94/3499.71	c  3500s| 30800 |  1505 |  2168k|  58.8 |  3845M | 133 |6673 | 150k|   0 |  53k|  0 |  72k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3505.70/3518.53	c  3519s| 30900 |  1560 |  2182k|  59.0 |  3848M | 133 |6673 | 150k| 142k|  54k|  1 |  72k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3509.39/3522.22	c  3522s| 31000 |  1581 |  2185k|  58.9 |  3848M | 133 |6673 | 150k| 142k|  54k|  1 |  73k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3512.58/3525.42	c  3525s| 31100 |  1582 |  2188k|  58.9 |  3848M | 133 |6673 | 150k|   0 |  54k|  0 |  73k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3522.35/3535.24	c  3535s| 31200 |  1594 |  2190k|  58.8 |  3851M | 133 |6673 | 150k| 142k|  54k|  1 |  73k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3525.64/3538.51	c  3539s| 31300 |  1585 |  2193k|  58.7 |  3851M | 133 |6673 | 151k| 142k|  54k|  1 |  74k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3528.93/3541.81	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3528.93/3541.81	c  3542s| 31400 |  1558 |  2197k|  58.6 |  3851M | 133 |6673 | 151k| 142k|  54k|  1 |  74k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3532.72/3545.65	c  3546s| 31500 |  1563 |  2203k|  58.6 |  3851M | 133 |6673 | 151k| 142k|  54k|  2 |  74k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3539.10/3552.10	c  3552s| 31600 |  1618 |  2211k|  58.7 |  3853M | 133 |6673 | 151k| 142k|  54k|  1 |  74k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3542.20/3555.14	c  3555s| 31700 |  1676 |  2212k|  58.5 |  3853M | 133 |6673 | 151k| 142k|  54k|  1 |  74k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3545.38/3558.30	c  3558s| 31800 |  1683 |  2216k|  58.5 |  3853M | 144 |6673 | 151k| 142k|  54k|  1 |  74k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3547.87/3560.85	c  3561s| 31900 |  1655 |  2217k|  58.4 |  3854M | 144 |6673 | 150k|   0 |  54k|  0 |  75k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3550.26/3563.23	c  3563s| 32000 |  1673 |  2217k|  58.2 |  3854M | 144 |6673 | 150k| 142k|  54k|  1 |  75k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3552.65/3565.62	c  3566s| 32100 |  1660 |  2218k|  58.1 |  3854M | 144 |6673 | 150k|   0 |  54k|  0 |  75k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3555.15/3568.13	c  3568s| 32200 |  1656 |  2219k|  58.0 |  3854M | 144 |6673 | 150k| 142k|  54k|  1 |  75k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3557.64/3570.66	c  3571s| 32300 |  1654 |  2220k|  57.9 |  3854M | 144 |6673 | 150k|   0 |  54k|  0 |  75k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3559.93/3572.96	c  3573s| 32400 |  1643 |  2222k|  57.7 |  3854M | 144 |6673 | 150k|   0 |  54k|  0 |  75k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3564.12/3577.18	c  3577s| 32500 |  1663 |  2229k|  57.8 |  3855M | 144 |6673 | 150k| 142k|  54k|  1 |  75k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3567.51/3580.57	c  3581s| 32600 |  1706 |  2233k|  57.7 |  3855M | 144 |6673 | 151k| 142k|  54k|  1 |  76k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3571.10/3584.13	c  3584s| 32700 |  1763 |  2235k|  57.6 |  3856M | 144 |6673 | 150k| 142k|  54k|  2 |  76k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3575.18/3588.27	c  3588s| 32800 |  1822 |  2241k|  57.6 |  3857M | 144 |6673 | 150k|   0 |  54k|  0 |  76k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3579.37/3592.42	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3579.37/3592.42	c  3592s| 32900 |  1874 |  2249k|  57.7 |  3857M | 144 |6673 | 150k|   0 |  54k|  0 |  76k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3581.86/3594.94	c  3595s| 33000 |  1890 |  2250k|  57.6 |  3857M | 144 |6673 | 150k| 142k|  54k|  1 |  76k|  38 | 0.000000e+00 |      --      |    Inf |   3.68%
3583.96/3597.01	c 
3583.96/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3583.96/3597.01	c Solving Time (sec) : 3597.01
3583.96/3597.01	c Solving Nodes      : 33093 (total of 39063 nodes in 2 runs)
3583.96/3597.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3583.96/3597.01	c Dual Bound         : +0.00000000000000e+00
3583.96/3597.01	c Gap                : infinite
3583.96/3597.01	s UNKNOWN
3583.96/3597.01	c SCIP Status        : solving was interrupted [time limit reached]
3583.96/3597.01	c Total Time         :    3597.01
3583.96/3597.01	c   solving          :    3597.01
3583.96/3597.01	c   presolving       :       5.74 (included in solving)
3583.96/3597.01	c   reading          :       0.35 (included in solving)
3583.96/3597.01	c   copying          :       1.81 (8 #copies) (minimal 0.22, maximal 0.24, average 0.23)
3583.96/3597.01	c Original Problem   :
3583.96/3597.01	c   Problem name     : HOME/instance-4446165-1721329766.opb
3583.96/3597.01	c   Variables        : 7354 (7354 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.96/3597.01	c   Constraints      : 165969 initial, 165969 maximal
3583.96/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.96/3597.01	c Presolved Problem  :
3583.96/3597.01	c   Problem name     : t_HOME/instance-4446165-1721329766.opb
3583.96/3597.01	c   Variables        : 6673 (6673 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.96/3597.01	c   Constraints      : 144476 initial, 151793 maximal
3583.96/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.96/3597.01	c   Nonzeros         : 591052 constraint, 60905 clique table
3583.96/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3583.96/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   domcol           :       0.08       0.00      2          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   dualsparsify     :       1.05       0.00      1          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   gateextraction   :       0.41       0.00      5          0          0          0          0          0        147         33          0          0
3583.96/3597.01	c   implics          :       0.00       0.00      7          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   milp             :       0.70       0.00      1          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   sparsify         :       0.16       0.00      1          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   trivial          :       0.00       0.00     10         14          0          0          0          0          0          0          0          0
3583.96/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   dualfix          :       0.00       0.00     10          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   probing          :       0.50       0.00      1          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   symmetry         :       0.33       0.00      1          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   vbounds          :       0.01       0.00      2          0         24          0          0          0          0          0          0          0
3583.96/3597.01	c   knapsack         :       0.11       0.01     17          0          0          0          0          0        105        105          1         16
3583.96/3597.01	c   setppc           :       0.20       0.01     17          0          0          0          0          0        325          0          0          0
3583.96/3597.01	c   and              :       0.00       0.00      4          0          0          0          0          0         25         25          0          0
3583.96/3597.01	c   linear           :       0.52       0.06     15        643          0          0        643          0      21311          0         12          7
3583.96/3597.01	c   logicor          :       1.20       0.23     17          0          0          0          0          0       2693          0          0       4842
3583.96/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   components       :       0.10       0.00      2          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   root node        :          -          -      -         39          -          -         39          -          -          -          -          -
3583.96/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3583.96/3597.01	c   benderslp        :          0          0          0          0      26011          0          0       3536          0          0          0          0          0          0          0
3583.96/3597.01	c   integral         :          0          0          0          0      26011          0          0       3536          0          0          0          0          0          0      52022
3583.96/3597.01	c   knapsack         :      16502+     16515         26     233056          0          0          0       3531     164117       2290     115664        111         17          0          0
3583.96/3597.01	c   setppc           :      28919+     29438         26     230766          0          0          0         10     601010       3990     525519         76          2          0          0
3583.96/3597.01	c   and              :          5          5      22952     177838          0          0          0          0        291          2         34        102         82          0          0
3583.96/3597.01	c   linear           :         12+        67         26     226709          0          0          0          3       2545       1414       6117          0          0          0          0
3583.96/3597.01	c   logicor          :      99038+    105893         26     156271          0          0          0          0     657350      14663     231207         95         21          0          0
3583.96/3597.01	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3583.96/3597.01	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3583.96/3597.01	c   integral         :      89.03       0.00       0.00       0.00      89.03       0.00       0.00       0.00       0.00       0.00
3583.96/3597.01	c   knapsack         :       5.16       0.01       0.34       3.51       0.00       0.00       0.00       1.23       0.08       0.00
3583.96/3597.01	c   setppc           :       4.04       0.01       0.05       3.78       0.00       0.00       0.00       0.00       0.19       0.01
3583.96/3597.01	c   and              :       0.12       0.00       0.07       0.05       0.00       0.00       0.00       0.00       0.00       0.00
3583.96/3597.01	c   linear           :       0.51       0.06       0.00       0.44       0.00       0.00       0.00       0.00       0.01       0.00
3583.96/3597.01	c   logicor          :      15.55       0.23       0.34      14.45       0.00       0.00       0.00       0.00       0.50       0.02
3583.96/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.96/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.96/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3583.96/3597.01	c   components       :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3583.96/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3583.96/3597.01	c   dualfix          :          2          0          0          0
3583.96/3597.01	c   genvbounds       :          0          0          0          0
3583.96/3597.01	c   nlobbt           :          0          0          0          0
3583.96/3597.01	c   obbt             :          0          0          0          0
3583.96/3597.01	c   probing          :          0          0          0          0
3583.96/3597.01	c   pseudoobj        :          0          0          0          0
3583.96/3597.01	c   redcost          :          0          0          0          0
3583.96/3597.01	c   rootredcost      :          0          0          0          0
3583.96/3597.01	c   symmetry         :          0          0          0          0
3583.96/3597.01	c   vbounds          :     159425          0          0          0
3583.96/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3583.96/3597.01	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3583.96/3597.01	c   genvbounds       :       0.06       0.00       0.00       0.06       0.00       0.00
3583.96/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3583.96/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3583.96/3597.01	c   probing          :       0.50       0.00       0.50       0.00       0.00       0.00
3583.96/3597.01	c   pseudoobj        :       0.06       0.00       0.00       0.06       0.00       0.00
3583.96/3597.01	c   redcost          :       0.02       0.00       0.00       0.02       0.00       0.00
3583.96/3597.01	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00       0.00
3583.96/3597.01	c   symmetry         :       0.39       0.00       0.33       0.06       0.00       0.00
3583.96/3597.01	c   vbounds          :       5.92       0.00       0.01       5.92       0.00       0.00
3583.96/3597.01	c Symmetry           :
3583.96/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3583.96/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3583.96/3597.01	c   lexicographic red:          0 reductions applied,          0 cutoffs
3583.96/3597.01	c   shadow tree time :       0.00 s
3583.96/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3583.96/3597.01	c   propagation      :       1.68      21409      21392          -     160931       38.3       6031       25.9          -          -          -
3583.96/3597.01	c   infeasible LP    :       0.63        392        373          -       4471       48.9         64       12.4        373       80.1          0
3583.96/3597.01	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3583.96/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3583.96/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3583.96/3597.01	c   applied globally :       1.66          -          -          0      75494       30.0          -          -        342          -          -
3583.96/3597.01	c   applied locally  :          -          -          -          0        786      148.1          -          -         31          -          -
3583.96/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3583.96/3597.01	c   cut pool         :       2.34          -       6028         50          -          -      26035     879714          -          -          -          -          -    (maximal pool size:       3623)
3583.96/3597.01	c   aggregation      :       4.99       0.00        498         26          0          0         12         59          4          9          9          0          0
3583.96/3597.01	c   > cmir           :          -          -          -          -          -          -          -          4          0          0          0          0          -
3583.96/3597.01	c   > flowcover      :          -          -          -          -          -          -          -         55          0          9          9          0          -
3583.96/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -          0          4          0          0          0          -
3583.96/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   clique           :       0.40       0.00         26         26          0          0        138        720          0        136        136          0          0
3583.96/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   gomory           :    1018.16       0.00        496         20          0          0      26559     800942       4238      35777      35076        701          0
3583.96/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -     267307       2119       3312       2931        381          -
3583.96/3597.01	c   > strongcg       :          -          -          -          -          -          -          -     533635       2119      32465      32145        320          -
3583.96/3597.01	c   impliedbounds    :       0.56       0.00        502         26          0          0        615       8556          0       6756       6756          0          0
3583.96/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   mcf              :       0.14       0.00          2          2          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   multilinear      :       0.00       0.00        696         26          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3583.96/3597.01	c   rlt              :     514.87       0.00        312         20          0          0         18          0         18          4          0          4          0
3583.96/3597.01	c   zerohalf         :       8.65       0.00        498         26          0          0       4594      69437       1641      26922      25830       1092          0
3583.96/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3583.96/3597.01	c   hybrid           :       1.11       0.00       5137         26      69165        612     816834        296          0       5447
3583.96/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3583.96/3597.01	c   problem variables:       0.00          -          0          0
3583.96/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3583.96/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c   relpscost        :      88.98       0.00      26011          0          0          0          0          0          0      52022
3583.96/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3583.96/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3583.96/3597.01	c   LP solutions     :       0.00          -          -          0          0
3583.96/3597.01	c   relax solutions  :       0.00          -          -          0          0
3583.96/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3583.96/3597.01	c   strong branching :       0.00          -          -          0          0
3583.96/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3583.96/3597.01	c   adaptivediving   :       7.99       0.00         12          0          0
3583.96/3597.01	c   alns             :      10.89       0.00          6          0          0
3583.96/3597.01	c   bound            :       0.00       0.00          0          0          0
3583.96/3597.01	c   clique           :       0.29       0.00          1          0          0
3583.96/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3583.96/3597.01	c   completesol      :       0.00       0.00          0          0          0
3583.96/3597.01	c   conflictdiving   :      67.88       0.00        143          0          0
3583.96/3597.01	c   crossover        :       0.01       0.00          0          0          0
3583.96/3597.01	c   dins             :       0.00       0.00          0          0          0
3583.96/3597.01	c   distributiondivin:      64.55       0.00         58          0          0
3583.96/3597.01	c   dps              :       0.00       0.00          0          0          0
3583.96/3597.01	c   dualval          :       0.00       0.00          0          0          0
3583.96/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3583.96/3597.01	c   feasjump         :       0.29       0.00          2          0          0
3583.96/3597.01	c   feaspump         :      22.56       0.00          8          0          0
3583.96/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3583.96/3597.01	c   fracdiving       :      20.68       0.00         69          0          0
3583.96/3597.01	c   gins             :       0.01       0.00          0          0          0
3583.96/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3583.96/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3583.96/3597.01	c   indicator        :       0.02       0.00          0          0          0
3583.96/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3583.96/3597.01	c   indoneopt        :       0.02       0.00          0          0          0
3583.96/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3583.96/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3583.96/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3583.96/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3583.96/3597.01	c   linesearchdiving :      17.38       0.00        107          0          0
3583.96/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3583.96/3597.01	c   locks            :       0.08       0.00          1          0          0
3583.96/3597.01	c   lpface           :       0.74       0.00          0          0          0
3583.96/3597.01	c   mpec             :       0.00       0.00          0          0          0
3583.96/3597.01	c   multistart       :       0.00       0.00          0          0          0
3583.96/3597.01	c   mutation         :       0.00       0.00          0          0          0
3583.96/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3583.96/3597.01	c   objpscostdiving  :     139.81       0.00          5          0          0
3583.96/3597.01	c   octane           :       0.00       0.00          0          0          0
3583.96/3597.01	c   ofins            :       0.01       0.00          0          0          0
3583.96/3597.01	c   oneopt           :       0.02       0.00          0          0          0
3583.96/3597.01	c   padm             :       0.00       0.00          0          0          0
3583.96/3597.01	c   proximity        :       0.00       0.00          0          0          0
3583.96/3597.01	c   pscostdiving     :      77.11       0.00         58          0          0
3583.96/3597.01	c   randrounding     :       2.60       0.00       3547          0          0
3583.96/3597.01	c   rens             :       1.17       0.00          2          0          0
3583.96/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3583.96/3597.01	c   repair           :       0.00       0.00          0          0          0
3583.96/3597.01	c   rins             :       0.01       0.00          0          0          0
3583.96/3597.01	c   rootsoldiving    :      36.50       0.00          4          0          0
3583.96/3597.01	c   rounding         :      10.89       0.00       2429          0          0
3583.96/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3583.96/3597.01	c   shiftandpropagate:       0.32       0.00          2          0          0
3583.96/3597.01	c   shifting         :      55.17       0.00       1198          0          0
3583.96/3597.01	c   simplerounding   :       0.02       0.00          0          0          0
3583.96/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3583.96/3597.01	c   subnlp           :       0.04       0.00          0          0          0
3583.96/3597.01	c   trivial          :       0.02       0.00          4          0          0
3583.96/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3583.96/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3583.96/3597.01	c   trysol           :       0.01       0.00          0          0          0
3583.96/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3583.96/3597.01	c   undercover       :       0.00       0.00          1          0          0
3583.96/3597.01	c   vbounds          :       0.22       0.00          2          0          0
3583.96/3597.01	c   veclendiving     :      26.62       0.00         63          0          0
3583.96/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3583.96/3597.01	c   zirounding       :       1.92       0.00       1000          0          0
3583.96/3597.01	c   other solutions  :          -          -          -          0          -
3583.96/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3583.96/3597.01	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.96/3597.01	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.96/3597.01	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.96/3597.01	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.96/3597.01	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.96/3597.01	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.96/3597.01	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3583.96/3597.01	c   zeroobjective    :          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
3583.96/3597.01	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3583.96/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3583.96/3597.01	c   primal LP        :      28.36       1898          0       0.00       0.00      28.36       1898
3583.96/3597.01	c   dual LP          :     875.40      31528    1580065      50.13    1804.97       0.15         11
3583.96/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3583.96/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3583.96/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3583.96/3597.01	c   diving/probing LP:     453.71       1288     671518     521.36    1480.07
3583.96/3597.01	c   strong branching :       2.88         38       7172     188.74    2488.15          -          -          5
3583.96/3597.01	c     (at root node) :          -         38       7172     188.74          -
3583.96/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3583.96/3597.01	c B&B Tree           :
3583.96/3597.01	c   number of runs   :          2
3583.96/3597.01	c   nodes            :      33093 (21671 internal, 11422 leaves)
3583.96/3597.01	c   feasible leaves  :          0
3583.96/3597.01	c   infeas. leaves   :      11421
3583.96/3597.01	c   objective leaves :          0
3583.96/3597.01	c   nodes (total)    :      39063 (26011 internal, 13052 leaves)
3583.96/3597.01	c   nodes left       :       1895
3583.96/3597.01	c   max depth        :        144
3583.96/3597.01	c   max depth (total):        144
3583.96/3597.01	c   backtracks       :       7631 (23.1%)
3583.96/3597.01	c   early backtracks :          0 (0.0%)
3583.96/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3583.96/3597.01	c   delayed cutoffs  :       8356
3583.96/3597.01	c   repropagations   :      51017 (178021 domain reductions, 6096 cutoffs)
3583.96/3597.01	c   avg switch length:       5.12
3583.96/3597.01	c   switching time   :      68.02
3583.96/3597.01	c Root Node          :
3583.96/3597.01	c   First LP value   : +0.00000000000000e+00
3583.96/3597.01	c   First LP Iters   :        793 (8009.45 Iter/sec)
3583.96/3597.01	c   First LP Time    :       0.10
3583.96/3597.01	c   Final Dual Bound : +0.00000000000000e+00
3583.96/3597.01	c   Final Root Iters :       6890
3583.96/3597.01	c   Root LP Estimate : +3.04721386479194e-02
3583.96/3597.01	c Solution           :
3583.96/3597.01	c   Solutions found  :          0 (0 improvements)
3583.96/3597.01	c   Primal Bound     :          -
3583.96/3597.01	c   Dual Bound       : +0.00000000000000e+00
3583.96/3597.01	c   Gap              :   infinite
3583.96/3597.01	c Integrals          :      Total       Avg%
3583.96/3597.01	c   primal-dual      :  359700.74     100.00
3583.96/3597.01	c   primal-ref       :          -          - (not evaluated)
3583.96/3597.01	c   dual-ref         :          -          - (not evaluated)
3584.26/3597.35	c Time complete: 3584.32.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61783 MiB free)
  memory of node 1: 64510 MiB (57971 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446165-1721329766/watcher-4446165-1721329766 -o /tmp/evaluation-result-4446165-1721329766/solver-4446165-1721329766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973107 --watchdog 3760 pbscip -f HOME/instance-4446165-1721329766.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=974148, runsolver pid=974145

[startup+0.100338 s]*
/proc/loadavg: 4.15 4.15 4.06 5/255 974149
/proc/meminfo: memFree=122598740/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=84996 memory=44340 CPUtime=0.1 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 8141 0 0 0 9 1 0 0 20 0 1 0 185136870 87035904 11085 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 21249 11085 3254 3540 0 9506 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 84996 KiB
Current children cumulated memory: 44340 KiB

[startup+0.205642 s]*
/proc/loadavg: 4.15 4.15 4.06 5/255 974149
/proc/meminfo: memFree=122570916/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=112172 memory=70936 CPUtime=0.2 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 14795 0 0 0 18 2 0 0 20 0 1 0 185136870 114864128 17734 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 28043 17734 3254 3540 0 16300 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112172 KiB
Current children cumulated memory: 70936 KiB

[startup+0.305627 s]*
/proc/loadavg: 4.15 4.15 4.06 5/255 974149
/proc/meminfo: memFree=122544596/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=140304 memory=99040 CPUtime=0.3 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 21821 0 0 0 27 3 0 0 20 0 1 0 185136870 143671296 24760 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 35076 24760 3254 3540 0 23333 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 140304 KiB
Current children cumulated memory: 99040 KiB

[startup+0.700241 s]
/proc/loadavg: 4.15 4.15 4.06 5/255 974149
/proc/meminfo: memFree=122449284/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=303948 memory=257992 CPUtime=0.69 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 61927 0 0 0 60 9 0 0 20 0 1 0 185136870 311242752 64498 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 75987 64498 3606 3540 0 64244 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 303948 KiB
Current children cumulated memory: 257992 KiB

[startup+1.50028 s]
/proc/loadavg: 4.15 4.15 4.06 5/255 974149
/proc/meminfo: memFree=122338388/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=415712 memory=369028 CPUtime=1.48 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 77593 0 0 0 134 14 0 0 20 0 1 0 185136870 425689088 92257 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 103928 92257 3653 3540 0 92185 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 415712 KiB
Current children cumulated memory: 369028 KiB

[startup+3.10561 s]
/proc/loadavg: 4.14 4.14 4.06 5/255 974149
/proc/meminfo: memFree=122282336/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=407180 memory=360568 CPUtime=3.08 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 96588 0 0 0 291 17 0 0 20 0 1 0 185136870 416952320 90142 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 101795 90142 3749 3540 0 90052 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 407180 KiB
Current children cumulated memory: 360568 KiB

[startup+6.30025 s]
/proc/loadavg: 4.14 4.14 4.06 5/255 974150
/proc/meminfo: memFree=121830216/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=895056 memory=811856 CPUtime=6.26 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 143975 0 0 0 596 30 0 0 20 0 1 0 185136870 916537344 202964 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 223764 202964 3861 3540 0 212021 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 895056 KiB
Current children cumulated memory: 811856 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.16 4.07 5/255 974150
/proc/meminfo: memFree=121827664/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=895056 memory=812824 CPUtime=12.65 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 144137 0 0 0 1234 31 0 0 20 0 1 0 185136870 916537344 203206 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 223764 203206 3957 3540 0 212021 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 895056 KiB
Current children cumulated memory: 812824 KiB

[startup+25.5003 s]
/proc/loadavg: 4.24 4.17 4.07 5/257 974157
/proc/meminfo: memFree=121804148/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=921524 memory=835696 CPUtime=25.4 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 146370 0 0 0 2508 32 0 0 20 0 1 0 185136870 943640576 208924 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 230381 208924 3957 3540 0 218638 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 921524 KiB
Current children cumulated memory: 835696 KiB

[startup+51.1055 s]
/proc/loadavg: 4.16 4.15 4.07 5/257 974160
/proc/meminfo: memFree=121787172/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=952164 memory=844060 CPUtime=50.92 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 146453 0 0 0 5059 33 0 0 20 0 1 0 185136870 975015936 211015 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 238041 211015 3957 3540 0 226298 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 952164 KiB
Current children cumulated memory: 844060 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.07 5/256 974170
/proc/meminfo: memFree=121768220/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=978216 memory=856676 CPUtime=101.94 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 147150 0 0 0 10160 34 0 0 20 0 1 0 185136870 1001693184 214169 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 244554 214169 3957 3540 0 232811 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 978216 KiB
Current children cumulated memory: 856676 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.07 5/256 974180
/proc/meminfo: memFree=121760588/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=1033932 memory=859032 CPUtime=161.75 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 147876 0 0 0 16140 35 0 0 20 0 1 0 185136870 1058746368 214758 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 258483 214758 3957 3540 0 246740 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1033932 KiB
Current children cumulated memory: 859032 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.07 5/256 974190
/proc/meminfo: memFree=121585828/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=1247032 memory=1028192 CPUtime=221.55 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 189636 0 0 0 22113 42 0 0 20 0 1 0 185136870 1276960768 257048 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 311758 257048 3989 3540 0 300015 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 1247032 KiB
Current children cumulated memory: 1028192 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/256 974202
/proc/meminfo: memFree=121561480/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=1332484 memory=1033748 CPUtime=281.34 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 191220 0 0 0 28091 43 0 0 20 0 1 0 185136870 1364463616 258437 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 333121 258437 3989 3540 0 321378 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 1332484 KiB
Current children cumulated memory: 1033748 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.07 5/256 974212
/proc/meminfo: memFree=121547884/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=1399364 memory=1041168 CPUtime=341.14 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 192603 0 0 0 34070 44 0 0 20 0 1 0 185136870 1432948736 260292 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 349841 260292 3989 3540 0 338098 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 1399364 KiB
Current children cumulated memory: 1041168 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/254 974223
/proc/meminfo: memFree=121542540/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=1511412 memory=1043056 CPUtime=400.93 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 193082 0 0 0 40049 44 0 0 20 0 1 0 185136870 1547685888 260764 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 377853 260764 3989 3540 0 366110 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 1511412 KiB
Current children cumulated memory: 1043056 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/254 974233
/proc/meminfo: memFree=121343340/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=1702840 memory=1237400 CPUtime=460.72 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 241779 0 0 0 46019 53 0 0 20 0 1 0 185136870 1743708160 309350 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 425710 309350 3989 3540 0 413967 0

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

/proc/loadavg: 4.19 4.19 4.17 5/255 976052
/proc/meminfo: memFree=120231652/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4083360 memory=2142620 CPUtime=3210.29 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 415123 0 0 0 320921 108 0 0 20 0 1 0 185136870 4181360640 535655 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1020840 535655 3989 3540 0 1009097 0
Current children cumulated CPU time: 3210.29 s
Current children cumulated vsize: 4083360 KiB
Current children cumulated memory: 2142620 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.17 4.17 5/256 976065
/proc/meminfo: memFree=120217960/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4083360 memory=2155096 CPUtime=3270.12 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 415642 0 0 0 326903 109 0 0 20 0 1 0 185136870 4181360640 538774 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1020840 538774 3989 3540 0 1009097 0
Current children cumulated CPU time: 3270.12 s
Current children cumulated vsize: 4083360 KiB
Current children cumulated memory: 2155096 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/255 976075
/proc/meminfo: memFree=120202556/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4083360 memory=2169416 CPUtime=3329.94 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 415822 0 0 0 332885 109 0 0 20 0 1 0 185136870 4181360640 542354 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1020840 542354 3989 3540 0 1009097 0
Current children cumulated CPU time: 3329.94 s
Current children cumulated vsize: 4083360 KiB
Current children cumulated memory: 2169416 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.13 4.16 5/255 976085
/proc/meminfo: memFree=120174236/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2196812 CPUtime=3389.8 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 416925 0 0 0 338870 110 0 0 20 0 1 0 185136870 4208754688 549203 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 549203 3989 3540 0 1015785 0
Current children cumulated CPU time: 3389.8 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2196812 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/255 976096
/proc/meminfo: memFree=120173328/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2196860 CPUtime=3449.64 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417277 0 0 0 344854 110 0 0 20 0 1 0 185136870 4208754688 549215 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 549215 3989 3540 0 1015785 0
Current children cumulated CPU time: 3449.64 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2196860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.14 4.16 5/255 976107
/proc/meminfo: memFree=120160604/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2199640 CPUtime=3509.49 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417594 0 0 0 350839 110 0 0 20 0 1 0 185136870 4208754688 549910 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 549910 3989 3540 0 1015785 0
Current children cumulated CPU time: 3509.49 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2199640 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/254 976117
/proc/meminfo: memFree=120154448/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2204828 CPUtime=3569.3 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417808 0 0 0 356820 110 0 0 20 0 1 0 185136870 4208754688 551207 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 551207 3989 3540 0 1015785 0
Current children cumulated CPU time: 3569.3 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2204828 KiB

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

# cumulated CPU time of all completed processes:  user=3583.2 s, system=1.14216 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.13 4.15 5/254 976117
/proc/meminfo: memFree=120154448/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2204828 CPUtime=3571 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417880 0 0 0 356990 110 0 0 20 0 1 0 185136870 4208754688 551207 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 551207 3989 3540 0 1015785 0
Current children cumulated CPU time: 3571 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2204828 KiB

[startup+3590.4 s]
/proc/loadavg: 4.09 4.12 4.15 5/254 976118
/proc/meminfo: memFree=120154308/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2208916 CPUtime=3577.37 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417935 0 0 0 357627 110 0 0 20 0 1 0 185136870 4208754688 552229 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 552229 3989 3540 0 1015785 0
Current children cumulated CPU time: 3577.37 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2208916 KiB

[startup+3593.6 s]
/proc/loadavg: 4.08 4.12 4.15 5/254 976119
/proc/meminfo: memFree=120150000/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2208916 CPUtime=3580.56 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417937 0 0 0 357946 110 0 0 20 0 1 0 185136870 4208754688 552229 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 552229 3989 3540 0 1015785 0
Current children cumulated CPU time: 3580.56 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2208916 KiB

[startup+3595.2 s]
/proc/loadavg: 4.08 4.12 4.15 5/254 976121
/proc/meminfo: memFree=120150100/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2208916 CPUtime=3582.16 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417937 0 0 0 358106 110 0 0 20 0 1 0 185136870 4208754688 552229 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 552229 3989 3540 0 1015785 0
Current children cumulated CPU time: 3582.16 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2208916 KiB

[startup+3596 s]*
/proc/loadavg: 4.08 4.12 4.15 5/254 976121
/proc/meminfo: memFree=120150092/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2208916 CPUtime=3582.96 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417937 0 0 0 358186 110 0 0 20 0 1 0 185136870 4208754688 552229 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 552229 3989 3540 0 1015785 0
Current children cumulated CPU time: 3582.96 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2208916 KiB

[startup+3596.8 s]
/proc/loadavg: 4.08 4.12 4.15 5/254 976121
/proc/meminfo: memFree=120150092/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2208916 CPUtime=3583.75 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417962 0 0 0 358265 110 0 0 20 0 1 0 185136870 4208754688 552229 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 552229 3989 3540 0 1015785 0
Current children cumulated CPU time: 3583.75 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2208916 KiB

[startup+3597.2 s]
/proc/loadavg: 4.08 4.12 4.15 5/254 976121
/proc/meminfo: memFree=120150092/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4110112 memory=2208916 CPUtime=3584.15 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417985 0 0 0 358305 110 0 0 20 0 1 0 185136870 4208754688 552229 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1027528 552229 3989 3540 0 1015785 0
Current children cumulated CPU time: 3584.15 s
Current children cumulated vsize: 4110112 KiB
Current children cumulated memory: 2208916 KiB

[startup+3597.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/254 976121
/proc/meminfo: memFree=120150092/131524600 swapFree=131071996/131071996
[pid=974148] ppid=974145 vsize=4095880 memory=2194008 CPUtime=3584.26 cores=1,3
/proc/974148/stat : 974148 (pbscip) R 974145 974148 973095 0 -1 4194304 417992 0 0 0 358315 111 0 0 20 0 1 0 185136870 4194181120 548685 134679101440 4194304 18693293 140730044730176 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59547648 140730044732419 140730044732518 140730044732518 140730044739534 0
/proc/974148/statm: 1023970 548502 3989 3540 0 1012227 0
Current children cumulated CPU time: 3584.26 s
Current children cumulated vsize: 4095880 KiB
Current children cumulated memory: 2194008 KiB

Child status: 0

Real time (s): 3597.38
CPU time (s): 3584.34
CPU user time (s): 3583.2
CPU system time (s): 1.14216
CPU usage (%): 99.6377
Max. virtual memory (cumulated for all children) (KiB): 4110112
Max. memory (cumulated for all children) (KiB): 2208916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.2
system time used= 1.14216
maximum resident set size= 2208916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419314
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= 45
involuntary context switches= 2113


# summary of solver processes directly reported to runsolver:
#   pid: 974148
#   total CPU time (s): 3584.34
#   total CPU user time (s): 3583.2
#   total CPU system time (s): 1.14216

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.22598 second user time and 14.6443 second system time

The end

Launcher Data

Begin job on nodeC015 at 2024-07-18 21:09:39
IDJOB=4446165
IDBENCH=155502
IDSOLVER=3059
FILE ID=nodeC015/4446165-1721329766
RUNJOBID= nodeC015-1721328778-973107
SLURM_JOB_ID= 7542690
Free space on /tmp= 889972 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-86.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-4446165-1721329766/watcher-4446165-1721329766 -o /tmp/evaluation-result-4446165-1721329766/solver-4446165-1721329766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973107 --watchdog 3760  pbscip -f HOME/instance-4446165-1721329766.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 3b78757f10307782e0b04e5cada0d1b0
RANDOM SEED=140154675

nodeC015.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		: 3679.379
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.61
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		: 3671.672
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	: 7006.25
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		: 3599.953
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.61
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		: 3666.987
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	: 7006.25
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		: 3679.406
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.61
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		: 3677.291
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	: 7006.25
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		: 3599.838
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.61
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		: 3601.802
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122629880 kB
MemAvailable:   123768056 kB
Buffers:          497640 kB
Cached:          1467536 kB
SwapCached:            0 kB
Active:          1653956 kB
Inactive:        6596208 kB
Active(anon):       1572 kB
Inactive(anon):  6321140 kB
Active(file):    1652384 kB
Inactive(file):   275068 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             25424 kB
Writeback:             0 kB
AnonPages:       6283284 kB
Mapped:           141340 kB
Shmem:             37720 kB
KReclaimable:     100744 kB
Slab:             213476 kB
SReclaimable:     100744 kB
SUnreclaim:       112732 kB
KernelStack:        4108 kB
PageTables:        21336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    6998640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68224 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4028416 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:      291540 kB
DirectMap2M:    38279168 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC015 at 2024-07-18 22:09:36