Trace number 4507779

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 2025-06-13? 3586.61 3597.04

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K72.opb
MD5SUMe64e621864ff5f0b0d30a15b78ec6db8
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.61141
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3960
Total number of constraints4106
Number of constraints which are clauses4034
Number of constraints which are cardinality constraints (but not clauses)72
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint72
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 73
Number of bits of the biggest sum of numbers7
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 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c External libraries: 
0.00/0.00	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00	c   CppAD 20180000.0     Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00	c   AMPL/MP 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c 
0.00/0.00	c reading problem <HOME/instance-4507779-1751194846.opb>
0.00/0.01	c original problem has 3960 variables (3960 bin, 0 int, 0 cont) and 4106 constraints
0.00/0.01	c problem read in 0.012 seconds
0.00/0.01	c problem without objective
0.00/0.02	c presolving:
0.00/0.03	c (round 1, fast)       174 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 749 clqs
0.00/0.03	c (round 2, fast)       434 del vars, 190 del conss, 0 add conss, 60 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 736 clqs
0.00/0.03	c (round 3, fast)       551 del vars, 276 del conss, 0 add conss, 116 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 733 clqs
0.00/0.03	c (round 4, fast)       644 del vars, 346 del conss, 0 add conss, 154 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 744 clqs
0.00/0.03	c (round 5, fast)       701 del vars, 391 del conss, 0 add conss, 176 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 766 clqs
0.00/0.03	c (round 6, fast)       723 del vars, 410 del conss, 0 add conss, 183 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 784 clqs
0.00/0.03	c (round 7, fast)       727 del vars, 414 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 793 clqs
0.00/0.04	c    (0.0s) running MILP presolver
0.10/0.15	c    (0.2s) MILP presolver (10 rounds): 4 aggregations, 119 fixings, 0 bound changes
0.10/0.15	c (round 8, medium)     850 del vars, 414 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 685 clqs
0.10/0.16	c (round 9, fast)       850 del vars, 538 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 691 clqs
0.10/0.16	c (round 10, exhaustive) 850 del vars, 605 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 691 clqs
0.10/0.17	c (round 11, exhaustive) 850 del vars, 605 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 0 chg coeffs, 3501 upgd conss, 0 impls, 691 clqs
0.10/0.19	c (round 12, exhaustive) 888 del vars, 606 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 41 chg coeffs, 3501 upgd conss, 0 impls, 687 clqs
0.10/0.19	c (round 13, fast)       926 del vars, 643 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 41 chg coeffs, 3501 upgd conss, 0 impls, 688 clqs
0.49/0.57	c (round 14, exhaustive) 951 del vars, 644 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 41 chg coeffs, 3501 upgd conss, 0 impls, 23006 clqs
0.49/0.57	c (round 15, fast)       951 del vars, 669 del conss, 0 add conss, 184 chg bounds, 0 chg sides, 81 chg coeffs, 3501 upgd conss, 0 impls, 23015 clqs
0.49/0.58	c (round 16, exhaustive) 951 del vars, 673 del conss, 1 add conss, 184 chg bounds, 0 chg sides, 81 chg coeffs, 3501 upgd conss, 0 impls, 23015 clqs
0.59/0.60	c (round 17, exhaustive) 979 del vars, 674 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 82 chg coeffs, 3501 upgd conss, 0 impls, 23014 clqs
0.59/0.60	c (round 18, fast)       982 del vars, 702 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 127 chg coeffs, 3501 upgd conss, 0 impls, 23020 clqs
0.78/0.81	c (round 19, exhaustive) 1007 del vars, 702 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 127 chg coeffs, 3501 upgd conss, 0 impls, 23056 clqs
0.78/0.81	c (round 20, fast)       1007 del vars, 727 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 155 chg coeffs, 3501 upgd conss, 0 impls, 23056 clqs
0.78/0.85	c (round 21, exhaustive) 1032 del vars, 727 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 155 chg coeffs, 3501 upgd conss, 0 impls, 23067 clqs
0.78/0.85	c (round 22, fast)       1032 del vars, 752 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 187 chg coeffs, 3501 upgd conss, 0 impls, 23068 clqs
0.88/0.96	c    (1.0s) probing: 1000/3343 (29.9%) - 108 fixings, 3 aggregations, 357439 implications, 0 bound changes
1.18/1.25	c (round 23, exhaustive) 1057 del vars, 752 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 187 chg coeffs, 3501 upgd conss, 0 impls, 23089 clqs
1.18/1.25	c (round 24, fast)       1057 del vars, 777 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 234 chg coeffs, 3501 upgd conss, 0 impls, 23100 clqs
1.18/1.27	c (round 25, exhaustive) 1083 del vars, 777 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 235 chg coeffs, 3501 upgd conss, 0 impls, 20736 clqs
1.18/1.27	c (round 26, fast)       1083 del vars, 802 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 273 chg coeffs, 3501 upgd conss, 0 impls, 20738 clqs
1.48/1.58	c    (1.6s) probing: 2000/3343 (59.8%) - 169 fixings, 3 aggregations, 673952 implications, 0 bound changes
1.68/1.73	c (round 27, exhaustive) 1108 del vars, 802 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 276 chg coeffs, 3501 upgd conss, 0 impls, 22943 clqs
1.68/1.73	c (round 28, fast)       1108 del vars, 827 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 315 chg coeffs, 3501 upgd conss, 0 impls, 22943 clqs
2.08/2.18	c    (2.2s) probing: 3000/3343 (89.7%) - 180 fixings, 3 aggregations, 995750 implications, 0 bound changes
2.28/2.35	c    (2.4s) probing cycle finished: starting next cycle
2.38/2.48	c    (2.5s) probing: 184/3157 (5.8%) - 180 fixings, 3 aggregations, 1156553 implications, 0 bound changes
2.38/2.48	c    (2.5s) probing aborted: 1000/1000 successive useless probings
2.38/2.48	c (round 29, exhaustive) 1117 del vars, 827 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 318 chg coeffs, 3501 upgd conss, 0 impls, 23093 clqs
2.38/2.48	c (round 30, fast)       1117 del vars, 835 del conss, 2 add conss, 184 chg bounds, 0 chg sides, 326 chg coeffs, 3501 upgd conss, 0 impls, 23093 clqs
2.88/2.98	c    (3.0s) probing: 1000/3157 (31.7%) - 182 fixings, 3 aggregations, 1421260 implications, 0 bound changes
3.09/3.10	c    (3.1s) probing: 1210/3157 (38.3%) - 182 fixings, 3 aggregations, 1491405 implications, 0 bound changes
3.09/3.10	c    (3.1s) probing aborted: 1000/1000 successive useless probings
3.09/3.11	c    (3.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.09/3.11	c    (3.1s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.90) (symcode time: 0.00)
3.09/3.12	c dynamic symmetry handling statistics:
3.09/3.12	c    orbitopal reduction:       no components
3.09/3.12	c    orbital reduction:         no components
3.09/3.12	c    lexicographic reduction:    3 permutations with support sizes 318, 124, 118
3.09/3.12	c handled 3 out of 3 symmetry components
3.09/3.12	c presolving (31 rounds: 31 fast, 14 medium, 13 exhaustive):
3.09/3.12	c  1119 deleted vars, 835 deleted constraints, 2 added constraints, 184 tightened bounds, 0 added holes, 0 changed sides, 328 changed coefficients
3.09/3.12	c  0 implications, 23071 cliques
3.09/3.12	c presolved problem has 3155 variables (3155 bin, 0 int, 0 cont) and 3273 constraints
3.09/3.12	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
3.09/3.12	c     667 constraints of type <setppc>
3.09/3.12	c    2606 constraints of type <logicor>
3.09/3.12	c transformed objective value is always integral (scale: 1)
3.09/3.12	c Presolving Time: 3.10
3.09/3.12	c 
3.09/3.12	c - non default parameters ----------------------------------------------------------------------
3.09/3.12	c 
3.09/3.12	c # SCIP version 10.0.0
3.09/3.12	c 
3.09/3.12	c # maximal time in seconds to run
3.09/3.12	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.09/3.12	c limits/time = 3596.998379
3.09/3.12	c 
3.09/3.12	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.09/3.12	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.09/3.12	c limits/memory = 27900
3.09/3.12	c 
3.09/3.12	c # belongs reading time to solving time?
3.09/3.12	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.09/3.12	c timing/reading = TRUE
3.09/3.12	c 
3.09/3.12	c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
3.09/3.12	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
3.09/3.12	c reading/opbreader/maxintsize = 47
3.09/3.12	c 
3.09/3.12	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
3.09/3.12	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
3.09/3.12	c propagating/genvbounds/timingmask = 0
3.09/3.12	c 
3.09/3.12	c -----------------------------------------------------------------------------------------------
3.09/3.12	c 
5.08/5.18	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
5.08/5.18	c   5.2s|     1 |     0 | 10401 |     - |    73M |   0 |3155 |3352 |3271 |   0 |  0 |  80 |   0 | 0.000000e+00 |      --      |    Inf | unknown
19.13/19.21	c  19.2s|     1 |     0 | 64161 |     - |    79M |   0 |3155 |3557 |3288 |  17 |  1 |  85 |   0 | 0.000000e+00 |      --      |    Inf | unknown
20.03/20.14	c  20.1s|     1 |     0 | 67046 |     - |    81M |   0 |3155 |3561 |3297 |  26 |  2 |  89 |   0 | 0.000000e+00 |      --      |    Inf | unknown
20.53/20.60	c  20.6s|     1 |     0 | 67970 |     - |    82M |   0 |3155 |3563 |3303 |  32 |  3 |  91 |   0 | 0.000000e+00 |      --      |    Inf | unknown
21.32/21.43	c  21.4s|     1 |     0 | 70209 |     - |    83M |   0 |3155 |3555 |3315 |  44 |  4 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
22.12/22.28	c  22.3s|     1 |     0 | 72346 |     - |    86M |   0 |3155 |3557 |3327 |  56 |  5 |  97 |   0 | 0.000000e+00 |      --      |    Inf | unknown
22.82/23.00	c  23.0s|     1 |     0 | 73853 |     - |    87M |   0 |3155 |3560 |3340 |  69 |  6 | 100 |   0 | 0.000000e+00 |      --      |    Inf | unknown
23.82/24.00	c  24.0s|     1 |     0 | 76407 |     - |    87M |   0 |3155 |3560 |3351 |  80 |  7 | 102 |   0 | 0.000000e+00 |      --      |    Inf | unknown
25.11/25.27	c  25.3s|     1 |     0 | 80010 |     - |    88M |   0 |3155 |3564 |3371 | 100 |  8 | 106 |   0 | 0.000000e+00 |      --      |    Inf | unknown
26.11/26.24	c  26.2s|     1 |     0 | 82289 |     - |    89M |   0 |3155 |3574 |3381 | 110 |  9 | 116 |   0 | 0.000000e+00 |      --      |    Inf | unknown
27.30/27.40	c  27.4s|     1 |     0 | 85333 |     - |    89M |   0 |3155 |3577 |3392 | 121 | 10 | 122 |   0 | 0.000000e+00 |      --      |    Inf | unknown
28.70/28.87	c  28.9s|     1 |     0 | 89938 |     - |    89M |   0 |3155 |3579 |3405 | 134 | 11 | 128 |   0 | 0.000000e+00 |      --      |    Inf | unknown
39.46/39.61	c  39.6s|     1 |     2 |115982 |     - |    90M |   0 |3155 |3571 |3405 | 134 | 11 | 136 |  11 | 0.000000e+00 |      --      |    Inf | unknown
208.03/208.72	c   209s|   100 |    23 |720398 |6368.3 |    98M |  19 |3155 |3701 |3346 | 222 |  0 | 299 |  11 | 0.000000e+00 |      --      |    Inf |  44.74%
244.92/245.70	c   246s|   200 |    21 |881641 |3978.4 |    99M |  36 |3155 |3695 |3348 | 230 |  0 | 316 |  11 | 0.000000e+00 |      --      |    Inf |  44.81%
273.02/273.94	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
273.02/273.94	c   274s|   300 |    27 |  1002k|3053.2 |   101M |  36 |3155 |3727 |3341 | 238 |  1 | 361 |  11 | 0.000000e+00 |      --      |    Inf |  45.64%
303.23/304.23	c   304s|   400 |    27 |  1131k|2609.8 |   103M |  40 |3155 |3751 |3350 | 309 |  0 | 400 |  11 | 0.000000e+00 |      --      |    Inf |  46.40%
324.47/325.59	c   326s|   500 |    27 |  1230k|2285.4 |   107M |  57 |3155 |3806 |3350 | 317 |  1 | 472 |  11 | 0.000000e+00 |      --      |    Inf |  46.40%
371.02/372.29	c   372s|   600 |    27 |  1425k|2228.9 |   109M |  57 |3155 |3828 |3354 | 382 |  0 | 531 |  11 | 0.000000e+00 |      --      |    Inf |  46.46%
394.16/395.40	c   395s|   700 |    27 |  1532k|2064.0 |   111M |  59 |3155 |3868 |3349 | 406 |  1 | 594 |  11 | 0.000000e+00 |      --      |    Inf |  46.47%
416.51/417.80	c   418s|   800 |    27 |  1636k|1935.9 |   112M |  59 |3155 |3926 |3353 | 434 |  0 | 664 |  11 | 0.000000e+00 |      --      |    Inf |  46.47%
440.95/442.34	c   442s|   900 |    27 |  1744k|1840.3 |   113M |  59 |3155 |3939 |3345 | 481 |  1 | 728 |  11 | 0.000000e+00 |      --      |    Inf |  49.37%
464.88/466.31	c   466s|  1000 |    27 |  1850k|1762.0 |   114M |  59 |3155 |3943 |3351 | 493 |  1 | 772 |  11 | 0.000000e+00 |      --      |    Inf |  49.44%
488.92/490.46	c   490s|  1100 |    25 |  1961k|1703.3 |   115M |  66 |3155 |3954 |3360 | 536 |  1 | 816 |  11 | 0.000000e+00 |      --      |    Inf |  50.22%
520.93/522.51	c   523s|  1200 |    27 |  2109k|1684.2 |   118M |  66 |3155 |3986 |   0 | 601 |  0 | 855 |  11 | 0.000000e+00 |      --      |    Inf |  50.41%
545.57/547.28	c   547s|  1300 |    27 |  2226k|1644.9 |   118M |  66 |3155 |4047 |3371 | 623 |  1 | 918 |  11 | 0.000000e+00 |      --      |    Inf |  50.41%
580.37/582.15	c   582s|  1400 |    27 |  2389k|1643.9 |   119M |  82 |3155 |4082 |3373 | 629 |  1 | 956 |  11 | 0.000000e+00 |      --      |    Inf |  50.41%
594.93/596.79	c   597s|  1500 |    25 |  2458k|1580.4 |   119M | 112 |3155 |4153 |3347 | 648 |  0 |1072 |  11 | 0.000000e+00 |      --      |    Inf |  51.20%
632.04/633.93	c   634s|  1600 |    27 |  2620k|1582.8 |   120M | 112 |3155 |4062 |3357 | 705 |  1 |1129 |  11 | 0.000000e+00 |      --      |    Inf |  51.71%
652.98/654.96	c   655s|  1700 |    31 |  2712k|1543.6 |   120M | 112 |3155 |4087 |3346 | 761 |  1 |1189 |  11 | 0.000000e+00 |      --      |    Inf |  51.73%
684.20/686.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
684.20/686.22	c   686s|  1800 |    29 |  2851k|1534.8 |   120M | 112 |3155 |4152 |3366 | 788 |  0 |1273 |  11 | 0.000000e+00 |      --      |    Inf |  51.76%
714.71/716.81	c   717s|  1900 |    29 |  2989k|1527.1 |   121M | 112 |3155 |4183 |3366 | 797 |  1 |1310 |  11 | 0.000000e+00 |      --      |    Inf |  51.76%
733.06/735.26	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
733.06/735.26	c (run 1, node 1975) performing user restart
733.06/735.26	c 
733.06/735.26	c (restart) converted 60 cuts from the global cut pool into linear constraints
733.06/735.26	c 
733.06/735.27	c presolving:
733.06/735.28	c (round 1, fast)       0 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 23071 clqs
733.06/735.29	c (round 2, exhaustive) 0 del vars, 17 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 2 chg coeffs, 0 upgd conss, 0 impls, 23071 clqs
733.06/735.29	c (round 3, exhaustive) 0 del vars, 17 del conss, 0 add conss, 0 chg bounds, 6 chg sides, 3 chg coeffs, 229 upgd conss, 0 impls, 23071 clqs
733.16/735.30	c (round 4, medium)     0 del vars, 25 del conss, 10 add conss, 0 chg bounds, 33 chg sides, 43 chg coeffs, 229 upgd conss, 0 impls, 23071 clqs
733.16/735.30	c (round 5, exhaustive) 0 del vars, 37 del conss, 10 add conss, 0 chg bounds, 33 chg sides, 78 chg coeffs, 229 upgd conss, 0 impls, 23071 clqs
733.26/735.42	c (round 6, exhaustive) 0 del vars, 125 del conss, 10 add conss, 0 chg bounds, 33 chg sides, 2276 chg coeffs, 229 upgd conss, 0 impls, 23071 clqs
733.36/735.54	c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
733.36/735.54	c  0 deleted vars, 125 deleted constraints, 10 added constraints, 0 tightened bounds, 0 added holes, 33 changed sides, 2344 changed coefficients
733.36/735.54	c  0 implications, 23071 cliques
733.36/735.54	c presolved problem has 3155 variables (3155 bin, 0 int, 0 cont) and 4133 constraints
733.36/735.54	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
733.36/735.54	c      41 constraints of type <knapsack>
733.36/735.54	c     807 constraints of type <setppc>
733.36/735.54	c       1 constraints of type <linear>
733.36/735.54	c    3284 constraints of type <logicor>
733.36/735.54	c transformed objective value is always integral (scale: 1)
733.36/735.54	c Presolving Time: 3.38
733.36/735.54	c 
734.86/737.04	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
734.86/737.04	c   737s|     1 |     0 |  3080k|     - |   124M |   0 |3155 |4192 |3322 |   0 |  0 |1421 |  11 | 0.000000e+00 |      --      |    Inf | unknown
735.66/737.89	c   738s|     1 |     0 |  3082k|     - |   124M |   0 |3155 |4172 |3337 |  15 |  1 |1431 |  11 | 0.000000e+00 |      --      |    Inf | unknown
736.46/738.61	c   739s|     1 |     0 |  3084k|     - |   125M |   0 |3155 |4159 |3353 |  31 |  2 |1435 |  11 | 0.000000e+00 |      --      |    Inf | unknown
737.15/739.33	c   739s|     1 |     0 |  3086k|     - |   125M |   0 |3155 |4158 |3360 |  38 |  3 |1437 |  11 | 0.000000e+00 |      --      |    Inf | unknown
737.96/740.16	c   740s|     1 |     0 |  3088k|     - |   125M |   0 |3155 |4153 |3373 |  51 |  4 |1439 |  11 | 0.000000e+00 |      --      |    Inf | unknown
738.75/740.93	c   741s|     1 |     0 |  3090k|     - |   127M |   0 |3155 |4134 |3381 |  59 |  5 |1442 |  11 | 0.000000e+00 |      --      |    Inf | unknown
739.65/741.81	c   742s|     1 |     0 |  3092k|     - |   127M |   0 |3155 |4116 |3392 |  70 |  6 |1443 |  11 | 0.000000e+00 |      --      |    Inf | unknown
740.64/742.83	c   743s|     1 |     0 |  3095k|     - |   128M |   0 |3155 |4095 |3400 |  78 |  7 |1444 |  11 | 0.000000e+00 |      --      |    Inf | unknown
743.04/745.20	c   745s|     1 |     0 |  3102k|     - |   128M |   0 |3155 |4062 |3410 |  88 |  8 |1449 |  11 | 0.000000e+00 |      --      |    Inf | unknown
743.94/746.13	c   746s|     1 |     0 |  3104k|     - |   128M |   0 |3155 |4027 |3420 |  98 |  9 |1453 |  11 | 0.000000e+00 |      --      |    Inf | unknown
744.84/747.03	c   747s|     1 |     0 |  3107k|     - |   129M |   0 |3155 |4002 |3433 | 111 | 10 |1463 |  11 | 0.000000e+00 |      --      |    Inf | unknown
745.83/748.03	c   748s|     1 |     0 |  3109k|     - |   129M |   0 |3155 |3976 |3441 | 119 | 11 |1466 |  11 | 0.000000e+00 |      --      |    Inf | unknown
758.20/760.43	c   760s|     1 |     2 |  3141k|     - |   129M |   0 |3155 |3929 |3441 | 119 | 11 |1478 |  22 | 0.000000e+00 |      --      |    Inf | unknown
777.85/780.15	c   780s|   100 |    15 |  3227k|1494.8 |   130M |  20 |3155 |3951 |3340 | 139 |  0 |1505 |  22 | 0.000000e+00 |      --      |    Inf | unknown
814.24/816.68	c   817s|   200 |    17 |  3376k|1494.5 |   132M |  20 |3155 |3958 |3345 | 241 |  1 |1549 |  22 | 0.000000e+00 |      --      |    Inf |  12.49%
843.36/845.81	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
843.36/845.81	c   846s|   300 |    17 |  3502k|1484.0 |   132M |  33 |3155 |3993 |3358 | 258 |  1 |1604 |  22 | 0.000000e+00 |      --      |    Inf |  12.52%
878.36/880.96	c   881s|   400 |    17 |  3656k|1486.3 |   132M |  40 |3155 |4002 |3340 | 280 |  1 |1638 |  22 | 0.000000e+00 |      --      |    Inf |  12.58%
902.10/904.73	c   905s|   500 |    21 |  3757k|1467.1 |   133M |  40 |3155 |4012 |3337 | 333 |  0 |1674 |  22 | 0.000000e+00 |      --      |    Inf |  12.74%
916.26/918.96	c   919s|   600 |    23 |  3821k|1435.1 |   133M |  40 |3155 |4033 |3346 | 373 |  0 |1708 |  22 | 0.000000e+00 |      --      |    Inf |  12.77%
924.94/927.63	c   928s|   700 |    21 |  3864k|1397.7 |   133M |  40 |3155 |4067 |   0 | 377 |  0 |1757 |  22 | 0.000000e+00 |      --      |    Inf |  12.78%
938.90/941.67	c   942s|   800 |    24 |  3931k|1371.4 |   133M |  43 |3155 |4085 |3341 | 418 |  0 |1816 |  22 | 0.000000e+00 |      --      |    Inf |  12.82%
953.06/955.87	c   956s|   900 |    24 |  4001k|1347.8 |   134M |  43 |3155 |4140 |3342 | 426 |  0 |1884 |  22 | 0.000000e+00 |      --      |    Inf |  12.84%
969.61/972.47	c   972s|  1000 |    28 |  4078k|1328.6 |   136M |  43 |3155 |4178 |3343 | 482 |  1 |1941 |  22 | 0.000000e+00 |      --      |    Inf |  12.91%
983.18/986.10	c   986s|  1100 |    28 |  4146k|1307.3 |   137M |  43 |3155 |4182 |3353 | 498 |  1 |1970 |  22 | 0.000000e+00 |      --      |    Inf |  12.95%
996.94/999.83	c  1000s|  1200 |    28 |  4214k|1287.7 |   137M |  67 |3155 |4195 |3361 | 511 |  0 |1987 |  22 | 0.000000e+00 |      --      |    Inf |  12.95%
1014.39/1017.37	c  1017s|  1300 |    36 |  4296k|1273.5 |   139M |  69 |3155 |4228 |   0 | 547 |  0 |2052 |  22 | 0.000000e+00 |      --      |    Inf |  13.04%
1027.16/1030.19	c  1030s|  1400 |    32 |  4359k|1254.2 |   139M |  69 |3155 |4228 |3342 | 554 |  1 |2105 |  22 | 0.000000e+00 |      --      |    Inf |  13.05%
1042.62/1045.60	c  1046s|  1500 |    31 |  4432k|1239.1 |   140M |  69 |3155 |4226 |3344 | 595 |  0 |2155 |  22 | 0.000000e+00 |      --      |    Inf |  13.08%
1059.47/1062.51	c  1063s|  1600 |    33 |  4512k|1227.0 |   140M |  69 |3155 |4274 |3340 | 605 |  1 |2205 |  22 | 0.000000e+00 |      --      |    Inf |  13.10%
1075.53/1078.64	c  1079s|  1700 |    31 |  4590k|1214.8 |   140M |  69 |3155 |4303 |3369 | 612 |  1 |2251 |  22 | 0.000000e+00 |      --      |    Inf |  13.11%
1094.08/1097.24	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1094.08/1097.24	c  1097s|  1800 |    29 |  4680k|1206.5 |   140M |  75 |3155 |4308 |3348 | 660 |  0 |2282 |  22 | 0.000000e+00 |      --      |    Inf |  13.20%
1107.94/1111.16	c  1111s|  1900 |    29 |  4748k|1193.0 |   141M |  75 |3155 |4344 |3355 | 675 |  0 |2325 |  22 | 0.000000e+00 |      --      |    Inf |  13.21%
1120.81/1124.00	c  1124s|  2000 |    29 |  4810k|1178.4 |   141M |  75 |3155 |4382 |3355 | 694 |  1 |2376 |  22 | 0.000000e+00 |      --      |    Inf |  13.21%
1131.67/1134.96	c  1135s|  2100 |    29 |  4864k|1162.7 |   141M |  75 |3155 |4439 |3357 | 699 |  1 |2434 |  22 | 0.000000e+00 |      --      |    Inf |  13.21%
1144.94/1148.24	c  1148s|  2200 |    30 |  4928k|1150.2 |   141M |  75 |3155 |4477 |3339 | 713 |  2 |2495 |  22 | 0.000000e+00 |      --      |    Inf |  13.22%
1156.31/1159.61	c  1160s|  2300 |    30 |  4983k|1136.3 |   142M |  75 |3155 |4531 |3334 | 722 |  0 |2563 |  22 | 0.000000e+00 |      --      |    Inf |  13.22%
1172.96/1176.33	c  1176s|  2400 |    36 |  5062k|1128.4 |   142M |  75 |3155 |4503 |3340 | 771 |  1 |2604 |  22 | 0.000000e+00 |      --      |    Inf |  13.23%
1186.13/1189.58	c  1190s|  2500 |    35 |  5126k|1117.3 |   143M |  75 |3155 |4509 |3349 | 785 |  0 |2657 |  22 | 0.000000e+00 |      --      |    Inf |  13.23%
1196.60/1200.09	c  1200s|  2600 |    38 |  5179k|1104.4 |   143M |  75 |3155 |4541 |3349 | 799 |  1 |2729 |  22 | 0.000000e+00 |      --      |    Inf |  13.23%
1204.68/1208.16	c  1208s|  2700 |    38 |  5220k|1089.6 |   143M |  75 |3155 |4591 |3349 | 810 |  1 |2802 |  22 | 0.000000e+00 |      --      |    Inf |  13.24%
1211.06/1214.57	c  1215s|  2800 |    36 |  5253k|1073.7 |   143M |  75 |3155 |4586 |3350 | 821 |  1 |2852 |  22 | 0.000000e+00 |      --      |    Inf |  13.24%
1222.23/1225.71	c  1226s|  2900 |    44 |  5307k|1062.7 |   143M |  75 |3155 |4518 |3352 | 846 |  0 |2915 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1228.52/1232.05	c  1232s|  3000 |    44 |  5341k|1048.3 |   144M |  75 |3155 |4569 |3355 | 853 |  0 |2973 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1236.29/1239.80	c  1240s|  3100 |    40 |  5383k|1035.9 |   144M |  75 |3155 |4535 |3350 | 869 |  2 |2991 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1241.18/1244.73	c  1245s|  3200 |    42 |  5410k|1021.1 |   144M |  75 |3155 |4625 |3350 | 873 |  1 |3095 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1246.26/1249.85	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1246.26/1249.85	c  1250s|  3300 |    44 |  5437k|1006.9 |   144M |  75 |3155 |4705 |3351 | 887 |  1 |3205 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1251.35/1254.91	c  1255s|  3400 |    44 |  5465k| 993.2 |   144M |  75 |3155 |4773 |3352 | 895 |  1 |3293 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1257.13/1260.76	c  1261s|  3500 |    42 |  5496k| 980.8 |   144M |  75 |3155 |4818 |3351 | 905 |  0 |3384 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1262.92/1266.57	c  1267s|  3600 |    43 |  5526k| 968.6 |   145M |  75 |3155 |4844 |3353 | 936 |  0 |3449 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1269.00/1272.66	c  1273s|  3700 |    43 |  5558k| 957.2 |   145M |  75 |3155 |4884 |3351 | 968 |  1 |3519 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1275.08/1278.71	c  1279s|  3800 |    44 |  5590k| 946.2 |   145M |  75 |3155 |4925 |3350 | 979 |  1 |3627 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1280.77/1284.42	c  1284s|  3900 |    42 |  5621k| 935.3 |   145M |  75 |3155 |4985 |3352 |1001 |  0 |3728 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1286.46/1290.17	c  1290s|  4000 |    44 |  5652k| 924.8 |   145M |  75 |3155 |4933 |3348 |1022 |  1 |3810 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1291.84/1295.58	c  1296s|  4100 |    42 |  5681k| 914.4 |   146M |  75 |3155 |4944 |3352 |1033 |  0 |3899 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1297.33/1301.06	c  1301s|  4200 |    42 |  5711k| 904.4 |   146M |  75 |3155 |4963 |3350 |1038 |  1 |3962 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1303.91/1307.69	c  1308s|  4300 |    44 |  5746k| 895.6 |   146M |  75 |3155 |4935 |   0 |1070 |  0 |4061 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1309.40/1313.15	c  1313s|  4400 |    42 |  5776k| 886.2 |   146M |  75 |3155 |4994 |3357 |1088 |  1 |4148 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1315.47/1319.26	c  1319s|  4500 |    42 |  5809k| 877.6 |   146M |  75 |3155 |4933 |3349 |1117 |  1 |4180 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1321.06/1324.84	c  1325s|  4600 |    40 |  5839k| 868.9 |   146M |  75 |3155 |4946 |3349 |1141 |  1 |4228 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1328.34/1332.13	c  1332s|  4700 |    44 |  5878k| 861.7 |   146M |  75 |3155 |4962 |3348 |1184 |  0 |4289 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1334.62/1338.44	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1334.62/1338.44	c  1338s|  4800 |    46 |  5912k| 854.0 |   146M |  75 |3155 |4949 |3348 |1188 |  0 |4383 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1341.01/1344.81	c  1345s|  4900 |    45 |  5947k| 846.6 |   146M |  75 |3155 |4993 |3348 |1194 |  0 |4494 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1345.59/1349.42	c  1349s|  5000 |    49 |  5972k| 838.1 |   146M |  75 |3155 |5001 |3350 |1201 |  1 |4674 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1350.68/1354.56	c  1355s|  5100 |    46 |  6000k| 830.3 |   147M |  75 |3155 |4975 |3349 |1206 |  0 |4803 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1357.46/1361.33	c  1361s|  5200 |    42 |  6036k| 823.7 |   147M |  75 |3155 |5013 |3347 |1206 |  0 |4965 |  22 | 0.000000e+00 |      --      |    Inf |  13.28%
1363.74/1367.60	c  1368s|  5300 |    44 |  6070k| 817.0 |   147M |  75 |3155 |4891 |3347 |1215 |  0 |5063 |  22 | 0.000000e+00 |      --      |    Inf |  13.29%
1369.13/1373.03	c  1373s|  5400 |    45 |  6099k| 809.8 |   147M |  75 |3155 |5025 |3349 |1228 |  0 |5244 |  22 | 0.000000e+00 |      --      |    Inf |  13.29%
1375.41/1379.36	c  1379s|  5500 |    40 |  6132k| 803.5 |   147M |  75 |3155 |4971 |   0 |1242 |  0 |5356 |  22 | 0.000000e+00 |      --      |    Inf |  13.29%
1382.20/1386.15	c  1386s|  5600 |    40 |  6168k| 797.6 |   147M |  75 |3155 |4954 |3346 |1260 |  0 |5452 |  22 | 0.000000e+00 |      --      |    Inf |  13.29%
1390.67/1394.68	c  1395s|  5700 |    39 |  6213k| 793.0 |   147M |  75 |3155 |4826 |3350 |1274 |  2 |5555 |  22 | 0.000000e+00 |      --      |    Inf |  13.29%
1397.35/1401.32	c  1401s|  5800 |    41 |  6248k| 787.4 |   147M |  75 |3155 |4852 |3347 |1279 |  1 |5607 |  22 | 0.000000e+00 |      --      |    Inf |  13.29%
1404.23/1408.26	c  1408s|  5900 |    37 |  6286k| 782.2 |   148M |  75 |3155 |4830 |3343 |1294 |  0 |5680 |  22 | 0.000000e+00 |      --      |    Inf |  13.30%
1410.82/1414.87	c  1415s|  6000 |    41 |  6321k| 776.8 |   148M |  75 |3155 |4892 |3351 |1314 |  1 |5822 |  22 | 0.000000e+00 |      --      |    Inf |  13.30%
1417.70/1421.77	c  1422s|  6100 |    41 |  6359k| 771.8 |   148M |  75 |3155 |4916 |   0 |1317 |  0 |5903 |  22 | 0.000000e+00 |      --      |    Inf |  13.30%
1425.38/1429.42	c  1429s|  6200 |    39 |  6399k| 767.3 |   148M |  75 |3155 |4892 |3350 |1323 |  2 |5980 |  22 | 0.000000e+00 |      --      |    Inf |  13.30%
1433.75/1437.80	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1433.75/1437.80	c  1438s|  6300 |    39 |  6442k| 763.3 |   148M |  75 |3155 |4920 |3347 |1340 |  0 |6024 |  22 | 0.000000e+00 |      --      |    Inf |  13.30%
1442.43/1446.59	c  1447s|  6400 |    37 |  6487k| 759.5 |   148M |  75 |3155 |4949 |3344 |1362 |  1 |6058 |  22 | 0.000000e+00 |      --      |    Inf |  13.30%
1448.92/1453.09	c  1453s|  6500 |    41 |  6520k| 754.5 |   148M |  75 |3155 |4894 |3347 |1372 |  1 |6151 |  22 | 0.000000e+00 |      --      |    Inf |  13.30%
1458.29/1462.48	c  1462s|  6600 |    39 |  6568k| 751.3 |   148M |  75 |3155 |4933 |3350 |1384 |  2 |6244 |  22 | 0.000000e+00 |      --      |    Inf |  13.30%
1466.36/1470.54	c  1471s|  6700 |    39 |  6611k| 747.5 |   148M |  75 |3155 |4963 |3350 |1397 |  0 |6342 |  22 | 0.000000e+00 |      --      |    Inf |  13.30%
1474.44/1478.61	c  1479s|  6800 |    39 |  6653k| 743.7 |   149M |  75 |3155 |5029 |3353 |1408 |  0 |6419 |  22 | 0.000000e+00 |      --      |    Inf |  13.30%
1480.83/1485.04	c  1485s|  6900 |    35 |  6687k| 739.2 |   149M |  75 |3155 |5051 |3353 |1413 |  0 |6475 |  22 | 0.000000e+00 |      --      |    Inf |  13.30%
1493.99/1498.26	c  1498s|  7000 |    39 |  6751k| 738.1 |   150M |  75 |3155 |5003 |3346 |1496 |  1 |6511 |  22 | 0.000000e+00 |      --      |    Inf |  13.40%
1502.97/1507.29	c  1507s|  7100 |    38 |  6798k| 735.1 |   151M |  75 |3155 |5020 |3347 |1508 |  0 |6628 |  22 | 0.000000e+00 |      --      |    Inf |  13.40%
1509.45/1513.71	c  1514s|  7200 |    42 |  6830k| 730.7 |   151M |  75 |3155 |4954 |3347 |1529 |  0 |6728 |  22 | 0.000000e+00 |      --      |    Inf |  13.40%
1518.02/1522.35	c  1522s|  7300 |    43 |  6873k| 727.4 |   152M |  75 |3155 |4951 |3347 |1552 |  1 |6765 |  22 | 0.000000e+00 |      --      |    Inf |  13.40%
1526.00/1530.38	c  1530s|  7400 |    41 |  6914k| 724.0 |   152M |  75 |3155 |4997 |3347 |1561 |  1 |6890 |  22 | 0.000000e+00 |      --      |    Inf |  13.40%
1536.08/1540.45	c  1540s|  7500 |    43 |  6964k| 721.7 |   153M |  75 |3155 |5034 |3351 |1584 |  1 |6946 |  22 | 0.000000e+00 |      --      |    Inf |  13.40%
1547.34/1551.74	c  1552s|  7600 |    40 |  7019k| 719.9 |   153M |  75 |3155 |5054 |3351 |1603 |  0 |6994 |  22 | 0.000000e+00 |      --      |    Inf |  13.40%
1560.41/1564.82	c  1565s|  7700 |    40 |  7084k| 719.2 |   153M |  75 |3155 |5045 |3349 |1624 |  0 |7032 |  22 | 0.000000e+00 |      --      |    Inf |  13.40%
1571.38/1575.88	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1571.38/1575.88	c  1576s|  7800 |    36 |  7138k| 717.3 |   153M |  75 |3155 |4989 |3340 |1648 |  0 |7095 |  22 | 0.000000e+00 |      --      |    Inf |  13.43%
1581.25/1585.73	c  1586s|  7900 |    36 |  7188k| 715.1 |   153M |  75 |3155 |5011 |3349 |1660 |  0 |7149 |  22 | 0.000000e+00 |      --      |    Inf |  13.45%
1593.92/1598.44	c  1598s|  8000 |    42 |  7248k| 714.0 |   154M |  75 |3155 |4996 |3339 |1685 |  0 |7223 |  22 | 0.000000e+00 |      --      |    Inf |  13.47%
1603.20/1607.72	c  1608s|  8100 |    44 |  7294k| 711.5 |   154M |  75 |3155 |5074 |3338 |1685 |  1 |7316 |  22 | 0.000000e+00 |      --      |    Inf |  13.48%
1612.08/1616.69	c  1617s|  8200 |    41 |  7339k| 708.8 |   155M |  75 |3155 |5134 |3338 |1686 |  0 |7394 |  22 | 0.000000e+00 |      --      |    Inf |  13.48%
1622.75/1627.32	c  1627s|  8300 |    40 |  7390k| 707.0 |   155M |  75 |3155 |5168 |3338 |1705 |  1 |7465 |  22 | 0.000000e+00 |      --      |    Inf |  13.48%
1632.02/1636.60	c  1637s|  8400 |    44 |  7437k| 704.6 |   155M |  75 |3155 |5211 |3339 |1714 |  1 |7522 |  22 | 0.000000e+00 |      --      |    Inf |  13.48%
1641.50/1646.19	c  1646s|  8500 |    42 |  7485k| 702.5 |   155M |  75 |3155 |5080 |3354 |1731 |  0 |7585 |  22 | 0.000000e+00 |      --      |    Inf |  13.48%
1652.37/1657.03	c  1657s|  8600 |    42 |  7538k| 700.9 |   155M |  75 |3155 |5116 |3341 |1740 |  0 |7644 |  22 | 0.000000e+00 |      --      |    Inf |  13.49%
1663.94/1668.65	c  1669s|  8700 |    43 |  7596k| 699.7 |   155M |  75 |3155 |5166 |3342 |1750 |  1 |7700 |  22 | 0.000000e+00 |      --      |    Inf |  13.49%
1674.11/1678.88	c  1679s|  8800 |    40 |  7645k| 697.8 |   155M |  75 |3155 |5213 |3340 |1761 |  0 |7758 |  22 | 0.000000e+00 |      --      |    Inf |  13.49%
1685.08/1689.84	c  1690s|  8900 |    43 |  7700k| 696.4 |   155M |  75 |3155 |5260 |3340 |1765 |  1 |7821 |  22 | 0.000000e+00 |      --      |    Inf |  13.49%
1696.05/1700.87	c  1701s|  9000 |    41 |  7754k| 695.0 |   155M |  75 |3155 |5311 |3338 |1766 |  1 |7876 |  22 | 0.000000e+00 |      --      |    Inf |  13.49%
1706.12/1710.90	c  1711s|  9100 |    39 |  7804k| 693.3 |   156M |  75 |3155 |5354 |3340 |1769 |  0 |7930 |  22 | 0.000000e+00 |      --      |    Inf |  13.49%
1718.09/1722.94	c  1723s|  9200 |    38 |  7863k| 692.4 |   156M |  75 |3155 |5399 |3340 |1770 |  0 |7983 |  22 | 0.000000e+00 |      --      |    Inf |  13.49%
1732.35/1737.24	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1732.35/1737.24	c  1737s|  9300 |    38 |  7933k| 692.4 |   156M |  75 |3155 |5346 |3343 |1784 |  1 |8034 |  22 | 0.000000e+00 |      --      |    Inf |  13.53%
1750.21/1755.12	c  1755s|  9400 |    38 |  8019k| 693.9 |   156M |  75 |3155 |5112 |3336 |1810 |  0 |8074 |  22 | 0.000000e+00 |      --      |    Inf |  13.74%
1758.28/1763.22	c  1763s|  9500 |    38 |  8059k| 691.3 |   157M |  75 |3155 |5112 |3336 |1819 |  1 |8133 |  22 | 0.000000e+00 |      --      |    Inf |  13.74%
1769.55/1774.52	c  1775s|  9600 |    38 |  8113k| 690.0 |   157M |  75 |3155 |4932 |3337 |1835 |  0 |8199 |  22 | 0.000000e+00 |      --      |    Inf |  13.79%
1781.91/1786.93	c  1787s|  9700 |    41 |  8174k| 689.3 |   157M |  75 |3155 |4725 |3336 |1843 |  1 |8252 |  22 | 0.000000e+00 |      --      |    Inf |  13.89%
1796.57/1801.68	c  1802s|  9800 |    41 |  8246k| 689.6 |   157M |  75 |3155 |4679 |3337 |1850 |  0 |8262 |  22 | 0.000000e+00 |      --      |    Inf |  13.91%
1806.34/1811.40	c  1811s|  9900 |    41 |  8293k| 687.7 |   157M |  75 |3155 |4689 |3336 |1863 |  0 |8308 |  22 | 0.000000e+00 |      --      |    Inf |  13.92%
1817.31/1822.41	c  1822s| 10000 |    41 |  8347k| 686.5 |   157M |  75 |3155 |4699 |3339 |1874 |  0 |8352 |  22 | 0.000000e+00 |      --      |    Inf |  13.93%
1828.38/1833.55	c  1834s| 10100 |    43 |  8400k| 685.2 |   157M |  75 |3155 |4740 |3339 |1877 |  1 |8403 |  22 | 0.000000e+00 |      --      |    Inf |  13.93%
1838.46/1843.65	c  1844s| 10200 |    42 |  8449k| 683.6 |   158M |  75 |3155 |4754 |3336 |1884 |  1 |8456 |  22 | 0.000000e+00 |      --      |    Inf |  13.94%
1848.73/1853.90	c  1854s| 10300 |    42 |  8499k| 682.1 |   158M |  75 |3155 |4745 |3336 |1898 |  1 |8496 |  22 | 0.000000e+00 |      --      |    Inf |  13.94%
1865.68/1870.91	c  1871s| 10400 |    41 |  8581k| 683.2 |   158M |  75 |3155 |4726 |3337 |1912 |  1 |8534 |  22 | 0.000000e+00 |      --      |    Inf |  13.94%
1878.35/1883.67	c  1884s| 10500 |    39 |  8643k| 682.7 |   158M |  75 |3155 |4679 |3341 |1924 |  0 |8583 |  22 | 0.000000e+00 |      --      |    Inf |  13.95%
1894.71/1900.06	c  1900s| 10600 |    41 |  8721k| 683.5 |   158M |  75 |3155 |4688 |3339 |1940 |  0 |8628 |  22 | 0.000000e+00 |      --      |    Inf |  13.95%
1908.07/1913.43	c  1913s| 10700 |    41 |  8787k| 683.3 |   158M |  75 |3155 |4760 |3339 |1944 |  1 |8703 |  22 | 0.000000e+00 |      --      |    Inf |  13.95%
1922.03/1927.45	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1922.03/1927.45	c  1927s| 10800 |    41 |  8855k| 683.3 |   158M |  75 |3155 |4798 |3338 |1947 |  1 |8751 |  22 | 0.000000e+00 |      --      |    Inf |  13.95%
1935.10/1940.59	c  1941s| 10900 |    41 |  8920k| 683.0 |   159M |  75 |3155 |4817 |3338 |1950 |  0 |8783 |  22 | 0.000000e+00 |      --      |    Inf |  13.95%
1948.86/1954.34	c  1954s| 11000 |    41 |  8985k| 682.8 |   159M |  75 |3155 |4858 |3339 |1953 |  1 |8830 |  22 | 0.000000e+00 |      --      |    Inf |  13.95%
1962.83/1968.37	c  1968s| 11100 |    41 |  9053k| 682.7 |   159M |  75 |3155 |4897 |3340 |1967 |  1 |8890 |  22 | 0.000000e+00 |      --      |    Inf |  13.95%
1978.60/1984.18	c  1984s| 11200 |    41 |  9128k| 683.3 |   159M |  75 |3155 |4910 |3340 |1970 |  1 |8948 |  22 | 0.000000e+00 |      --      |    Inf |  13.95%
1995.25/2000.81	c  2001s| 11300 |    43 |  9205k| 683.9 |   159M |  75 |3155 |4882 |3341 |1993 |  1 |8993 |  22 | 0.000000e+00 |      --      |    Inf |  13.97%
2013.30/2018.95	c  2019s| 11400 |    43 |  9291k| 685.2 |   159M |  75 |3155 |4870 |3339 |2000 |  0 |9043 |  22 | 0.000000e+00 |      --      |    Inf |  13.98%
2027.17/2032.87	c  2033s| 11500 |    43 |  9357k| 685.0 |   160M |  75 |3155 |4872 |3341 |2006 |  1 |9094 |  22 | 0.000000e+00 |      --      |    Inf |  13.99%
2042.13/2047.86	c  2048s| 11600 |    45 |  9428k| 685.2 |   161M |  75 |3155 |4882 |3337 |2033 |  1 |9158 |  22 | 0.000000e+00 |      --      |    Inf |  14.42%
2050.91/2056.60	c  2057s| 11700 |    49 |  9471k| 683.4 |   161M |  75 |3155 |4936 |   0 |2039 |  0 |9227 |  22 | 0.000000e+00 |      --      |    Inf |  14.43%
2064.67/2070.48	c  2070s| 11800 |    48 |  9538k| 683.2 |   161M |  75 |3155 |4893 |3338 |2064 |  2 |9269 |  22 | 0.000000e+00 |      --      |    Inf |  14.47%
2080.43/2086.27	c  2086s| 11900 |    49 |  9612k| 683.7 |   161M |  75 |3155 |4912 |3339 |2084 |  0 |9354 |  22 | 0.000000e+00 |      --      |    Inf |  14.53%
2091.31/2097.14	c  2097s| 12000 |    48 |  9665k| 682.6 |   161M |  75 |3155 |4924 |3345 |2091 |  1 |9434 |  22 | 0.000000e+00 |      --      |    Inf |  14.58%
2106.46/2112.30	c  2112s| 12100 |    46 |  9738k| 682.9 |   161M |  75 |3155 |4932 |3343 |2122 |  1 |9517 |  22 | 0.000000e+00 |      --      |    Inf |  14.68%
2119.92/2125.87	c  2126s| 12200 |    49 |  9802k| 682.6 |   161M |  75 |3155 |4990 |3344 |2151 |  0 |9601 |  22 | 0.000000e+00 |      --      |    Inf |  14.73%
2127.40/2133.30	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2127.40/2133.30	c  2133s| 12300 |    51 |  9839k| 680.4 |   162M |  75 |3155 |5049 |3344 |2166 |  1 |9667 |  22 | 0.000000e+00 |      --      |    Inf |  14.77%
2135.38/2141.30	c  2141s| 12400 |    55 |  9880k| 678.5 |   162M |  75 |3155 |5078 |3355 |2218 |  0 |9718 |  22 | 0.000000e+00 |      --      |    Inf |  14.78%
2141.67/2147.61	c  2148s| 12500 |    55 |  9913k| 676.1 |   162M |  75 |3155 |5105 |3343 |2235 |  1 |9762 |  22 | 0.000000e+00 |      --      |    Inf |  14.78%
2149.25/2155.26	c  2155s| 12600 |    54 |  9951k| 674.1 |   162M |  75 |3155 |5114 |3343 |2244 |  0 |9828 |  22 | 0.000000e+00 |      --      |    Inf |  14.78%
2154.33/2160.36	c  2160s| 12700 |    53 |  9978k| 671.3 |   162M |  75 |3155 |5144 |3344 |2265 |  0 |9869 |  22 | 0.000000e+00 |      --      |    Inf |  14.78%
2160.02/2166.03	c  2166s| 12800 |    53 | 10009k| 668.9 |   162M |  75 |3155 |5173 |3347 |2278 |  2 |9901 |  22 | 0.000000e+00 |      --      |    Inf |  14.78%
2169.79/2175.80	c  2176s| 12900 |    50 | 10058k| 667.7 |   162M |  75 |3155 |5170 |3355 |2302 |  0 |9943 |  22 | 0.000000e+00 |      --      |    Inf |  14.80%
2181.36/2187.46	c  2187s| 13000 |    53 | 10116k| 667.1 |   162M |  75 |3155 |5180 |3350 |2325 |  1 |9989 |  22 | 0.000000e+00 |      --      |    Inf |  14.80%
2189.84/2195.90	c  2196s| 13100 |    53 | 10159k| 665.5 |   163M |  75 |3155 |5173 |3342 |2346 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.81%
2197.72/2203.88	c  2204s| 13200 |    52 | 10200k| 663.8 |   164M |  75 |3155 |5195 |3346 |2356 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.81%
2203.50/2209.61	c  2210s| 13300 |    52 | 10230k| 661.4 |   164M |  75 |3155 |5235 |3345 |2368 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.81%
2210.78/2216.94	c  2217s| 13400 |    52 | 10268k| 659.6 |   164M |  75 |3155 |5243 |3346 |2386 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.81%
2217.57/2223.77	c  2224s| 13500 |    49 | 10303k| 657.7 |   165M |  75 |3155 |5285 |3344 |2396 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.81%
2223.75/2229.99	c  2230s| 13600 |    49 | 10337k| 655.6 |   165M |  75 |3155 |5288 |3342 |2409 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.81%
2232.03/2238.22	c  2238s| 13700 |    47 | 10380k| 654.1 |   165M |  75 |3155 |5277 |3350 |2416 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.82%
2249.18/2255.41	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2249.18/2255.41	c  2255s| 13800 |    47 | 10461k| 655.1 |   165M |  75 |3155 |5148 |3350 |2430 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.85%
2258.96/2265.24	c  2265s| 13900 |    47 | 10510k| 654.1 |   165M |  75 |3155 |5112 |3341 |2441 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.86%
2272.62/2278.97	c  2279s| 14000 |    49 | 10575k| 654.0 |   165M |  75 |3155 |5089 |3346 |2468 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.86%
2288.58/2294.95	c  2295s| 14100 |    47 | 10650k| 654.7 |   165M |  75 |3155 |5130 |3347 |2494 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.86%
2306.84/2313.22	c  2313s| 14200 |    49 | 10736k| 655.9 |   165M |  75 |3155 |5123 |3340 |2531 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.86%
2320.70/2327.15	c  2327s| 14300 |    49 | 10805k| 656.2 |   165M |  75 |3155 |5120 |3348 |2536 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.88%
2330.08/2336.52	c  2337s| 14400 |    49 | 10853k| 655.0 |   166M |  75 |3155 |5140 |3343 |2550 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.88%
2337.46/2343.99	c  2344s| 14500 |    49 | 10892k| 653.4 |   166M |  75 |3155 |5179 |3344 |2557 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.88%
2350.22/2356.74	c  2357s| 14600 |    49 | 10955k| 653.3 |   166M |  75 |3155 |5156 |3350 |2590 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.88%
2364.69/2371.27	c  2371s| 14700 |    50 | 11026k| 653.6 |   167M |  75 |3155 |5158 |3343 |2608 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.88%
2374.16/2380.76	c  2381s| 14800 |    48 | 11074k| 652.6 |   167M |  75 |3155 |5135 |3343 |2612 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.88%
2383.24/2389.84	c  2390s| 14900 |    48 | 11120k| 651.5 |   167M |  75 |3155 |5171 |3343 |2646 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.88%
2392.52/2399.17	c  2399s| 15000 |    48 | 11167k| 650.4 |   167M |  75 |3155 |5175 |3345 |2678 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.88%
2401.99/2408.60	c  2409s| 15100 |    46 | 11215k| 649.4 |   167M |  75 |3155 |5190 |3343 |2695 |  1 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.88%
2423.34/2430.04	c  2430s| 15200 |    48 | 11301k| 650.6 |   167M |  75 |3155 |4945 |3352 |2714 |  0 |  10k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2435.49/2442.24	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2435.49/2442.24	c  2442s| 15300 |    56 | 11358k| 650.2 |   167M |  75 |3155 |4879 |3343 |2724 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2450.95/2457.75	c  2458s| 15400 |    54 | 11430k| 650.6 |   167M |  75 |3155 |4916 |   0 |2764 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2465.50/2472.34	c  2472s| 15500 |    54 | 11497k| 650.7 |   167M |  76 |3155 |4935 |3351 |2782 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2484.94/2491.89	c  2492s| 15600 |    54 | 11590k| 652.3 |   167M |  77 |3155 |4961 |3350 |2802 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2500.49/2507.47	c  2507s| 15700 |    56 | 11663k| 652.7 |   167M |  94 |3155 |4992 |3348 |2809 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2513.74/2520.76	c  2521s| 15800 |    56 | 11727k| 652.6 |   168M |  94 |3155 |5055 |3350 |2815 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2526.50/2533.54	c  2534s| 15900 |    54 | 11789k| 652.5 |   168M |  94 |3155 |5072 |3346 |2833 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2544.54/2551.63	c  2552s| 16000 |    52 | 11873k| 653.5 |   168M |  94 |3155 |5073 |3344 |2863 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2563.09/2570.26	c  2570s| 16100 |    50 | 11961k| 654.7 |   168M |  94 |3155 |5055 |3353 |2872 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2575.35/2582.54	c  2583s| 16200 |    54 | 12019k| 654.3 |   168M |  94 |3155 |5035 |3347 |2889 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2588.40/2595.66	c  2596s| 16300 |    52 | 12080k| 654.1 |   168M |  94 |3155 |5104 |3351 |2927 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2603.26/2610.50	c  2610s| 16400 |    54 | 12149k| 654.3 |   168M |  94 |3155 |5152 |3349 |2985 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2621.40/2628.76	c  2629s| 16500 |    52 | 12233k| 655.3 |   170M |  94 |3155 |5147 |3339 |3023 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2628.97/2636.33	c  2636s| 16600 |    56 | 12270k| 653.8 |   170M |  94 |3155 |5225 |3346 |3050 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.90%
2639.44/2646.86	c  2647s| 16700 |    56 | 12323k| 653.1 |   170M |  94 |3155 |5295 |3340 |3080 |  1 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.91%
2650.71/2658.12	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2650.71/2658.12	c  2658s| 16800 |    58 | 12379k| 652.6 |   170M |  94 |3155 |5327 |3341 |3102 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.91%
2663.46/2670.90	c  2671s| 16900 |    56 | 12442k| 652.5 |   170M |  94 |3155 |5325 |3345 |3121 |  0 |  11k|  22 | 0.000000e+00 |      --      |    Inf |  14.91%
2679.51/2687.05	c  2687s| 17000 |    60 | 12519k| 653.1 |   170M |  94 |3155 |5266 |3342 |3150 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.91%
2690.67/2698.29	c  2698s| 17100 |    56 | 12573k| 652.5 |   170M |  94 |3155 |5315 |3341 |3161 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.91%
2703.93/2711.51	c  2712s| 17200 |    58 | 12636k| 652.4 |   170M |  94 |3155 |5338 |3344 |3175 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.91%
2718.98/2726.68	c  2727s| 17300 |    58 | 12709k| 652.8 |   170M |  94 |3155 |5337 |3346 |3182 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2731.64/2739.30	c  2739s| 17400 |    60 | 12771k| 652.6 |   170M |  94 |3155 |5378 |3346 |3204 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2741.21/2748.90	c  2749s| 17500 |    62 | 12818k| 651.7 |   170M |  94 |3155 |5428 |3347 |3215 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2750.08/2757.81	c  2758s| 17600 |    62 | 12862k| 650.6 |   170M |  94 |3155 |5474 |3347 |3221 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2763.54/2771.35	c  2771s| 17700 |    62 | 12929k| 650.7 |   170M |  94 |3155 |5512 |3346 |3232 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2779.88/2787.75	c  2788s| 17800 |    64 | 13008k| 651.4 |   170M |  94 |3155 |5551 |3350 |3244 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2801.61/2809.57	c  2810s| 17900 |    62 | 13109k| 653.2 |   172M |  94 |3155 |5584 |3357 |3294 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2817.56/2825.52	c  2826s| 18000 |    62 | 13185k| 653.7 |   173M |  94 |3155 |5625 |3348 |3310 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2828.63/2836.68	c  2837s| 18100 |    64 | 13240k| 653.2 |   173M |  94 |3155 |5657 |3349 |3317 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2839.39/2847.44	c  2847s| 18200 |    62 | 13294k| 652.7 |   173M |  94 |3155 |5701 |3350 |3326 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2849.86/2857.97	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2849.86/2857.97	c  2858s| 18300 |    62 | 13346k| 652.0 |   173M |  94 |3155 |5739 |3352 |3337 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2859.63/2867.76	c  2868s| 18400 |    62 | 13395k| 651.2 |   174M |  94 |3155 |5792 |3349 |3341 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2874.28/2882.43	c  2882s| 18500 |    60 | 13465k| 651.5 |   174M |  94 |3155 |5826 |3360 |3372 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2885.34/2893.50	c  2893s| 18600 |    60 | 13520k| 651.0 |   174M |  94 |3155 |5889 |3350 |3380 |  0 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2898.80/2907.04	c  2907s| 18700 |    62 | 13586k| 651.0 |   174M |  94 |3155 |5916 |3351 |3397 |  1 |  12k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2913.95/2922.27	c  2922s| 18800 |    62 | 13659k| 651.4 |   174M |  94 |3155 |5895 |3371 |3442 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2928.30/2936.67	c  2937s| 18900 |    62 | 13728k| 651.6 |   175M |  94 |3155 |5960 |3361 |3462 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2942.36/2950.73	c  2951s| 19000 |    62 | 13796k| 651.7 |   175M |  94 |3155 |6040 |3364 |3480 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2956.51/2964.95	c  2965s| 19100 |    58 | 13864k| 651.8 |   175M |  94 |3155 |6044 |   0 |3516 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2966.48/2974.98	c  2975s| 19200 |    56 | 13913k| 651.1 |   175M |  94 |3155 |5953 |3346 |3551 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2978.44/2986.93	c  2987s| 19300 |    56 | 13971k| 650.7 |   175M |  94 |3155 |5678 |3343 |3573 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.92%
2988.11/2996.67	c  2997s| 19400 |    56 | 14017k| 649.8 |   175M |  94 |3155 |5593 |3349 |3611 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.93%
3000.47/3009.02	c  3009s| 19500 |    56 | 14078k| 649.7 |   176M |  94 |3155 |5497 |3351 |3621 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.93%
3016.32/3024.92	c  3025s| 19600 |    55 | 14152k| 650.1 |   176M |  94 |3155 |5455 |3354 |3639 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.93%
3033.96/3042.60	c  3043s| 19700 |    57 | 14233k| 650.8 |   176M |  94 |3155 |5494 |3345 |3665 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.93%
3046.33/3055.03	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3046.33/3055.03	c  3055s| 19800 |    59 | 14294k| 650.6 |   176M |  94 |3155 |5472 |3342 |3683 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.93%
3058.18/3066.99	c  3067s| 19900 |    60 | 14352k| 650.3 |   176M |  94 |3155 |5545 |3345 |3709 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.93%
3071.34/3080.17	c  3080s| 20000 |    60 | 14416k| 650.3 |   176M |  94 |3155 |5575 |3360 |3712 |  1 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.93%
3087.19/3096.09	c  3096s| 20100 |    63 | 14491k| 650.7 |   176M |  94 |3155 |5361 |3353 |3736 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.98%
3099.65/3108.52	c  3109s| 20200 |    63 | 14550k| 650.4 |   176M |  94 |3155 |5323 |3343 |3756 |  0 |  13k|  22 | 0.000000e+00 |      --      |    Inf |  14.99%
3112.51/3121.41	c  3121s| 20300 |    69 | 14610k| 650.2 |   176M |  94 |3155 |5098 |3337 |3789 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  15.55%
3123.87/3132.89	c  3133s| 20400 |    68 | 14667k| 649.8 |   176M |  94 |3155 |5185 |3340 |3803 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  15.67%
3135.93/3144.90	c  3145s| 20500 |    68 | 14726k| 649.6 |   176M |  94 |3155 |5240 |3339 |3831 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  15.77%
3147.99/3157.06	c  3157s| 20600 |    70 | 14786k| 649.4 |   176M |  94 |3155 |4942 |3342 |3845 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  15.77%
3159.96/3169.10	c  3169s| 20700 |    68 | 14844k| 649.1 |   176M |  94 |3155 |4934 |3343 |3871 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  15.77%
3173.91/3183.04	c  3183s| 20800 |    72 | 14911k| 649.2 |   176M |  94 |3155 |4913 |3348 |3905 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  15.98%
3192.45/3201.61	c  3202s| 20900 |    72 | 14998k| 650.1 |   176M |  94 |3155 |4898 |3347 |3944 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  16.17%
3206.00/3215.22	c  3215s| 21000 |    76 | 15063k| 650.1 |   176M |  94 |3155 |4933 |3352 |3954 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  16.27%
3218.36/3227.66	c  3228s| 21100 |    76 | 15122k| 649.9 |   176M |  94 |3155 |4947 |3351 |3977 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  16.37%
3231.12/3240.40	c  3240s| 21200 |    78 | 15183k| 649.7 |   176M |  94 |3155 |4972 |3354 |3984 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  16.37%
3245.97/3255.34	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3245.97/3255.34	c  3255s| 21300 |    76 | 15254k| 649.9 |   176M |  94 |3155 |4990 |3354 |4016 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  16.37%
3260.03/3269.43	c  3269s| 21400 |    72 | 15320k| 650.0 |   176M |  94 |3155 |5019 |3347 |4044 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  16.37%
3271.99/3281.42	c  3281s| 21500 |    78 | 15378k| 649.7 |   176M |  94 |3155 |5070 |3347 |4057 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  16.42%
3281.26/3290.70	c  3291s| 21600 |    76 | 15425k| 648.9 |   177M |  94 |3155 |5092 |3347 |4063 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  16.43%
3293.12/3302.69	c  3303s| 21700 |    80 | 15483k| 648.7 |   177M |  94 |3155 |5114 |3343 |4072 |  0 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  16.45%
3306.08/3315.66	c  3316s| 21800 |    80 | 15545k| 648.5 |   177M |  94 |3155 |5175 |3343 |4088 |  2 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  16.47%
3318.04/3327.61	c  3328s| 21900 |    80 | 15602k| 648.2 |   177M |  94 |3155 |5211 |3347 |4101 |  1 |  14k|  22 | 0.000000e+00 |      --      |    Inf |  16.48%
3329.60/3339.26	c  3339s| 22000 |    80 | 15657k| 647.8 |   177M |  94 |3155 |5237 |3342 |4134 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  16.57%
3339.67/3349.32	c  3349s| 22100 |    81 | 15707k| 647.2 |   177M |  94 |3155 |5297 |   0 |4154 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  16.61%
3348.74/3358.40	c  3358s| 22200 |    81 | 15754k| 646.4 |   177M |  94 |3155 |5416 |3343 |4156 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  16.61%
3356.61/3366.36	c  3366s| 22300 |    83 | 15797k| 645.5 |   177M |  94 |3155 |5546 |3343 |4156 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  16.61%
3365.98/3375.72	c  3376s| 22400 |    81 | 15846k| 644.9 |   177M |  94 |3155 |5565 |3343 |4156 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  16.62%
3375.26/3385.07	c  3385s| 22500 |    85 | 15895k| 644.3 |   177M |  94 |3155 |5563 |3343 |4158 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  16.62%
3382.73/3392.51	c  3393s| 22600 |    85 | 15933k| 643.2 |   177M |  94 |3155 |5680 |3343 |4161 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  16.63%
3392.89/3402.74	c  3403s| 22700 |    85 | 15985k| 642.7 |   177M |  94 |3155 |5783 |3352 |4178 |  0 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  16.63%
3403.96/3413.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3403.96/3413.83	c  3414s| 22800 |    85 | 16042k| 642.4 |   177M |  94 |3155 |5800 |3342 |4195 |  1 |  15k|  22 | 0.000000e+00 |      --      |    Inf |  16.63%
3413.03/3422.93	c  3423s| 22900 |    85 | 16089k| 641.7 |   177M |  94 |3155 |5901 |3345 |4207 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  16.63%
3422.60/3432.54	c  3433s| 23000 |    85 | 16138k| 641.1 |   177M |  94 |3155 |5966 |3347 |4225 |  0 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  16.63%
3431.07/3441.01	c  3441s| 23100 |    85 | 16181k| 640.3 |   177M |  94 |3155 |6024 |3347 |4247 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  16.63%
3440.44/3450.47	c  3450s| 23200 |    85 | 16229k| 639.6 |   178M |  94 |3155 |6071 |3346 |4268 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  16.63%
3448.91/3458.95	c  3459s| 23300 |    83 | 16272k| 638.8 |   178M |  94 |3155 |6071 |3347 |4292 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  16.63%
3457.68/3467.73	c  3468s| 23400 |    85 | 16317k| 638.1 |   178M |  94 |3155 |6029 |3344 |4316 |  2 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  16.63%
3464.36/3474.44	c  3474s| 23500 |    83 | 16353k| 637.0 |   178M |  94 |3155 |6094 |3344 |4327 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  16.63%
3471.44/3481.52	c  3482s| 23600 |    83 | 16390k| 635.9 |   178M |  94 |3155 |6110 |3345 |4344 |  0 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  16.64%
3478.92/3489.09	c  3489s| 23700 |    85 | 16429k| 635.0 |   178M |  94 |3155 |6210 |3343 |4361 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  16.64%
3485.59/3495.70	c  3496s| 23800 |    83 | 16464k| 633.9 |   178M |  94 |3155 |6322 |3347 |4387 |  0 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  16.64%
3496.16/3506.37	c  3506s| 23900 |    83 | 16518k| 633.5 |   178M |  94 |3155 |6389 |3362 |4433 |  1 |  16k|  22 | 0.000000e+00 |      --      |    Inf |  16.64%
3504.83/3515.06	c  3515s| 24000 |    83 | 16563k| 632.8 |   178M |  94 |3155 |6384 |3345 |4444 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  16.64%
3515.39/3525.64	c  3526s| 24100 |    81 | 16617k| 632.4 |   178M |  94 |3155 |6422 |3355 |4504 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  16.64%
3523.07/3533.39	c  3533s| 24200 |    85 | 16656k| 631.5 |   178M |  94 |3155 |6451 |3363 |4536 |  1 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  16.64%
3532.04/3542.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3532.04/3542.32	c  3542s| 24300 |    83 | 16703k| 630.9 |   178M |  94 |3155 |6477 |3361 |4549 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  16.64%
3540.72/3551.07	c  3551s| 24400 |    85 | 16748k| 630.2 |   178M |  94 |3155 |6499 |3351 |4584 |  1 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  16.64%
3546.89/3557.21	c  3557s| 24500 |    83 | 16780k| 629.0 |   178M |  94 |3155 |6551 |3354 |4601 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  16.64%
3553.87/3564.29	c  3564s| 24600 |    83 | 16816k| 628.0 |   178M |  94 |3155 |6597 |3352 |4619 |  1 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  16.64%
3563.64/3574.08	c  3574s| 24700 |    83 | 16866k| 627.5 |   178M |  94 |3155 |6628 |3346 |4654 |  1 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  16.64%
3572.11/3582.54	c  3583s| 24800 |    80 | 16910k| 626.9 |   179M |  94 |3155 |6625 |3356 |4689 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  16.64%
3581.58/3592.09	c  3592s| 24900 |    80 | 16959k| 626.3 |   179M |  94 |3155 |6599 |3342 |4708 |  0 |  17k|  22 | 0.000000e+00 |      --      |    Inf |  16.64%
3586.46/3597.00	c 
3586.46/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3586.46/3597.00	c Solving Time (sec) : 3597.00
3586.46/3597.00	c Solving Nodes      : 24942 (total of 26917 nodes in 2 runs)
3586.46/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3586.46/3597.00	c Dual Bound         : +0.00000000000000e+00
3586.46/3597.00	c Gap                : infinite
3586.46/3597.00	s UNKNOWN
3586.46/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3586.46/3597.00	c Total Time         :    3597.00
3586.46/3597.00	c   solving          :    3597.00
3586.46/3597.00	c   presolving       :       3.38 (included in solving)
3586.46/3597.00	c   reading          :       0.01 (included in solving)
3586.46/3597.00	c   copying          :       0.92 (107 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3586.46/3597.00	c Original Problem   :
3586.46/3597.00	c   Problem name     : HOME/instance-4507779-1751194846.opb
3586.46/3597.00	c   Variables        : 3960 (3960 binary, 0 integer, 0 continuous)
3586.46/3597.00	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.46/3597.00	c   Constraints      : 4106 initial, 4106 maximal
3586.46/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.46/3597.00	c Presolved Problem  :
3586.46/3597.00	c   Problem name     : t_HOME/instance-4507779-1751194846.opb
3586.46/3597.00	c   Variables        : 3155 (3155 binary, 0 integer, 0 continuous)
3586.46/3597.00	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.46/3597.00	c   Constraints      : 4133 initial, 6672 maximal
3586.46/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.46/3597.00	c   Nonzeros         : 68213 constraint, 49691 clique table
3586.46/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.46/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   domcol           :       0.04       0.00     10          0          0          0          0          0          0          0          0          4
3586.46/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          2
3586.46/3597.00	c   gateextraction   :       0.02       0.00     16          0          0          0          0          0          5          1          0          0
3586.46/3597.00	c   implics          :       0.00       0.00     20          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   milp             :       0.12       0.00      1        119          4          0          0          0          0          0          0          0
3586.46/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   sparsify         :       0.06       0.00      3          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   trivial          :       0.00       0.00     38        312          0          0          0          0          0          0          0          0
3586.46/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   dualfix          :       0.00       0.00     38          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   probing          :       2.68       0.00      9        182          3          0          0          0          0          0          0          0
3586.46/3597.00	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   vbounds          :       0.01       0.00      5          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   knapsack         :       0.01       0.00     18          0          0          0          0          0          0         10         28        114
3586.46/3597.00	c   setppc           :       0.02       0.00     59          0          0          0          0          0         42          0          0          0
3586.46/3597.00	c   and              :       0.00       0.00      2          0          0          0          0          0          1          1          0          0
3586.46/3597.00	c   linear           :       0.03       0.00     24        184          1          0        184          0        610          0          5          0
3586.46/3597.00	c   logicor          :       0.34       0.01     56         40          0          0          0          0        302          0          0       2552
3586.46/3597.00	c   components       :       0.01       0.00      2          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3586.46/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.46/3597.00	c   integral         :          0          0          0          0      13555          0          0       1694          0          0          0          0          0          0      27110
3586.46/3597.00	c   knapsack         :         41+        42         11     193210          0          0          0          0     413663         13      87197          0          0          0          0
3586.46/3597.00	c   setppc           :        807+      1095         22     258210          0          0          0       1689    4702608        389     949180          1          1          0          0
3586.46/3597.00	c   linear           :          1+        21         11     152478          0          0          0          3       6225         44       2727          4          3          0          0
3586.46/3597.00	c   logicor          :       3284+      5532         22     202576          0          0          0          0    8950899       1369    1674190         50         30          0          0
3586.46/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.46/3597.00	c   integral         :       7.68       0.00       0.00       0.00       7.68       0.00       0.00       0.00       0.00       0.00
3586.46/3597.00	c   knapsack         :       0.98       0.00       0.04       0.81       0.00       0.00       0.00       0.00       0.13       0.00
3586.46/3597.00	c   setppc           :       3.15       0.00       0.00       1.98       0.00       0.00       0.00       0.03       1.13       0.01
3586.46/3597.00	c   linear           :       0.11       0.00       0.00       0.09       0.00       0.00       0.00       0.00       0.01       0.00
3586.46/3597.00	c   logicor          :       8.14       0.01       0.01       4.85       0.00       0.00       0.00       0.00       3.26       0.01
3586.46/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.46/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.46/3597.00	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.46/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.46/3597.00	c   dualfix          :          2          0          0          0
3586.46/3597.00	c   genvbounds       :          0          0          0          0
3586.46/3597.00	c   nlobbt           :          0          0          0          0
3586.46/3597.00	c   obbt             :          0          0          0          0
3586.46/3597.00	c   probing          :          0          0          0          0
3586.46/3597.00	c   pseudoobj        :          0          0          0          0
3586.46/3597.00	c   redcost          :          0          0          0          0
3586.46/3597.00	c   rootredcost      :          0          0          0          0
3586.46/3597.00	c   symmetry         :       8304          0          1         74
3586.46/3597.00	c   vbounds          :     160900          0          0          0
3586.46/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.46/3597.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3586.46/3597.00	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3586.46/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.46/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.46/3597.00	c   probing          :       2.68       0.00       2.68       0.00       0.00       0.00
3586.46/3597.00	c   pseudoobj        :       0.04       0.00       0.00       0.04       0.00       0.00
3586.46/3597.00	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3586.46/3597.00	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00       0.00
3586.46/3597.00	c   symmetry         :       0.09       0.00       0.01       0.08       0.00       0.00
3586.46/3597.00	c   vbounds          :       2.76       0.00       0.01       2.75       0.00       0.00
3586.46/3597.00	c Symmetry           :
3586.46/3597.00	c   #affected vars   :        560 (560 bin, 0 int, 0 cont)
3586.46/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3586.46/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3586.46/3597.00	c   lexicographic red:         74 reductions applied,          1 cutoffs
3586.46/3597.00	c   shadow tree time :       0.05 s
3586.46/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.46/3597.00	c   propagation      :       0.50       1772       1622          -      10543      121.7        216       43.5          -          -          -
3586.46/3597.00	c   infeasible LP    :      25.46      11858       7616          -     133804      610.2         52       11.5         85      228.2          0
3586.46/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.46/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.46/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.46/3597.00	c   applied globally :       0.86          -          -          0      17304      143.8          -          -         76          -          -
3586.46/3597.00	c   applied locally  :          -          -          -          0         91      689.0          -          -          9          -          -
3586.46/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.46/3597.00	c   cut pool         :       0.33          -       2844         42          -          -       3999      21631          -          -          -          -          -    (maximal pool size:        540)
3586.46/3597.00	c   aggregation      :       0.31       0.00        428         22          0          0          6          8          0          2          2          0          0
3586.46/3597.00	c   > cmir           :          -          -          -          -          -          -          -          8          0          2          2          0          -
3586.46/3597.00	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.46/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.46/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   clique           :       0.31       0.00         22         22          0          0        152        790          0        307        307          0          0
3586.46/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   gomory           :      17.81       0.00        426         20          0          0       3793      16391        857       1675       1597         78          0
3586.46/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -       7855        430        867        814         53          -
3586.46/3597.00	c   > strongcg       :          -          -          -          -          -          -          -       8536        427        808        783         25          -
3586.46/3597.00	c   impliedbounds    :       0.37       0.00        428         22          0          0        621       2491          0       1363       1363          0          0
3586.46/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   mcf              :       0.00       0.00          2          2          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   multilinear      :       0.00       0.00        355         22          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   rapidlearning    :      22.70       0.00        100          2          0      24981          0          0          0          0          0          0        614
3586.46/3597.00	c   rlt              :       0.00       0.00         20         20          0          0          0          0          0          0          0          0          0
3586.46/3597.00	c   zerohalf         :       7.33       0.00        428         22          0          0       1230       1951        946       2143       1256        887          0
3586.46/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.46/3597.00	c   hybrid           :       0.03       0.00       1760         22       5509         44      17805        253          0        429
3586.46/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.46/3597.00	c   problem variables:       0.00          -          0          0
3586.46/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.46/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c   relpscost        :       7.66       0.00      13555          0          0          0          0          0          0      27110
3586.46/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.46/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.46/3597.00	c   LP solutions     :       0.00          -          -          0          0
3586.46/3597.00	c   relax solutions  :       0.00          -          -          0          0
3586.46/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3586.46/3597.00	c   strong branching :       0.00          -          -          0          0
3586.46/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3586.46/3597.00	c   adaptivediving   :      13.03       0.00          4          0          0
3586.46/3597.00	c   alns             :       3.80       0.00          5          0          0
3586.46/3597.00	c   bound            :       0.00       0.00          0          0          0
3586.46/3597.00	c   clique           :       0.01       0.00          1          0          0
3586.46/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3586.46/3597.00	c   completesol      :       0.00       0.00          0          0          0
3586.46/3597.00	c   conflictdiving   :      17.09       0.00          2          0          0
3586.46/3597.00	c   crossover        :       0.01       0.00          0          0          0
3586.46/3597.00	c   dins             :       0.00       0.00          0          0          0
3586.46/3597.00	c   distributiondivin:       4.27       0.00          2          0          0
3586.46/3597.00	c   dks              :       0.00       0.00          0          0          0
3586.46/3597.00	c   dps              :       0.00       0.00          0          0          0
3586.46/3597.00	c   dualval          :       0.00       0.00          0          0          0
3586.46/3597.00	c   farkasdiving     :       0.00       0.00          0          0          0
3586.46/3597.00	c   feaspump         :      11.68       0.00          2          0          0
3586.46/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3586.46/3597.00	c   fracdiving       :       1.61       0.00          2          0          0
3586.46/3597.00	c   gins             :       0.01       0.00          0          0          0
3586.46/3597.00	c   guideddiving     :       0.00       0.00          0          0          0
3586.46/3597.00	c   indicator        :       0.00       0.00          0          0          0
3586.46/3597.00	c   indicatordiving  :       0.00       0.00          0          0          0
3586.46/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3586.46/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3586.46/3597.00	c   linesearchdiving :       2.60       0.00          2          0          0
3586.46/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3586.46/3597.00	c   locks            :       0.00       0.00          1          0          0
3586.46/3597.00	c   lpface           :       0.06       0.00          0          0          0
3586.46/3597.00	c   mpec             :       0.00       0.00          0          0          0
3586.46/3597.00	c   multistart       :       0.00       0.00          0          0          0
3586.46/3597.00	c   mutation         :       0.00       0.00          0          0          0
3586.46/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3586.46/3597.00	c   objpscostdiving  :      58.38       0.00          2          0          0
3586.46/3597.00	c   octane           :       0.00       0.00          0          0          0
3586.46/3597.00	c   ofins            :       0.00       0.00          0          0          0
3586.46/3597.00	c   oneopt           :       0.01       0.00          0          0          0
3586.46/3597.00	c   padm             :       0.00       0.00          0          0          0
3586.46/3597.00	c   proximity        :       0.00       0.00          0          0          0
3586.46/3597.00	c   pscostdiving     :       9.01       0.00          2          0          0
3586.46/3597.00	c   randrounding     :       0.35       0.00       1704          0          0
3586.46/3597.00	c   rens             :       0.12       0.00          2          0          0
3586.46/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3586.46/3597.00	c   repair           :       0.00       0.00          0          0          0
3586.46/3597.00	c   rins             :       0.01       0.00          0          0          0
3586.46/3597.00	c   rootsoldiving    :       7.31       0.00          1          0          0
3586.46/3597.00	c   rounding         :       0.22       0.00       1703          0          0
3586.46/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3586.46/3597.00	c   shiftandpropagate:       0.04       0.00          2          0          0
3586.46/3597.00	c   shifting         :       0.49       0.00        701          0          0
3586.46/3597.00	c   simplerounding   :       0.01       0.00          0          0          0
3586.46/3597.00	c   subnlp           :       0.00       0.00          0          0          0
3586.46/3597.00	c   trivial          :       0.00       0.00          4          0          0
3586.46/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3586.46/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3586.46/3597.00	c   trysol           :       0.01       0.00          0          0          0
3586.46/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3586.46/3597.00	c   undercover       :       0.00       0.00          0          0          0
3586.46/3597.00	c   vbounds          :       0.02       0.00          2          0          0
3586.46/3597.00	c   veclendiving     :       4.21       0.00          2          0          0
3586.46/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3586.46/3597.00	c   zirounding       :       0.07       0.00       1000          0          0
3586.46/3597.00	c   other solutions  :          -          -          -          0          -
3586.46/3597.00	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.46/3597.00	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
3586.46/3597.00	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
3586.46/3597.00	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
3586.46/3597.00	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
3586.46/3597.00	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
3586.46/3597.00	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
3586.46/3597.00	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
3586.46/3597.00	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
3586.46/3597.00	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3586.46/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.46/3597.00	c   primal LP        :      12.98        739      52025   13006.25    4007.12       1.89        735
3586.46/3597.00	c   dual LP          :    3330.31      27246   16488026     605.64    4950.89       0.02         22
3586.46/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3586.46/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.46/3597.00	c   resolve instable :      17.95          6      69524   11587.33    3872.36
3586.46/3597.00	c   diving/probing LP:     128.14        702     443312     631.50    3459.56
3586.46/3597.00	c   strong branching :       5.09         22      15151     688.68    2976.03          -          -         27
3586.46/3597.00	c     (at root node) :          -         22      15151     688.68          -
3586.46/3597.00	c   conflict analysis:       0.00          0          0       0.00          -
3586.46/3597.00	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
3586.46/3597.00	c   benders          :       0.00          0          0          0       0.00          0          0          0
3586.46/3597.00	c B&B Tree           :
3586.46/3597.00	c   number of runs   :          2
3586.46/3597.00	c   nodes            :      24942 (12552 internal, 12390 leaves)
3586.46/3597.00	c   feasible leaves  :          0
3586.46/3597.00	c   infeas. leaves   :      12389
3586.46/3597.00	c   objective leaves :          0
3586.46/3597.00	c   nodes (total)    :      26917 (13555 internal, 13362 leaves)
3586.46/3597.00	c   nodes left       :         78
3586.46/3597.00	c   max depth        :         94
3586.46/3597.00	c   max depth (total):        112
3586.46/3597.00	c   backtracks       :       2464 (9.9%)
3586.46/3597.00	c   early backtracks :          0 (0.0%)
3586.46/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3586.46/3597.00	c   delayed cutoffs  :         86
3586.46/3597.00	c   repropagations   :      31961 (121593 domain reductions, 68 cutoffs)
3586.46/3597.00	c   avg switch length:       4.33
3586.46/3597.00	c   switching time   :       7.36
3586.46/3597.00	c Root Node          :
3586.46/3597.00	c   First LP value   : +0.00000000000000e+00
3586.46/3597.00	c   First LP Iters   :      10401 (5165.30 Iter/sec)
3586.46/3597.00	c   First LP Time    :       2.01
3586.46/3597.00	c   Final Dual Bound : +0.00000000000000e+00
3586.46/3597.00	c   Final Root Iters :     127508
3586.46/3597.00	c   Root LP Estimate : +2.16927032052314e-02
3586.46/3597.00	c Solution           :
3586.46/3597.00	c   Solutions found  :          0 (0 improvements)
3586.46/3597.00	c   Primal Bound     :          -
3586.46/3597.00	c   Dual Bound       : +0.00000000000000e+00
3586.46/3597.00	c   Gap              :   infinite
3586.46/3597.00	c Integrals          :      Total       Avg%
3586.46/3597.00	c   primal-dual      :  359699.87     100.00
3586.46/3597.00	c   primal-ref       :          -          - (not evaluated)
3586.46/3597.00	c   dual-ref         :          -          - (not evaluated)
3586.57/3597.04	c Time complete (sec):   3586.612

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: 63708 MiB (62887 MiB free)
  memory of node 1: 64465 MiB (63781 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507779-1751194846/watcher-4507779-1751194846 -o /tmp/evaluation-result-4507779-1751194846/solver-4507779-1751194846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751194846-25408 --watchdog 3760 pbsolver -f HOME/instance-4507779-1751194846.opb -t 3600 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100056 s]*
/proc/loadavg: 1.18 2.83 3.64 6/268 25467
/proc/meminfo: memFree=129650060/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=43936 memory=34524 CPUtime=0.1 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 6803 0 0 0 9 1 0 0 20 0 1 0 35162203 44990464 8631 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 10984 8631 2496 2575 0 7891 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43936 KiB
Current children cumulated memory: 34524 KiB

[startup+0.2049 s]*
/proc/loadavg: 1.18 2.83 3.64 6/268 25467
/proc/meminfo: memFree=129641996/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=51188 memory=40828 CPUtime=0.2 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 8594 0 0 0 19 1 0 0 20 0 1 0 35162203 52416512 10207 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 12797 10207 2528 2575 0 9704 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51188 KiB
Current children cumulated memory: 40828 KiB

[startup+0.305042 s]*
/proc/loadavg: 1.18 2.83 3.64 6/268 25467
/proc/meminfo: memFree=129630404/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=58756 memory=47868 CPUtime=0.29 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 10333 0 0 0 28 1 0 0 20 0 1 0 35162203 60166144 11967 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 14689 11967 2560 2575 0 11596 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 58756 KiB
Current children cumulated memory: 47868 KiB

[startup+0.700184 s]
/proc/loadavg: 1.18 2.83 3.64 6/268 25467
/proc/meminfo: memFree=129616544/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=59844 memory=48892 CPUtime=0.68 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 10605 0 0 0 67 1 0 0 20 0 1 0 35162203 61280256 12223 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 14961 12223 2560 2575 0 11868 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59844 KiB
Current children cumulated memory: 48892 KiB

[startup+1.50013 s]
/proc/loadavg: 1.18 2.83 3.64 6/268 25467
/proc/meminfo: memFree=129616984/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=60356 memory=49404 CPUtime=1.48 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 10709 0 0 0 147 1 0 0 20 0 1 0 35162203 61804544 12351 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 15089 12351 2560 2575 0 11996 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60356 KiB
Current children cumulated memory: 49404 KiB

[startup+3.1049 s]
/proc/loadavg: 1.18 2.83 3.64 6/268 25467
/proc/meminfo: memFree=129609068/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=61380 memory=50428 CPUtime=3.09 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 10980 0 0 0 307 2 0 0 20 0 1 0 35162203 62853120 12607 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 15345 12607 2560 2575 0 12252 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61380 KiB
Current children cumulated memory: 50428 KiB

[startup+6.3001 s]
/proc/loadavg: 1.40 2.85 3.64 6/268 25467
/proc/meminfo: memFree=129549020/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=100288 memory=79100 CPUtime=6.27 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 18059 0 0 0 624 3 0 0 20 0 1 0 35162203 102694912 19775 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 25072 19775 2688 2575 0 21979 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 100288 KiB
Current children cumulated memory: 79100 KiB

[startup+12.7001 s]
/proc/loadavg: 1.69 2.88 3.65 6/267 25467
/proc/meminfo: memFree=129519060/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=101056 memory=79740 CPUtime=12.65 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 18202 0 0 0 1262 3 0 0 20 0 1 0 35162203 103481344 19935 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 25264 19935 2688 2575 0 22171 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 101056 KiB
Current children cumulated memory: 79740 KiB

[startup+25.5001 s]
/proc/loadavg: 2.20 2.94 3.66 6/267 25480
/proc/meminfo: memFree=129418184/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=134884 memory=111332 CPUtime=25.41 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 31269 0 0 0 2535 6 0 0 20 0 1 0 35162203 138121216 27833 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 33721 27833 2688 2575 0 30628 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 134884 KiB
Current children cumulated memory: 111332 KiB

[startup+51.1047 s]
/proc/loadavg: 2.82 3.02 3.67 6/267 25480
/proc/meminfo: memFree=129296692/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=140640 memory=118592 CPUtime=50.93 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 37333 0 0 0 5086 7 0 0 20 0 1 0 35162203 144015360 29648 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 35160 29648 2688 2575 0 32067 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 140640 KiB
Current children cumulated memory: 118592 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 3.19 3.69 6/268 25483
/proc/meminfo: memFree=129050096/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=143184 memory=121172 CPUtime=101.96 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 48917 0 0 0 10187 9 0 0 20 0 1 0 35162203 146620416 30293 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 35796 30293 2688 2575 0 32703 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 143184 KiB
Current children cumulated memory: 121172 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 3.36 3.72 6/267 25488
/proc/meminfo: memFree=128845408/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=143184 memory=121172 CPUtime=161.78 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 48917 0 0 0 16169 9 0 0 20 0 1 0 35162203 146620416 30293 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 35796 30293 2688 2575 0 32703 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 143184 KiB
Current children cumulated memory: 121172 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 3.49 3.74 6/268 25491
/proc/meminfo: memFree=128638712/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=149020 memory=126980 CPUtime=221.58 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 53430 0 0 0 22148 10 0 0 20 0 1 0 35162203 152596480 31745 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 37255 31745 2688 2575 0 34162 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 149020 KiB
Current children cumulated memory: 126980 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.62 3.77 6/267 25493
/proc/meminfo: memFree=128442720/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=150816 memory=128776 CPUtime=281.4 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 57059 0 0 0 28129 11 0 0 20 0 1 0 35162203 154435584 32194 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 37704 32194 2688 2575 0 34611 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 150816 KiB
Current children cumulated memory: 128776 KiB

[startup+342.3 s]
/proc/loadavg: 4.03 3.69 3.79 6/266 25499
/proc/meminfo: memFree=128288580/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=152404 memory=133820 CPUtime=341.22 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 60684 0 0 0 34110 12 0 0 20 0 1 0 35162203 156061696 33455 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 38101 33455 2976 2575 0 35008 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 152404 KiB
Current children cumulated memory: 133820 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.78 3.82 6/265 25501
/proc/meminfo: memFree=128117832/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=159104 memory=151644 CPUtime=401.05 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 64077 0 0 0 40093 12 0 0 20 0 1 0 35162203 162922496 37911 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 39776 37911 2976 2575 0 36683 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 159104 KiB
Current children cumulated memory: 151644 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.84 3.84 6/263 25503
/proc/meminfo: memFree=128001292/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=164840 memory=157820 CPUtime=460.89 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 67695 0 0 0 46076 13 0 0 20 0 1 0 35162203 168796160 39455 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 41210 39455 2976 2575 0 38117 0
Current children cumulated CPU time: 460.89 s

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

/proc/loadavg: 4.29 4.14 4.08 6/263 25633
/proc/meminfo: memFree=123356140/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219148 CPUtime=3153.27 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104862 0 0 0 315306 21 0 0 20 0 1 0 35162203 233111552 54787 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54787 2976 2575 0 53819 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219148 KiB

[startup+3222.3 s]
/proc/loadavg: 4.22 4.16 4.09 6/263 25635
/proc/meminfo: memFree=123269008/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219148 CPUtime=3213.08 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104877 0 0 0 321287 21 0 0 20 0 1 0 35162203 233111552 54787 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54787 2976 2575 0 53819 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219148 KiB

[startup+3282.3 s]
/proc/loadavg: 4.82 4.33 4.15 6/263 25637
/proc/meminfo: memFree=123154140/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219148 CPUtime=3272.88 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104938 0 0 0 327267 21 0 0 20 0 1 0 35162203 233111552 54787 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54787 2976 2575 0 53819 0
Current children cumulated CPU time: 3272.88 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219148 KiB

[startup+3342.3 s]
/proc/loadavg: 4.55 4.36 4.18 6/263 25643
/proc/meminfo: memFree=123056012/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219276 CPUtime=3332.69 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104958 0 0 0 333248 21 0 0 20 0 1 0 35162203 233111552 54819 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54819 2976 2575 0 53819 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219276 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.29 4.16 6/263 25645
/proc/meminfo: memFree=122962684/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219276 CPUtime=3392.5 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104970 0 0 0 339229 21 0 0 20 0 1 0 35162203 233111552 54819 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54819 2976 2575 0 53819 0
Current children cumulated CPU time: 3392.5 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219276 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.26 4.16 6/263 25647
/proc/meminfo: memFree=122921156/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219276 CPUtime=3452.3 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104978 0 0 0 345209 21 0 0 20 0 1 0 35162203 233111552 54819 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54819 2976 2575 0 53819 0
Current children cumulated CPU time: 3452.3 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219276 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.23 4.16 6/263 25648
/proc/meminfo: memFree=122889648/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219276 CPUtime=3512.11 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104985 0 0 0 351190 21 0 0 20 0 1 0 35162203 233111552 54819 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54819 2976 2575 0 53819 0
Current children cumulated CPU time: 3512.11 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219276 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.20 4.15 6/264 25651
/proc/meminfo: memFree=122838280/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219276 CPUtime=3571.91 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104985 0 0 0 357170 21 0 0 20 0 1 0 35162203 233111552 54819 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54819 2976 2575 0 53819 0
Current children cumulated CPU time: 3571.91 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219276 KiB

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

# cumulated CPU time of all completed processes:  user=3586.4 s, system=0.216256 s

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

[startup+3584 s]*
/proc/loadavg: 4.08 4.20 4.15 6/264 25651
/proc/meminfo: memFree=122838296/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219276 CPUtime=3573.61 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104985 0 0 0 357340 21 0 0 20 0 1 0 35162203 233111552 54819 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54819 2976 2575 0 53819 0
Current children cumulated CPU time: 3573.61 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219276 KiB

[startup+3590.4 s]
/proc/loadavg: 4.07 4.19 4.15 6/264 25652
/proc/meminfo: memFree=122838816/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219276 CPUtime=3579.98 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104985 0 0 0 357977 21 0 0 20 0 1 0 35162203 233111552 54819 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54819 2976 2575 0 53819 0
Current children cumulated CPU time: 3579.98 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219276 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.19 4.15 6/264 25652
/proc/meminfo: memFree=122822980/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219276 CPUtime=3583.17 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104985 0 0 0 358296 21 0 0 20 0 1 0 35162203 233111552 54819 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54819 2976 2575 0 53819 0
Current children cumulated CPU time: 3583.17 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219276 KiB

[startup+3595.2 s]
/proc/loadavg: 4.06 4.19 4.15 6/264 25652
/proc/meminfo: memFree=122822980/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219276 CPUtime=3584.77 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104985 0 0 0 358456 21 0 0 20 0 1 0 35162203 233111552 54819 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54819 2976 2575 0 53819 0
Current children cumulated CPU time: 3584.77 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219276 KiB

[startup+3596 s]*
/proc/loadavg: 4.06 4.19 4.15 6/264 25652
/proc/meminfo: memFree=122823232/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219276 CPUtime=3585.57 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104985 0 0 0 358536 21 0 0 20 0 1 0 35162203 233111552 54819 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54819 2976 2575 0 53819 0
Current children cumulated CPU time: 3585.57 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219276 KiB

[startup+3596.8 s]
/proc/loadavg: 4.06 4.19 4.15 6/264 25652
/proc/meminfo: memFree=122823232/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219276 CPUtime=3586.36 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104985 0 0 0 358615 21 0 0 20 0 1 0 35162203 233111552 54819 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54819 2976 2575 0 53819 0
Current children cumulated CPU time: 3586.36 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219276 KiB

[startup+3597 s]*
/proc/loadavg: 4.06 4.19 4.15 6/264 25652
/proc/meminfo: memFree=122823232/131249988 swapFree=33010684/33010684
[pid=25462] ppid=25454 vsize=227648 memory=219276 CPUtime=3586.57 cores=0,2
/proc/25462/stat : 25462 (pbsolver) R 25454 25462 25398 0 -1 4194304 104985 0 0 0 358636 21 0 0 20 0 1 0 35162203 233111552 54819 18446744073709551615 4198400 14743177 140730047273792 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 16769280 16853168 30187520 140730047277450 140730047277546 140730047277546 140730047283148 0
/proc/25462/statm: 56912 54819 2976 2575 0 53819 0
Current children cumulated CPU time: 3586.57 s
Current children cumulated vsize: 227648 KiB
Current children cumulated memory: 219276 KiB

Child status: 0

Real time (s): 3597.04
CPU time (s): 3586.61
CPU user time (s): 3586.4
CPU system time (s): 0.216256
CPU usage (%): 99.71
Max. virtual memory (cumulated for all children) (KiB): 227648
Max. memory (cumulated for all children) (KiB): 219276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.4
system time used= 0.216256
maximum resident set size= 219276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104993
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= 40
involuntary context switches= 5012


# summary of solver processes directly reported to runsolver:
#   pid: 25462
#   total CPU time (s): 3586.61
#   total CPU user time (s): 3586.4
#   total CPU system time (s): 0.216256

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56519 second user time and 14.0163 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-29 13:00:46
IDJOB=4507779
IDBENCH=158382
IDSOLVER=3366
FILE ID=nodeC020/4507779-1751194846
RUNJOBID= nodeC020-1751194846-25408
SLURM_JOB_ID= 9587600
Free space on /tmp= 433064 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K72.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507779-1751194846/watcher-4507779-1751194846 -o /tmp/evaluation-result-4507779-1751194846/solver-4507779-1751194846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751194846-25408 --watchdog 3760  pbsolver -f HOME/instance-4507779-1751194846.opb -t 3600 -m 31000

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

MD5SUM BENCH= e64e621864ff5f0b0d30a15b78ec6db8
RANDOM SEED=1668224100

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129724492 kB
MemAvailable:   129821816 kB
Buffers:            3280 kB
Cached:           904200 kB
SwapCached:            0 kB
Active:           386072 kB
Inactive:         596920 kB
Active(anon):      93568 kB
Inactive(anon):        0 kB
Active(file):     292504 kB
Inactive(file):   596920 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             59620 kB
Writeback:             0 kB
AnonPages:         78872 kB
Mapped:           102232 kB
Shmem:             18056 kB
KReclaimable:      94276 kB
Slab:             180576 kB
SReclaimable:      94276 kB
SUnreclaim:        86300 kB
KernelStack:        4048 kB
PageTables:         2592 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     341256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432956 MiB
End job on nodeC020 at 2025-06-29 14:00:44