Trace number 4491618

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-07UNSAT 2168.31 2174.05

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
MD5SUM76d76a6e9366419c7968e5756d4a65f6
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.727783
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20605
Total number of constraints59851
Number of constraints which are clauses58675
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1176
Minimum length of a constraint1
Maximum length of a constraint11
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 41
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 134
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-4491618-1751142720.opb>
0.09/0.13	c original problem has 20605 variables (20605 bin, 0 int, 0 impl, 0 cont) and 59851 constraints
0.09/0.13	c problem read in 0.13
0.09/0.13	c No objective function, only one solution is needed.
0.19/0.24	c presolving:
0.29/0.32	c (round 1, fast)       16 del vars, 7 del conss, 0 add conss, 1 chg bounds, 588 chg sides, 1176 chg coeffs, 0 upgd conss, 0 impls, 39560 clqs
0.29/0.40	c    (0.4s) running MILP presolver
15.34/15.40	c    (15.4s) MILP presolver (31 rounds): 1884 aggregations, 2274 fixings, 0 bound changes
15.34/15.42	c (round 2, medium)     4185 del vars, 59851 del conss, 48646 add conss, 1 chg bounds, 588 chg sides, 1176 chg coeffs, 0 upgd conss, 0 impls, 31485 clqs
15.53/15.62	c (round 3, exhaustive) 4185 del vars, 59853 del conss, 48646 add conss, 1 chg bounds, 588 chg sides, 1176 chg coeffs, 48644 upgd conss, 0 impls, 31844 clqs
15.74/15.84	c (round 4, exhaustive) 4185 del vars, 106709 del conss, 64253 add conss, 1 chg bounds, 588 chg sides, 1176 chg coeffs, 48644 upgd conss, 0 impls, 31844 clqs
15.74/15.89	c (round 5, exhaustive) 4213 del vars, 106742 del conss, 64258 add conss, 1 chg bounds, 588 chg sides, 1176 chg coeffs, 48644 upgd conss, 0 impls, 31822 clqs
16.63/16.74	c (round 6, exhaustive) 4255 del vars, 106742 del conss, 64258 add conss, 1 chg bounds, 588 chg sides, 1176 chg coeffs, 48644 upgd conss, 0 impls, 148431 clqs
16.63/16.75	c (round 7, fast)       4263 del vars, 106762 del conss, 64258 add conss, 1 chg bounds, 588 chg sides, 1184 chg coeffs, 48645 upgd conss, 0 impls, 148327 clqs
16.73/16.82	c (round 8, exhaustive) 4263 del vars, 106808 del conss, 64304 add conss, 1 chg bounds, 588 chg sides, 1184 chg coeffs, 48645 upgd conss, 0 impls, 148328 clqs
19.82/19.96	c (round 9, exhaustive) 4288 del vars, 106808 del conss, 64304 add conss, 1 chg bounds, 588 chg sides, 1185 chg coeffs, 48645 upgd conss, 0 impls, 148832 clqs
19.82/19.97	c (round 10, fast)       4307 del vars, 106840 del conss, 64304 add conss, 1 chg bounds, 588 chg sides, 1204 chg coeffs, 48652 upgd conss, 0 impls, 148774 clqs
21.32/21.41	c (round 11, exhaustive) 4333 del vars, 106843 del conss, 64305 add conss, 1 chg bounds, 588 chg sides, 1204 chg coeffs, 48652 upgd conss, 0 impls, 148876 clqs
21.32/21.42	c (round 12, fast)       4341 del vars, 106854 del conss, 64305 add conss, 1 chg bounds, 588 chg sides, 1213 chg coeffs, 48660 upgd conss, 0 impls, 148844 clqs
21.32/21.45	c (round 13, exhaustive) 4347 del vars, 106862 del conss, 64313 add conss, 1 chg bounds, 588 chg sides, 1213 chg coeffs, 48660 upgd conss, 0 impls, 148758 clqs
21.32/21.49	c (round 14, exhaustive) 4363 del vars, 106885 del conss, 64319 add conss, 1 chg bounds, 588 chg sides, 1213 chg coeffs, 48660 upgd conss, 0 impls, 148567 clqs
24.61/24.72	c    (24.7s) probing: 1000/16403 (6.1%) - 71 fixings, 29 aggregations, 1369449 implications, 0 bound changes
31.48/31.60	c    (31.6s) probing: 2000/16403 (12.2%) - 71 fixings, 37 aggregations, 2248205 implications, 0 bound changes
35.57/35.79	c    (35.8s) probing: 2508/16403 (15.3%) - 71 fixings, 37 aggregations, 2910344 implications, 0 bound changes
35.57/35.79	c    (35.8s) probing aborted: 1000/1000 successive useless probings
35.67/35.86	c (round 15, exhaustive) 4379 del vars, 106891 del conss, 64319 add conss, 1 chg bounds, 588 chg sides, 1213 chg coeffs, 48660 upgd conss, 0 impls, 149104 clqs
35.67/35.89	c (round 16, exhaustive) 4400 del vars, 106918 del conss, 64321 add conss, 1 chg bounds, 588 chg sides, 1213 chg coeffs, 48660 upgd conss, 0 impls, 148883 clqs
36.67/36.80	c    (36.8s) probing: 2608/16403 (15.9%) - 71 fixings, 37 aggregations, 3053449 implications, 0 bound changes
36.67/36.80	c    (36.8s) probing aborted: 1000/1000 successive useless probings
36.67/36.80	c    (36.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
36.67/36.88	c    (36.9s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
36.67/36.88	c dynamic symmetry handling statistics:
36.67/36.88	c    orbitopal reduction:       no components
36.67/36.88	c    orbital reduction:         no components
36.67/36.88	c    lexicographic reduction:    1 permutations with support sizes 520
36.67/36.88	c handled 1 out of 1 symmetry components
36.76/36.90	c presolving (17 rounds: 17 fast, 13 medium, 12 exhaustive):
36.76/36.90	c  4400 deleted vars, 106918 deleted constraints, 64321 added constraints, 1 tightened bounds, 0 added holes, 588 changed sides, 1213 changed coefficients
36.76/36.90	c  0 implications, 149326 cliques
36.76/36.90	c presolved problem has 16216 variables (16216 bin, 0 int, 0 impl, 0 cont) and 17199 constraints
36.76/36.90	c    1176 constraints of type <knapsack>
36.76/36.90	c     674 constraints of type <setppc>
36.76/36.90	c   15335 constraints of type <and>
36.76/36.90	c      14 constraints of type <logicor>
36.76/36.90	c transformed objective value is always integral (scale: 1)
36.76/36.90	c Presolving Time: 36.66
36.76/36.90	c - non default parameters ----------------------------------------------------------------------
36.76/36.90	c # SCIP version 10.0.0
36.76/36.90	c 
36.76/36.90	c # maximal time in seconds to run
36.76/36.90	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
36.76/36.90	c limits/time = 3596.998007
36.76/36.90	c 
36.76/36.90	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
36.76/36.90	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
36.76/36.90	c limits/memory = 27900
36.76/36.90	c 
36.76/36.90	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
36.76/36.90	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
36.76/36.90	c limits/solutions = 1
36.76/36.90	c 
36.76/36.90	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.
36.76/36.90	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
36.76/36.90	c misc/usesymmetry = 3
36.76/36.90	c 
36.76/36.90	c # belongs reading time to solving time?
36.76/36.90	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
36.76/36.90	c timing/reading = TRUE
36.76/36.90	c 
36.76/36.90	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
36.76/36.90	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
36.76/36.90	c propagating/symmetry/detectdoublelex = FALSE
36.76/36.90	c 
36.76/36.90	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
36.76/36.90	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
36.76/36.90	c propagating/symmetry/detectsubgroups = FALSE
36.76/36.90	c 
36.76/36.90	c # Type of symmetries that shall be computed?
36.76/36.90	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
36.76/36.90	c propagating/symmetry/symtype = 1
36.76/36.90	c 
36.76/36.90	c # Should components consisting of a single full reflection be handled?
36.76/36.90	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
36.76/36.90	c propagating/symmetry/usesimplesgncomp = FALSE
36.76/36.90	c 
36.76/36.90	c -----------------------------------------------------------------------------------------------
36.76/36.90	c start solving
36.76/36.90	c 
37.87/38.04	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
37.87/38.04	c  38.0s|     1 |     0 |  4698 |     - |   260M |   0 |  16k|  17k|  32k|   0 |  0 |  60 |   0 | 0.000000e+00 |      --      |    Inf | unknown
42.15/42.33	c  42.3s|     1 |     0 | 14971 |     - |   280M |   0 |  16k|  17k|  33k|1024 |  1 |  62 |   0 | 0.000000e+00 |      --      |    Inf | unknown
46.34/46.50	c  46.5s|     1 |     0 | 18698 |     - |   305M |   0 |  16k|  17k|  34k|1964 |  2 |  63 |   0 | 0.000000e+00 |      --      |    Inf | unknown
51.83/52.01	c  52.0s|     1 |     0 | 23931 |     - |   314M |   0 |  16k|  17k|  35k|2684 |  3 |  64 |   0 | 0.000000e+00 |      --      |    Inf | unknown
58.00/58.27	c  58.3s|     1 |     0 | 28974 |     - |   326M |   0 |  16k|  17k|  35k|3440 |  4 |  67 |   0 | 0.000000e+00 |      --      |    Inf | unknown
64.68/64.91	c  64.9s|     1 |     0 | 34394 |     - |   338M |   0 |  16k|  17k|  36k|4080 |  5 |  69 |   0 | 0.000000e+00 |      --      |    Inf | unknown
71.46/71.74	c  71.7s|     1 |     0 | 39295 |     - |   345M |   0 |  16k|  17k|  37k|4684 |  6 |  70 |   0 | 0.000000e+00 |      --      |    Inf | unknown
79.95/80.25	c  80.2s|     1 |     0 | 45086 |     - |   361M |   0 |  16k|  17k|  37k|5309 |  7 |  71 |   0 | 0.000000e+00 |      --      |    Inf | unknown
89.22/89.50	c  89.5s|     1 |     0 | 51384 |     - |   373M |   0 |  16k|  17k|  38k|5907 |  8 |  72 |   0 | 0.000000e+00 |      --      |    Inf | unknown
98.89/99.29	c  99.3s|     1 |     0 | 56936 |     - |   385M |   0 |  16k|  17k|  39k|6471 |  9 |  75 |   0 | 0.000000e+00 |      --      |    Inf | unknown
108.96/109.38	c   109s|     1 |     0 | 62590 |     - |   401M |   0 |  16k|  17k|  39k|6989 | 10 |  78 |   0 | 0.000000e+00 |      --      |    Inf | unknown
113.95/114.31	c   114s|     1 |     0 | 67325 |     - |   406M |   0 |  16k|  17k|  40k|7487 | 11 |  79 |   0 | 0.000000e+00 |      --      |    Inf | unknown
161.61/162.14	c   162s|     1 |     2 | 93331 |     - |   406M |   0 |  16k|  17k|  40k|7487 | 11 |  96 |  19 | 0.000000e+00 |      --      |    Inf | unknown
296.05/296.97	c   297s|   100 |    32 |316338 |2515.3 |   542M |  17 |  16k|  17k|  39k|  19k|  2 | 318 |  19 | 0.000000e+00 |      --      |    Inf |  28.32%
498.45/499.82	c   500s|   200 |    29 |419596 |1770.2 |   554M |  23 |  16k|  17k|   0 |  26k|  0 | 673 |  19 | 0.000000e+00 |      --      |    Inf |  29.16%
555.29/556.87	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
555.29/556.87	c   557s|   300 |    39 |568135 |1674.9 |   558M |  23 |  16k|  18k|  38k|  39k|  2 |1015 |  19 | 0.000000e+00 |      --      |    Inf |  29.56%
601.97/603.62	c   604s|   400 |    37 |704957 |1598.1 |   564M |  23 |  16k|  18k|  38k|  53k|  2 |1316 |  19 | 0.000000e+00 |      --      |    Inf |  30.26%
629.20/630.98	c   631s|   500 |    26 |822040 |1512.5 |   567M |  23 |  16k|  18k|   0 |  64k|  0 |1645 |  19 | 0.000000e+00 |      --      |    Inf |  31.07%
663.01/664.88	c   665s|   600 |    20 |957023 |1485.3 |   573M |  23 |  16k|  19k|  37k|  77k|  2 |1928 |  19 | 0.000000e+00 |      --      |    Inf |  32.59%
698.31/700.24	c   700s|   700 |    16 |  1079k|1447.4 |   578M |  23 |  16k|  19k|   0 |  89k|  0 |2193 |  19 | 0.000000e+00 |      --      |    Inf |  34.02%
730.03/732.10	c   732s|   800 |    13 |  1203k|1422.0 |   582M |  23 |  16k|  19k|  37k| 100k|  2 |2394 |  19 | 0.000000e+00 |      --      |    Inf |  35.55%
879.53/881.93	c   882s|   900 |    13 |  1347k|1423.9 |   589M |  23 |  16k|  19k|   0 | 113k|  0 |2673 |  19 | 0.000000e+00 |      --      |    Inf |  37.74%
917.33/919.80	c   920s|  1000 |    11 |  1482k|1416.2 |   673M |  23 |  16k|  19k|  37k| 127k|  2 |3037 |  19 | 0.000000e+00 |      --      |    Inf |  40.82%
951.05/953.69	c   954s|  1100 |     9 |  1603k|1397.7 |   679M |  23 |  16k|  19k|   0 | 139k|  0 |3239 |  19 | 0.000000e+00 |      --      |    Inf |  43.09%
985.95/988.63	c   989s|  1200 |     7 |  1714k|1373.5 |   686M |  23 |  16k|  19k|  37k| 152k|  2 |3530 |  19 | 0.000000e+00 |      --      |    Inf |  46.09%
1065.44/1068.31	c  1068s|  1300 |    14 |  1841k|1366.1 |   692M |  23 |  16k|  19k|  37k| 164k|  2 |3862 |  19 | 0.000000e+00 |      --      |    Inf |  47.85%
1101.75/1104.76	c  1105s|  1400 |    12 |  1960k|1353.0 |   698M |  23 |  16k|  19k|  38k| 176k|  2 |4256 |  19 | 0.000000e+00 |      --      |    Inf |  50.02%
1142.52/1145.66	c  1146s|  1500 |    11 |  2095k|1353.2 |   852M |  23 |  16k|  19k|  37k| 188k|  0 |4459 |  19 | 0.000000e+00 |      --      |    Inf |  51.66%
1418.44/1422.24	c  1422s|  1600 |    20 |  2298k|1395.4 |   861M |  23 |  16k|  20k|  38k| 202k|  3 |4637 |  19 | 0.000000e+00 |      --      |    Inf |  56.10%
1512.59/1516.63	c  1517s|  1700 |    20 |  2500k|1432.4 |   938M |  23 |  16k|  20k|  37k| 215k|  2 |4822 |  19 | 0.000000e+00 |      --      |    Inf |  59.90%
1554.97/1559.12	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1554.97/1559.12	c  1559s|  1800 |    12 |  2634k|1427.1 |   944M |  23 |  16k|  20k|   0 | 226k|  0 |5039 |  19 | 0.000000e+00 |      --      |    Inf |  62.11%
1616.99/1621.34	c  1621s|  1900 |    17 |  2816k|1447.7 |  1035M |  23 |  16k|  20k|  38k| 240k|  2 |5201 |  19 | 0.000000e+00 |      --      |    Inf |  65.28%
1654.89/1659.31	c  1659s|  2000 |    12 |  2951k|1442.7 |  1042M |  23 |  16k|  20k|  37k| 251k|  2 |5378 |  19 | 0.000000e+00 |      --      |    Inf |  66.80%
1844.43/1849.31	c  1849s|  2100 |    19 |  3125k|1456.8 |  1048M |  23 |  16k|  19k|  38k| 264k|  2 |5565 |  19 | 0.000000e+00 |      --      |    Inf |  70.86%
1886.31/1891.37	c  1891s|  2200 |    13 |  3261k|1452.5 |  1055M |  23 |  16k|  19k|  37k| 276k|  2 |5699 |  19 | 0.000000e+00 |      --      |    Inf |  72.85%
1955.31/1960.57	c  1961s|  2300 |    12 |  3441k|1467.7 |  1064M |  23 |  16k|  18k|   0 | 289k|  0 |5863 |  19 | 0.000000e+00 |      --      |    Inf |  82.03%
2005.28/2010.62	c  2011s|  2400 |    15 |  3586k|1466.7 |  1069M |  23 |  16k|  18k|   0 | 301k|  0 |6089 |  19 | 0.000000e+00 |      --      |    Inf |  84.01%
2040.09/2045.56	c  2046s|  2500 |    16 |  3703k|1455.1 |  1075M |  23 |  16k|  18k|  38k| 312k|  2 |6257 |  19 | 0.000000e+00 |      --      |    Inf |  85.85%
2090.57/2096.18	c  2096s|  2600 |    13 |  3847k|1454.4 |  1297M |  23 |  16k|  18k|  37k| 324k|  2 |6464 |  19 | 0.000000e+00 |      --      |    Inf |  88.13%
2124.77/2130.48	c  2130s|  2700 |     7 |  3970k|1446.3 |  1302M |  23 |  16k|  14k|  37k| 335k|  2 |6643 |  19 | 0.000000e+00 |      --      |    Inf |  96.97%
2155.68/2161.47	c  2161s|  2800 |     3 |  4074k|1431.6 |  1306M |  23 |  16k|  14k|  37k| 346k|  2 |6824 |  19 | 0.000000e+00 |      --      |    Inf |  99.02%
2168.04/2173.84	c 
2168.04/2173.84	c SCIP Status        : problem is solved [infeasible]
2168.04/2173.84	c Solving Time (sec) : 2173.83
2168.04/2173.84	c Solving Nodes      : 2850
2168.04/2173.84	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
2168.04/2173.84	c Dual Bound         : +1.00000000000000e+20
2168.04/2173.84	c Gap                : 0.00 %
2168.04/2173.84	s UNSATISFIABLE
2168.04/2173.84	c SCIP Status        : problem is solved [infeasible]
2168.04/2173.84	c Total Time         :    2173.83
2168.04/2173.84	c   solving          :    2173.83
2168.04/2173.84	c   presolving       :      36.66 (included in solving)
2168.04/2173.84	c   reading          :       0.13 (included in solving)
2168.04/2173.84	c   copying          :       0.21 (5 #copies) (minimal 0.04, maximal 0.05, average 0.04)
2168.04/2173.84	c Original Problem   :
2168.04/2173.84	c   Problem name     : HOME/instance-4491618-1751142720.opb
2168.04/2173.84	c   Variables        : 20605 (20605 binary, 0 integer, 0 implicit integer, 0 continuous)
2168.04/2173.84	c   Constraints      : 59851 initial, 59851 maximal
2168.04/2173.84	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
2168.04/2173.84	c Presolved Problem  :
2168.04/2173.84	c   Problem name     : t_HOME/instance-4491618-1751142720.opb
2168.04/2173.84	c   Variables        : 16216 (16216 binary, 0 integer, 0 implicit integer, 0 continuous)
2168.04/2173.84	c   Constraints      : 17199 initial, 20184 maximal
2168.04/2173.84	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
2168.04/2173.84	c   Nonzeros         : 60417 constraint, 298737 clique table
2168.04/2173.84	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
2168.04/2173.84	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   domcol           :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   gateextraction   :       0.16       0.00     11          0          0          0          0          0      46858      15608          0          0
2168.04/2173.84	c   implics          :       0.00       0.00     13          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   milp             :      15.07       0.00      1       2274       1884          0          0          0      59816      48646          0          0
2168.04/2173.84	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   trivial          :       0.01       0.00     17         11          0          0          0          0          0          0          0          0
2168.04/2173.84	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   dualfix          :       0.01       0.00     17          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   probing          :      20.38       0.00      5         71         37          0          0          0          0          0          0          0
2168.04/2173.84	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   symmetry         :       0.08       0.00      1          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   vbounds          :       0.06       0.00      2          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   knapsack         :       0.02       0.00     35          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   setppc           :       0.06       0.00     35          0          2          0          0          0         39          1          0          0
2168.04/2173.84	c   and              :       0.33       0.00     23          0        105          0          0          0        166         66          0         36
2168.04/2173.84	c   linear           :       0.26       0.02      6          1          4          0          1          0         37          0        588       1176
2168.04/2173.84	c   logicor          :       0.03       0.00     30          0          0          0          0          0          2          0          0          1
2168.04/2173.84	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   root node        :          -          -      -       8779          -          -       8779          -          -          -          -          -
2168.04/2173.84	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
2168.04/2173.84	c   benderslp        :          0          0          0          0       1766          0          0         19          0          0          0          0          0          0          0
2168.04/2173.84	c   integral         :          0          0          0          0       1766          0          0         19          0          0          0          0          0          0       3532
2168.04/2173.84	c   knapsack         :       1176+      1180         11     100107          0          0          0         15        741         14         87       2207        146          0          0
2168.04/2173.84	c   setppc           :        674+       715         11     100036          0          0          0          0      24439         89       7812          4          2          0          0
2168.04/2173.84	c   and              :      15335      15335       3473     100007          0          0          0          0     588225        946    1078709    3236097     322746          0          0
2168.04/2173.84	c   linear           :          0+        29          0      62094          0          0          0          3        409        121        448          0          0          0          0
2168.04/2173.84	c   logicor          :         14+      3556         11      26662          0          0          0          0      16268        391       7705         28          3          0          0
2168.04/2173.84	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
2168.04/2173.84	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2168.04/2173.84	c   integral         :      22.25       0.00       0.00       0.00      22.25       0.00       0.00       0.00       0.00       0.00
2168.04/2173.84	c   knapsack         :       0.52       0.00       0.02       0.50       0.00       0.00       0.00       0.00       0.00       0.00
2168.04/2173.84	c   setppc           :       0.49       0.00       0.00       0.47       0.00       0.00       0.00       0.00       0.01       0.00
2168.04/2173.84	c   and              :      24.71       0.00       8.13      16.18       0.00       0.00       0.00       0.00       0.28       0.12
2168.04/2173.84	c   linear           :       0.07       0.02       0.00       0.05       0.00       0.00       0.00       0.00       0.00       0.00
2168.04/2173.84	c   logicor          :       0.45       0.00       0.00       0.42       0.00       0.00       0.00       0.00       0.03       0.00
2168.04/2173.84	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2168.04/2173.84	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2168.04/2173.84	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2168.04/2173.84	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
2168.04/2173.84	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
2168.04/2173.84	c   dualfix          :          1          0          0          0
2168.04/2173.84	c   genvbounds       :          0          0          0          0
2168.04/2173.84	c   nlobbt           :          0          0          0          0
2168.04/2173.84	c   obbt             :          0          0          0          0
2168.04/2173.84	c   probing          :          0          0          0          0
2168.04/2173.84	c   pseudoobj        :          0          0          0          0
2168.04/2173.84	c   redcost          :          0          0          0          0
2168.04/2173.84	c   rootredcost      :          0          0          0          0
2168.04/2173.84	c   symmetry         :      21642          0        241         31
2168.04/2173.84	c   vbounds          :      61394          0          0          0
2168.04/2173.84	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
2168.04/2173.84	c   dualfix          :       0.01       0.00       0.01       0.00       0.00       0.00
2168.04/2173.84	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
2168.04/2173.84	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
2168.04/2173.84	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
2168.04/2173.84	c   probing          :      20.38       0.00      20.38       0.00       0.00       0.00
2168.04/2173.84	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
2168.04/2173.84	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
2168.04/2173.84	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
2168.04/2173.84	c   symmetry         :       0.18       0.00       0.08       0.11       0.00       0.00
2168.04/2173.84	c   vbounds          :       8.34       0.00       0.06       8.28       0.00       0.00
2168.04/2173.84	c Symmetry           :
2168.04/2173.84	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
2168.04/2173.84	c   orbital reduction:          0 reductions applied,          0 cutoffs
2168.04/2173.84	c   lexicographic red:         31 reductions applied,        241 cutoffs
2168.04/2173.84	c   shadow tree time :       0.01 s
2168.04/2173.84	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
2168.04/2173.84	c   propagation      :       0.48       1538       1458          -      10662       44.0        113       25.1          -          -          -
2168.04/2173.84	c   infeasible LP    :       0.23         73         71          -        357       49.5          5       17.8         71       11.2          0
2168.04/2173.84	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
2168.04/2173.84	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
2168.04/2173.84	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
2168.04/2173.84	c   applied globally :       0.92          -          -          0       6807       30.6          -          -         66          -          -
2168.04/2173.84	c   applied locally  :          -          -          -          0          0        0.0          -          -          5          -          -
2168.04/2173.84	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
2168.04/2173.84	c   cut pool         :       0.61          -        763         21          -          -      18164     110262          -          -          -          -          -    (maximal pool size:      18164)
2168.04/2173.84	c   aggregation      :       0.23       0.00         15         11          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
2168.04/2173.84	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
2168.04/2173.84	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
2168.04/2173.84	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   clique           :       9.66       0.00         11         11          0          0         78        227          0         23         23          0          0
2168.04/2173.84	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   gomory           :       4.22       0.00         14         10          0          0       2205       4529          0        310        310          0          0
2168.04/2173.84	c   > gomorymi       :          -          -          -          -          -          -          -       1315          0         32         32          0          -
2168.04/2173.84	c   > strongcg       :          -          -          -          -          -          -          -       3214          0        278        278          0          -
2168.04/2173.84	c   impliedbounds    :       0.19       0.00         15         11          0          0      14790     100986          0      20792      20792          0          0
2168.04/2173.84	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   mcf              :       0.02       0.00          1          1          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   multilinear      :       0.01       0.00         87         11          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
2168.04/2173.84	c   rlt              :     170.78       0.00        369         10          0          0      12432        859      11802       7355        560       6795          0
2168.04/2173.84	c   zerohalf         :       0.98       0.00         15         11          0          0        487       3661         26        714        701         13          0
2168.04/2173.84	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
2168.04/2173.84	c   hybrid           :       8.65       0.00       3566         11     352092          0    3008334       7487          0      39166
2168.04/2173.84	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c Pricers            :   ExecTime  SetupTime      Calls       Vars
2168.04/2173.84	c   problem variables:       0.00          -          0          0
2168.04/2173.84	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
2168.04/2173.84	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c   relpscost        :      22.25       0.00       1766          0          0          0          0          0          0       3532
2168.04/2173.84	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
2168.04/2173.84	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
2168.04/2173.84	c   LP solutions     :       0.00          -          -          0          0
2168.04/2173.84	c   relax solutions  :       0.00          -          -          0          0
2168.04/2173.84	c   pseudo solutions :       0.00          -          -          0          0
2168.04/2173.84	c   strong branching :       0.00          -          -          0          0
2168.04/2173.84	c   actconsdiving    :       0.00       0.00          0          0          0
2168.04/2173.84	c   adaptivediving   :      52.81       0.00          9          0          0
2168.04/2173.84	c   alns             :       0.67       0.00          4          0          0
2168.04/2173.84	c   bound            :       0.00       0.00          0          0          0
2168.04/2173.84	c   clique           :       0.17       0.00          1          0          0
2168.04/2173.84	c   coefdiving       :       0.00       0.00          0          0          0
2168.04/2173.84	c   completesol      :       0.00       0.00          0          0          0
2168.04/2173.84	c   conflictdiving   :      45.43       0.00         16          0          0
2168.04/2173.84	c   crossover        :       0.00       0.00          0          0          0
2168.04/2173.84	c   dins             :       0.00       0.00          0          0          0
2168.04/2173.84	c   distributiondivin:      38.90       0.00         14          0          0
2168.04/2173.84	c   dps              :       0.00       0.00          0          0          0
2168.04/2173.84	c   dualval          :       0.00       0.00          0          0          0
2168.04/2173.84	c   farkasdiving     :       0.00       0.00          0          0          0
2168.04/2173.84	c   feasjump         :       0.05       0.00          1          0          0
2168.04/2173.84	c   feaspump         :       2.05       0.00          2          0          0
2168.04/2173.84	c   fixandinfer      :       0.00       0.00          0          0          0
2168.04/2173.84	c   fracdiving       :      49.38       0.00         16          0          0
2168.04/2173.84	c   gins             :       0.00       0.00          0          0          0
2168.04/2173.84	c   guideddiving     :       0.00       0.00          0          0          0
2168.04/2173.84	c   indcoefdiving    :       0.00       0.00          0          0          0
2168.04/2173.84	c   indicator        :       0.00       0.00          0          0          0
2168.04/2173.84	c   indicatordiving  :       0.00       0.00          0          0          0
2168.04/2173.84	c   indoneopt        :       0.00       0.00          0          0          0
2168.04/2173.84	c   indrounding      :       0.00       0.00          0          0          0
2168.04/2173.84	c   indtwoopt        :       0.00       0.00          0          0          0
2168.04/2173.84	c   intdiving        :       0.00       0.00          0          0          0
2168.04/2173.84	c   intshifting      :       0.00       0.00          0          0          0
2168.04/2173.84	c   linesearchdiving :      18.96       0.00         15          0          0
2168.04/2173.84	c   localbranching   :       0.00       0.00          0          0          0
2168.04/2173.84	c   locks            :       0.04       0.00          1          0          0
2168.04/2173.84	c   lpface           :       0.05       0.00          0          0          0
2168.04/2173.84	c   mpec             :       0.00       0.00          0          0          0
2168.04/2173.84	c   multistart       :       0.00       0.00          0          0          0
2168.04/2173.84	c   mutation         :       0.00       0.00          0          0          0
2168.04/2173.84	c   nlpdiving        :       0.00       0.00          0          0          0
2168.04/2173.84	c   objpscostdiving  :     696.24       0.00          6          0          0
2168.04/2173.84	c   octane           :       0.00       0.00          0          0          0
2168.04/2173.84	c   ofins            :       0.00       0.00          0          0          0
2168.04/2173.84	c   oneopt           :       0.00       0.00          0          0          0
2168.04/2173.84	c   padm             :       0.00       0.00          0          0          0
2168.04/2173.84	c   proximity        :       0.00       0.00          0          0          0
2168.04/2173.84	c   pscostdiving     :      23.59       0.00         16          0          0
2168.04/2173.84	c   randrounding     :       0.23       0.00         24          0          0
2168.04/2173.84	c   rens             :       0.22       0.00          1          0          0
2168.04/2173.84	c   reoptsols        :       0.00       0.00          0          0          0
2168.04/2173.84	c   repair           :       0.00       0.00          0          0          0
2168.04/2173.84	c   rins             :       0.00       0.00          0          0          0
2168.04/2173.84	c   rootsoldiving    :      24.04       0.00          7          0          0
2168.04/2173.84	c   rounding         :       1.84       0.00        987          0          0
2168.04/2173.84	c   scheduler        :       0.00       0.00          0          0          0
2168.04/2173.84	c   shiftandpropagate:       0.10       0.00          1          0          0
2168.04/2173.84	c   shifting         :      19.10       0.00        457          0          0
2168.04/2173.84	c   simplerounding   :       0.00       0.00          0          0          0
2168.04/2173.84	c   smallcard        :       0.00       0.00          0          0          0
2168.04/2173.84	c   subnlp           :       0.00       0.00          0          0          0
2168.04/2173.84	c   trivial          :       0.01       0.00          2          0          0
2168.04/2173.84	c   trivialnegation  :       0.00       0.00          0          0          0
2168.04/2173.84	c   trustregion      :       0.00       0.00          0          0          0
2168.04/2173.84	c   trysol           :       0.00       0.00          0          0          0
2168.04/2173.84	c   twoopt           :       0.00       0.00          0          0          0
2168.04/2173.84	c   undercover       :       0.28       0.00          1          0          0
2168.04/2173.84	c   vbounds          :       0.23       0.00          1          0          0
2168.04/2173.84	c   veclendiving     :      28.05       0.00         16          0          0
2168.04/2173.84	c   zeroobj          :       0.00       0.00          0          0          0
2168.04/2173.84	c   zirounding       :       0.84       0.00       1000          0          0
2168.04/2173.84	c   other solutions  :          -          -          -          0          -
2168.04/2173.84	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
2168.04/2173.84	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
2168.04/2173.84	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
2168.04/2173.84	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
2168.04/2173.84	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
2168.04/2173.84	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
2168.04/2173.84	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
2168.04/2173.84	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
2168.04/2173.84	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
2168.04/2173.84	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
2168.04/2173.84	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
2168.04/2173.84	c   primal LP        :       1.39        329          0       0.00       0.00       1.39        329
2168.04/2173.84	c   dual LP          :     848.86       5376    3645580     678.25    4294.66       0.01          1
2168.04/2173.84	c   lex dual LP      :       0.00          0          0       0.00          -
2168.04/2173.84	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
2168.04/2173.84	c   resolve instable :       0.00          0          0       0.00          -
2168.04/2173.84	c   diving/probing LP:     967.74       1614     473725     293.51     489.52
2168.04/2173.84	c   strong branching :      15.37         19      18384     967.58    1196.32          -          -         35
2168.04/2173.84	c     (at root node) :          -         19      18384     967.58          -
2168.04/2173.84	c   conflict analysis:       0.00          0          0       0.00          -
2168.04/2173.84	c B&B Tree           :
2168.04/2173.84	c   number of runs   :          1
2168.04/2173.84	c   nodes            :       2850 (1766 internal, 1084 leaves)
2168.04/2173.84	c   feasible leaves  :          0
2168.04/2173.84	c   infeas. leaves   :       1084
2168.04/2173.84	c   objective leaves :          0
2168.04/2173.84	c   nodes (total)    :       2850 (1766 internal, 1084 leaves)
2168.04/2173.84	c   nodes left       :          0
2168.04/2173.84	c   max depth        :         23
2168.04/2173.84	c   max depth (total):         23
2168.04/2173.84	c   backtracks       :        984 (34.5%)
2168.04/2173.84	c   early backtracks :          0 (0.0%)
2168.04/2173.84	c   nodes exc. ref.  :          0 (0.0%)
2168.04/2173.84	c   delayed cutoffs  :        683
2168.04/2173.84	c   repropagations   :       1826 (245601 domain reductions, 515 cutoffs)
2168.04/2173.84	c   avg switch length:       3.32
2168.04/2173.84	c   switching time   :       5.86
2168.04/2173.84	c Root Node          :
2168.04/2173.84	c   First LP value   : +0.00000000000000e+00
2168.04/2173.84	c   First LP Iters   :       4698 (8698.07 Iter/sec)
2168.04/2173.84	c   First LP Time    :       0.54
2168.04/2173.84	c   Final Dual Bound : +0.00000000000000e+00
2168.04/2173.84	c   Final Root Iters :      67325
2168.04/2173.84	c   Root LP Estimate : +6.04151479563019e-03
2168.04/2173.84	c Solution           :
2168.04/2173.84	c   Solutions found  :          0 (0 improvements)
2168.04/2173.84	c   Primal Bound     : infeasible
2168.04/2173.84	c   Dual Bound       :          -
2168.04/2173.84	c   Gap              :       0.00 %
2168.04/2173.84	c Integrals          :      Total       Avg%
2168.04/2173.84	c   primal-dual      :          -          - (problem infeasible)
2168.04/2173.84	c   primal-ref       :          -          - (problem infeasible)
2168.04/2173.84	c   dual-ref         :          -          - (problem infeasible)
2168.24/2174.03	c Time complete: 2168.28.

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: 63665 MiB (61635 MiB free)
  memory of node 1: 64507 MiB (63293 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491618-1751142720/watcher-4491618-1751142720 -o /tmp/evaluation-result-4491618-1751142720/solver-4491618-1751142720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751142711-13294 --watchdog 3760 pbscip -f HOME/instance-4491618-1751142720.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=13443, runsolver pid=13440

[startup+0.100026 s]*
/proc/loadavg: 1.50 1.19 1.51 5/265 13444
/proc/meminfo: memFree=127842388/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=83740 memory=54912 CPUtime=0.09 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 10870 0 0 0 8 1 0 0 20 0 1 0 29951617 85749760 13728 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 20935 13728 3200 3530 0 12386 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83740 KiB
Current children cumulated memory: 54912 KiB

[startup+0.205571 s]*
/proc/loadavg: 1.50 1.19 1.51 5/265 13444
/proc/meminfo: memFree=127810132/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=145848 memory=119360 CPUtime=0.19 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 26988 0 0 0 16 3 0 0 20 0 1 0 29951617 149348352 29840 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 36462 29840 3488 3530 0 27913 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 145848 KiB
Current children cumulated memory: 119360 KiB

[startup+0.305558 s]*
/proc/loadavg: 1.50 1.19 1.51 6/265 13444
/proc/meminfo: memFree=127753936/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=171728 memory=143040 CPUtime=0.29 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 32868 0 0 0 25 4 0 0 20 0 1 0 29951617 175849472 35760 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 42932 35760 3520 3530 0 34383 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 171728 KiB
Current children cumulated memory: 143040 KiB

[startup+0.700173 s]
/proc/loadavg: 1.50 1.19 1.51 5/265 13444
/proc/meminfo: memFree=127697360/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=210536 memory=181872 CPUtime=0.69 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 43291 0 0 0 63 6 0 0 20 0 1 0 29951617 215588864 45468 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 52634 45468 3648 3530 0 44085 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 210536 KiB
Current children cumulated memory: 181872 KiB

[startup+1.50015 s]
/proc/loadavg: 1.50 1.19 1.51 5/265 13444
/proc/meminfo: memFree=127695848/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=210536 memory=181872 CPUtime=1.48 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 43291 0 0 0 142 6 0 0 20 0 1 0 29951617 215588864 45468 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 52634 45468 3648 3530 0 44085 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 210536 KiB
Current children cumulated memory: 181872 KiB

[startup+3.10551 s]
/proc/loadavg: 1.50 1.19 1.51 5/265 13444
/proc/meminfo: memFree=127645744/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=210536 memory=181872 CPUtime=3.08 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 43294 0 0 0 302 6 0 0 20 0 1 0 29951617 215588864 45468 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 52634 45468 3648 3530 0 44085 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 210536 KiB
Current children cumulated memory: 181872 KiB

[startup+6.30016 s]
/proc/loadavg: 1.78 1.25 1.52 5/265 13444
/proc/meminfo: memFree=127618040/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=210536 memory=181872 CPUtime=6.27 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 43297 0 0 0 621 6 0 0 20 0 1 0 29951617 215588864 45468 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 52634 45468 3648 3530 0 44085 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 210536 KiB
Current children cumulated memory: 181872 KiB

[startup+12.7002 s]
/proc/loadavg: 1.96 1.30 1.54 5/265 13489
/proc/meminfo: memFree=126708808/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=210536 memory=181872 CPUtime=12.65 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 43300 0 0 0 1259 6 0 0 20 0 1 0 29951617 215588864 45468 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 52634 45468 3648 3530 0 44085 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 210536 KiB
Current children cumulated memory: 181872 KiB

[startup+25.5002 s]
/proc/loadavg: 2.41 1.43 1.58 5/265 13489
/proc/meminfo: memFree=126592540/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=232968 memory=203236 CPUtime=25.41 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 54420 0 0 0 2533 8 0 0 20 0 1 0 29951617 238559232 50809 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 58242 50809 3712 3530 0 49693 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 232968 KiB
Current children cumulated memory: 203236 KiB

[startup+51.1056 s]
/proc/loadavg: 3.10 1.67 1.65 5/265 13490
/proc/meminfo: memFree=126275244/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=494764 memory=440944 CPUtime=50.93 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 102665 0 0 0 5076 17 0 0 20 0 1 0 29951617 506638336 110236 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 123691 110236 3904 3530 0 115142 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 494764 KiB
Current children cumulated memory: 440944 KiB

[startup+102.3 s]
/proc/loadavg: 3.69 2.05 1.79 5/264 13492
/proc/meminfo: memFree=125889196/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=538748 memory=472432 CPUtime=101.99 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 110536 0 0 0 10180 19 0 0 20 0 1 0 29951617 551677952 118108 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 134687 118108 3904 3530 0 126138 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 538748 KiB
Current children cumulated memory: 472432 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.42 1.93 5/265 13544
/proc/meminfo: memFree=125165544/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=654188 memory=580932 CPUtime=161.8 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 137209 0 0 0 16158 22 0 0 20 0 1 0 29951617 669888512 145233 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 163547 145233 3904 3530 0 154998 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 654188 KiB
Current children cumulated memory: 580932 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.73 2.07 5/265 13546
/proc/meminfo: memFree=125150508/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=654188 memory=581444 CPUtime=221.64 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 137324 0 0 0 22142 22 0 0 20 0 1 0 29951617 669888512 145361 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 163547 145361 3904 3530 0 154998 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 654188 KiB
Current children cumulated memory: 581444 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.98 2.20 5/267 13552
/proc/meminfo: memFree=124536564/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=745348 memory=665172 CPUtime=281.49 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 141992 0 0 0 28125 24 0 0 20 0 1 0 29951617 763236352 166293 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 186337 166293 3904 3530 0 177788 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 745348 KiB
Current children cumulated memory: 665172 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.18 2.32 5/265 13554
/proc/meminfo: memFree=123923076/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=782352 memory=704816 CPUtime=341.33 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 151450 0 0 0 34108 25 0 0 20 0 1 0 29951617 801128448 176204 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 195588 176204 3904 3530 0 187039 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 782352 KiB
Current children cumulated memory: 704816 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 3.35 2.43 5/265 13556
/proc/meminfo: memFree=123532932/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=782352 memory=704816 CPUtime=401.2 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 151450 0 0 0 40095 25 0 0 20 0 1 0 29951617 801128448 176204 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 195588 176204 3904 3530 0 187039 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 782352 KiB
Current children cumulated memory: 704816 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.48 2.54 5/265 13558
/proc/meminfo: memFree=123515720/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=782352 memory=704816 CPUtime=461.05 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 151453 0 0 0 46080 25 0 0 20 0 1 0 29951617 801128448 176204 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 195588 176204 3904 3530 0 187039 0
Current children cumulated CPU time: 461.05 s

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

/proc/loadavg: 4.09 4.11 3.76 5/263 13617
/proc/meminfo: memFree=122325624/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1185184 memory=1058172 CPUtime=1717.75 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 164753 0 0 0 171741 34 0 0 20 0 1 0 29951617 1213628416 264543 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 296296 264543 3904 3530 0 287747 0
Current children cumulated CPU time: 1717.75 s
Current children cumulated vsize: 1185184 KiB
Current children cumulated memory: 1058172 KiB

[startup+1782.3 s]
/proc/loadavg: 4.13 4.12 3.79 5/264 13631
/proc/meminfo: memFree=122348620/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1185184 memory=1058172 CPUtime=1777.6 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 164753 0 0 0 177726 34 0 0 20 0 1 0 29951617 1213628416 264543 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 296296 264543 3904 3530 0 287747 0
Current children cumulated CPU time: 1777.6 s
Current children cumulated vsize: 1185184 KiB
Current children cumulated memory: 1058172 KiB

[startup+1842.3 s]
/proc/loadavg: 4.10 4.11 3.82 5/264 13633
/proc/meminfo: memFree=122258228/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1186860 memory=1059836 CPUtime=1837.45 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 165143 0 0 0 183711 34 0 0 20 0 1 0 29951617 1215344640 264959 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 296715 264959 3904 3530 0 288166 0
Current children cumulated CPU time: 1837.45 s
Current children cumulated vsize: 1186860 KiB
Current children cumulated memory: 1059836 KiB

[startup+1902.3 s]
/proc/loadavg: 4.08 4.10 3.83 5/265 13636
/proc/meminfo: memFree=122220060/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1196500 memory=1069436 CPUtime=1897.27 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 167570 0 0 0 189692 35 0 0 20 0 1 0 29951617 1225216000 267359 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 299125 267359 3904 3530 0 290576 0
Current children cumulated CPU time: 1897.27 s
Current children cumulated vsize: 1196500 KiB
Current children cumulated memory: 1069436 KiB

[startup+1962.3 s]
/proc/loadavg: 4.12 4.11 3.86 5/265 13642
/proc/meminfo: memFree=122198016/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1203076 memory=1076092 CPUtime=1957.1 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 169213 0 0 0 195675 35 0 0 20 0 1 0 29951617 1231949824 269023 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 300769 269023 3904 3530 0 292220 0
Current children cumulated CPU time: 1957.1 s
Current children cumulated vsize: 1203076 KiB
Current children cumulated memory: 1076092 KiB

[startup+2022.3 s]
/proc/loadavg: 4.09 4.10 3.87 5/264 13644
/proc/meminfo: memFree=122185268/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1210308 memory=1083132 CPUtime=2016.95 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 170981 0 0 0 201660 35 0 0 20 0 1 0 29951617 1239355392 270783 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 302577 270783 3904 3530 0 294028 0
Current children cumulated CPU time: 2016.95 s
Current children cumulated vsize: 1210308 KiB
Current children cumulated memory: 1083132 KiB

[startup+2082.3 s]
/proc/loadavg: 4.14 4.12 3.90 5/265 13649
/proc/meminfo: memFree=121959860/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1218932 memory=1091708 CPUtime=2076.8 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 173128 0 0 0 207644 36 0 0 20 0 1 0 29951617 1248186368 272927 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 304733 272927 3904 3530 0 296184 0
Current children cumulated CPU time: 2076.8 s
Current children cumulated vsize: 1218932 KiB
Current children cumulated memory: 1091708 KiB

[startup+2142.3 s]
/proc/loadavg: 4.11 4.11 3.91 5/265 13652
/proc/meminfo: memFree=121722740/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1438156 memory=1325348 CPUtime=2136.64 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 187120 0 0 0 213623 41 0 0 20 0 1 0 29951617 1472671744 331337 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 359539 331337 3904 3530 0 350990 0
Current children cumulated CPU time: 2136.64 s
Current children cumulated vsize: 1438156 KiB
Current children cumulated memory: 1325348 KiB

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

# cumulated CPU time of all completed processes:  user=2167.86 s, system=0.445672 s

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

[startup+2150.4 s]
/proc/loadavg: 4.09 4.10 3.91 5/265 13652
/proc/meminfo: memFree=121718828/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1438384 memory=1325604 CPUtime=2144.72 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 187205 0 0 0 214431 41 0 0 20 0 1 0 29951617 1472905216 331401 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 359596 331401 3904 3530 0 351047 0
Current children cumulated CPU time: 2144.72 s
Current children cumulated vsize: 1438384 KiB
Current children cumulated memory: 1325604 KiB

[startup+2163.2 s]
/proc/loadavg: 4.08 4.10 3.91 5/265 13652
/proc/meminfo: memFree=121731864/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1440152 memory=1327268 CPUtime=2157.48 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 187619 0 0 0 215707 41 0 0 20 0 1 0 29951617 1474715648 331817 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 360038 331817 3904 3530 0 351489 0
Current children cumulated CPU time: 2157.48 s
Current children cumulated vsize: 1440152 KiB
Current children cumulated memory: 1327268 KiB

[startup+2169.6 s]
/proc/loadavg: 4.07 4.10 3.91 5/265 13652
/proc/meminfo: memFree=121719728/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1440788 memory=1328036 CPUtime=2163.86 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 187804 0 0 0 216345 41 0 0 20 0 1 0 29951617 1475366912 332009 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 360197 332009 3904 3530 0 351648 0
Current children cumulated CPU time: 2163.86 s
Current children cumulated vsize: 1440788 KiB
Current children cumulated memory: 1328036 KiB

[startup+2171.2 s]
/proc/loadavg: 4.06 4.10 3.91 5/265 13652
/proc/meminfo: memFree=121720488/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1440788 memory=1328036 CPUtime=2165.45 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 187808 0 0 0 216504 41 0 0 20 0 1 0 29951617 1475366912 332009 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 360197 332009 3904 3530 0 351648 0
Current children cumulated CPU time: 2165.45 s
Current children cumulated vsize: 1440788 KiB
Current children cumulated memory: 1328036 KiB

[startup+2172.8 s]
/proc/loadavg: 4.06 4.10 3.91 5/265 13652
/proc/meminfo: memFree=121720264/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1441140 memory=1328292 CPUtime=2167.05 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 187852 0 0 0 216664 41 0 0 20 0 1 0 29951617 1475727360 332073 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 360285 332073 3904 3530 0 351736 0
Current children cumulated CPU time: 2167.05 s
Current children cumulated vsize: 1441140 KiB
Current children cumulated memory: 1328292 KiB

[startup+2173.6 s]
/proc/loadavg: 4.06 4.10 3.91 5/265 13652
/proc/meminfo: memFree=121720268/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1441140 memory=1328292 CPUtime=2167.84 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 187852 0 0 0 216743 41 0 0 20 0 1 0 29951617 1475727360 332073 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 360285 332073 3904 3530 0 351736 0
Current children cumulated CPU time: 2167.84 s
Current children cumulated vsize: 1441140 KiB
Current children cumulated memory: 1328292 KiB

[startup+2174 s]*
/proc/loadavg: 4.06 4.10 3.91 5/265 13652
/proc/meminfo: memFree=121785764/131249996 swapFree=33010684/33010684
[pid=13443] ppid=13440 vsize=1355536 memory=1242712 CPUtime=2168.24 cores=0,2
/proc/13443/stat : 13443 (pbscip) R 13440 13443 11624 0 -1 4194304 187852 0 0 0 216783 41 0 0 20 0 1 0 29951617 1388068864 310678 18446744073709551615 4235264 18693293 140737291446928 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 38952960 140737291450761 140737291450860 140737291450860 140737291456462 0
/proc/13443/statm: 338884 310678 3904 3530 0 330335 0
Current children cumulated CPU time: 2168.24 s
Current children cumulated vsize: 1355536 KiB
Current children cumulated memory: 1242712 KiB

Child status: 0

Real time (s): 2174.05
CPU time (s): 2168.31
CPU user time (s): 2167.86
CPU system time (s): 0.445672
CPU usage (%): 99.7356
Max. virtual memory (cumulated for all children) (KiB): 1441140
Max. memory (cumulated for all children) (KiB): 1328292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2167.86
system time used= 0.445672
maximum resident set size= 1328292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187859
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= 80
involuntary context switches= 4801


# summary of solver processes directly reported to runsolver:
#   pid: 13443
#   total CPU time (s): 2168.31
#   total CPU user time (s): 2167.86
#   total CPU system time (s): 0.445672

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.7537 second user time and 9.01799 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-06-28 22:32:00
IDJOB=4491618
IDBENCH=147727
IDSOLVER=3365
FILE ID=nodeC030/4491618-1751142720
RUNJOBID= nodeC030-1751142711-13294
SLURM_JOB_ID= 9587430
Free space on /tmp= 432956 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491618-1751142720/watcher-4491618-1751142720 -o /tmp/evaluation-result-4491618-1751142720/solver-4491618-1751142720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751142711-13294 --watchdog 3760  pbscip -f HOME/instance-4491618-1751142720.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 76d76a6e9366419c7968e5756d4a65f6
RANDOM SEED=78215514

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127943000 kB
MemAvailable:   127627004 kB
Buffers:            3280 kB
Cached:           495536 kB
SwapCached:            0 kB
Active:          2166024 kB
Inactive:         272996 kB
Active(anon):    1958272 kB
Inactive(anon):        0 kB
Active(file):     207752 kB
Inactive(file):   272996 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             99372 kB
Writeback:             4 kB
AnonPages:       1942088 kB
Mapped:           135388 kB
Shmem:             18064 kB
KReclaimable:      84592 kB
Slab:             166660 kB
SReclaimable:      84592 kB
SUnreclaim:        82068 kB
KernelStack:        4288 kB
PageTables:         6888 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2336956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432928 MiB
End job on nodeC030 at 2025-06-28 23:08:15