Trace number 4432704

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07SAT-51 3586.73 3597.46

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
MD5SUM13efe7890d7fc5aab9247ea9860b6d53
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-58
Best CPU time to get the best result obtained on this benchmark3558.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1534
Total number of constraints126163
Number of constraints which are clauses126163
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1534
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4432704-1721058421.opb>
0.19/0.22	c original problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 126163 constraints
0.19/0.22	c problem read in 0.22
0.29/0.38	o 0
0.29/0.38	c feasible solution found by trivial heuristic after 0.4 seconds, objective value 0.000000e+00
0.29/0.38	c presolving:
0.58/0.68	c    (0.7s) running MILP presolver
0.98/1.03	c    (1.0s) MILP presolver found nothing
1.18/1.27	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 126163 upgd conss, 0 impls, 126163 clqs
2.18/2.24	c    (2.2s) probing: 51/1534 (3.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.18/2.24	c    (2.2s) probing aborted: 50/50 successive totally useless probings
2.97/3.09	c    (3.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.07/3.15	c    (3.1s) no symmetry present (symcode time: 0.02)
3.07/3.18	c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
3.07/3.18	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.07/3.18	c  0 implications, 126163 cliques
3.07/3.18	c presolved problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 126163 constraints
3.07/3.18	c  126163 constraints of type <setppc>
3.07/3.18	c transformed objective value is always integral (scale: 1)
3.07/3.18	c Presolving Time: 2.80
3.07/3.18	c - non default parameters ----------------------------------------------------------------------
3.07/3.18	c # SCIP version 10.0.0
3.07/3.18	c 
3.07/3.18	c # maximal time in seconds to run
3.07/3.18	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.07/3.18	c limits/time = 3596.997012
3.07/3.18	c 
3.07/3.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.07/3.18	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.07/3.18	c limits/memory = 27900
3.07/3.18	c 
3.07/3.18	c # belongs reading time to solving time?
3.07/3.18	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.07/3.18	c timing/reading = TRUE
3.07/3.18	c 
3.07/3.18	c -----------------------------------------------------------------------------------------------
3.07/3.18	c start solving
3.07/3.18	c transformed 1/1 original solutions to the transformed problem space
3.07/3.18	c 
3.37/3.48	o -36
3.37/3.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.37/3.48	c p 3.5s|     1 |     0 |     0 |     - |  clique|   0 |1534 | 126k| 126k|   0 |  0 |   0 |   0 |-1.534000e+03 |-3.600000e+01 |4161.11%| unknown
3.56/3.61	o -37
3.56/3.61	c p 3.6s|     1 |     0 |     0 |     - |   locks|   0 |1534 | 126k| 126k|   0 |  0 |   0 |   0 |-1.534000e+03 |-3.700000e+01 |4045.95%| unknown
4.17/4.23	o -38
4.17/4.23	c p 4.2s|     1 |     0 |   512 |     - | vbounds|   0 |1534 | 126k| 126k|   0 |  0 |   0 |   0 |-1.534000e+03 |-3.800000e+01 |3936.84%| unknown
5.17/5.20	c   5.2s|     1 |     0 |  2046 |     - |   563M |   0 |1534 | 126k| 126k|   0 |  0 |   0 |   0 |-7.670000e+02 |-3.800000e+01 |1918.42%| unknown
7.35/7.40	c   7.4s|     1 |     0 |  2236 |     - |   594M |   0 |1534 | 126k| 126k|  11 |  1 |   0 |   0 |-7.275000e+02 |-3.800000e+01 |1814.47%| unknown
11.55/11.67	c  11.7s|     1 |     0 |  2464 |     - |   610M |   0 |1534 | 126k| 126k|  35 |  2 |   0 |   0 |-7.060000e+02 |-3.800000e+01 |1757.89%| unknown
14.14/14.23	c  14.2s|     1 |     0 |  2970 |     - |   625M |   0 |1534 | 126k| 126k|  75 |  3 |   0 |   0 |-6.675000e+02 |-3.800000e+01 |1656.58%| unknown
15.64/15.78	c  15.8s|     1 |     0 |  3443 |     - |   637M |   0 |1534 | 126k| 126k| 118 |  4 |   0 |   0 |-6.285000e+02 |-3.800000e+01 |1553.95%| unknown
16.74/16.85	c  16.9s|     1 |     0 |  3815 |     - |   651M |   0 |1534 | 126k| 126k| 150 |  5 |   0 |   0 |-5.840000e+02 |-3.800000e+01 |1436.84%| unknown
18.33/18.49	c  18.5s|     1 |     0 |  4761 |     - |   664M |   0 |1534 | 126k| 126k| 173 |  6 |   0 |   0 |-5.615000e+02 |-3.800000e+01 |1377.63%| unknown
19.93/20.09	c  20.1s|     1 |     0 |  5783 |     - |   677M |   0 |1534 | 126k| 126k| 222 |  7 |   0 |   0 |-5.167500e+02 |-3.800000e+01 |1259.87%| unknown
21.72/21.81	c  21.8s|     1 |     0 |  7345 |     - |   690M |   0 |1534 | 126k| 126k| 265 |  8 |   0 |   0 |-4.758667e+02 |-3.800000e+01 |1152.28%| unknown
22.82/22.90	c  22.9s|     1 |     0 |  8180 |     - |   702M |   0 |1534 | 126k| 126k| 308 |  9 |   0 |   0 |-4.561667e+02 |-3.800000e+01 |1100.44%| unknown
25.61/25.79	c  25.8s|     1 |     0 | 11195 |     - |   716M |   0 |1534 | 126k| 126k| 348 | 10 |   0 |   0 |-4.183750e+02 |-3.800000e+01 |1000.99%| unknown
27.50/27.65	c  27.6s|     1 |     0 | 13438 |     - |   728M |   0 |1534 | 126k| 126k| 373 | 11 |   0 |   0 |-3.832083e+02 |-3.800000e+01 | 908.44%| unknown
28.60/28.75	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
28.60/28.75	c  28.7s|     1 |     0 | 14746 |     - |   743M |   0 |1534 | 126k| 126k| 395 | 12 |   0 |   0 |-3.621250e+02 |-3.800000e+01 | 852.96%| unknown
29.90/30.07	c  30.1s|     1 |     0 | 16782 |     - |   755M |   0 |1534 | 126k| 126k| 411 | 13 |   0 |   0 |-3.244167e+02 |-3.800000e+01 | 753.73%| unknown
30.79/30.95	c  31.0s|     1 |     0 | 17996 |     - |   767M |   0 |1534 | 126k| 126k| 440 | 14 |   0 |   0 |-2.909167e+02 |-3.800000e+01 | 665.57%| unknown
32.29/32.45	c  32.4s|     1 |     0 | 20605 |     - |   779M |   0 |1534 | 126k| 126k| 465 | 15 |   0 |   0 |-2.686250e+02 |-3.800000e+01 | 606.91%| unknown
32.89/33.04	c  33.0s|     1 |     0 | 21254 |     - |   792M |   0 |1534 | 126k| 126k| 488 | 16 |   0 |   0 |-2.575000e+02 |-3.800000e+01 | 577.63%| unknown
34.88/35.09	c  35.1s|     1 |     0 | 24794 |     - |   804M |   0 |1534 | 126k| 126k| 517 | 17 |   0 |   0 |-2.275000e+02 |-3.800000e+01 | 498.68%| unknown
36.08/36.28	c  36.3s|     1 |     0 | 26638 |     - |   817M |   0 |1534 | 126k| 126k| 541 | 18 |   0 |   0 |-2.075000e+02 |-3.800000e+01 | 446.05%| unknown
37.07/37.30	c  37.3s|     1 |     0 | 28440 |     - |   829M |   0 |1534 | 126k| 126k| 575 | 19 |   0 |   0 |-1.972500e+02 |-3.800000e+01 | 419.08%| unknown
38.17/38.35	c  38.4s|     1 |     0 | 30167 |     - |   842M |   0 |1534 | 126k| 126k| 596 | 20 |   0 |   0 |-1.787500e+02 |-3.800000e+01 | 370.39%| unknown
38.77/38.97	c  39.0s|     1 |     0 | 31093 |     - |   842M |   0 |1534 | 126k| 126k| 601 | 21 |   0 |   0 |-1.702500e+02 |-3.800000e+01 | 348.03%| unknown
39.77/39.99	c  40.0s|     1 |     0 | 32996 |     - |   842M |   0 |1534 | 126k| 126k| 605 | 22 |   0 |   0 |-1.532500e+02 |-3.800000e+01 | 303.29%| unknown
40.36/40.58	c  40.6s|     1 |     0 | 34130 |     - |   842M |   0 |1534 | 126k| 126k| 608 | 23 |   0 |   0 |-1.440000e+02 |-3.800000e+01 | 278.95%| unknown
41.66/41.80	c  41.8s|     1 |     0 | 36509 |     - |   842M |   0 |1534 | 126k| 126k| 616 | 24 |   0 |   0 |-1.277500e+02 |-3.800000e+01 | 236.18%| unknown
41.97/42.11	c  42.1s|     1 |     0 | 36836 |     - |   842M |   0 |1534 | 126k| 126k| 623 | 25 |   0 |   0 |-1.082500e+02 |-3.800000e+01 | 184.87%| unknown
42.26/42.40	c  42.4s|     1 |     0 | 37188 |     - |   843M |   0 |1534 | 126k| 126k| 628 | 26 |   0 |   0 |-9.125000e+01 |-3.800000e+01 | 140.13%| unknown
42.46/42.62	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
42.46/42.62	c  42.6s|     1 |     0 | 37499 |     - |   844M |   0 |1534 | 126k| 126k| 629 | 27 |   0 |   0 |-8.075000e+01 |-3.800000e+01 | 112.50%| unknown
42.56/42.78	c  42.8s|     1 |     0 | 37568 |     - |   844M |   0 |1534 | 126k| 126k| 631 | 28 |   0 |   0 |-7.225000e+01 |-3.800000e+01 |  90.13%| unknown
42.76/42.95	c  42.9s|     1 |     0 | 37667 |     - |   844M |   0 |1534 | 126k| 126k| 632 | 29 |   0 |   0 |-6.400000e+01 |-3.800000e+01 |  68.42%| unknown
42.86/43.09	c  43.1s|     1 |     0 | 37716 |     - |   846M |   0 |1534 | 126k| 126k| 634 | 30 |   0 |   0 |-5.950000e+01 |-3.800000e+01 |  56.58%| unknown
43.06/43.24	c  43.2s|     1 |     0 | 37755 |     - |   847M |   0 |1534 | 126k| 126k| 639 | 31 |   0 |   0 |-5.950000e+01 |-3.800000e+01 |  56.58%| unknown
43.16/43.37	c  43.4s|     1 |     0 | 37787 |     - |   848M |   0 |1534 | 126k| 126k| 642 | 32 |   0 |   0 |-5.950000e+01 |-3.800000e+01 |  56.58%| unknown
43.36/43.51	c  43.5s|     1 |     0 | 37831 |     - |   849M |   0 |1534 | 126k| 126k| 647 | 33 |   0 |   0 |-5.950000e+01 |-3.800000e+01 |  56.58%| unknown
43.46/43.67	c  43.7s|     1 |     0 | 37872 |     - |   850M |   0 |1534 | 126k| 126k| 654 | 34 |   0 |   0 |-5.950000e+01 |-3.800000e+01 |  56.58%| unknown
43.65/43.84	c  43.8s|     1 |     0 | 37951 |     - |   850M |   0 |1534 | 126k| 126k| 660 | 35 |   0 |   0 |-5.950000e+01 |-3.800000e+01 |  56.58%| unknown
43.75/43.98	c  44.0s|     1 |     0 | 37994 |     - |   851M |   0 |1534 | 126k| 126k| 667 | 36 |   0 |   0 |-5.950000e+01 |-3.800000e+01 |  56.58%| unknown
43.96/44.12	c  44.1s|     1 |     0 | 38028 |     - |   852M |   0 |1534 | 126k| 126k| 672 | 37 |   0 |   0 |-5.950000e+01 |-3.800000e+01 |  56.58%| unknown
44.06/44.25	c  44.3s|     1 |     0 | 38057 |     - |   853M |   0 |1534 | 126k| 126k| 678 | 38 |   0 |   0 |-5.950000e+01 |-3.800000e+01 |  56.58%| unknown
44.26/44.41	c  44.4s|     1 |     0 | 38124 |     - |   854M |   0 |1534 | 126k| 126k| 686 | 39 |   0 |   0 |-5.950000e+01 |-3.800000e+01 |  56.58%| unknown
44.36/44.60	c  44.6s|     1 |     0 | 38206 |     - |   855M |   0 |1534 | 126k| 126k| 693 | 40 |   0 |   0 |-5.950000e+01 |-3.800000e+01 |  56.58%| unknown
49.54/49.71	c  49.7s|     1 |     2 | 38253 |     - |   857M |   0 |1534 | 126k| 126k| 693 | 40 |   0 |  27 |-5.900000e+01 |-3.800000e+01 |  55.26%| unknown
122.81/123.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
122.81/123.27	c   123s|   100 |   101 | 43810 |  61.8 |   904M |  30 |1534 | 126k| 126k| 735 |  1 |   0 |1172 |-5.900000e+01 |-3.800000e+01 |  55.26%| unknown
131.68/132.16	o -43
131.68/132.16	c * 132s|   115 |   114 | 44781 |  62.2 |strongbr|  30 |1534 | 126k| 126k| 737 |  1 |   0 |1345 |-5.900000e+01 |-4.300000e+01 |  37.21%| unknown
131.78/132.29	o -44
131.78/132.29	c d 132s|   116 |   114 | 44820 |  62.0 |pscostdi|  30 |1534 | 126k| 126k|   0 |  1 |   0 |1347 |-5.900000e+01 |-4.400000e+01 |  34.09%| unknown
162.87/163.43	c   163s|   200 |   198 | 50390 |  63.8 |   940M |  30 |1534 | 126k| 126k| 780 |  1 |   6 |1733 |-5.900000e+01 |-4.400000e+01 |  34.09%| unknown
178.73/179.33	o -45
178.73/179.33	c o 179s|   249 |   247 | 54965 |  69.6 |objpscos|  31 |1534 | 126k| 126k| 833 |  1 |   6 |1753 |-5.900000e+01 |-4.500000e+01 |  31.11%| unknown
178.73/179.35	o -46
178.73/179.35	c o 179s|   249 |   247 | 54966 |  69.6 |objpscos|  31 |1534 | 126k| 126k| 833 |  1 |   6 |1753 |-5.900000e+01 |-4.600000e+01 |  28.26%| unknown
187.21/187.87	c   188s|   300 |   287 | 58405 |  69.3 |   983M |  32 |1534 | 126k| 126k| 862 |  1 |   6 |1773 |-5.900000e+01 |-4.600000e+01 |  28.26%| unknown
214.23/214.95	c   215s|   400 |   377 | 66313 |  71.7 |  1034M |  32 |1534 | 126k| 126k| 961 |  1 |  11 |1822 |-5.900000e+01 |-4.600000e+01 |  28.26%| unknown
228.39/229.19	c   229s|   500 |   451 | 70931 |  66.6 |  1038M |  34 |1534 | 126k| 126k| 993 |  1 |  11 |1849 |-5.900000e+01 |-4.600000e+01 |  28.26%| unknown
237.26/238.05	c   238s|   600 |   545 | 80392 |  71.3 |  1045M |  38 |1534 | 126k| 126k|1019 |  1 |  30 |1891 |-5.900000e+01 |-4.600000e+01 |  28.26%| unknown
237.75/238.52	o -51
237.75/238.52	c d 239s|   606 |   444 | 81497 |  72.4 |linesear|  38 |1534 | 126k| 126k|   0 |  1 |  30 |1891 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
258.49/259.35	c   259s|   700 |   538 | 90898 |  76.1 |  1101M |  40 |1534 | 126k| 126k|1082 |  1 | 100 |1922 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
268.26/269.20	c   269s|   800 |   638 |102627 |  81.3 |  1107M |  40 |1534 | 126k| 126k|1105 |  1 | 221 |1974 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
285.00/285.95	c   286s|   900 |   738 |116112 |  87.2 |  1152M |  41 |1534 | 126k| 126k|1147 |  1 | 329 |2030 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
317.82/318.85	c   319s|  1000 |   836 |126218 |  88.6 |  1234M |  41 |1534 | 126k| 126k|1217 |  1 | 428 |2073 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
334.57/335.63	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
334.57/335.63	c   336s|  1100 |   936 |139322 |  92.5 |  1244M |  41 |1534 | 126k| 126k|1264 |  1 | 483 |2122 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
373.95/375.15	c   375s|  1200 |  1034 |153946 |  97.0 |  1311M |  41 |1534 | 126k| 126k|1412 |  1 | 583 |2168 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
401.96/403.27	c   403s|  1300 |  1134 |166639 |  99.3 |  1348M |  42 |1534 | 126k| 126k|1528 |  1 | 688 |2223 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
422.61/423.90	c   424s|  1400 |  1232 |177653 | 100.0 |  1373M |  42 |1534 | 126k| 126k|1630 |  1 | 814 |2265 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
445.04/446.43	c   446s|  1500 |  1330 |192210 | 103.1 |  1403M |  42 |1534 | 127k| 126k|1735 |  1 | 919 |2321 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
459.29/460.73	c   461s|  1600 |  1428 |204299 | 104.2 |  1420M |  43 |1534 | 127k| 126k|1795 |  1 |1032 |2356 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
475.43/476.97	c   477s|  1700 |  1528 |221422 | 108.1 |  1427M |  45 |1534 | 127k| 126k|1840 |  1 |1126 |2410 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
497.48/499.05	c   499s|  1800 |  1626 |234145 | 109.2 |  1460M |  45 |1534 | 127k| 126k|1932 |  1 |1187 |2437 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
527.20/528.84	c   529s|  1900 |  1726 |244744 | 109.0 |  1472M |  45 |1534 | 127k| 126k|2038 |  1 |1269 |2497 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
550.33/552.01	c   552s|  2000 |  1824 |259540 | 111.0 |  1478M |  45 |1534 | 127k| 126k|2152 |  1 |1365 |2514 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
570.28/572.03	c   572s|  2100 |  1924 |271933 | 111.6 |  1494M |  45 |1534 | 127k| 126k|2239 |  1 |1459 |2558 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
586.72/588.59	c   589s|  2200 |  2024 |284377 | 112.2 |  1496M |  45 |1534 | 127k| 126k|2312 |  1 |1549 |2589 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
607.77/609.69	c   610s|  2300 |  2120 |297101 | 112.8 |  1510M |  45 |1534 | 127k| 126k|2386 |  1 |1602 |2647 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
629.30/631.27	c   631s|  2400 |  2218 |307688 | 112.5 |  1515M |  45 |1534 | 127k| 126k|2470 |  1 |1683 |2690 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
667.20/669.20	c   669s|  2500 |  2316 |320172 | 113.0 |  1535M |  45 |1534 | 127k| 126k|2611 |  1 |1748 |2747 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
688.94/691.01	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
688.94/691.01	c   691s|  2600 |  2414 |332065 | 113.3 |  1564M |  45 |1534 | 127k| 126k|2669 |  1 |1829 |2791 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
706.38/708.51	c   709s|  2700 |  2510 |343879 | 113.4 |  1569M |  45 |1534 | 128k| 126k|2738 |  1 |1938 |2818 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
740.09/742.38	c   742s|  2800 |  2608 |357093 | 114.1 |  1602M |  45 |1534 | 128k| 126k|2856 |  1 |1984 |2859 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
771.09/773.40	c   773s|  2900 |  2708 |371201 | 115.0 |  1607M |  45 |1534 | 128k| 126k|2972 |  1 |2065 |2873 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
819.06/821.53	c   822s|  3000 |  2804 |385911 | 116.1 |  1630M |  45 |1534 | 128k| 126k|3186 |  1 |2131 |2874 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
833.11/835.65	c   836s|  3100 |  2898 |398122 | 116.3 |  1634M |  45 |1534 | 128k| 126k|3249 |  1 |2191 |2893 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
852.85/855.45	c   855s|  3200 |  2996 |412516 | 117.2 |  1641M |  45 |1534 | 128k| 126k|3309 |  1 |2278 |2915 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
875.09/877.71	c   878s|  3300 |  3094 |424987 | 117.4 |  1667M |  46 |1534 | 128k| 126k|3437 |  1 |2374 |2935 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
902.71/905.45	c   905s|  3400 |  3188 |437752 | 117.7 |  1690M |  46 |1534 | 128k| 126k|3542 |  1 |2439 |2943 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
923.84/926.63	c   927s|  3500 |  3278 |448671 | 117.5 |  1695M |  46 |1534 | 128k| 126k|3600 |  1 |2526 |2964 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
956.45/959.33	c   959s|  3600 |  3372 |464380 | 118.6 |  1710M |  46 |1534 | 128k| 126k|3733 |  2 |2622 |2977 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
979.48/982.49	c   982s|  3700 |  3468 |478752 | 119.2 |  1713M |  46 |1534 | 128k| 126k|3829 |  0 |2733 |2981 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
995.32/998.34	c   998s|  3800 |  3568 |490808 | 119.3 |  1716M |  46 |1534 | 128k| 126k|3873 |  1 |2878 |2984 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1011.47/1014.58	c  1015s|  3900 |  3662 |502202 | 119.1 |  1719M |  46 |1534 | 128k| 126k|3937 |  1 |2965 |2989 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1036.90/1040.02	c  1040s|  4000 |  3756 |513969 | 119.1 |  1737M |  46 |1534 | 129k| 126k|4090 |  1 |3078 |2991 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1056.33/1059.55	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1056.33/1059.55	c  1060s|  4100 |  3852 |526435 | 119.2 |  1768M |  46 |1534 | 129k| 126k|4190 |  2 |3186 |2998 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1071.48/1074.72	c  1075s|  4200 |  3952 |534934 | 118.4 |  1782M |  46 |1534 | 129k| 126k|4228 |  1 |3297 |3002 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1088.53/1091.86	c  1092s|  4300 |  4050 |546602 | 118.4 |  1786M |  46 |1534 | 129k| 126k|4316 |  1 |3393 |3004 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1115.84/1119.20	c  1119s|  4400 |  4150 |557540 | 118.2 |  1789M |  46 |1534 | 129k| 126k|4439 |  1 |3476 |3012 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1123.91/1127.33	c  1127s|  4500 |  4248 |569351 | 118.2 |  1793M |  46 |1534 | 129k| 126k|4468 |  1 |3548 |3016 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1132.87/1136.36	c  1136s|  4600 |  4348 |580478 | 118.0 |  1798M |  46 |1534 | 129k| 126k|4491 |  1 |3622 |3031 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1155.20/1158.77	c  1159s|  4700 |  4446 |592907 | 118.2 |  1800M |  46 |1534 | 129k| 126k|4566 |  1 |3745 |3069 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1182.81/1186.41	c  1186s|  4800 |  4542 |604725 | 118.2 |  1830M |  46 |1534 | 129k| 126k|4675 |  1 |3817 |3101 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1209.23/1212.94	c  1213s|  4900 |  4638 |614092 | 117.7 |  1844M |  46 |1534 | 129k| 126k|4765 |  1 |3885 |3150 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1217.80/1221.54	c  1222s|  5000 |  4736 |624124 | 117.3 |  1847M |  46 |1534 | 129k| 126k|4821 |  1 |3966 |3183 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1230.86/1234.66	c  1235s|  5100 |  4832 |636438 | 117.4 |  1850M |  46 |1534 | 129k| 126k|4850 |  1 |4110 |3208 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1239.43/1243.20	c  1243s|  5200 |  4932 |647392 | 117.3 |  1854M |  46 |1534 | 129k| 126k|4851 |  1 |4206 |3249 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1253.09/1256.91	c  1257s|  5300 |  5028 |659398 | 117.3 |  1857M |  46 |1534 | 130k| 126k|4881 |  1 |4311 |3289 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1262.85/1266.72	c  1267s|  5400 |  5128 |671408 | 117.4 |  1862M |  46 |1534 | 130k| 126k|4894 |  1 |4415 |3319 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1276.80/1280.73	c  1281s|  5500 |  5224 |682698 | 117.3 |  1876M |  46 |1534 | 130k| 126k|4923 |  1 |4511 |3366 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1285.27/1289.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1285.27/1289.20	c  1289s|  5600 |  5316 |691857 | 116.8 |  1883M |  46 |1534 | 130k| 126k|4928 |  1 |4577 |3398 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1307.70/1311.72	c  1312s|  5700 |  5414 |704422 | 117.0 |  1888M |  46 |1534 | 130k| 126k|4963 |  1 |4722 |3424 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1326.24/1330.35	c  1330s|  5800 |  5504 |715822 | 116.9 |  1909M |  46 |1534 | 130k| 126k|5018 |  1 |4788 |3454 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1346.78/1350.91	c  1351s|  5900 |  5600 |727552 | 116.9 |  1913M |  46 |1534 | 130k| 126k|5074 |  1 |4847 |3493 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1355.25/1359.47	c  1359s|  6000 |  5698 |737450 | 116.6 |  1916M |  46 |1534 | 130k| 126k|5083 |  1 |4932 |3524 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1367.40/1371.60	c  1372s|  6100 |  5794 |748031 | 116.5 |  1920M |  46 |1534 | 130k| 126k|5110 |  1 |5018 |3556 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1375.17/1379.41	c  1379s|  6200 |  5890 |756876 | 116.0 |  1923M |  46 |1534 | 130k| 126k|5113 |  1 |5123 |3579 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1403.79/1408.19	c  1408s|  6300 |  5986 |767824 | 115.9 |  1939M |  46 |1534 | 130k| 126k|5182 |  1 |5244 |3608 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1419.93/1424.34	c  1424s|  6400 |  6078 |777675 | 115.6 |  1942M |  46 |1534 | 130k| 126k|5206 |  1 |5315 |3648 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1427.90/1432.36	c  1432s|  6500 |  6178 |787315 | 115.3 |  1946M |  46 |1534 | 130k| 126k|5217 |  1 |5383 |3670 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1435.47/1439.99	c  1440s|  6600 |  6278 |797017 | 115.1 |  1949M |  46 |1534 | 131k| 126k|5221 |  1 |5465 |3681 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1454.71/1459.24	c  1459s|  6700 |  6374 |807912 | 115.0 |  1953M |  46 |1534 | 131k| 126k|5276 |  1 |5523 |3706 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1466.77/1471.32	c  1471s|  6800 |  6474 |822052 | 115.4 |  1958M |  46 |1534 | 131k| 126k|5307 |  1 |5620 |3712 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1478.43/1483.07	c  1483s|  6900 |  6570 |831965 | 115.1 |  1961M |  46 |1534 | 131k| 126k|5330 |  1 |5669 |3730 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1486.60/1491.26	c  1491s|  7000 |  6666 |841864 | 114.9 |  1969M |  46 |1534 | 131k| 126k|5332 |  1 |5784 |3752 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1506.24/1510.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1506.24/1510.92	c  1511s|  7100 |  6760 |851093 | 114.6 |  1971M |  46 |1534 | 131k| 126k|5367 |  1 |5831 |3761 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1523.88/1528.61	c  1529s|  7200 |  6860 |863572 | 114.7 |  1977M |  46 |1534 | 131k| 126k|5395 |  2 |5931 |3765 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1535.44/1540.23	c  1540s|  7300 |  6958 |874561 | 114.7 |  1991M |  46 |1534 | 131k| 126k|5416 |  1 |6012 |3768 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1548.89/1553.71	c  1554s|  7400 |  7056 |886048 | 114.7 |  1995M |  46 |1534 | 131k| 126k|5459 |  1 |6079 |3772 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1556.56/1561.49	c  1561s|  7500 |  7156 |897971 | 114.7 |  2000M |  46 |1534 | 131k| 126k|5466 |  1 |6171 |3777 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1578.30/1583.23	c  1583s|  7600 |  7248 |911685 | 115.0 |  2003M |  46 |1534 | 131k| 126k|5521 |  1 |6257 |3780 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1598.04/1603.08	c  1603s|  7700 |  7348 |923887 | 115.1 |  2030M |  46 |1534 | 131k| 126k|5575 |  1 |6344 |3783 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1623.16/1628.27	c  1628s|  7800 |  7446 |936024 | 115.2 |  2033M |  46 |1534 | 131k| 126k|5638 |  1 |6463 |3788 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1645.60/1650.72	c  1651s|  7900 |  7542 |947920 | 115.2 |  2039M |  46 |1534 | 131k| 126k|5712 |  1 |6555 |3796 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1656.96/1662.12	c  1662s|  8000 |  7642 |960058 | 115.3 |  2042M |  46 |1534 | 131k| 126k|5752 |  1 |6628 |3804 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1684.57/1689.80	c  1690s|  8100 |  7730 |970584 | 115.2 |  2045M |  46 |1534 | 131k| 126k|5859 |  1 |6689 |3806 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1694.93/1700.26	c  1700s|  8200 |  7830 |978815 | 114.8 |  2049M |  46 |1534 | 131k| 126k|5885 |  1 |6795 |3810 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1711.09/1716.44	c  1716s|  8300 |  7930 |991086 | 114.9 |  2054M |  46 |1534 | 132k| 126k|5951 |  2 |6900 |3811 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1739.50/1744.98	c  1745s|  8400 |  8022 |  1001k| 114.8 |  2056M |  46 |1534 | 132k| 126k|6050 |  1 |6964 |3818 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1749.46/1754.98	c  1755s|  8500 |  8116 |  1012k| 114.7 |  2060M |  46 |1534 | 132k| 126k|6093 |  1 |7060 |3820 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1761.23/1766.72	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1761.23/1766.72	c  1767s|  8600 |  8216 |  1024k| 114.8 |  2066M |  46 |1534 | 132k| 126k|6134 |  2 |7187 |3820 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1768.91/1774.47	c  1774s|  8700 |  8316 |  1036k| 114.8 |  2072M |  46 |1534 | 132k| 126k|6142 |  1 |7281 |3827 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1781.86/1787.46	c  1787s|  8800 |  8416 |  1049k| 114.9 |  2074M |  46 |1534 | 132k| 126k|6195 |  1 |7375 |3828 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1794.62/1800.29	c  1800s|  8900 |  8514 |  1058k| 114.7 |  2079M |  46 |1534 | 132k| 126k|6234 |  1 |7482 |3828 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1803.09/1808.78	c  1809s|  9000 |  8612 |  1071k| 114.9 |  2082M |  46 |1534 | 132k| 126k|6238 |  2 |7584 |3839 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1832.80/1838.50	c  1839s|  9100 |  8712 |  1084k| 115.0 |  2114M |  46 |1534 | 132k| 126k|6306 |  1 |7734 |3894 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1839.58/1845.36	c  1845s|  9200 |  8812 |  1095k| 115.0 |  2117M |  46 |1534 | 132k| 126k|6316 |  1 |7828 |3897 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1855.53/1861.38	c  1861s|  9300 |  8906 |  1105k| 114.8 |  2123M |  46 |1534 | 132k| 126k|6383 |  1 |7932 |3927 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1872.97/1878.82	c  1879s|  9400 |  9004 |  1116k| 114.7 |  2128M |  46 |1534 | 132k| 126k|6461 |  1 |8015 |3951 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1884.24/1890.17	c  1890s|  9500 |  9096 |  1127k| 114.7 |  2132M |  46 |1534 | 132k| 126k|6488 |  1 |8093 |3984 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1905.97/1911.98	c  1912s|  9600 |  9190 |  1138k| 114.7 |  2135M |  46 |1534 | 132k| 126k|6528 |  1 |8195 |4022 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1918.83/1924.81	c  1925s|  9700 |  9280 |  1148k| 114.6 |  2137M |  46 |1534 | 132k| 126k|6564 |  1 |8278 |4040 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1937.37/1943.45	c  1943s|  9800 |  9372 |  1159k| 114.5 |  2168M |  46 |1534 | 132k| 126k|6619 |  1 |8336 |4070 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1947.03/1953.13	c  1953s|  9900 |  9468 |  1173k| 114.7 |  2172M |  46 |1534 | 132k| 126k|6621 |  1 |8425 |4100 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1956.39/1962.51	c  1963s| 10000 |  9560 |  1185k| 114.8 |  2174M |  46 |1534 | 132k| 126k|6622 |  1 |8456 |4136 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1980.53/1986.72	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1980.53/1986.72	c  1987s| 10100 |  9656 |  1199k| 115.0 |  2180M |  46 |1534 | 132k| 126k|6665 |  1 |8517 |4168 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
1994.78/2001.02	c  2001s| 10200 |  9752 |  1209k| 114.9 |  2185M |  46 |1534 | 133k| 126k|6732 |  1 |8622 |4194 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2007.24/2013.53	c  2014s| 10300 |  9844 |  1220k| 114.9 |  2190M |  46 |1534 | 133k| 126k|6748 |  1 |8662 |4225 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2023.38/2029.79	c  2030s| 10400 |  9936 |  1230k| 114.7 |  2193M |  46 |1534 | 133k| 126k|6781 |  1 |8717 |4258 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2036.53/2042.92	c  2043s| 10500 | 10032 |  1241k| 114.7 |  2196M |  46 |1534 | 133k| 126k|6808 |  1 |8824 |4288 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2051.29/2057.76	c  2058s| 10600 | 10128 |  1252k| 114.6 |  2202M |  46 |1534 | 133k| 126k|6855 |  1 |8907 |4315 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2078.71/2085.23	c  2085s| 10700 | 10228 |  1264k| 114.6 |  2205M |  46 |1534 | 133k| 126k|6951 |  1 |8997 |4348 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2090.78/2097.36	c  2097s| 10800 | 10328 |  1275k| 114.6 |  2208M |  46 |1534 | 133k| 126k|6961 |  1 |9054 |4380 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2104.73/2111.39	c  2111s| 10900 | 10424 |  1288k| 114.8 |  2212M |  46 |1534 | 133k| 126k|6992 |  2 |9127 |4408 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2112.20/2118.82	c  2119s| 11000 | 10522 |  1299k| 114.8 |  2215M |  46 |1534 | 133k| 126k|7003 |  1 |9201 |4417 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2122.96/2129.64	c  2130s| 11100 | 10612 |  1309k| 114.6 |  2218M |  46 |1534 | 133k| 126k|7036 |  1 |9269 |4430 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2138.11/2144.88	c  2145s| 11200 | 10708 |  1318k| 114.4 |  2224M |  46 |1534 | 133k| 126k|7065 |  1 |9382 |4461 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2150.27/2157.05	c  2157s| 11300 | 10802 |  1332k| 114.6 |  2229M |  46 |1534 | 133k| 126k|7085 |  1 |9476 |4473 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2158.83/2165.63	c  2166s| 11400 | 10900 |  1341k| 114.3 |  2232M |  46 |1534 | 133k| 126k|7115 |  1 |9544 |4488 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2168.01/2174.85	c  2175s| 11500 | 10996 |  1351k| 114.2 |  2236M |  46 |1534 | 133k| 126k|7141 |  1 |9623 |4495 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2184.86/2191.80	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2184.86/2191.80	c  2192s| 11600 | 11092 |  1361k| 114.1 |  2240M |  46 |1534 | 133k| 126k|7187 |  1 |9667 |4499 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2190.93/2197.86	c  2198s| 11700 | 11186 |  1371k| 114.0 |  2243M |  46 |1534 | 133k| 126k|7190 |  1 |9780 |4502 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2198.40/2205.31	c  2205s| 11800 | 11282 |  1382k| 114.0 |  2248M |  46 |1534 | 133k| 126k|7192 |  1 |9855 |4509 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2212.26/2219.20	c  2219s| 11900 | 11370 |  1392k| 113.9 |  2251M |  46 |1534 | 133k| 126k|7246 |  1 |9988 |4519 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2231.50/2238.54	c  2239s| 12000 | 11468 |  1404k| 113.9 |  2267M |  46 |1534 | 133k| 126k|7313 |  1 |  10k|4519 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2237.88/2244.99	c  2245s| 12100 | 11564 |  1414k| 113.8 |  2270M |  46 |1534 | 133k| 126k|7320 |  1 |  10k|4523 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2282.24/2289.42	c  2289s| 12200 | 11658 |  1425k| 113.8 |  2291M |  46 |1534 | 133k| 126k|7533 |  2 |  10k|4523 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2288.42/2295.61	c  2296s| 12300 | 11746 |  1435k| 113.6 |  2294M |  46 |1534 | 133k| 126k|7556 |  1 |  10k|4526 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2295.09/2302.38	c  2302s| 12400 | 11832 |  1445k| 113.6 |  2298M |  46 |1534 | 133k| 126k|7572 |  0 |  10k|4531 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2306.57/2313.87	c  2314s| 12500 | 11926 |  1456k| 113.5 |  2302M |  46 |1534 | 133k| 126k|7605 |  1 |  10k|4532 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2314.94/2322.25	c  2322s| 12600 | 12024 |  1467k| 113.5 |  2307M |  46 |1534 | 133k| 126k|7638 |  1 |  10k|4534 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2327.10/2334.46	c  2334s| 12700 | 12122 |  1479k| 113.5 |  2309M |  46 |1534 | 133k| 126k|7669 |  1 |  10k|4540 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2341.96/2349.38	c  2349s| 12800 | 12222 |  1491k| 113.6 |  2346M |  46 |1534 | 133k| 126k|7699 |  1 |  10k|4541 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2352.73/2360.13	c  2360s| 12900 | 12314 |  1501k| 113.5 |  2348M |  46 |1534 | 133k| 126k|7737 |  1 |  10k|4542 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2365.50/2372.98	c  2373s| 13000 | 12400 |  1511k| 113.4 |  2353M |  46 |1534 | 133k| 126k|7784 |  1 |  10k|4542 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2372.07/2379.57	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2372.07/2379.57	c  2380s| 13100 | 12500 |  1522k| 113.4 |  2359M |  46 |1534 | 134k| 126k|7787 |  1 |  11k|4550 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2387.43/2394.96	c  2395s| 13200 | 12592 |  1533k| 113.3 |  2361M |  46 |1534 | 134k| 126k|7847 |  1 |  11k|4551 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2412.77/2420.32	c  2420s| 13300 | 12686 |  1543k| 113.3 |  2365M |  46 |1534 | 134k| 126k|7963 |  2 |  11k|4551 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2433.52/2441.12	c  2441s| 13400 | 12782 |  1562k| 113.8 |  2373M |  46 |1534 | 134k| 126k|8023 |  1 |  11k|4567 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2461.03/2468.71	c  2469s| 13500 | 12866 |  1578k| 114.2 |  2378M |  46 |1534 | 134k| 126k|8246 |  1 |  11k|4568 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2483.87/2491.69	c  2492s| 13600 | 12964 |  1593k| 114.4 |  2395M |  46 |1534 | 134k| 126k|8363 |  1 |  11k|4568 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2496.03/2503.87	c  2504s| 13700 | 13064 |  1607k| 114.6 |  2422M |  46 |1534 | 134k| 126k|8418 |  1 |  11k|4580 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2506.70/2514.58	c  2515s| 13800 | 13164 |  1622k| 114.9 |  2427M |  46 |1534 | 134k| 126k|8445 |  1 |  11k|4607 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2525.65/2533.51	c  2534s| 13900 | 13264 |  1638k| 115.2 |  2431M |  46 |1534 | 134k| 126k|8527 |  1 |  11k|4640 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2536.81/2544.72	c  2545s| 14000 | 13364 |  1653k| 115.4 |  2434M |  46 |1534 | 134k| 126k|8557 |  1 |  11k|4662 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2545.40/2553.30	c  2553s| 14100 | 13464 |  1666k| 115.5 |  2438M |  46 |1534 | 134k| 126k|8567 |  1 |  11k|4686 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2558.65/2566.65	c  2567s| 14200 | 13552 |  1679k| 115.6 |  2441M |  46 |1534 | 134k| 126k|8608 |  2 |  11k|4719 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2566.53/2574.51	c  2575s| 14300 | 13650 |  1690k| 115.6 |  2445M |  46 |1534 | 134k| 126k|8620 |  1 |  11k|4747 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2574.41/2582.40	c  2582s| 14400 | 13742 |  1702k| 115.6 |  2448M |  46 |1534 | 134k| 126k|8624 |  1 |  12k|4768 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2593.05/2601.15	c  2601s| 14500 | 13842 |  1713k| 115.6 |  2481M |  46 |1534 | 134k| 126k|8683 |  1 |  12k|4799 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2599.93/2608.06	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2599.93/2608.06	c  2608s| 14600 | 13938 |  1724k| 115.5 |  2485M |  46 |1534 | 134k| 126k|8683 |  1 |  12k|4815 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2615.38/2623.54	c  2624s| 14700 | 14036 |  1736k| 115.6 |  2487M |  46 |1534 | 134k| 126k|8703 |  0 |  12k|4847 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2626.15/2634.36	c  2634s| 14800 | 14126 |  1746k| 115.5 |  2489M |  46 |1534 | 134k| 126k|8729 |  1 |  12k|4875 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2638.51/2646.75	c  2647s| 14900 | 14224 |  1758k| 115.5 |  2495M |  46 |1534 | 134k| 126k|8748 |  1 |  12k|4893 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2649.79/2658.08	c  2658s| 15000 | 14324 |  1776k| 115.9 |  2498M |  46 |1534 | 134k| 126k|8751 |  1 |  12k|4927 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2659.06/2667.32	c  2667s| 15100 | 14422 |  1792k| 116.3 |  2502M |  46 |1534 | 134k| 126k|8755 |  1 |  12k|4946 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2682.69/2691.06	c  2691s| 15200 | 14520 |  1803k| 116.2 |  2507M |  46 |1534 | 134k| 126k|8806 |  1 |  12k|4993 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2691.16/2699.58	c  2700s| 15300 | 14618 |  1816k| 116.2 |  2509M |  46 |1534 | 134k| 126k|8813 |  1 |  12k|5015 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2698.94/2707.33	c  2707s| 15400 | 14716 |  1826k| 116.1 |  2512M |  46 |1534 | 134k| 126k|8818 |  1 |  12k|5038 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2709.31/2717.70	c  2718s| 15500 | 14810 |  1836k| 116.1 |  2519M |  46 |1534 | 134k| 126k|8838 |  1 |  13k|5057 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2732.44/2740.90	c  2741s| 15600 | 14908 |  1848k| 116.1 |  2522M |  46 |1534 | 134k| 126k|8903 |  1 |  13k|5076 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2746.71/2755.21	c  2755s| 15700 | 15004 |  1859k| 116.0 |  2525M |  46 |1534 | 134k| 126k|8932 |  1 |  13k|5106 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2763.65/2772.20	c  2772s| 15800 | 15096 |  1871k| 116.1 |  2528M |  46 |1534 | 135k| 126k|8964 |  2 |  13k|5124 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2778.82/2787.40	c  2787s| 15900 | 15186 |  1884k| 116.1 |  2543M |  46 |1534 | 134k| 126k|9028 |  1 |  13k|5129 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2796.77/2805.48	c  2805s| 16000 | 15284 |  1898k| 116.3 |  2569M |  46 |1534 | 134k| 126k|9071 |  1 |  13k|5136 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2805.24/2813.96	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
2805.24/2813.96	c  2814s| 16100 | 15384 |  1915k| 116.6 |  2573M |  46 |1534 | 135k| 126k|9071 |  1 |  13k|5136 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2821.70/2830.43	c  2830s| 16200 | 15484 |  1930k| 116.9 |  2578M |  46 |1534 | 135k| 126k|9114 |  1 |  13k|5136 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2837.35/2846.10	c  2846s| 16300 | 15584 |  1951k| 117.4 |  2585M |  46 |1534 | 135k| 126k|9172 |  1 |  13k|5136 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2884.53/2893.49	c  2893s| 16400 | 15684 |  1969k| 117.8 |  2602M |  46 |1534 | 135k| 126k|9428 |  1 |  13k|5137 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2921.64/2930.69	c  2931s| 16500 | 15784 |  1988k| 118.3 |  2607M |  46 |1534 | 135k| 126k|9560 |  1 |  13k|5143 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2929.80/2938.85	c  2939s| 16600 | 15884 |  2002k| 118.4 |  2649M |  46 |1534 | 135k| 126k|9566 |  1 |  13k|5149 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2936.39/2945.47	c  2945s| 16700 | 15978 |  2011k| 118.2 |  2654M |  46 |1534 | 135k| 126k|9571 |  1 |  14k|5165 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2943.57/2952.63	c  2953s| 16800 | 16070 |  2024k| 118.3 |  2657M |  46 |1534 | 135k| 126k|9573 |  1 |  14k|5166 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2953.94/2963.05	c  2963s| 16900 | 16166 |  2035k| 118.2 |  2662M |  46 |1534 | 135k| 126k|9604 |  0 |  14k|5167 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2961.51/2970.63	c  2971s| 17000 | 16260 |  2046k| 118.1 |  2664M |  46 |1534 | 135k| 126k|9613 |  1 |  14k|5180 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2979.47/2988.60	c  2989s| 17100 | 16358 |  2057k| 118.1 |  2666M |  46 |1534 | 135k| 126k|9649 |  1 |  14k|5184 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2985.95/2995.13	c  2995s| 17200 | 16454 |  2068k| 118.1 |  2673M |  46 |1534 | 135k| 126k|9650 |  1 |  14k|5186 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2993.73/3002.91	c  3003s| 17300 | 16550 |  2078k| 118.0 |  2677M |  46 |1534 | 135k| 126k|9671 |  1 |  14k|5193 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
2999.71/3008.99	c  3009s| 17400 | 16644 |  2089k| 117.9 |  2679M |  46 |1534 | 135k| 126k|9676 |  1 |  14k|5194 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3015.07/3024.38	c  3024s| 17500 | 16736 |  2099k| 117.8 |  2685M |  46 |1534 | 135k| 126k|9709 |  1 |  14k|5202 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3046.48/3055.80	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3046.48/3055.80	c  3056s| 17600 | 16826 |  2110k| 117.8 |  2690M |  46 |1534 | 135k| 126k|9816 |  1 |  14k|5209 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3069.02/3078.48	c  3078s| 17700 | 16924 |  2119k| 117.6 |  2692M |  46 |1534 | 135k| 126k|9880 |  1 |  15k|5210 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3082.88/3092.33	c  3092s| 17800 | 17022 |  2129k| 117.5 |  2696M |  46 |1534 | 135k| 126k|9920 |  1 |  15k|5213 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3091.86/3101.36	c  3101s| 17900 | 17112 |  2140k| 117.5 |  2700M |  46 |1534 | 135k| 126k|9935 |  1 |  15k|5213 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3100.23/3109.76	c  3110s| 18000 | 17212 |  2153k| 117.5 |  2704M |  46 |1534 | 135k| 126k|9958 |  1 |  15k|5215 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3111.09/3120.65	c  3121s| 18100 | 17310 |  2167k| 117.7 |  2707M |  46 |1534 | 135k| 126k|9982 |  1 |  15k|5215 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3117.38/3126.97	c  3127s| 18200 | 17402 |  2176k| 117.5 |  2709M |  46 |1534 | 135k| 126k|9987 |  1 |  15k|5217 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3129.65/3139.27	c  3139s| 18300 | 17500 |  2187k| 117.5 |  2713M |  46 |1534 | 135k| 126k|  10k|  1 |  15k|5218 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3151.19/3160.86	c  3161s| 18400 | 17588 |  2198k| 117.4 |  2717M |  46 |1534 | 135k| 126k|  10k|  1 |  15k|5218 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3156.97/3166.63	c  3167s| 18500 | 17684 |  2207k| 117.3 |  2719M |  48 |1534 | 135k| 126k|  10k|  1 |  15k|5218 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3173.02/3182.75	c  3183s| 18600 | 17780 |  2216k| 117.1 |  2724M |  48 |1534 | 135k| 126k|  10k|  1 |  15k|5218 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3201.85/3211.68	c  3212s| 18700 | 17878 |  2224k| 117.0 |  2727M |  48 |1534 | 136k| 126k|  10k|  1 |  15k|5218 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3246.33/3256.20	c  3256s| 18800 | 17970 |  2235k| 116.9 |  2730M |  48 |1534 | 136k| 126k|  10k|  1 |  15k|5219 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3258.70/3268.61	c  3269s| 18900 | 18064 |  2247k| 116.9 |  2733M |  48 |1534 | 136k| 126k|  10k|  1 |  16k|5219 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3268.47/3278.49	c  3278s| 19000 | 18158 |  2257k| 116.9 |  2758M |  48 |1534 | 136k| 126k|  10k|  1 |  16k|5219 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3303.69/3313.79	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3303.69/3313.79	c  3314s| 19100 | 18252 |  2267k| 116.7 |  2763M |  48 |1534 | 136k| 126k|  10k|  1 |  16k|5220 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3315.15/3325.23	c  3325s| 19200 | 18344 |  2280k| 116.8 |  2767M |  48 |1534 | 136k| 126k|  10k|  1 |  16k|5222 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3334.00/3344.16	c  3344s| 19300 | 18444 |  2289k| 116.7 |  2771M |  48 |1534 | 136k| 126k|  10k|  1 |  16k|5225 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3342.77/3352.96	c  3353s| 19400 | 18534 |  2301k| 116.7 |  2775M |  48 |1534 | 136k| 126k|  10k|  1 |  16k|5225 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3350.45/3360.63	c  3361s| 19500 | 18634 |  2314k| 116.8 |  2778M |  48 |1534 | 136k| 126k|  10k|  1 |  16k|5225 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3359.02/3369.28	c  3369s| 19600 | 18734 |  2330k| 117.0 |  2780M |  48 |1534 | 136k| 126k|  10k|  2 |  16k|5225 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3366.40/3376.68	c  3377s| 19700 | 18834 |  2342k| 117.0 |  2785M |  48 |1534 | 136k| 126k|  10k|  1 |  16k|5225 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3408.59/3418.93	c  3419s| 19800 | 18932 |  2357k| 117.2 |  2835M |  48 |1534 | 136k| 126k|  10k|  1 |  17k|5226 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3463.46/3473.91	c  3474s| 19900 | 19032 |  2370k| 117.2 |  2857M |  48 |1534 | 136k| 126k|  11k|  6 |  17k|5227 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3495.78/3506.33	c  3506s| 20000 | 19130 |  2383k| 117.3 |  2862M |  48 |1534 | 136k| 126k|  11k|  1 |  17k|5227 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3501.86/3512.45	c  3512s| 20100 | 19230 |  2394k| 117.3 |  2865M |  48 |1534 | 136k| 126k|  11k|  1 |  17k|5227 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3521.02/3531.64	c  3532s| 20200 | 19324 |  2404k| 117.2 |  2868M |  48 |1534 | 136k| 126k|  11k|  1 |  17k|5227 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3527.10/3537.74	c  3538s| 20300 | 19416 |  2415k| 117.2 |  2872M |  48 |1534 | 136k| 126k|  11k|  1 |  17k|5227 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3532.88/3543.50	c  3543s| 20400 | 19512 |  2425k| 117.1 |  2877M |  48 |1534 | 136k| 126k|  11k|  1 |  17k|5228 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3546.15/3556.85	c  3557s| 20500 | 19600 |  2435k| 117.0 |  2879M |  48 |1534 | 136k| 126k|  11k|  1 |  17k|5232 |-5.900000e+01 |-5.100000e+01 |  15.69%| unknown
3586.16/3597.00	c 
3586.16/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3586.16/3597.00	c Solving Time (sec) : 3597.00
3586.16/3597.00	c Solving Nodes      : 20557
3586.16/3597.00	c Primal Bound       : -5.10000000000000e+01 (975 solutions)
3586.16/3597.00	c Dual Bound         : -5.90000000000000e+01
3586.16/3597.00	c Gap                : 15.69 %
3586.27/3597.03	s SATISFIABLE
3586.27/3597.03	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 
3586.27/3597.03	v -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 
3586.27/3597.03	v x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 
3586.27/3597.03	v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 
3586.27/3597.03	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 
3586.27/3597.03	v -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 
3586.27/3597.03	v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 
3586.27/3597.03	v -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 
3586.27/3597.03	v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 
3586.27/3597.03	v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 
3586.27/3597.03	v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 
3586.27/3597.03	v -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 
3586.27/3597.03	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 
3586.27/3597.03	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 
3586.27/3597.03	v -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 
3586.27/3597.03	v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 
3586.27/3597.03	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 
3586.27/3597.03	v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 
3586.27/3597.03	v -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 
3586.27/3597.03	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 
3586.27/3597.03	v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 
3586.27/3597.03	v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 
3586.27/3597.03	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 
3586.27/3597.03	v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 
3586.27/3597.03	v -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 
3586.27/3597.03	v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 
3586.27/3597.03	v -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 
3586.27/3597.03	v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 
3586.27/3597.03	v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 
3586.27/3597.03	v -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 
3586.27/3597.03	v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 
3586.27/3597.03	v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 
3586.27/3597.03	v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 
3586.27/3597.03	v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 
3586.27/3597.03	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 
3586.27/3597.03	v -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 
3586.27/3597.03	v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 
3586.27/3597.03	v -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 
3586.27/3597.03	v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 
3586.27/3597.03	v -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 
3586.27/3597.03	v -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 
3586.27/3597.03	v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 
3586.27/3597.03	v -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 
3586.27/3597.03	v -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 
3586.27/3597.03	v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 -x961 -x962 
3586.27/3597.03	v -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 
3586.27/3597.03	v -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 
3586.27/3597.03	v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 
3586.27/3597.03	v -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 
3586.27/3597.03	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 
3586.27/3597.03	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 
3586.27/3597.03	v -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 
3586.27/3597.03	v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 
3586.27/3597.03	v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 
3586.27/3597.03	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 
3586.27/3597.03	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 -x1163 -x1164 -x1165 
3586.27/3597.03	v -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 
3586.27/3597.03	v -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 
3586.27/3597.03	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 
3586.27/3597.03	v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 
3586.27/3597.03	v -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 
3586.27/3597.03	v -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 
3586.27/3597.03	v -x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 
3586.27/3597.03	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 
3586.27/3597.03	v -x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 
3586.27/3597.03	v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 
3586.27/3597.03	v -x1345 -x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 
3586.27/3597.03	v -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 
3586.27/3597.03	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 
3586.27/3597.03	v -x1399 x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 
3586.27/3597.03	v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 
3586.27/3597.03	v -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 
3586.27/3597.03	v -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 
3586.27/3597.03	v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 
3586.27/3597.03	v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 
3586.27/3597.03	v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 
3586.27/3597.03	v x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 
3586.27/3597.03	c SCIP Status        : solving was interrupted [time limit reached]
3586.27/3597.03	c Total Time         :    3597.00
3586.27/3597.03	c   solving          :    3597.00
3586.27/3597.03	c   presolving       :       2.80 (included in solving)
3586.27/3597.03	c   reading          :       0.22 (included in solving)
3586.27/3597.03	c   copying          :       3.85 (25 #copies) (minimal 0.12, maximal 0.20, average 0.15)
3586.27/3597.03	c Original Problem   :
3586.27/3597.03	c   Problem name     : HOME/instance-4432704-1721058421.opb
3586.27/3597.03	c   Variables        : 1534 (1534 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.27/3597.03	c   Constraints      : 126163 initial, 126163 maximal
3586.27/3597.03	c   Objective        : minimize, 1534 non-zeros (abs.min = 1, abs.max = 1)
3586.27/3597.03	c Presolved Problem  :
3586.27/3597.03	c   Problem name     : t_HOME/instance-4432704-1721058421.opb
3586.27/3597.03	c   Variables        : 1534 (1534 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.27/3597.03	c   Constraints      : 126163 initial, 136168 maximal
3586.27/3597.03	c   Objective        : minimize, 1534 non-zeros (abs.min = 1, abs.max = 1)
3586.27/3597.03	c   Nonzeros         : 252326 constraint, 252326 clique table
3586.27/3597.03	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.27/3597.03	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   domcol           :       0.04       0.00      1          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   dualsparsify     :       0.85       0.00      1          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   implics          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   milp             :       0.48       0.00      1          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   sparsify         :       0.07       0.00      1          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   trivial          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   dualfix          :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   probing          :       0.73       0.00      1          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   symmetry         :       0.06       0.00      1          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   vbounds          :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   knapsack         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   setppc           :       0.12       0.00      3          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   linear           :       0.36       0.03      2          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   components       :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3586.27/3597.03	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.27/3597.03	c   benderslp        :          0          0          0          0      20209          0          0       3315          0          0          0          0          0          0          0
3586.27/3597.03	c   integral         :          0          0          0          0      20209          0          0       3315          0          0         91          0          0        162      40332
3586.27/3597.03	c   knapsack         :          0+         2          0       3152          0          0          0          0          0          1          0          0          0          0          0
3586.27/3597.03	c   setppc           :     126163     126163         40     215520          0          0          0       3310     872076          0     643589          0          0          0          0
3586.27/3597.03	c   logicor          :          0+     10003          0      45887          0          0          0          0         94        449          7          0          0          0          0
3586.27/3597.03	c   benders          :          0          0          0          0          0          0          0       1145          0          0          0          0          0          0          0
3586.27/3597.03	c   fixedvar         :          0          0          0          0          0          0          0       1145          0          0          0          0          0          0          0
3586.27/3597.03	c   countsols        :          0          0          0          0          0          0          0       1145          0          0          0          0          0          0          0
3586.27/3597.03	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.27/3597.03	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3586.27/3597.03	c   integral         :     362.40       0.00       0.00       0.00     362.37       0.00       0.00       0.03       0.00       0.00
3586.27/3597.03	c   knapsack         :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3586.27/3597.03	c   setppc           :      28.92       0.00       0.19      20.13       0.00       0.00       0.00       4.52       0.17       3.91
3586.27/3597.03	c   logicor          :       2.49       0.00       0.00       2.35       0.00       0.00       0.00       0.00       0.00       0.15
3586.27/3597.03	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.27/3597.03	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.27/3597.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.27/3597.03	c   components       :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3586.27/3597.03	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.27/3597.03	c   dualfix          :          2          0          0          0
3586.27/3597.03	c   genvbounds       :          0          0          0          0
3586.27/3597.03	c   nlobbt           :          0          0          0          0
3586.27/3597.03	c   obbt             :          0          0          0          0
3586.27/3597.03	c   probing          :          0          0          0          0
3586.27/3597.03	c   pseudoobj        :      57488          0          0          0
3586.27/3597.03	c   redcost          :      17451          0          0         45
3586.27/3597.03	c   rootredcost      :          5          0          0          0
3586.27/3597.03	c   symmetry         :          0          0          0          0
3586.27/3597.03	c   vbounds          :      59987          0          0          0
3586.27/3597.03	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.27/3597.03	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3586.27/3597.03	c   genvbounds       :       0.04       0.00       0.00       0.04       0.00       0.01
3586.27/3597.03	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.27/3597.03	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.27/3597.03	c   probing          :       0.73       0.00       0.73       0.00       0.00       0.00
3586.27/3597.03	c   pseudoobj        :       2.55       0.00       0.00       2.55       0.00       0.00
3586.27/3597.03	c   redcost          :       0.40       0.00       0.00       0.40       0.00       0.00
3586.27/3597.03	c   rootredcost      :       0.04       0.00       0.00       0.03       0.00       0.00
3586.27/3597.03	c   symmetry         :       0.12       0.00       0.06       0.04       0.00       0.01
3586.27/3597.03	c   vbounds          :       0.09       0.00       0.01       0.07       0.00       0.01
3586.27/3597.03	c Symmetry           :
3586.27/3597.03	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3586.27/3597.03	c   orbital reduction:          0 reductions applied,          0 cutoffs
3586.27/3597.03	c   lexicographic red:          0 reductions applied,          0 cutoffs
3586.27/3597.03	c   shadow tree time :       0.00 s
3586.27/3597.03	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.27/3597.03	c   propagation      :       0.00        450        258          -        277       33.6          0        0.0          -          -          -
3586.27/3597.03	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.27/3597.03	c   bound exceed. LP :      17.93       4510       2562          -      50060      251.2          0        0.0          5      217.4       8569
3586.27/3597.03	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.27/3597.03	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.27/3597.03	c   applied globally :       5.17          -          -          0      17796       38.0          -          -          5          -          -
3586.27/3597.03	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3586.27/3597.03	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.27/3597.03	c   cut pool         :       1.66          -       4724         79          -          -      50722      72834          -          -          -          -          -    (maximal pool size:       3289)
3586.27/3597.03	c   aggregation      :       6.72       0.00       1073         40          0          0          7         11          0          1          1          0          0
3586.27/3597.03	c   > cmir           :          -          -          -          -          -          -          -          8          0          0          0          0          -
3586.27/3597.03	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.27/3597.03	c   > knapsackcover  :          -          -          -          -          -          -          -          3          0          1          1          0          -
3586.27/3597.03	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   clique           :       0.73       0.00         40         40          0          0        356       1225          0        528        528          0          0
3586.27/3597.03	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   gomory           :    1762.31       0.00        992         10          0          0      48402      61602       2201       4919       4894         25          0
3586.27/3597.03	c   > gomorymi       :          -          -          -          -          -          -          -      19212       1096        241        225         16          -
3586.27/3597.03	c   > strongcg       :          -          -          -          -          -          -          -      42390       1105       4678       4669          9          -
3586.27/3597.03	c   impliedbounds    :       2.04       0.00       1074         40          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   mcf              :       0.06       0.00          1          1          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   multilinear      :       0.00       0.00        777         40          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   rapidlearning    :       3.34       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   rlt              :       0.00       0.00        390         10          0          0          0          0          0          0          0          0          0
3586.27/3597.03	c   zerohalf         :      11.63       0.00       1001         20          0          0       4831       9996        673       6348       6055        293          0
3586.27/3597.03	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.27/3597.03	c   hybrid           :       0.05       0.00       2179         40      11796          0      63912        693          0       1950
3586.27/3597.03	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.27/3597.03	c   problem variables:       0.00          -          0          0
3586.27/3597.03	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.27/3597.03	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c   relpscost        :     362.34       0.00      20209          0          0          0         91          0        164      40332
3586.27/3597.03	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.27/3597.03	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.27/3597.03	c   LP solutions     :       0.00          -          -          0          0
3586.27/3597.03	c   relax solutions  :       0.00          -          -          0          0
3586.27/3597.03	c   pseudo solutions :       0.00          -          -          0          0
3586.27/3597.03	c   strong branching :       2.17          -          -        450          1
3586.27/3597.03	c   actconsdiving    :       0.00       0.00          0          0          0
3586.27/3597.03	c   adaptivediving   :       5.78       0.00         92          3          0
3586.27/3597.03	c   alns             :       2.72       0.00          6          0          0
3586.27/3597.03	c   bound            :       0.00       0.00          0          0          0
3586.27/3597.03	c   clique           :       0.29       0.00          1          1          1
3586.27/3597.03	c   coefdiving       :       0.00       0.00          0          0          0
3586.27/3597.03	c   completesol      :       0.00       0.00          0          0          0
3586.27/3597.03	c   conflictdiving   :      27.22       0.00        433          0          0
3586.27/3597.03	c   crossover        :       3.93       0.00          9          5          0
3586.27/3597.03	c   dins             :       0.00       0.00          0          0          0
3586.27/3597.03	c   distributiondivin:      68.74       0.00        431          0          0
3586.27/3597.03	c   dps              :       0.00       0.00          0          0          0
3586.27/3597.03	c   dualval          :       0.00       0.00          0          0          0
3586.27/3597.03	c   farkasdiving     :       0.00       0.00          0          0          0
3586.27/3597.03	c   feasjump         :       0.00       0.00          0          0          0
3586.27/3597.03	c   feaspump         :       0.00       0.00          0          0          0
3586.27/3597.03	c   fixandinfer      :       0.00       0.00          0          0          0
3586.27/3597.03	c   fracdiving       :      29.07       0.00        433          0          0
3586.27/3597.03	c   gins             :       0.21       0.00          0          0          0
3586.27/3597.03	c   guideddiving     :      24.69       0.00        432          0          0
3586.27/3597.03	c   indcoefdiving    :       0.00       0.00          0          0          0
3586.27/3597.03	c   indicator        :       0.01       0.00          0          0          0
3586.27/3597.03	c   indicatordiving  :       0.00       0.00          0          0          0
3586.27/3597.03	c   indoneopt        :       0.01       0.00          0          0          0
3586.27/3597.03	c   indrounding      :       0.00       0.00          0          0          0
3586.27/3597.03	c   indtwoopt        :       0.00       0.00          0          0          0
3586.27/3597.03	c   intdiving        :       0.00       0.00          0          0          0
3586.27/3597.03	c   intshifting      :       0.00       0.00          0          0          0
3586.27/3597.03	c   linesearchdiving :      29.02       0.00        433          2          1
3586.27/3597.03	c   localbranching   :       0.00       0.00          0          0          0
3586.27/3597.03	c   locks            :       0.12       0.00          1          1          1
3586.27/3597.03	c   lpface           :       0.06       0.00          0          0          0
3586.27/3597.03	c   mpec             :       0.00       0.00          0          0          0
3586.27/3597.03	c   multistart       :       0.00       0.00          0          0          0
3586.27/3597.03	c   mutation         :       0.00       0.00          0          0          0
3586.27/3597.03	c   nlpdiving        :       0.00       0.00          0          0          0
3586.27/3597.03	c   objpscostdiving  :      63.82       0.00        152        178          2
3586.27/3597.03	c   octane           :       0.00       0.00          0          0          0
3586.27/3597.03	c   ofins            :       0.01       0.00          0          0          0
3586.27/3597.03	c   oneopt           :       0.05       0.00          5          0          0
3586.27/3597.03	c   padm             :       0.00       0.00          0          0          0
3586.27/3597.03	c   proximity        :       0.00       0.00          0          0          0
3586.27/3597.03	c   pscostdiving     :      54.72       0.00        433          7          1
3586.27/3597.03	c   randrounding     :       4.60       0.00       2228         41          0
3586.27/3597.03	c   rens             :       2.05       0.00          1          1          0
3586.27/3597.03	c   reoptsols        :       0.00       0.00          0          0          0
3586.27/3597.03	c   repair           :       0.00       0.00          0          0          0
3586.27/3597.03	c   rins             :       4.65       0.00          9          5          0
3586.27/3597.03	c   rootsoldiving    :      66.95       0.00        164         80          0
3586.27/3597.03	c   rounding         :      10.25       0.00       2070          0          0
3586.27/3597.03	c   scheduler        :       0.00       0.00          0          0          0
3586.27/3597.03	c   shiftandpropagate:       0.00       0.00          0          0          0
3586.27/3597.03	c   shifting         :       5.91       0.00        895          0          0
3586.27/3597.03	c   simplerounding   :       0.40       0.00      22388         32          0
3586.27/3597.03	c   smallcard        :       0.00       0.00          0          0          0
3586.27/3597.03	c   subnlp           :       0.02       0.00          0          0          0
3586.27/3597.03	c   trivial          :       0.01       0.00          2          1          1
3586.27/3597.03	c   trivialnegation  :       0.00       0.00          0          0          0
3586.27/3597.03	c   trustregion      :       0.00       0.00          0          0          0
3586.27/3597.03	c   trysol           :       0.01       0.00          0          0          0
3586.27/3597.03	c   twoopt           :       0.00       0.00          0          0          0
3586.27/3597.03	c   undercover       :       0.00       0.00          0          0          0
3586.27/3597.03	c   vbounds          :       0.67       0.00          1          2          1
3586.27/3597.03	c   veclendiving     :      24.93       0.00        432          0          0
3586.27/3597.03	c   zeroobj          :       0.00       0.00          0          0          0
3586.27/3597.03	c   zirounding       :      42.60       0.00       8301        166          0
3586.27/3597.03	c   other solutions  :          -          -          -          0          -
3586.27/3597.03	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.27/3597.03	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.27/3597.03	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.27/3597.03	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.27/3597.03	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.27/3597.03	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.27/3597.03	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.27/3597.03	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.27/3597.03	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.27/3597.03	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3586.27/3597.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.27/3597.03	c   primal LP        :      11.28       1269          0       0.00       0.00      11.28       1269
3586.27/3597.03	c   dual LP          :     629.65      22836    1728981      76.05    2745.93       1.03        102
3586.27/3597.03	c   lex dual LP      :       0.00          0          0       0.00          -
3586.27/3597.03	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.27/3597.03	c   resolve instable :       0.00          0          0       0.00          -
3586.27/3597.03	c   diving/probing LP:     273.69      15228     712959      46.82    2605.01
3586.27/3597.03	c   strong branching :     189.56       5232     438087      83.73    2311.09          -          -       1488
3586.27/3597.03	c     (at root node) :          -         27       2399      88.85          -
3586.27/3597.03	c   conflict analysis:       6.19        891       8569       9.62    1384.19
3586.27/3597.03	c B&B Tree           :
3586.27/3597.03	c   number of runs   :          1
3586.27/3597.03	c   nodes            :      20557 (20166 internal, 391 leaves)
3586.27/3597.03	c   feasible leaves  :          0
3586.27/3597.03	c   infeas. leaves   :          0
3586.27/3597.03	c   objective leaves :        390
3586.27/3597.03	c   nodes (total)    :      20557 (20166 internal, 391 leaves)
3586.27/3597.03	c   nodes left       :      19656
3586.27/3597.03	c   max depth        :         48
3586.27/3597.03	c   max depth (total):         48
3586.27/3597.03	c   backtracks       :       3984 (19.4%)
3586.27/3597.03	c   early backtracks :          0 (0.0%)
3586.27/3597.03	c   nodes exc. ref.  :          0 (0.0%)
3586.27/3597.03	c   delayed cutoffs  :          0
3586.27/3597.03	c   repropagations   :          2 (2 domain reductions, 0 cutoffs)
3586.27/3597.03	c   avg switch length:       7.77
3586.27/3597.03	c   switching time   :      99.63
3586.27/3597.03	c Root Node          :
3586.27/3597.03	c   First LP value   : -7.67000000000000e+02
3586.27/3597.03	c   First LP Iters   :       1534 (1753.50 Iter/sec)
3586.27/3597.03	c   First LP Time    :       0.87
3586.27/3597.03	c   Final Dual Bound : -5.90000000000000e+01
3586.27/3597.03	c   Final Root Iters :      37694
3586.27/3597.03	c   Root LP Estimate : -5.08659912214054e+01
3586.27/3597.03	c Solution           :
3586.27/3597.03	c   Solutions found  :        975 (9 improvements)
3586.27/3597.03	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.37 seconds, depth 0, found by <trivial>)
3586.27/3597.03	c   Gap First Sol.   :   infinite
3586.27/3597.03	c   Gap Last Sol.    :      15.69 %
3586.27/3597.03	c   Primal Bound     : -5.10000000000000e+01   (in run 1, after 606 nodes, 238.52 seconds, depth 57, found by <linesearchdiving>)
3586.27/3597.03	c   Dual Bound       : -5.90000000000000e+01
3586.27/3597.03	c   Gap              :      15.69 %
3586.27/3597.03	c Integrals          :      Total       Avg%
3586.27/3597.03	c   primal-dual      :   55086.30      15.31
3586.27/3597.03	c   primal-ref       :          -          - (not evaluated)
3586.27/3597.03	c   dual-ref         :          -          - (not evaluated)
3586.67/3597.45	c Time complete: 3586.72.

Verifier Data

OK	-51

Watcher Data

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=835882, runsolver pid=835879

[startup+0.100139 s]*
/proc/loadavg: 4.14 4.15 4.11 5/255 835883
/proc/meminfo: memFree=124127260/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=88868 memory=47320 CPUtime=0.09 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 8913 0 0 0 8 1 0 0 20 0 1 0 158007419 91000832 11830 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 22217 11830 3258 3540 0 10474 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 88868 KiB
Current children cumulated memory: 47320 KiB

[startup+0.206139 s]*
/proc/loadavg: 4.14 4.15 4.11 5/255 835883
/proc/meminfo: memFree=124097692/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=118212 memory=77016 CPUtime=0.19 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 16316 0 0 0 17 2 0 0 20 0 1 0 158007419 121049088 19254 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 29553 19254 3258 3540 0 17810 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118212 KiB
Current children cumulated memory: 77016 KiB

[startup+0.305646 s]*
/proc/loadavg: 4.14 4.15 4.11 5/255 835883
/proc/meminfo: memFree=124045528/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=174676 memory=134764 CPUtime=0.29 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 31193 0 0 0 25 4 0 0 20 0 1 0 158007419 178868224 33691 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 43669 33691 3562 3540 0 31926 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 174676 KiB
Current children cumulated memory: 134764 KiB

[startup+0.700227 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 835883
/proc/meminfo: memFree=123997340/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=289840 memory=247660 CPUtime=0.68 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 57124 0 0 0 59 9 0 0 20 0 1 0 158007419 296796160 61915 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 72460 61915 3673 3540 0 60717 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 289840 KiB
Current children cumulated memory: 247660 KiB

[startup+1.50024 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 835883
/proc/meminfo: memFree=123921292/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=301236 memory=259052 CPUtime=1.47 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 71695 0 0 0 137 10 0 0 20 0 1 0 158007419 308465664 64763 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 75309 64763 3737 3540 0 63566 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 301236 KiB
Current children cumulated memory: 259052 KiB

[startup+3.1057 s]
/proc/loadavg: 4.13 4.15 4.11 5/255 835883
/proc/meminfo: memFree=123712148/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=552104 memory=463812 CPUtime=3.07 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 79190 0 0 0 293 14 0 0 20 0 1 0 158007419 565354496 115953 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 138026 115953 3785 3540 0 126283 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 552104 KiB
Current children cumulated memory: 463812 KiB

[startup+6.30023 s]
/proc/loadavg: 4.13 4.15 4.11 5/255 835885
/proc/meminfo: memFree=123589972/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=688232 memory=598304 CPUtime=6.26 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 110909 0 0 0 606 20 0 0 20 0 1 0 158007419 704749568 149576 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 172058 149576 3977 3540 0 160315 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 688232 KiB
Current children cumulated memory: 598304 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.11 5/255 835886
/proc/meminfo: memFree=123538556/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=748508 memory=628756 CPUtime=12.65 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 115448 0 0 0 1244 21 0 0 20 0 1 0 158007419 766472192 157189 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 187127 157189 3977 3540 0 175384 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 748508 KiB
Current children cumulated memory: 628756 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.17 4.12 5/255 835889
/proc/meminfo: memFree=123524064/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=843260 memory=630804 CPUtime=25.41 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 115484 0 0 0 2520 21 0 0 20 0 1 0 158007419 863498240 157701 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 210815 157701 3977 3540 0 199072 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 843260 KiB
Current children cumulated memory: 630804 KiB

[startup+51.1057 s]
/proc/loadavg: 4.17 4.16 4.11 5/255 835892
/proc/meminfo: memFree=123361012/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1106696 memory=775932 CPUtime=50.94 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 151742 0 0 0 5068 26 0 0 20 0 1 0 158007419 1133256704 193983 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 276674 193983 4015 3540 0 264931 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1106696 KiB
Current children cumulated memory: 775932 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/255 835900
/proc/meminfo: memFree=123229548/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1139012 memory=808288 CPUtime=101.98 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 159874 0 0 0 10170 28 0 0 20 0 1 0 158007419 1166348288 202072 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 284753 202072 4015 3540 0 273010 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1139012 KiB
Current children cumulated memory: 808288 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/256 835911
/proc/meminfo: memFree=123114904/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1177588 memory=846796 CPUtime=161.78 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 169710 0 0 0 16149 29 0 0 20 0 1 0 158007419 1205850112 211699 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 294397 211699 4015 3540 0 282654 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1177588 KiB
Current children cumulated memory: 846796 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/258 835928
/proc/meminfo: memFree=122954160/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1284840 memory=923724 CPUtime=221.61 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 189316 0 0 0 22129 32 0 0 20 0 1 0 158007419 1315676160 230931 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 321210 230931 4015 3540 0 309467 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 1284840 KiB
Current children cumulated memory: 923724 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/259 835939
/proc/meminfo: memFree=122914396/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1342456 memory=929236 CPUtime=281.41 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 190606 0 0 0 28109 32 0 0 20 0 1 0 158007419 1374674944 232309 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 335614 232309 4161 3540 0 323871 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 1342456 KiB
Current children cumulated memory: 929236 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/259 835950
/proc/meminfo: memFree=122808344/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1445160 memory=986300 CPUtime=341.25 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 204340 0 0 0 34090 35 0 0 20 0 1 0 158007419 1479843840 246575 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 361290 246575 4161 3540 0 349547 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 1445160 KiB
Current children cumulated memory: 986300 KiB

[startup+402.3 s]
/proc/loadavg: 4.31 4.18 4.12 5/259 835962
/proc/meminfo: memFree=122519964/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1532244 memory=993212 CPUtime=401.07 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 205090 0 0 0 40072 35 0 0 20 0 1 0 158007419 1569017856 248303 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 383061 248303 4161 3540 0 371318 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 1532244 KiB
Current children cumulated memory: 993212 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/258 835973
/proc/meminfo: memFree=122378760/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=1640812 memory=1064100 CPUtime=460.89 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 222289 0 0 0 46050 39 0 0 20 0 1 0 158007419 1680191488 266025 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 410203 266025 4161 3540 0 398460 0

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

/proc/loadavg: 4.08 4.12 4.11 5/255 837712
/proc/meminfo: memFree=120168536/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2890420 memory=2314188 CPUtime=3152.68 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 512538 0 0 0 315149 119 0 0 20 0 1 0 158007419 2959790080 578547 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 722605 578547 4161 3540 0 710862 0
Current children cumulated CPU time: 3152.68 s
Current children cumulated vsize: 2890420 KiB
Current children cumulated memory: 2314188 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/257 837728
/proc/meminfo: memFree=120162128/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2890420 memory=2316768 CPUtime=3212.53 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 513061 0 0 0 321133 120 0 0 20 0 1 0 158007419 2959790080 579192 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 722605 579192 4161 3540 0 710862 0
Current children cumulated CPU time: 3212.53 s
Current children cumulated vsize: 2890420 KiB
Current children cumulated memory: 2316768 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/257 837738
/proc/meminfo: memFree=120101940/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2912068 memory=2336472 CPUtime=3272.36 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 514526 0 0 0 327116 120 0 0 20 0 1 0 158007419 2981957632 584118 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 728017 584118 4161 3540 0 716274 0
Current children cumulated CPU time: 3272.36 s
Current children cumulated vsize: 2912068 KiB
Current children cumulated memory: 2336472 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/257 837748
/proc/meminfo: memFree=120036120/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2912068 memory=2358340 CPUtime=3332.2 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 515258 0 0 0 333099 121 0 0 20 0 1 0 158007419 2981957632 589585 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 728017 589585 4161 3540 0 716274 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 2912068 KiB
Current children cumulated memory: 2358340 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/257 837760
/proc/meminfo: memFree=119999488/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2912068 memory=2363736 CPUtime=3392.04 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 516122 0 0 0 339082 122 0 0 20 0 1 0 158007419 2981957632 590934 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 728017 590934 4161 3540 0 716274 0
Current children cumulated CPU time: 3392.04 s
Current children cumulated vsize: 2912068 KiB
Current children cumulated memory: 2363736 KiB

[startup+3462.3 s]
/proc/loadavg: 3.07 3.84 4.00 3/243 837834
/proc/meminfo: memFree=123231048/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2956972 memory=2374812 CPUtime=3451.88 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 517960 0 0 0 345065 123 0 0 20 0 1 0 158007419 3027939328 593703 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739243 593703 4161 3540 0 727500 0
Current children cumulated CPU time: 3451.88 s
Current children cumulated vsize: 2956972 KiB
Current children cumulated memory: 2374812 KiB

[startup+3522.3 s]
/proc/loadavg: 2.49 3.53 3.88 3/241 837844
/proc/meminfo: memFree=123214596/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2956972 memory=2389816 CPUtime=3511.74 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 518656 0 0 0 351051 123 0 0 20 0 1 0 158007419 3027939328 597454 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739243 597454 4161 3540 0 727500 0
Current children cumulated CPU time: 3511.74 s
Current children cumulated vsize: 2956972 KiB
Current children cumulated memory: 2389816 KiB

[startup+3582.3 s]
/proc/loadavg: 2.23 3.27 3.77 3/241 837855
/proc/meminfo: memFree=123210676/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2958948 memory=2393916 CPUtime=3571.59 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519254 0 0 0 357036 123 0 0 20 0 1 0 158007419 3029962752 598479 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739737 598479 4161 3540 0 727994 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 2958948 KiB
Current children cumulated memory: 2393916 KiB

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

# cumulated CPU time of all completed processes:  user=3585.48 s, system=1.25512 s

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

[startup+3584 s]*
/proc/loadavg: 2.21 3.24 3.76 3/241 837856
/proc/meminfo: memFree=123210548/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2958948 memory=2393916 CPUtime=3573.29 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519289 0 0 0 357206 123 0 0 20 0 1 0 158007419 3029962752 598479 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739737 598479 4161 3540 0 727994 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 2958948 KiB
Current children cumulated memory: 2393916 KiB

[startup+3590.4 s]
/proc/loadavg: 2.20 3.22 3.75 3/241 837856
/proc/meminfo: memFree=123210684/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2958948 memory=2393916 CPUtime=3579.68 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519343 0 0 0 357845 123 0 0 20 0 1 0 158007419 3029962752 598479 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739737 598479 4161 3540 0 727994 0
Current children cumulated CPU time: 3579.68 s
Current children cumulated vsize: 2958948 KiB
Current children cumulated memory: 2393916 KiB

[startup+3593.6 s]
/proc/loadavg: 2.18 3.20 3.74 3/241 837856
/proc/meminfo: memFree=123210676/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2958948 memory=2393916 CPUtime=3582.87 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519362 0 0 0 358164 123 0 0 20 0 1 0 158007419 3029962752 598479 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739737 598479 4161 3540 0 727994 0
Current children cumulated CPU time: 3582.87 s
Current children cumulated vsize: 2958948 KiB
Current children cumulated memory: 2393916 KiB

[startup+3595.2 s]
/proc/loadavg: 2.18 3.20 3.74 3/241 837858
/proc/meminfo: memFree=123210132/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2958948 memory=2393924 CPUtime=3584.47 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519398 0 0 0 358324 123 0 0 20 0 1 0 158007419 3029962752 598481 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739737 598481 4161 3540 0 727994 0
Current children cumulated CPU time: 3584.47 s
Current children cumulated vsize: 2958948 KiB
Current children cumulated memory: 2393924 KiB

[startup+3596.8 s]
/proc/loadavg: 2.18 3.20 3.74 3/241 837858
/proc/meminfo: memFree=123210132/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2958948 memory=2393924 CPUtime=3586.06 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519406 0 0 0 358483 123 0 0 20 0 1 0 158007419 3029962752 598481 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739737 598481 4161 3540 0 727994 0
Current children cumulated CPU time: 3586.06 s
Current children cumulated vsize: 2958948 KiB
Current children cumulated memory: 2393924 KiB

[startup+3597.2 s]
/proc/loadavg: 2.18 3.20 3.74 3/241 837858
/proc/meminfo: memFree=123210132/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2958948 memory=2394852 CPUtime=3586.46 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519732 0 0 0 358523 123 0 0 20 0 1 0 158007419 3029962752 598713 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739737 598713 4161 3540 0 727994 0
Current children cumulated CPU time: 3586.46 s
Current children cumulated vsize: 2958948 KiB
Current children cumulated memory: 2394852 KiB

[startup+3597.4 s]
/proc/loadavg: 2.18 3.20 3.74 3/241 837858
/proc/meminfo: memFree=123210132/131524600 swapFree=131071996/131071996
[pid=835882] ppid=835879 vsize=2957680 memory=2393788 CPUtime=3586.67 cores=5,7
/proc/835882/stat : 835882 (pbscip) R 835879 835882 812346 0 -1 4194304 519736 0 0 0 358543 124 0 0 20 0 1 0 158007419 3028664320 598447 134679101440 4194304 18693293 140729437506816 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 31731712 140729437508612 140729437508711 140729437508711 140729437515726 0
/proc/835882/statm: 739420 598447 4161 3540 0 727677 0
Current children cumulated CPU time: 3586.67 s
Current children cumulated vsize: 2957680 KiB
Current children cumulated memory: 2393788 KiB

Child status: 0

Real time (s): 3597.46
CPU time (s): 3586.73
CPU user time (s): 3585.48
CPU system time (s): 1.25512
CPU usage (%): 99.7019
Max. virtual memory (cumulated for all children) (KiB): 2958948
Max. memory (cumulated for all children) (KiB): 2394852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.47
system time used= 1.25512
maximum resident set size= 2394852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519789
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= 83
involuntary context switches= 3889


# summary of solver processes directly reported to runsolver:
#   pid: 835882
#   total CPU time (s): 3586.73
#   total CPU user time (s): 3585.48
#   total CPU system time (s): 1.25512

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45446 second user time and 16.6132 second system time

The end

Launcher Data

Begin job on nodeC025 at 2024-07-15 17:47:13
IDJOB=4432704
IDBENCH=146702
IDSOLVER=3059
FILE ID=nodeC025/4432704-1721058421
RUNJOBID= nodeC025-1721051059-830874
SLURM_JOB_ID= 7505483
Free space on /tmp= 889972 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432704-1721058421/watcher-4432704-1721058421 -o /tmp/evaluation-result-4432704-1721058421/solver-4432704-1721058421 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830874 --watchdog 3760  pbscip -f HOME/instance-4432704-1721058421.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 13efe7890d7fc5aab9247ea9860b6d53
RANDOM SEED=263293443

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124162348 kB
MemAvailable:   127776000 kB
Buffers:          381840 kB
Cached:          4028708 kB
SwapCached:            0 kB
Active:           695192 kB
Inactive:        5983048 kB
Active(anon):       1528 kB
Inactive(anon):  2303868 kB
Active(file):     693664 kB
Inactive(file):  3679180 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21764 kB
Writeback:             0 kB
AnonPages:       2267728 kB
Mapped:           139356 kB
Shmem:             37720 kB
KReclaimable:     160908 kB
Slab:             273504 kB
SReclaimable:     160908 kB
SUnreclaim:       112596 kB
KernelStack:        4112 kB
PageTables:        14744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3307908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61856 kB
HardwareCorrupted:     0 kB
AnonHugePages:    557056 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      240340 kB
DirectMap2M:    32038912 kB
DirectMap1G:    103809024 kB

Free space on /tmp at the end= 889988 MiB
End job on nodeC025 at 2024-07-15 18:47:11