Trace number 4446435

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2024-07-07? 3585.9 3597.31

General information on the benchmark

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

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4446435-1721333296.opb>
0.22/0.32	c original problem has 7085 variables (7085 bin, 0 int, 0 impl, 0 cont) and 151483 constraints
0.22/0.32	c problem read in 0.32
0.32/0.32	c No objective function, only one solution is needed.
0.52/0.55	c presolving:
0.68/0.74	c (round 1, fast)       425 del vars, 8745 del conss, 0 add conss, 425 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 26788 clqs
0.68/0.75	c (round 2, fast)       425 del vars, 13057 del conss, 0 add conss, 425 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 26788 clqs
0.88/0.98	c    (1.0s) running MILP presolver
1.38/1.42	c    (1.4s) MILP presolver found nothing
1.68/1.78	c (round 3, exhaustive) 425 del vars, 13074 del conss, 0 add conss, 425 chg bounds, 17 chg sides, 0 chg coeffs, 138407 upgd conss, 0 impls, 26788 clqs
2.10/2.14	c (round 4, exhaustive) 425 del vars, 15212 del conss, 0 add conss, 425 chg bounds, 17 chg sides, 3221 chg coeffs, 138407 upgd conss, 0 impls, 26788 clqs
3.00/3.07	c    (3.1s) probing: 51/6660 (0.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.00/3.07	c    (3.1s) probing aborted: 50/50 successive totally useless probings
3.99/4.06	c    (4.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.27/4.37	c    (4.4s) no symmetry present (symcode time: 0.04)
4.37/4.49	c presolving (5 rounds: 5 fast, 3 medium, 3 exhaustive):
4.37/4.49	c  425 deleted vars, 15212 deleted constraints, 0 added constraints, 425 tightened bounds, 0 added holes, 17 changed sides, 3303 changed coefficients
4.37/4.49	c  0 implications, 26788 cliques
4.37/4.49	c presolved problem has 6660 variables (6660 bin, 0 int, 0 impl, 0 cont) and 136271 constraints
4.37/4.49	c   15582 constraints of type <knapsack>
4.37/4.49	c   26788 constraints of type <setppc>
4.37/4.49	c       2 constraints of type <linear>
4.37/4.49	c   93899 constraints of type <logicor>
4.37/4.49	c transformed objective value is always integral (scale: 1)
4.37/4.49	c Presolving Time: 3.95
4.37/4.49	c - non default parameters ----------------------------------------------------------------------
4.37/4.49	c # SCIP version 10.0.0
4.37/4.49	c 
4.37/4.49	c # maximal time in seconds to run
4.37/4.49	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.37/4.49	c limits/time = 3596.997022
4.37/4.49	c 
4.37/4.49	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.37/4.49	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.37/4.49	c limits/memory = 27900
4.37/4.49	c 
4.37/4.49	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
4.37/4.49	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
4.37/4.49	c limits/solutions = 1
4.37/4.49	c 
4.37/4.49	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
4.37/4.49	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
4.37/4.49	c misc/usesymmetry = 3
4.37/4.49	c 
4.37/4.49	c # belongs reading time to solving time?
4.37/4.49	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.37/4.49	c timing/reading = TRUE
4.37/4.49	c 
4.37/4.49	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
4.37/4.49	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.37/4.49	c propagating/symmetry/detectdoublelex = FALSE
4.37/4.49	c 
4.37/4.49	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
4.37/4.49	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.37/4.49	c propagating/symmetry/detectsubgroups = FALSE
4.37/4.49	c 
4.37/4.49	c # Type of symmetries that shall be computed?
4.37/4.49	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
4.37/4.49	c propagating/symmetry/symtype = 1
4.37/4.49	c 
4.37/4.49	c # Should components consisting of a single full reflection be handled?
4.37/4.49	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
4.37/4.49	c propagating/symmetry/usesimplesgncomp = FALSE
4.37/4.49	c 
4.37/4.49	c -----------------------------------------------------------------------------------------------
4.37/4.49	c start solving
4.47/4.50	c 
5.17/5.29	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
5.17/5.29	c   5.3s|     1 |     0 |   632 |     - |   727M |   0 |6660 | 136k| 136k|   0 |  0 |  64 |   0 | 0.000000e+00 |      --      |    Inf | unknown
17.52/17.63	c  17.6s|     1 |     0 |  2219 |     - |   744M |   0 |6660 | 136k| 136k|   5 |  1 |  69 |   0 | 0.000000e+00 |      --      |    Inf | unknown
30.07/30.21	c  30.2s|     1 |     0 |  2245 |     - |   759M |   0 |6660 | 136k| 136k|  10 |  2 |  71 |   0 | 0.000000e+00 |      --      |    Inf | unknown
46.13/46.35	c  46.3s|     1 |     0 |  2293 |     - |   773M |   0 |6660 | 136k| 136k|  15 |  3 |  73 |   0 | 0.000000e+00 |      --      |    Inf | unknown
76.41/76.79	c  76.8s|     1 |     0 |  2390 |     - |   791M |   0 |6660 | 136k| 136k|  25 |  4 |  83 |   0 | 0.000000e+00 |      --      |    Inf | unknown
92.16/92.58	c  92.6s|     1 |     0 |  2451 |     - |   806M |   0 |6660 | 136k| 136k|  35 |  5 |  83 |   0 | 0.000000e+00 |      --      |    Inf | unknown
111.39/111.85	c   112s|     1 |     0 |  2505 |     - |   823M |   0 |6660 | 136k| 136k|  48 |  6 |  85 |   0 | 0.000000e+00 |      --      |    Inf | unknown
138.99/139.53	c   140s|     1 |     0 |  2561 |     - |   844M |   0 |6660 | 136k| 136k|  68 |  7 |  87 |   0 | 0.000000e+00 |      --      |    Inf | unknown
156.63/157.21	c   157s|     1 |     0 |  2657 |     - |   859M |   0 |6660 | 136k| 136k|  82 |  8 |  89 |   0 | 0.000000e+00 |      --      |    Inf | unknown
176.95/177.68	c   178s|     1 |     0 |  2715 |     - |   888M |   0 |6660 | 136k| 136k|  93 |  9 |  98 |   0 | 0.000000e+00 |      --      |    Inf | unknown
193.42/194.16	c   194s|     1 |     0 |  2750 |     - |   908M |   0 |6660 | 136k| 136k| 104 | 10 | 105 |   0 | 0.000000e+00 |      --      |    Inf | unknown
193.60/194.30	c   194s|     1 |     0 |  2775 |     - |   923M |   0 |6660 | 136k| 136k| 111 | 11 | 108 |   0 | 0.000000e+00 |      --      |    Inf | unknown
197.40/198.13	c   198s|     1 |     2 |  5248 |     - |   925M |   0 |6660 | 136k| 136k| 111 | 11 | 116 |  19 | 0.000000e+00 |      --      |    Inf | unknown
277.31/278.33	c   278s|   100 |    87 | 80592 | 786.0 |  1063M |  36 |6660 | 136k| 136k| 509 |  1 | 575 |  19 | 0.000000e+00 |      --      |    Inf | unknown
296.15/297.29	c   297s|   200 |   165 | 94957 | 463.2 |  1109M |  62 |6660 | 137k|   0 | 656 |  0 | 788 |  19 | 0.000000e+00 |      --      |    Inf | unknown
299.43/300.57	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
299.43/300.57	c   301s|   300 |   219 | 97755 | 317.7 |  1111M |  67 |6660 | 137k| 136k| 656 |  1 | 975 |  19 | 0.000000e+00 |      --      |    Inf | unknown
305.31/306.47	c   306s|   400 |   257 |105226 | 256.8 |  1113M |  67 |6660 | 137k|   0 | 656 |  0 |1123 |  19 | 0.000000e+00 |      --      |    Inf | unknown
307.71/308.80	c   309s|   500 |   268 |106693 | 208.3 |  1113M |  67 |6660 | 137k|   0 | 656 |  0 |1430 |  19 | 0.000000e+00 |      --      |    Inf | unknown
309.91/311.06	c   311s|   600 |   272 |107812 | 175.4 |  1113M |  67 |6660 | 137k|   0 | 656 |  0 |1667 |  19 | 0.000000e+00 |      --      |    Inf | unknown
312.59/313.71	c   314s|   700 |   272 |109384 | 152.5 |  1114M |  67 |6660 | 137k| 136k| 656 |  1 |1968 |  19 | 0.000000e+00 |      --      |    Inf | unknown
315.57/316.77	c   317s|   800 |   286 |110434 | 134.7 |  1115M |  67 |6660 | 137k| 136k| 685 |  1 |2153 |  19 | 0.000000e+00 |      --      |    Inf | unknown
318.66/319.85	c   320s|   900 |   287 |111648 | 121.1 |  1114M |  67 |6660 | 137k|   0 | 733 |  0 |2388 |  19 | 0.000000e+00 |      --      |    Inf | unknown
322.15/323.37	c   323s|  1000 |   302 |113130 | 110.5 |  1114M |  67 |6660 | 138k|   0 | 789 |  0 |2593 |  19 | 0.000000e+00 |      --      |    Inf | unknown
325.03/326.27	c   326s|  1100 |   310 |114652 | 101.8 |  1114M |  67 |6660 | 138k| 136k| 825 |  1 |2780 |  19 | 0.000000e+00 |      --      |    Inf | unknown
328.02/329.21	c   329s|  1200 |   288 |115707 |  94.2 |  1114M |  67 |6660 | 138k| 136k| 885 |  1 |3012 |  19 | 0.000000e+00 |      --      |    Inf | unknown
331.41/332.69	c   333s|  1300 |   270 |117042 |  88.0 |  1114M |  67 |6660 | 138k|   0 | 927 |  0 |3229 |  19 | 0.000000e+00 |      --      |    Inf | unknown
334.91/336.16	c   336s|  1400 |   239 |118313 |  82.6 |  1114M |  67 |6660 | 138k|   0 |1003 |  0 |3413 |  19 | 0.000000e+00 |      --      |    Inf | unknown
348.65/349.94	c   350s|  1500 |   255 |122031 |  79.6 |  1180M |  67 |6660 | 138k| 136k|1204 |  1 |3748 |  19 | 0.000000e+00 |      --      |    Inf | unknown
357.12/358.42	c   358s|  1600 |   269 |124251 |  76.0 |  1197M |  67 |6660 | 138k|   0 |1368 |  0 |3901 |  19 | 0.000000e+00 |      --      |    Inf | unknown
363.20/364.58	c   365s|  1700 |   267 |125926 |  72.5 |  1197M |  67 |6660 | 138k| 136k|1432 |  2 |4032 |  19 | 0.000000e+00 |      --      |    Inf | unknown
370.69/372.05	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
370.69/372.05	c   372s|  1800 |   270 |130014 |  70.7 |  1211M |  67 |6660 | 138k|   0 |1565 |  0 |4173 |  19 | 0.000000e+00 |      --      |    Inf | unknown
374.56/375.99	c   376s|  1900 |   230 |133004 |  68.6 |  1217M |  67 |6660 | 138k|   0 |1565 |  0 |4327 |  19 | 0.000000e+00 |      --      |    Inf | unknown
377.85/379.29	c   379s|  2000 |   233 |136536 |  66.9 |  1217M |  67 |6660 | 138k|   0 |1710 |  0 |4482 |  19 | 0.000000e+00 |      --      |    Inf | unknown
381.75/383.14	c   383s|  2100 |   232 |141703 |  66.2 |  1231M |  67 |6660 | 138k| 136k|1861 |  1 |4644 |  19 | 0.000000e+00 |      --      |    Inf | unknown
385.73/387.18	c   387s|  2200 |   244 |146945 |  65.6 |  1284M |  67 |6660 | 138k|   0 |1938 |  0 |4791 |  19 | 0.000000e+00 |      --      |    Inf | unknown
388.41/389.86	c   390s|  2300 |   245 |148760 |  63.5 |  1285M |  67 |6660 | 138k|   0 |1973 |  0 |4974 |  19 | 0.000000e+00 |      --      |    Inf | unknown
396.18/397.63	c   398s|  2400 |   285 |153374 |  62.8 |  1285M |  67 |6660 | 138k| 136k|2068 |  1 |5110 |  19 | 0.000000e+00 |      --      |    Inf | unknown
403.86/405.39	c   405s|  2500 |   283 |162819 |  64.0 |  1300M |  67 |6660 | 138k| 136k|2150 |  1 |5484 |  19 | 0.000000e+00 |      --      |    Inf | unknown
410.94/412.44	c   412s|  2600 |   293 |164167 |  62.1 |  1301M |  67 |6660 | 139k| 136k|2205 |  1 |5815 |  19 | 0.000000e+00 |      --      |    Inf | unknown
415.12/416.64	c   417s|  2700 |   272 |165526 |  60.3 |  1314M |  67 |6660 | 139k|   0 |2332 |  0 |6201 |  19 | 0.000000e+00 |      --      |    Inf | unknown
419.11/420.65	c   421s|  2800 |   275 |166681 |  58.6 |  1327M |  67 |6660 | 139k| 136k|2410 |  1 |6505 |  19 | 0.000000e+00 |      --      |    Inf | unknown
421.80/423.35	c   423s|  2900 |   263 |168463 |  57.2 |  1327M |  67 |6660 | 139k| 136k|2459 |  1 |6903 |  19 | 0.000000e+00 |      --      |    Inf | unknown
428.08/429.66	c   430s|  3000 |   290 |173047 |  56.8 |  1342M |  67 |6660 | 139k| 136k|2556 |  1 |7141 |  19 | 0.000000e+00 |      --      |    Inf | unknown
437.14/438.79	c   439s|  3100 |   301 |174940 |  55.6 |  1369M |  67 |6660 | 139k| 136k|2751 |  2 |7317 |  19 | 0.000000e+00 |      --      |    Inf | unknown
443.22/444.86	c   445s|  3200 |   304 |177215 |  54.5 |  1421M |  67 |6660 | 139k| 136k|2902 |  1 |7496 |  19 | 0.000000e+00 |      --      |    Inf | unknown
448.21/449.83	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
448.21/449.83	c   450s|  3300 |   322 |180306 |  53.8 |  1460M |  67 |6660 | 139k| 136k|3177 |  1 |7666 |  19 | 0.000000e+00 |      --      |    Inf | unknown
451.89/453.55	c   454s|  3400 |   331 |182482 |  52.9 |  1462M |  67 |6660 | 140k| 136k|3384 |  1 |7865 |  19 | 0.000000e+00 |      --      |    Inf | unknown
457.17/458.89	c   459s|  3500 |   365 |190109 |  53.5 |  1478M |  67 |6660 | 140k| 136k|3724 |  1 |8077 |  19 | 0.000000e+00 |      --      |    Inf | unknown
461.47/463.14	c   463s|  3600 |   392 |196034 |  53.7 |  1480M |  67 |6660 | 140k| 136k|3936 |  1 |8293 |  19 | 0.000000e+00 |      --      |    Inf | unknown
465.74/467.41	c   467s|  3700 |   359 |199273 |  53.1 |  1482M |  67 |6660 | 140k| 136k|4119 |  1 |8623 |  19 | 0.000000e+00 |      --      |    Inf | unknown
472.22/473.99	c   474s|  3800 |   394 |213651 |  55.5 |  1485M |  67 |6660 | 139k| 136k|4342 |  1 |8774 |  19 | 0.000000e+00 |      --      |    Inf | unknown
479.20/480.90	c   481s|  3900 |   443 |223341 |  56.6 |  1486M |  67 |6660 | 139k|   0 |4587 |  0 |9003 |  19 | 0.000000e+00 |      --      |    Inf | unknown
485.77/487.53	c   488s|  4000 |   463 |229097 |  56.6 |  1528M |  67 |6660 | 139k| 136k|4788 |  2 |9203 |  19 | 0.000000e+00 |      --      |    Inf | unknown
489.86/491.60	c   492s|  4100 |   470 |234267 |  56.5 |  1528M |  67 |6660 | 139k|   0 |5088 |  0 |9385 |  19 | 0.000000e+00 |      --      |    Inf | unknown
497.73/499.57	c   500s|  4200 |   489 |237036 |  55.8 |  1542M |  67 |6660 | 139k| 136k|5261 |  1 |9591 |  19 | 0.000000e+00 |      --      |    Inf | unknown
513.58/515.44	c   515s|  4300 |   495 |240762 |  55.4 |  1556M |  67 |6660 | 140k| 136k|5555 |  1 |9920 |  19 | 0.000000e+00 |      --      |    Inf | unknown
518.57/520.49	c   520s|  4400 |   495 |244028 |  54.8 |  1556M |  67 |6660 | 140k| 136k|5626 |  1 |  10k|  19 | 0.000000e+00 |      --      |    Inf | unknown
522.55/524.47	c   524s|  4500 |   504 |250245 |  55.0 |  1565M |  67 |6660 | 140k| 136k|5742 |  1 |  10k|  19 | 0.000000e+00 |      --      |    Inf | unknown
527.25/529.15	c   529s|  4600 |   561 |259584 |  55.8 |  1566M |  67 |6660 | 140k| 136k|6149 |  2 |  10k|  19 | 0.000000e+00 |      --      |    Inf | unknown
531.42/533.32	c   533s|  4700 |   595 |266386 |  56.1 |  1570M |  67 |6660 | 140k| 136k|6496 |  1 |  10k|  19 | 0.000000e+00 |      --      |    Inf | unknown
536.60/538.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
536.60/538.59	c   539s|  4800 |   634 |273264 |  56.4 |  1597M |  67 |6660 | 140k| 136k|6697 |  1 |  10k|  19 | 0.000000e+00 |      --      |    Inf | unknown
542.19/544.19	c   544s|  4900 |   653 |277339 |  56.0 |  1611M |  67 |6660 | 140k| 136k|6947 |  1 |  11k|  19 | 0.000000e+00 |      --      |    Inf | unknown
545.18/547.13	c   547s|  5000 |   666 |282080 |  55.9 |  1611M |  67 |6660 | 140k|   0 |7033 |  0 |  11k|  19 | 0.000000e+00 |      --      |    Inf | unknown
548.07/550.03	c   550s|  5100 |   662 |284664 |  55.3 |  1612M |  67 |6660 | 140k|   0 |7235 |  0 |  11k|  19 | 0.000000e+00 |      --      |    Inf | unknown
551.06/553.07	c   553s|  5200 |   672 |287988 |  54.9 |  1612M |  67 |6660 | 140k|   0 |7394 |  0 |  11k|  19 | 0.000000e+00 |      --      |    Inf | unknown
554.64/556.61	c   557s|  5300 |   679 |292286 |  54.6 |  1625M |  67 |6660 | 140k| 136k|7639 |  2 |  11k|  19 | 0.000000e+00 |      --      |    Inf | unknown
558.82/560.82	c   561s|  5400 |   721 |301323 |  55.3 |  1626M |  67 |6660 | 140k|   0 |7862 |  0 |  12k|  19 | 0.000000e+00 |      --      |    Inf | unknown
562.02/564.04	c   564s|  5500 |   746 |305731 |  55.1 |  1627M |  67 |6660 | 140k|   0 |8010 |  0 |  12k|  19 | 0.000000e+00 |      --      |    Inf | unknown
565.50/567.56	c   568s|  5600 |   746 |310994 |  55.0 |  1627M |  67 |6660 | 140k| 136k|8172 |  1 |  12k|  19 | 0.000000e+00 |      --      |    Inf | unknown
570.78/572.89	c   573s|  5700 |   775 |324750 |  56.5 |  1628M |  67 |6660 | 140k| 136k|8617 |  1 |  12k|  19 | 0.000000e+00 |      --      |    Inf | unknown
574.56/576.68	c   577s|  5800 |   781 |330062 |  56.4 |  1629M |  67 |6660 | 140k| 136k|8985 |  1 |  12k|  19 | 0.000000e+00 |      --      |    Inf | unknown
578.55/580.68	c   581s|  5900 |   792 |336666 |  56.6 |  1630M |  67 |6660 | 140k|   0 |9228 |  0 |  13k|  19 | 0.000000e+00 |      --      |    Inf | unknown
591.92/594.06	c   594s|  6000 |   837 |362211 |  59.9 |  1630M |  67 |6660 | 140k| 136k|9427 |  1 |  13k|  19 | 0.000000e+00 |      --      |    Inf | unknown
598.89/601.02	c   601s|  6100 |   884 |375819 |  61.2 |  1631M |  67 |6660 | 140k|   0 |9800 |  0 |  13k|  19 | 0.000000e+00 |      --      |    Inf | unknown
606.47/608.62	c   609s|  6200 |   892 |390171 |  62.5 |  1633M |  67 |6660 | 140k| 136k|  10k|  1 |  13k|  19 | 0.000000e+00 |      --      |    Inf | unknown
610.05/612.25	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
610.05/612.25	c   612s|  6300 |   894 |393914 |  62.1 |  1633M |  67 |6660 | 140k| 136k|  10k|  2 |  13k|  19 | 0.000000e+00 |      --      |    Inf | unknown
612.54/614.77	c   615s|  6400 |   908 |394813 |  61.3 |  1633M |  67 |6660 | 140k|   0 |  10k|  0 |  14k|  19 | 0.000000e+00 |      --      |    Inf | unknown
615.53/617.78	c   618s|  6500 |   906 |396321 |  60.6 |  1634M |  67 |6660 | 140k| 136k|  10k|  1 |  14k|  19 | 0.000000e+00 |      --      |    Inf | unknown
618.02/620.20	c   620s|  6600 |   907 |397196 |  59.8 |  1634M |  67 |6660 | 140k| 136k|  10k|  1 |  14k|  19 | 0.000000e+00 |      --      |    Inf | unknown
621.31/623.53	c   624s|  6700 |   898 |402012 |  59.6 |  1635M |  67 |6660 | 140k| 136k|  10k|  1 |  14k|  19 | 0.000000e+00 |      --      |    Inf | unknown
624.50/626.79	c   627s|  6800 |   888 |405796 |  59.3 |  1635M |  67 |6660 | 140k|   0 |  10k|  0 |  15k|  19 | 0.000000e+00 |      --      |    Inf | unknown
627.90/630.14	c   630s|  6900 |   876 |409625 |  59.0 |  1635M |  67 |6660 | 140k|   0 |  11k|  0 |  15k|  19 | 0.000000e+00 |      --      |    Inf | unknown
632.57/634.88	c   635s|  7000 |   891 |418589 |  59.4 |  1635M |  67 |6660 | 140k| 136k|  11k|  1 |  15k|  19 | 0.000000e+00 |      --      |    Inf | unknown
635.66/637.99	c   638s|  7100 |   884 |423480 |  59.3 |  1635M |  67 |6660 | 140k|   0 |  11k|  0 |  15k|  19 | 0.000000e+00 |      --      |    Inf | unknown
639.05/641.32	c   641s|  7200 |   875 |427664 |  59.0 |  1635M |  67 |6660 | 140k|   0 |  11k|  0 |  16k|  19 | 0.000000e+00 |      --      |    Inf | unknown
642.43/644.78	c   645s|  7300 |   873 |431084 |  58.7 |  1635M |  67 |6660 | 140k| 136k|  11k|  1 |  16k|  19 | 0.000000e+00 |      --      |    Inf | unknown
646.42/648.77	c   649s|  7400 |   899 |435897 |  58.5 |  1635M |  67 |6660 | 140k| 136k|  12k|  1 |  16k|  19 | 0.000000e+00 |      --      |    Inf | unknown
652.50/654.87	c   655s|  7500 |   952 |451994 |  59.9 |  1636M |  67 |6660 | 140k| 136k|  12k|  1 |  16k|  19 | 0.000000e+00 |      --      |    Inf | unknown
658.79/661.19	c   661s|  7600 |  1011 |457940 |  59.9 |  1638M |  67 |6660 | 140k| 136k|  12k|  1 |  17k|  19 | 0.000000e+00 |      --      |    Inf | unknown
665.25/667.69	c   668s|  7700 |  1053 |472844 |  61.1 |  1640M |  67 |6660 | 140k|   0 |  12k|  0 |  17k|  19 | 0.000000e+00 |      --      |    Inf | unknown
670.93/673.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
670.93/673.32	c   673s|  7800 |  1102 |484651 |  61.8 |  1641M |  67 |6660 | 140k|   0 |  12k|  0 |  17k|  19 | 0.000000e+00 |      --      |    Inf | unknown
687.38/689.88	c   690s|  7900 |  1150 |497726 |  62.7 |  1646M |  67 |6660 | 140k| 136k|  13k|  1 |  17k|  19 | 0.000000e+00 |      --      |    Inf | unknown
693.36/695.89	c   696s|  8000 |  1188 |500866 |  62.3 |  1650M |  67 |6660 | 140k| 136k|  13k|  1 |  17k|  19 | 0.000000e+00 |      --      |    Inf | unknown
697.04/699.54	c   700s|  8100 |  1225 |505545 |  62.1 |  1653M |  67 |6660 | 140k| 136k|  13k|  1 |  18k|  19 | 0.000000e+00 |      --      |    Inf | unknown
702.43/704.92	c   705s|  8200 |  1241 |508797 |  61.7 |  1655M |  67 |6660 | 140k|   0 |  13k|  0 |  18k|  19 | 0.000000e+00 |      --      |    Inf | unknown
705.41/707.94	c   708s|  8300 |  1263 |512385 |  61.4 |  1655M |  67 |6660 | 140k| 136k|  13k|  1 |  18k|  19 | 0.000000e+00 |      --      |    Inf | unknown
709.20/711.76	c   712s|  8400 |  1266 |517380 |  61.3 |  1655M |  67 |6660 | 140k| 136k|  13k|  1 |  18k|  19 | 0.000000e+00 |      --      |    Inf | unknown
712.39/714.91	c   715s|  8500 |  1252 |519487 |  60.8 |  1657M |  67 |6660 | 141k|   0 |  13k|  0 |  18k|  19 | 0.000000e+00 |      --      |    Inf | unknown
716.77/719.37	c   719s|  8600 |  1258 |522374 |  60.4 |  1672M |  67 |6660 | 141k| 136k|  13k|  1 |  19k|  19 | 0.000000e+00 |      --      |    Inf | unknown
721.57/724.15	c   724s|  8700 |  1290 |526903 |  60.3 |  1674M |  67 |6660 | 141k| 136k|  13k|  1 |  19k|  19 | 0.000000e+00 |      --      |    Inf | unknown
727.04/729.61	c   730s|  8800 |  1321 |529760 |  59.9 |  1676M |  67 |6660 | 141k| 136k|  14k|  1 |  19k|  19 | 0.000000e+00 |      --      |    Inf | unknown
731.12/733.75	c   734s|  8900 |  1328 |533757 |  59.7 |  1691M |  67 |6660 | 141k| 136k|  14k|  1 |  19k|  19 | 0.000000e+00 |      --      |    Inf | unknown
735.31/737.99	c   738s|  9000 |  1357 |542968 |  60.0 |  1693M |  67 |6660 | 141k| 136k|  14k|  1 |  20k|  19 | 0.000000e+00 |      --      |    Inf | unknown
743.58/746.26	c   746s|  9100 |  1407 |560183 |  61.3 |  1697M |  74 |6660 | 141k| 136k|  14k|  1 |  20k|  19 | 0.000000e+00 |      --      |    Inf | unknown
746.77/749.40	c   749s|  9200 |  1421 |564092 |  61.0 |  1697M |  79 |6660 | 142k|   0 |  14k|  0 |  20k|  19 | 0.000000e+00 |      --      |    Inf | unknown
750.06/752.70	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
750.06/752.70	c   753s|  9300 |  1444 |569001 |  60.9 |  1698M |  79 |6660 | 142k| 136k|  14k|  2 |  20k|  19 | 0.000000e+00 |      --      |    Inf | unknown
752.36/755.07	c   755s|  9400 |  1455 |572012 |  60.6 |  1699M |  79 |6660 | 142k| 136k|  14k|  1 |  20k|  19 | 0.000000e+00 |      --      |    Inf | unknown
754.54/757.28	c   757s|  9500 |  1462 |572831 |  60.0 |  1700M |  84 |6660 | 142k| 136k|  14k|  2 |  20k|  19 | 0.000000e+00 |      --      |    Inf | unknown
757.03/759.70	c   760s|  9600 |  1482 |573726 |  59.5 |  1700M |  84 |6660 | 142k| 136k|  14k|  1 |  21k|  19 | 0.000000e+00 |      --      |    Inf | unknown
759.03/761.78	c   762s|  9700 |  1488 |574551 |  59.0 |  1701M |  84 |6660 | 142k| 136k|  14k|  1 |  21k|  19 | 0.000000e+00 |      --      |    Inf | unknown
761.12/763.81	c   764s|  9800 |  1494 |575252 |  58.4 |  1701M |  85 |6660 | 142k|   0 |  14k|  0 |  21k|  19 | 0.000000e+00 |      --      |    Inf | unknown
765.00/767.72	c   768s|  9900 |  1506 |581256 |  58.4 |  1701M |  85 |6660 | 142k| 136k|  14k|  1 |  21k|  19 | 0.000000e+00 |      --      |    Inf | unknown
767.20/769.91	c   770s| 10000 |  1501 |582101 |  57.9 |  1701M |  85 |6660 | 142k| 136k|  14k|  1 |  21k|  19 | 0.000000e+00 |      --      |    Inf | unknown
769.79/772.54	c   773s| 10100 |  1512 |583365 |  57.5 |  1701M |  85 |6660 | 142k| 136k|  14k|  1 |  21k|  19 | 0.000000e+00 |      --      |    Inf | unknown
772.29/775.04	c   775s| 10200 |  1520 |584224 |  57.0 |  1702M |  85 |6660 | 142k|   0 |  14k|  0 |  22k|  19 | 0.000000e+00 |      --      |    Inf | unknown
774.57/777.38	c   777s| 10300 |  1520 |585297 |  56.6 |  1702M |  85 |6660 | 142k|   0 |  14k|  0 |  22k|  19 | 0.000000e+00 |      --      |    Inf | unknown
776.66/779.43	c   779s| 10400 |  1492 |586224 |  56.1 |  1702M |  85 |6660 | 142k|   0 |  14k|  0 |  22k|  19 | 0.000000e+00 |      --      |    Inf | unknown
778.75/781.54	c   782s| 10500 |  1447 |587189 |  55.7 |  1702M |  85 |6660 | 142k| 136k|  14k|  1 |  22k|  19 | 0.000000e+00 |      --      |    Inf | unknown
781.14/783.98	c   784s| 10600 |  1456 |588629 |  55.3 |  1702M |  85 |6660 | 142k| 136k|  14k|  1 |  23k|  19 | 0.000000e+00 |      --      |    Inf | unknown
783.43/786.29	c   786s| 10700 |  1473 |590274 |  54.9 |  1702M |  85 |6660 | 142k| 136k|  14k|  1 |  23k|  19 | 0.000000e+00 |      --      |    Inf | unknown
785.63/788.45	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
785.63/788.45	c   788s| 10800 |  1488 |591382 |  54.5 |  1702M |  85 |6660 | 142k| 136k|  14k|  1 |  23k|  19 | 0.000000e+00 |      --      |    Inf | unknown
787.82/790.65	c   791s| 10900 |  1492 |592440 |  54.1 |  1702M |  85 |6660 | 142k| 136k|  14k|  1 |  23k|  19 | 0.000000e+00 |      --      |    Inf | unknown
789.91/792.77	c   793s| 11000 |  1495 |593460 |  53.7 |  1702M |  85 |6660 | 143k| 136k|  14k|  1 |  24k|  19 | 0.000000e+00 |      --      |    Inf | unknown
791.90/794.74	c   795s| 11100 |  1488 |594514 |  53.3 |  1702M |  85 |6660 | 143k|   0 |  14k|  0 |  24k|  19 | 0.000000e+00 |      --      |    Inf | unknown
794.10/796.97	c   797s| 11200 |  1497 |595716 |  52.9 |  1702M |  85 |6660 | 142k|   0 |  14k|  0 |  24k|  19 | 0.000000e+00 |      --      |    Inf | unknown
796.30/799.18	c   799s| 11300 |  1514 |597183 |  52.6 |  1702M |  85 |6660 | 142k|   0 |  14k|  0 |  24k|  19 | 0.000000e+00 |      --      |    Inf | unknown
798.38/801.26	c   801s| 11400 |  1513 |598529 |  52.3 |  1702M |  85 |6660 | 142k| 136k|  14k|  1 |  25k|  19 | 0.000000e+00 |      --      |    Inf | unknown
800.47/803.37	c   803s| 11500 |  1503 |599828 |  51.9 |  1702M |  85 |6660 | 143k|   0 |  14k|  0 |  25k|  19 | 0.000000e+00 |      --      |    Inf | unknown
802.66/805.51	c   806s| 11600 |  1484 |600776 |  51.6 |  1702M |  85 |6660 | 143k| 136k|  14k|  1 |  25k|  19 | 0.000000e+00 |      --      |    Inf | unknown
804.86/807.70	c   808s| 11700 |  1490 |602145 |  51.2 |  1702M |  85 |6660 | 142k| 136k|  14k|  1 |  25k|  19 | 0.000000e+00 |      --      |    Inf | unknown
806.95/809.82	c   810s| 11800 |  1481 |603264 |  50.9 |  1702M |  85 |6660 | 143k| 136k|  14k|  1 |  26k|  19 | 0.000000e+00 |      --      |    Inf | unknown
808.94/811.85	c   812s| 11900 |  1456 |604329 |  50.6 |  1702M |  86 |6660 | 142k|   0 |  14k|  0 |  26k|  19 | 0.000000e+00 |      --      |    Inf | unknown
810.93/813.89	c   814s| 12000 |  1451 |605485 |  50.2 |  1702M |  86 |6660 | 142k|   0 |  14k|  0 |  26k|  19 | 0.000000e+00 |      --      |    Inf | unknown
813.03/816.01	c   816s| 12100 |  1450 |606941 |  49.9 |  1702M |  86 |6660 | 142k| 136k|  14k|  1 |  26k|  19 | 0.000000e+00 |      --      |    Inf | unknown
815.02/817.93	c   818s| 12200 |  1428 |608246 |  49.6 |  1702M |  86 |6660 | 142k|   0 |  14k|  0 |  26k|  19 | 0.000000e+00 |      --      |    Inf | unknown
817.51/820.41	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
817.51/820.41	c   820s| 12300 |  1382 |609907 |  49.4 |  1702M |  86 |6660 | 142k|   0 |  14k|  0 |  26k|  19 | 0.000000e+00 |      --      |    Inf | unknown
822.99/825.91	c   826s| 12400 |  1381 |611185 |  49.1 |  1715M |  86 |6660 | 142k|   0 |  14k|  0 |  27k|  19 | 0.000000e+00 |      --      |    Inf | unknown
831.86/834.82	c   835s| 12500 |  1400 |612664 |  48.8 |  1729M |  86 |6660 | 142k| 136k|  14k|  0 |  27k|  19 | 0.000000e+00 |      --      |    Inf | unknown
833.95/836.97	c   837s| 12600 |  1391 |613957 |  48.5 |  1729M |  86 |6660 | 142k|   0 |  14k|  0 |  27k|  19 | 0.000000e+00 |      --      |    Inf | unknown
839.33/842.36	c   842s| 12700 |  1403 |615865 |  48.3 |  1729M |  86 |6660 | 142k| 136k|  14k|  1 |  27k|  19 | 0.000000e+00 |      --      |    Inf | unknown
842.52/845.51	c   846s| 12800 |  1431 |619969 |  48.2 |  1731M |  86 |6660 | 142k|   0 |  14k|  0 |  28k|  19 | 0.000000e+00 |      --      |    Inf | unknown
844.91/848.01	c   848s| 12900 |  1446 |621388 |  48.0 |  1731M |  86 |6660 | 142k|   0 |  14k|  0 |  28k|  19 | 0.000000e+00 |      --      |    Inf | unknown
847.40/850.41	c   850s| 13000 |  1448 |622707 |  47.7 |  1731M |  86 |6660 | 143k|   0 |  14k|  0 |  28k|  19 | 0.000000e+00 |      --      |    Inf | unknown
849.79/852.83	c   853s| 13100 |  1450 |624068 |  47.4 |  1732M |  86 |6660 | 143k|   0 |  14k|  0 |  28k|  19 | 0.000000e+00 |      --      |    Inf | unknown
852.28/855.32	c   855s| 13200 |  1450 |625375 |  47.2 |  1733M |  86 |6660 | 143k| 136k|  14k|  1 |  29k|  19 | 0.000000e+00 |      --      |    Inf | unknown
854.68/857.79	c   858s| 13300 |  1441 |626739 |  46.9 |  1733M |  86 |6660 | 143k|   0 |  14k|  0 |  29k|  19 | 0.000000e+00 |      --      |    Inf | unknown
857.08/860.15	c   860s| 13400 |  1405 |628008 |  46.7 |  1733M |  86 |6660 | 143k| 136k|  14k|  1 |  29k|  19 | 0.000000e+00 |      --      |    Inf | unknown
859.86/862.91	c   863s| 13500 |  1402 |629740 |  46.4 |  1733M |  86 |6660 | 143k| 136k|  14k|  1 |  30k|  19 | 0.000000e+00 |      --      |    Inf | unknown
866.33/869.42	c   869s| 13600 |  1416 |631749 |  46.3 |  1733M |  86 |6660 | 143k| 136k|  14k|  1 |  30k|  19 | 0.000000e+00 |      --      |    Inf | unknown
868.63/871.70	c   872s| 13700 |  1418 |633180 |  46.0 |  1733M |  86 |6660 | 143k| 136k|  14k|  1 |  30k|  19 | 0.000000e+00 |      --      |    Inf | unknown
876.60/879.71	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
876.60/879.71	c   880s| 13800 |  1416 |634979 |  45.8 |  1733M |  86 |6660 | 143k| 136k|  14k|  1 |  31k|  19 | 0.000000e+00 |      --      |    Inf | unknown
880.09/883.20	c   883s| 13900 |  1424 |636860 |  45.6 |  1733M |  86 |6660 | 143k|   0 |  14k|  0 |  31k|  19 | 0.000000e+00 |      --      |    Inf | unknown
893.14/896.35	c   896s| 14000 |  1422 |638770 |  45.4 |  1733M |  86 |6660 | 143k|   0 |  15k|  0 |  31k|  19 | 0.000000e+00 |      --      |    Inf | unknown
898.03/901.29	c   901s| 14100 |  1436 |641052 |  45.3 |  1733M |  86 |6660 | 142k| 136k|  15k|  1 |  31k|  19 | 0.000000e+00 |      --      |    Inf | unknown
901.61/904.82	c   905s| 14200 |  1449 |643952 |  45.2 |  1733M |  86 |6660 | 142k| 136k|  15k|  1 |  32k|  19 | 0.000000e+00 |      --      |    Inf | unknown
906.70/909.93	c   910s| 14300 |  1449 |646566 |  45.0 |  1733M |  86 |6660 | 142k|   0 |  15k|  0 |  32k|  19 | 0.000000e+00 |      --      |    Inf | unknown
910.28/913.54	c   914s| 14400 |  1436 |649530 |  44.9 |  1733M |  86 |6660 | 142k|   0 |  16k|  0 |  32k|  19 | 0.000000e+00 |      --      |    Inf | unknown
918.35/921.62	c   922s| 14500 |  1430 |652351 |  44.8 |  1746M |  86 |6660 | 142k| 136k|  16k|  1 |  32k|  19 | 0.000000e+00 |      --      |    Inf | unknown
930.83/934.15	c   934s| 14600 |  1446 |655622 |  44.7 |  1746M |  86 |6660 | 142k| 136k|  16k|  1 |  32k|  19 | 0.000000e+00 |      --      |    Inf | unknown
935.10/938.46	c   938s| 14700 |  1414 |658813 |  44.6 |  1759M |  86 |6660 | 142k|   0 |  16k|  0 |  33k|  19 | 0.000000e+00 |      --      |    Inf | unknown
938.58/941.98	c   942s| 14800 |  1410 |661278 |  44.5 |  1759M |  86 |6660 | 142k|   0 |  17k|  0 |  33k|  19 | 0.000000e+00 |      --      |    Inf | unknown
941.47/944.82	c   945s| 14900 |  1407 |663511 |  44.3 |  1759M |  86 |6660 | 143k| 136k|  17k|  1 |  33k|  19 | 0.000000e+00 |      --      |    Inf | unknown
944.86/948.21	c   948s| 15000 |  1377 |666306 |  44.2 |  1759M |  86 |6660 | 143k| 136k|  17k|  1 |  33k|  19 | 0.000000e+00 |      --      |    Inf | unknown
948.95/952.31	c   952s| 15100 |  1382 |668537 |  44.1 |  1759M |  86 |6660 | 143k|   0 |  17k|  0 |  34k|  19 | 0.000000e+00 |      --      |    Inf | unknown
952.43/955.82	c   956s| 15200 |  1377 |671146 |  44.0 |  1759M |  86 |6660 | 143k| 136k|  17k|  2 |  34k|  19 | 0.000000e+00 |      --      |    Inf | unknown
955.12/958.57	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
955.12/958.57	c   959s| 15300 |  1382 |673127 |  43.8 |  1760M |  86 |6660 | 143k|   0 |  18k|  0 |  34k|  19 | 0.000000e+00 |      --      |    Inf | unknown
957.73/961.18	c   961s| 15400 |  1370 |674709 |  43.6 |  1760M |  86 |6660 | 143k| 136k|  18k|  2 |  35k|  19 | 0.000000e+00 |      --      |    Inf | unknown
961.40/964.84	c   965s| 15500 |  1355 |677656 |  43.5 |  1760M |  86 |6660 | 143k| 136k|  18k|  1 |  35k|  19 | 0.000000e+00 |      --      |    Inf | unknown
966.98/970.45	c   970s| 15600 |  1355 |683946 |  43.7 |  1774M |  86 |6660 | 142k| 136k|  18k|  1 |  35k|  19 | 0.000000e+00 |      --      |    Inf | unknown
972.26/975.75	c   976s| 15700 |  1197 |688536 |  43.7 |  1775M |  86 |6660 | 141k|   0 |  18k|  0 |  35k|  19 | 0.000000e+00 |      --      |    Inf | unknown
978.44/981.99	c   982s| 15800 |  1200 |693704 |  43.7 |  1775M |  86 |6660 | 141k|   0 |  19k|  0 |  35k|  19 | 0.000000e+00 |      --      |    Inf | unknown
982.92/986.40	c   986s| 15900 |  1215 |700114 |  43.9 |  1775M |  86 |6660 | 141k|   0 |  19k|  0 |  36k|  19 | 0.000000e+00 |      --      |    Inf | unknown
987.52/991.04	c   991s| 16000 |  1265 |713651 |  44.4 |  1777M |  86 |6660 | 141k| 136k|  19k|  1 |  36k|  19 | 0.000000e+00 |      --      |    Inf | unknown
991.90/995.45	c   995s| 16100 |  1308 |720995 |  44.6 |  1789M |  86 |6660 | 141k| 136k|  20k|  1 |  36k|  19 | 0.000000e+00 |      --      |    Inf | unknown
995.89/999.41	c   999s| 16200 |  1335 |726479 |  44.7 |  1791M |  86 |6660 | 141k| 136k|  20k|  1 |  36k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1000.48/1004.03	c  1004s| 16300 |  1369 |735085 |  44.9 |  1792M |  86 |6660 | 141k| 136k|  20k|  2 |  36k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1004.47/1008.06	c  1008s| 16400 |  1369 |740092 |  45.0 |  1793M |  86 |6660 | 141k| 136k|  20k|  0 |  37k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1007.84/1011.41	c  1011s| 16500 |  1368 |743561 |  44.9 |  1793M |  86 |6660 | 141k| 136k|  21k|  1 |  37k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1014.11/1017.77	c  1018s| 16600 |  1384 |745920 |  44.8 |  1806M |  86 |6660 | 141k| 136k|  21k|  2 |  37k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1016.60/1020.26	c  1020s| 16700 |  1330 |748641 |  44.7 |  1806M |  86 |6660 | 141k| 136k|  21k|  1 |  37k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1021.09/1024.74	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1021.09/1024.74	c  1025s| 16800 |  1327 |751446 |  44.6 |  1806M |  86 |6660 | 142k| 136k|  21k|  1 |  38k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1024.97/1028.69	c  1029s| 16900 |  1342 |757016 |  44.6 |  1806M |  86 |6660 | 142k| 136k|  21k|  1 |  38k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1028.56/1032.26	c  1032s| 17000 |  1353 |760590 |  44.6 |  1806M |  86 |6660 | 142k| 136k|  22k|  1 |  38k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1031.55/1035.28	c  1035s| 17100 |  1346 |765362 |  44.6 |  1806M |  86 |6660 | 142k| 136k|  22k|  1 |  39k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1035.24/1038.94	c  1039s| 17200 |  1364 |770781 |  44.7 |  1806M |  86 |6660 | 141k| 136k|  22k|  1 |  39k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1038.72/1042.46	c  1042s| 17300 |  1377 |775912 |  44.7 |  1806M |  86 |6660 | 141k| 136k|  22k|  1 |  39k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1042.51/1046.20	c  1046s| 17400 |  1372 |780892 |  44.7 |  1806M |  86 |6660 | 141k| 136k|  23k|  1 |  39k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1045.50/1049.29	c  1049s| 17500 |  1363 |783807 |  44.6 |  1806M |  86 |6660 | 141k|   0 |  23k|  0 |  39k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1049.40/1053.12	c  1053s| 17600 |  1346 |791089 |  44.8 |  1806M |  86 |6660 | 141k| 136k|  23k|  1 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1055.76/1059.52	c  1060s| 17700 |  1268 |801911 |  45.2 |  1807M |  86 |6660 | 140k| 136k|  23k|  1 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1073.22/1077.09	c  1077s| 17800 |  1260 |820894 |  46.0 |  1849M |  86 |6660 | 140k| 136k|  24k|  1 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1092.26/1096.13	c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1092.26/1096.19	c (run 1, node 17816) performing user restart
1092.26/1096.19	c 
1092.34/1096.20	c (restart) converted 35 cuts from the global cut pool into linear constraints
1092.34/1096.20	c 
1092.44/1096.34	c presolving:
1092.44/1096.38	c (round 1, fast)       0 del vars, 1494 del conss, 0 add conss, 0 chg bounds, 24 chg sides, 105 chg coeffs, 0 upgd conss, 0 impls, 27000 clqs
1092.54/1096.47	c (round 2, medium)     56 del vars, 1494 del conss, 0 add conss, 0 chg bounds, 130 chg sides, 211 chg coeffs, 0 upgd conss, 0 impls, 26791 clqs
1092.64/1096.51	c (round 3, fast)       56 del vars, 1705 del conss, 0 add conss, 0 chg bounds, 132 chg sides, 221 chg coeffs, 0 upgd conss, 0 impls, 26791 clqs
1092.74/1096.69	c (round 4, exhaustive) 56 del vars, 1873 del conss, 49 add conss, 0 chg bounds, 133 chg sides, 222 chg coeffs, 0 upgd conss, 0 impls, 26791 clqs
1092.94/1096.84	c (round 5, exhaustive) 56 del vars, 2005 del conss, 79 add conss, 0 chg bounds, 133 chg sides, 253 chg coeffs, 0 upgd conss, 0 impls, 26802 clqs
1093.25/1097.11	c (round 6, exhaustive) 56 del vars, 2469 del conss, 79 add conss, 0 chg bounds, 133 chg sides, 1134 chg coeffs, 38 upgd conss, 0 impls, 26832 clqs
1093.74/1097.63	c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
1093.74/1097.63	c  56 deleted vars, 2513 deleted constraints, 79 added constraints, 0 tightened bounds, 0 added holes, 133 changed sides, 1227 changed coefficients
1093.74/1097.63	c  0 implications, 26836 cliques
1093.74/1097.63	c presolved problem has 6604 variables (6604 bin, 0 int, 0 impl, 0 cont) and 138199 constraints
1093.74/1097.63	c   15605 constraints of type <knapsack>
1093.74/1097.63	c   26610 constraints of type <setppc>
1093.74/1097.63	c       7 constraints of type <and>
1093.74/1097.63	c      31 constraints of type <linear>
1093.74/1097.63	c   95946 constraints of type <logicor>
1093.74/1097.63	c transformed objective value is always integral (scale: 1)
1093.74/1097.63	c Presolving Time: 5.27
1093.74/1097.63	c 
1094.44/1098.37	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1094.44/1098.37	c  1098s|     1 |     0 |834892 |     - |  1839M |   0 |6604 | 138k| 135k|   0 |  0 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1098.63/1102.53	c  1103s|     1 |     0 |835721 |     - |  1857M |   0 |6604 | 138k| 136k|  38 |  1 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1102.91/1106.83	c  1107s|     1 |     0 |837145 |     - |  1872M |   0 |6604 | 138k| 136k|  69 |  2 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1107.61/1111.59	c  1112s|     1 |     0 |839054 |     - |  1886M |   0 |6604 | 138k| 136k| 101 |  3 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1117.38/1121.36	c  1121s|     1 |     0 |841401 |     - |  1903M |   0 |6604 | 138k| 136k| 128 |  4 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1128.26/1132.25	c  1132s|     1 |     0 |843380 |     - |  1918M |   0 |6604 | 138k| 136k| 165 |  5 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1138.73/1142.73	c  1143s|     1 |     0 |846304 |     - |  1932M |   0 |6604 | 138k| 136k| 199 |  6 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1151.49/1155.55	c  1156s|     1 |     0 |849611 |     - |  1949M |   0 |6604 | 138k| 136k| 245 |  7 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1165.07/1169.14	c  1169s|     1 |     0 |852439 |     - |  1965M |   0 |6604 | 138k| 136k| 300 |  8 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1178.52/1182.62	c  1183s|     1 |     0 |855380 |     - |  1980M |   0 |6604 | 138k| 136k| 350 |  9 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1193.38/1197.52	c  1198s|     1 |     0 |859118 |     - |  1997M |   0 |6604 | 138k| 136k| 397 | 10 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1195.99/1200.13	c  1200s|     1 |     0 |861589 |     - |  1997M |   0 |6604 | 138k| 136k| 446 | 11 |  40k|  19 | 0.000000e+00 |      --      |    Inf | unknown
1254.48/1258.86	c  1259s|     1 |     2 |873632 |     - |  1998M |   0 |6604 | 138k| 136k| 446 | 11 |  40k|  38 | 0.000000e+00 |      --      |    Inf | unknown
1844.93/1851.16	c  1851s|   100 |   101 |  1144k|  62.1 |  2082M |  23 |6604 | 138k| 136k|1291 |  1 |  41k|  38 | 0.000000e+00 |      --      |    Inf | unknown
2849.71/2858.96	c  2859s|   200 |   198 |  1493k|  81.1 |  2091M |  27 |6604 | 139k| 136k|1976 |  1 |  42k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3206.61/3217.00	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3206.61/3217.00	c  3217s|   300 |   291 |  1715k|  92.9 |  2110M |  27 |6604 | 139k| 136k|2285 |  1 |  42k|  38 | 0.000000e+00 |      --      |    Inf | unknown
3585.48/3597.00	c 
3585.48/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3585.48/3597.00	c Solving Time (sec) : 3597.00
3585.48/3597.00	c Solving Nodes      : 387 (total of 18203 nodes in 2 runs)
3585.48/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3585.48/3597.00	c Dual Bound         : +0.00000000000000e+00
3585.48/3597.00	c Gap                : infinite
3585.48/3597.00	s UNKNOWN
3585.48/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3585.48/3597.00	c Total Time         :    3597.00
3585.48/3597.00	c   solving          :    3597.00
3585.48/3597.00	c   presolving       :       5.27 (included in solving)
3585.48/3597.00	c   reading          :       0.32 (included in solving)
3585.48/3597.00	c   copying          :       1.67 (9 #copies) (minimal 0.18, maximal 0.19, average 0.19)
3585.48/3597.00	c Original Problem   :
3585.48/3597.00	c   Problem name     : HOME/instance-4446435-1721333296.opb
3585.48/3597.00	c   Variables        : 7085 (7085 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.48/3597.00	c   Constraints      : 151483 initial, 151483 maximal
3585.48/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.48/3597.00	c Presolved Problem  :
3585.48/3597.00	c   Problem name     : t_HOME/instance-4446435-1721333296.opb
3585.48/3597.00	c   Variables        : 6604 (6604 binary, 0 integer, 0 implicit integer, 0 continuous)
3585.48/3597.00	c   Constraints      : 138199 initial, 139605 maximal
3585.48/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.48/3597.00	c   Nonzeros         : 559504 constraint, 56073 clique table
3585.48/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3585.48/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   domcol           :       0.07       0.00      2          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   dualsparsify     :       0.98       0.00      1          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   gateextraction   :       0.39       0.00      6          0          0          0          0          0        168         49          0          0
3585.48/3597.00	c   implics          :       0.00       0.00      8          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   milp             :       0.66       0.00      1          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   sparsify         :       0.15       0.00      1          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   trivial          :       0.00       0.00     12          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   dualfix          :       0.00       0.00     12          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   probing          :       0.39       0.00      1          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   pseudoobj        :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   symmetry         :       0.32       0.00      1          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   vbounds          :       0.01       0.00      2          0         56          0          0          0          0          0          0          0
3585.48/3597.00	c   knapsack         :       0.11       0.00     21          0          0          0          0          0          0          0        107        147
3585.48/3597.00	c   setppc           :       0.18       0.00     21          0          0          0          0          0       1643          0          0          0
3585.48/3597.00	c   and              :       0.00       0.00      6          0          0          0          0          0         30         30          0          0
3585.48/3597.00	c   linear           :       0.49       0.06     17        425          0          0        425          0      13075          0         43        115
3585.48/3597.00	c   logicor          :       1.12       0.21     20          0          0          0          0          0       2809          0          0       4268
3585.48/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   components       :       0.09       0.00      2          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3585.48/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3585.48/3597.00	c   benderslp        :          0          0          0          0      12075          0          0       1449          0          0          0          0          0          0          0
3585.48/3597.00	c   integral         :          0          0          0          0      12075          0          0       1449          0          0          0          0          0          0      24150
3585.48/3597.00	c   knapsack         :      15605      15605         22     149968          0          0          0       1444      64119       1322      42441       1108        121          0          0
3585.48/3597.00	c   setppc           :      26610+     26726         22     148646          0          0          0          8     315784       2038     198902         20          0          0          0
3585.48/3597.00	c   and              :          7          7        437      41692          0          0          0          0         46          1          4         11         11          0          0
3585.48/3597.00	c   linear           :         31+        33         22     146607          0          0          0          3        647        647       3935          0          0          0          0
3585.48/3597.00	c   logicor          :      95946+     97242         22     101407          0          0          0          0     396492       7431     121950         65         20          0          0
3585.48/3597.00	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3585.48/3597.00	c   benderslp        :       0.01       0.00       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00
3585.48/3597.00	c   integral         :      59.96       0.00       0.00       0.00      59.96       0.00       0.00       0.00       0.00       0.00
3585.48/3597.00	c   knapsack         :       2.51       0.00       0.33       1.79       0.00       0.00       0.00       0.35       0.04       0.00
3585.48/3597.00	c   setppc           :       1.60       0.00       0.04       1.46       0.00       0.00       0.00       0.00       0.08       0.01
3585.48/3597.00	c   and              :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3585.48/3597.00	c   linear           :       0.27       0.06       0.00       0.21       0.00       0.00       0.00       0.00       0.00       0.00
3585.48/3597.00	c   logicor          :       7.00       0.21       0.28       6.24       0.00       0.00       0.00       0.00       0.26       0.02
3585.48/3597.00	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.48/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.48/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3585.48/3597.00	c   components       :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3585.48/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3585.48/3597.00	c   dualfix          :          2          0          0          0
3585.48/3597.00	c   genvbounds       :          0          0          0          0
3585.48/3597.00	c   nlobbt           :          0          0          0          0
3585.48/3597.00	c   obbt             :          0          0          0          0
3585.48/3597.00	c   probing          :          0          0          0          0
3585.48/3597.00	c   pseudoobj        :          0          0          0          0
3585.48/3597.00	c   redcost          :          0          0          0          0
3585.48/3597.00	c   rootredcost      :          0          0          0          0
3585.48/3597.00	c   symmetry         :          0          0          0          0
3585.48/3597.00	c   vbounds          :      80458          0          0          0
3585.48/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3585.48/3597.00	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
3585.48/3597.00	c   genvbounds       :       0.02       0.00       0.00       0.02       0.00       0.00
3585.48/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3585.48/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3585.48/3597.00	c   probing          :       0.39       0.00       0.39       0.00       0.00       0.00
3585.48/3597.00	c   pseudoobj        :       0.02       0.00       0.00       0.02       0.00       0.00
3585.48/3597.00	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3585.48/3597.00	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3585.48/3597.00	c   symmetry         :       0.34       0.00       0.32       0.03       0.00       0.00
3585.48/3597.00	c   vbounds          :       2.25       0.00       0.01       2.24       0.00       0.00
3585.48/3597.00	c Symmetry           :
3585.48/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3585.48/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3585.48/3597.00	c   lexicographic red:          0 reductions applied,          0 cutoffs
3585.48/3597.00	c   shadow tree time :       0.00 s
3585.48/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3585.48/3597.00	c   propagation      :       0.83      11000      10895          -      77633       40.9       3501       19.1          -          -          -
3585.48/3597.00	c   infeasible LP    :       0.23        164        162          -       1875       52.3         26        2.4        162       62.8          0
3585.48/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3585.48/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3585.48/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3585.48/3597.00	c   applied globally :       0.74          -          -          0      42443       28.6          -          -        147          -          -
3585.48/3597.00	c   applied locally  :          -          -          -          0        633       57.5          -          -         15          -          -
3585.48/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3585.48/3597.00	c   cut pool         :       1.48          -       2835         42          -          -      12712     560746          -          -          -          -          -    (maximal pool size:       2829)
3585.48/3597.00	c   aggregation      :       2.34       0.00        275         22          0          0         32       1276         18        144        142          2          0
3585.48/3597.00	c   > cmir           :          -          -          -          -          -          -          -       1236          0        127        127          0          -
3585.48/3597.00	c   > flowcover      :          -          -          -          -          -          -          -         34          0         14         14          0          -
3585.48/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          6         18          3          1          2          -
3585.48/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   clique           :       0.55       0.00         22         22          0          0        126       1100          0        445        445          0          0
3585.48/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   gomory           :     421.72       0.00        296         20          0          0      16777     537549       5314      16065      15870        195          0
3585.48/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -     205141       2657       1769       1683         86          -
3585.48/3597.00	c   > strongcg       :          -          -          -          -          -          -          -     332408       2657      14296      14187        109          -
3585.48/3597.00	c   impliedbounds    :       0.21       0.00        298         22          0          0        198       2960          0       2785       2785          0          0
3585.48/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   mcf              :       0.12       0.00          2          2          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   multilinear      :       0.00       0.00        166         22          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   rlt              :     174.55       0.00        200         20          0          0          0          0          0          0          0          0          0
3585.48/3597.00	c   zerohalf         :       4.55       0.00        275         22          0          0       1744      17861        833       7310       6743        567          0
3585.48/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3585.48/3597.00	c   hybrid           :       0.90       0.00       2283         22      26892         11     541223        557          0       4696
3585.48/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3585.48/3597.00	c   problem variables:       0.00          -          0          0
3585.48/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3585.48/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c   relpscost        :      59.94       0.00      12075          0          0          0          0          0          0      24150
3585.48/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3585.48/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3585.48/3597.00	c   LP solutions     :       0.00          -          -          0          0
3585.48/3597.00	c   relax solutions  :       0.00          -          -          0          0
3585.48/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3585.48/3597.00	c   strong branching :       0.00          -          -          0          0
3585.59/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3585.59/3597.01	c   adaptivediving   :      25.45       0.00          8          0          0
3585.59/3597.01	c   alns             :       7.49       0.00          7          0          0
3585.59/3597.01	c   bound            :       0.00       0.00          0          0          0
3585.59/3597.01	c   clique           :       0.26       0.00          1          0          0
3585.59/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3585.59/3597.01	c   completesol      :       0.00       0.00          0          0          0
3585.59/3597.01	c   conflictdiving   :     371.56       0.00        137          0          0
3585.59/3597.01	c   crossover        :       0.00       0.00          0          0          0
3585.59/3597.01	c   dins             :       0.00       0.00          0          0          0
3585.59/3597.01	c   distributiondivin:     160.45       0.00         76          0          0
3585.59/3597.01	c   dps              :       0.00       0.00          0          0          0
3585.59/3597.01	c   dualval          :       0.00       0.00          0          0          0
3585.59/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3585.59/3597.01	c   feasjump         :       0.26       0.00          2          0          0
3585.59/3597.01	c   feaspump         :      39.69       0.00          7          0          0
3585.59/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3585.59/3597.01	c   fracdiving       :     175.93       0.00         96          0          0
3585.59/3597.01	c   gins             :       0.00       0.00          0          0          0
3585.59/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3585.59/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3585.59/3597.01	c   indicator        :       0.01       0.00          0          0          0
3585.59/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3585.59/3597.01	c   indoneopt        :       0.01       0.00          0          0          0
3585.59/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3585.59/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3585.59/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3585.59/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3585.59/3597.01	c   linesearchdiving :     144.19       0.00         97          0          0
3585.59/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3585.59/3597.01	c   locks            :       0.07       0.00          1          0          0
3585.59/3597.01	c   lpface           :       0.28       0.00          0          0          0
3585.59/3597.01	c   mpec             :       0.00       0.00          0          0          0
3585.59/3597.01	c   multistart       :       0.00       0.00          0          0          0
3585.59/3597.01	c   mutation         :       0.00       0.00          0          0          0
3585.59/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3585.59/3597.01	c   objpscostdiving  :     525.84       0.00          4          0          0
3585.59/3597.01	c   octane           :       0.00       0.00          0          0          0
3585.59/3597.01	c   ofins            :       0.00       0.00          0          0          0
3585.59/3597.01	c   oneopt           :       0.01       0.00          0          0          0
3585.59/3597.01	c   padm             :       0.00       0.00          0          0          0
3585.59/3597.01	c   proximity        :       0.00       0.00          0          0          0
3585.59/3597.01	c   pscostdiving     :     216.51       0.00         46          0          0
3585.59/3597.01	c   randrounding     :       1.01       0.00       1458          0          0
3585.59/3597.01	c   rens             :       1.13       0.00          2          0          0
3585.59/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3585.59/3597.01	c   repair           :       0.00       0.00          0          0          0
3585.59/3597.01	c   rins             :       0.00       0.00          0          0          0
3585.59/3597.01	c   rootsoldiving    :      23.83       0.00          4          0          0
3585.59/3597.01	c   rounding         :       6.15       0.00       1621          0          0
3585.59/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3585.59/3597.01	c   shiftandpropagate:       0.27       0.00          2          0          0
3585.59/3597.01	c   shifting         :      17.01       0.00        781          0          0
3585.59/3597.01	c   simplerounding   :       0.01       0.00          0          0          0
3585.59/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3585.59/3597.01	c   subnlp           :       0.01       0.00          0          0          0
3585.59/3597.01	c   trivial          :       0.02       0.00          4          0          0
3585.59/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3585.59/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3585.59/3597.01	c   trysol           :       0.01       0.00          0          0          0
3585.59/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3585.59/3597.01	c   undercover       :       0.00       0.00          1          0          0
3585.59/3597.01	c   vbounds          :       0.19       0.00          2          0          0
3585.59/3597.01	c   veclendiving     :     121.03       0.00        108          0          0
3585.59/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3585.59/3597.01	c   zirounding       :       1.54       0.00       1000          0          0
3585.59/3597.01	c   other solutions  :          -          -          -          0          -
3585.59/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3585.59/3597.01	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.59/3597.01	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.59/3597.01	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.59/3597.01	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.59/3597.01	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.59/3597.01	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.59/3597.01	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3585.59/3597.01	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3585.59/3597.01	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3585.59/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3585.59/3597.01	c   primal LP        :      14.61       1036          0       0.00       0.00      14.61       1036
3585.59/3597.01	c   dual LP          :     875.46      14513    1156817      79.72    1321.38       0.01          2
3585.59/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3585.59/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3585.59/3597.01	c   resolve instable :       0.00          0          0       0.00          -
3585.59/3597.01	c   diving/probing LP:    1778.49       1693     774044     457.20     435.23
3585.59/3597.01	c   strong branching :      22.48         38      23134     608.79    1029.07          -          -         33
3585.59/3597.01	c     (at root node) :          -         38      23134     608.79          -
3585.59/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3585.59/3597.01	c B&B Tree           :
3585.59/3597.01	c   number of runs   :          2
3585.59/3597.01	c   nodes            :        387 (383 internal, 4 leaves)
3585.59/3597.01	c   feasible leaves  :          0
3585.59/3597.01	c   infeas. leaves   :          3
3585.59/3597.01	c   objective leaves :          0
3585.59/3597.01	c   nodes (total)    :      18203 (12075 internal, 6128 leaves)
3585.59/3597.01	c   nodes left       :        377
3585.59/3597.01	c   max depth        :         27
3585.59/3597.01	c   max depth (total):         86
3585.59/3597.01	c   backtracks       :        122 (31.5%)
3585.59/3597.01	c   early backtracks :          0 (0.0%)
3585.59/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3585.59/3597.01	c   delayed cutoffs  :          4
3585.59/3597.01	c   repropagations   :        149 (409 domain reductions, 1 cutoffs)
3585.59/3597.01	c   avg switch length:       4.43
3585.59/3597.01	c   switching time   :      30.78
3585.59/3597.01	c Root Node          :
3585.59/3597.01	c   First LP value   : +0.00000000000000e+00
3585.59/3597.01	c   First LP Iters   :        632 (7112.47 Iter/sec)
3585.59/3597.01	c   First LP Time    :       0.09
3585.59/3597.01	c   Final Dual Bound : +0.00000000000000e+00
3585.59/3597.01	c   Final Root Iters :      31983
3585.59/3597.01	c   Root LP Estimate : +1.26824249798398e-01
3585.59/3597.01	c Solution           :
3585.59/3597.01	c   Solutions found  :          0 (0 improvements)
3585.59/3597.01	c   Primal Bound     :          -
3585.59/3597.01	c   Dual Bound       : +0.00000000000000e+00
3585.59/3597.01	c   Gap              :   infinite
3585.59/3597.01	c Integrals          :      Total       Avg%
3585.59/3597.01	c   primal-dual      :  359700.00     100.00
3585.59/3597.01	c   primal-ref       :          -          - (not evaluated)
3585.59/3597.01	c   dual-ref         :          -          - (not evaluated)
3585.89/3597.30	c Time complete: 3585.89.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (61767 MiB free)
  memory of node 1: 64510 MiB (57163 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100096 s]*
/proc/loadavg: 4.16 4.16 4.18 5/235 968705
/proc/meminfo: memFree=121758088/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=87444 memory=46912 CPUtime=0.11 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 8798 0 0 0 10 1 0 0 20 0 1 0 185488783 89542656 11728 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 21861 11728 3285 3540 0 10118 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 87444 KiB
Current children cumulated memory: 46912 KiB

[startup+0.212796 s]*
/proc/loadavg: 4.16 4.16 4.18 5/238 968709
/proc/meminfo: memFree=121723656/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=118036 memory=77020 CPUtime=0.22 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 16314 0 0 0 20 2 0 0 20 0 1 0 185488783 120868864 19255 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 29509 19255 3285 3540 0 17766 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 118036 KiB
Current children cumulated memory: 77020 KiB

[startup+0.312656 s]*
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121677400/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=138704 memory=98960 CPUtime=0.32 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 22436 0 0 0 29 3 0 0 20 0 1 0 185488783 142032896 24740 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 34676 24740 3300 3540 0 22933 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 138704 KiB
Current children cumulated memory: 98960 KiB

[startup+0.700336 s]
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121524688/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=281144 memory=238920 CPUtime=0.68 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 57166 0 0 0 60 8 0 0 20 0 1 0 185488783 287891456 59730 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 70286 59730 3636 3540 0 58543 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 281144 KiB
Current children cumulated memory: 238920 KiB

[startup+1.50034 s]
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121379928/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=315396 memory=271264 CPUtime=1.48 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 73001 0 0 0 135 13 0 0 20 0 1 0 185488783 322965504 67816 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 78849 67816 3763 3540 0 67106 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 315396 KiB
Current children cumulated memory: 271264 KiB

[startup+3.11302 s]
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121328304/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=387828 memory=342116 CPUtime=3.1 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 90709 0 0 0 294 16 0 0 20 0 1 0 185488783 397135872 85529 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 96957 85529 3795 3540 0 85214 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 387828 KiB
Current children cumulated memory: 342116 KiB

[startup+6.30031 s]
/proc/loadavg: 4.14 4.16 4.18 5/241 968808
/proc/meminfo: memFree=123740292/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=867428 memory=790312 CPUtime=6.27 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 137227 0 0 0 598 29 0 0 20 0 1 0 185488783 888246272 197578 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 216857 197578 4003 3540 0 205114 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 867428 KiB
Current children cumulated memory: 790312 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.16 4.18 5/241 968808
/proc/meminfo: memFree=123684792/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=867428 memory=790516 CPUtime=12.64 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 137260 0 0 0 1235 29 0 0 20 0 1 0 185488783 888246272 197629 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 216857 197629 4003 3540 0 205114 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 867428 KiB
Current children cumulated memory: 790516 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.15 4.17 5/241 968811
/proc/meminfo: memFree=123593368/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=893564 memory=816376 CPUtime=25.39 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 140752 0 0 0 2509 30 0 0 20 0 1 0 185488783 915009536 204094 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 223391 204094 4003 3540 0 211648 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 893564 KiB
Current children cumulated memory: 816376 KiB

[startup+51.1129 s]
/proc/loadavg: 4.13 4.15 4.18 5/242 968817
/proc/meminfo: memFree=123518012/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=923380 memory=822720 CPUtime=50.92 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 141934 0 0 0 5061 31 0 0 20 0 1 0 185488783 945541120 205680 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 230845 205680 4003 3540 0 219102 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 923380 KiB
Current children cumulated memory: 822720 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/242 968826
/proc/meminfo: memFree=123402324/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=967392 memory=845192 CPUtime=101.92 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 143721 0 0 0 10160 32 0 0 20 0 1 0 185488783 990609408 211298 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 241848 211298 4003 3540 0 230105 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 967392 KiB
Current children cumulated memory: 845192 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/245 968841
/proc/meminfo: memFree=123322280/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=1016184 memory=860100 CPUtime=161.71 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 146610 0 0 0 16139 32 0 0 20 0 1 0 185488783 1040572416 215025 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 254046 215025 4003 3540 0 242303 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 1016184 KiB
Current children cumulated memory: 860100 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/245 968851
/proc/meminfo: memFree=123069488/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=1239420 memory=1044316 CPUtime=221.5 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 190642 0 0 0 22111 39 0 0 20 0 1 0 185488783 1269166080 261079 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 309855 261079 4034 3540 0 298112 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 1239420 KiB
Current children cumulated memory: 1044316 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/245 968862
/proc/meminfo: memFree=122903592/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=1410380 memory=1177172 CPUtime=281.3 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 234074 0 0 0 28084 46 0 0 20 0 1 0 185488783 1444229120 294293 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 352595 294293 4034 3540 0 340852 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 1410380 KiB
Current children cumulated memory: 1177172 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/245 968872
/proc/meminfo: memFree=122769860/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=1441076 memory=1212312 CPUtime=341.07 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 242488 0 0 0 34059 48 0 0 20 0 1 0 185488783 1475661824 303078 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 360269 303078 4034 3540 0 348526 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 1441076 KiB
Current children cumulated memory: 1212312 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.10 4.15 5/244 968883
/proc/meminfo: memFree=122660104/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=1610380 memory=1298260 CPUtime=400.86 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 259186 0 0 0 40036 50 0 0 20 0 1 0 185488783 1649029120 324565 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 402595 324565 4034 3540 0 390852 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 1610380 KiB
Current children cumulated memory: 1298260 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.13 4.15 5/241 968895
/proc/meminfo: memFree=122632564/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=1776600 memory=1316404 CPUtime=460.66 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 259998 0 0 0 46015 51 0 0 20 0 1 0 185488783 1819238400 329101 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 444150 329101 4034 3540 0 432407 0

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

/proc/loadavg: 4.18 4.27 4.20 5/246 970572
/proc/meminfo: memFree=121934140/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2315928 memory=1664128 CPUtime=3211.99 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 352012 0 0 0 321132 67 0 0 20 0 1 0 185488783 2371510272 416032 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 578982 416032 4050 3540 0 567239 0
Current children cumulated CPU time: 3211.99 s
Current children cumulated vsize: 2315928 KiB
Current children cumulated memory: 1664128 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.24 4.19 5/246 970583
/proc/meminfo: memFree=121933700/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2315928 memory=1664128 CPUtime=3271.81 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 352332 0 0 0 327114 67 0 0 20 0 1 0 185488783 2371510272 416032 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 578982 416032 4050 3540 0 567239 0
Current children cumulated CPU time: 3271.81 s
Current children cumulated vsize: 2315928 KiB
Current children cumulated memory: 1664128 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.21 4.18 5/244 970593
/proc/meminfo: memFree=121933584/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2315928 memory=1664128 CPUtime=3331.63 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 352720 0 0 0 333096 67 0 0 20 0 1 0 185488783 2371510272 416032 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 578982 416032 4050 3540 0 567239 0
Current children cumulated CPU time: 3331.63 s
Current children cumulated vsize: 2315928 KiB
Current children cumulated memory: 1664128 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.21 4.19 5/244 970604
/proc/meminfo: memFree=121931280/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2328696 memory=1666176 CPUtime=3391.46 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 352958 0 0 0 339079 67 0 0 20 0 1 0 185488783 2384584704 416544 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 582174 416544 4050 3540 0 570431 0
Current children cumulated CPU time: 3391.46 s
Current children cumulated vsize: 2328696 KiB
Current children cumulated memory: 1666176 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/241 970616
/proc/meminfo: memFree=121931080/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2341468 memory=1666180 CPUtime=3451.28 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 353356 0 0 0 345061 67 0 0 20 0 1 0 185488783 2397663232 416545 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 585367 416545 4050 3540 0 573624 0
Current children cumulated CPU time: 3451.28 s
Current children cumulated vsize: 2341468 KiB
Current children cumulated memory: 1666180 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/241 970626
/proc/meminfo: memFree=121924668/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1672316 CPUtime=3511.11 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 353705 0 0 0 351044 67 0 0 20 0 1 0 185488783 2410737664 418079 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 418079 4050 3540 0 576816 0
Current children cumulated CPU time: 3511.11 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1672316 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/241 970636
/proc/meminfo: memFree=121912504/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1683936 CPUtime=3570.93 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354064 0 0 0 357026 67 0 0 20 0 1 0 185488783 2410737664 420984 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 420984 4050 3540 0 576816 0
Current children cumulated CPU time: 3570.93 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1683936 KiB

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

# cumulated CPU time of all completed processes:  user=3585.21 s, system=0.686626 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.16 4.17 5/241 970637
/proc/meminfo: memFree=121912448/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1683936 CPUtime=3572.63 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354065 0 0 0 357196 67 0 0 20 0 1 0 185488783 2410737664 420984 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 420984 4050 3540 0 576816 0
Current children cumulated CPU time: 3572.63 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1683936 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.16 4.17 5/241 970637
/proc/meminfo: memFree=121912460/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1683936 CPUtime=3579 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354086 0 0 0 357833 67 0 0 20 0 1 0 185488783 2410737664 420984 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 420984 4050 3540 0 576816 0
Current children cumulated CPU time: 3579 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1683936 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.16 4.17 5/241 970637
/proc/meminfo: memFree=121910420/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1685980 CPUtime=3582.19 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354113 0 0 0 358152 67 0 0 20 0 1 0 185488783 2410737664 421495 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 421495 4050 3540 0 576816 0
Current children cumulated CPU time: 3582.19 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1685980 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121910328/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1685980 CPUtime=3583.79 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354167 0 0 0 358312 67 0 0 20 0 1 0 185488783 2410737664 421495 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 421495 4050 3540 0 576816 0
Current children cumulated CPU time: 3583.79 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1685980 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121910356/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1685980 CPUtime=3584.6 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354167 0 0 0 358393 67 0 0 20 0 1 0 185488783 2410737664 421495 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 421495 4050 3540 0 576816 0
Current children cumulated CPU time: 3584.6 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1685980 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121910356/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1685980 CPUtime=3585.38 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354167 0 0 0 358471 67 0 0 20 0 1 0 185488783 2410737664 421495 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 421495 4050 3540 0 576816 0
Current children cumulated CPU time: 3585.38 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1685980 KiB

[startup+3597.2 s]
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121910340/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2354236 memory=1685980 CPUtime=3585.78 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354199 0 0 0 358511 67 0 0 20 0 1 0 185488783 2410737664 421495 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 588559 421495 4050 3540 0 576816 0
Current children cumulated CPU time: 3585.78 s
Current children cumulated vsize: 2354236 KiB
Current children cumulated memory: 1685980 KiB

[startup+3597.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121910340/131655788 swapFree=131071996/131071996
[pid=968698] ppid=968695 vsize=2098432 memory=1451036 CPUtime=3585.89 cores=0,2
/proc/968698/stat : 968698 (pbscip) R 968695 968698 966724 0 -1 4194304 354264 0 0 0 358521 68 0 0 20 0 1 0 185488783 2148794368 363272 134679101440 4194304 18693293 140735228424192 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 41684992 140735228433411 140735228433510 140735228433510 140735228440526 0
/proc/968698/statm: 524095 363234 4050 3540 0 512352 0
Current children cumulated CPU time: 3585.89 s
Current children cumulated vsize: 2098432 KiB
Current children cumulated memory: 1451036 KiB

Child status: 0

Real time (s): 3597.31
CPU time (s): 3585.9
CPU user time (s): 3585.21
CPU system time (s): 0.686626
CPU usage (%): 99.6829
Max. virtual memory (cumulated for all children) (KiB): 2354236
Max. memory (cumulated for all children) (KiB): 1716756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.21
system time used= 0.686626
maximum resident set size= 1716756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354321
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= 103
involuntary context switches= 25092


# summary of solver processes directly reported to runsolver:
#   pid: 968698
#   total CPU time (s): 3585.9
#   total CPU user time (s): 3585.21
#   total CPU system time (s): 0.686626

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1076 second user time and 33.501 second system time

The end

Launcher Data

Begin job on nodeC010 at 2024-07-18 22:08:27
IDJOB=4446435
IDBENCH=155596
IDSOLVER=3059
FILE ID=nodeC010/4446435-1721333296
RUNJOBID= nodeC010-1721329708-966734
SLURM_JOB_ID= 7542700
Free space on /tmp= 723692 MiB

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

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

MD5SUM BENCH= 77ebcb4349d0c3a90733439946e4862a
RANDOM SEED=622327970

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121777948 kB
MemAvailable:   126735048 kB
Buffers:          506164 kB
Cached:          5231492 kB
SwapCached:            0 kB
Active:          1052616 kB
Inactive:        8143456 kB
Active(anon):       1432 kB
Inactive(anon):  3494680 kB
Active(file):    1051184 kB
Inactive(file):  4648776 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             25024 kB
Writeback:             0 kB
AnonPages:       3458416 kB
Mapped:           129772 kB
Shmem:             37704 kB
KReclaimable:     194344 kB
Slab:             309092 kB
SReclaimable:     194344 kB
SUnreclaim:       114748 kB
KernelStack:        3808 kB
PageTables:        16148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    5057064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58656 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2750464 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:      295752 kB
DirectMap2M:    35260416 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 723700 MiB
End job on nodeC010 at 2024-07-18 23:08:24