Trace number 4522560

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07? 3586.6 3597.54

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i2_pp_94.opb
MD5SUM3daa9ced16b2be364df6dcba1fb45266
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1052
Best CPU time to get the best result obtained on this benchmark3586.43
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables92769
Total number of constraints92770
Number of constraints which are clauses79004
Number of constraints which are cardinality constraints (but not clauses)2888
Number of constraints which are nor clauses,nor cardinality constraints10878
Minimum length of a constraint1
Maximum length of a constraint2888
Number of terms in the objective function 2888
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2888
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 688
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3576
Number of bits of the biggest sum of numbers12
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.02	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02	c 
0.00/0.02	c user parameter file <scip.set> not found - using default parameters
0.00/0.02	c reading problem <HOME/instance-4522560-1751643642.opb>
0.77/0.87	c original problem has 92769 variables (92769 bin, 0 int, 0 impl, 0 cont) and 92770 constraints
0.77/0.87	c problem read in 0.84
1.36/1.47	c presolving:
1.76/1.84	c (round 1, fast)       1714 del vars, 1714 del conss, 0 add conss, 542 chg bounds, 42 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 91055 clqs
2.16/2.22	c    (2.2s) running MILP presolver
12.53/12.69	c    (12.7s) MILP presolver (7 rounds): 139 aggregations, 224 fixings, 0 bound changes
12.73/12.80	c (round 2, medium)     2511 del vars, 1714 del conss, 0 add conss, 542 chg bounds, 42 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 86395 clqs
12.73/12.85	c (round 3, fast)       3105 del vars, 6351 del conss, 0 add conss, 542 chg bounds, 42 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 86305 clqs
12.83/12.93	c (round 4, exhaustive) 3106 del vars, 6464 del conss, 0 add conss, 542 chg bounds, 42 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 86305 clqs
13.23/13.36	c (round 5, exhaustive) 3106 del vars, 6464 del conss, 0 add conss, 542 chg bounds, 42 chg sides, 0 chg coeffs, 86305 upgd conss, 0 impls, 86305 clqs
13.43/13.59	c (round 6, medium)     3179 del vars, 6534 del conss, 0 add conss, 542 chg bounds, 45 chg sides, 3 chg coeffs, 86305 upgd conss, 0 impls, 86305 clqs
15.82/15.98	c    (16.0s) sparsify finished: 1109/483089 (0.2%) nonzeros canceled - in total 1109 canceled nonzeros, 1109 changed coefficients, 0 added nonzeros
15.93/16.03	c (round 7, exhaustive) 3263 del vars, 6543 del conss, 6 add conss, 542 chg bounds, 45 chg sides, 1113 chg coeffs, 86312 upgd conss, 0 impls, 86296 clqs
15.93/16.10	c (round 8, fast)       3263 del vars, 6620 del conss, 6 add conss, 542 chg bounds, 45 chg sides, 1113 chg coeffs, 86312 upgd conss, 0 impls, 86297 clqs
36.15/36.36	c (round 9, exhaustive) 3376 del vars, 6623 del conss, 6 add conss, 542 chg bounds, 45 chg sides, 1113 chg coeffs, 86312 upgd conss, 0 impls, 292907 clqs
36.25/36.45	c (round 10, fast)       3379 del vars, 6911 del conss, 6 add conss, 542 chg bounds, 45 chg sides, 1113 chg coeffs, 86312 upgd conss, 0 impls, 292899 clqs
36.55/36.76	c (round 11, medium)     3571 del vars, 6913 del conss, 6 add conss, 542 chg bounds, 46 chg sides, 1114 chg coeffs, 86312 upgd conss, 0 impls, 289197 clqs
36.65/36.85	c (round 12, fast)       3715 del vars, 8374 del conss, 6 add conss, 542 chg bounds, 46 chg sides, 1114 chg coeffs, 86312 upgd conss, 0 impls, 289191 clqs
36.96/37.11	c (round 13, exhaustive) 3758 del vars, 8426 del conss, 14 add conss, 542 chg bounds, 46 chg sides, 1114 chg coeffs, 86321 upgd conss, 0 impls, 284214 clqs
40.73/40.99	c (round 14, exhaustive) 3830 del vars, 8426 del conss, 14 add conss, 542 chg bounds, 46 chg sides, 1115 chg coeffs, 86321 upgd conss, 0 impls, 345414 clqs
40.84/41.04	c (round 15, fast)       3830 del vars, 8544 del conss, 14 add conss, 542 chg bounds, 46 chg sides, 1115 chg coeffs, 86321 upgd conss, 0 impls, 345415 clqs
41.23/41.46	c (round 16, exhaustive) 3860 del vars, 9000 del conss, 15 add conss, 542 chg bounds, 46 chg sides, 1115 chg coeffs, 86321 upgd conss, 0 impls, 344396 clqs
46.12/46.39	c    (46.4s) probing: 1000/89811 (1.1%) - 277 fixings, 5 aggregations, 400189 implications, 0 bound changes
46.93/47.16	c    (47.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
47.11/47.37	c    (47.3s) symmetry computation finished: 14 generators found (max: 717, log10 of symmetry group size: 0.0) (symcode time: 0.08)
47.11/47.39	c dynamic symmetry handling statistics:
47.11/47.39	c    orbitopal reduction:        1 components: 4x3
47.11/47.39	c    orbital reduction:          1 components of sizes 5
47.11/47.39	c    lexicographic reduction:    8 permutations with support sizes 12, 8, 12, 24, 8, 8, 8, 8
47.11/47.39	c handled 9 out of 9 symmetry components
47.31/47.54	c presolving (17 rounds: 17 fast, 11 medium, 8 exhaustive):
47.31/47.54	c  3907 deleted vars, 9023 deleted constraints, 21 added constraints, 542 tightened bounds, 0 added holes, 46 changed sides, 1115 changed coefficients
47.31/47.54	c  0 implications, 345270 cliques
47.31/47.54	c presolved problem has 89226 variables (89226 bin, 0 int, 0 impl, 0 cont) and 83769 constraints
47.31/47.54	c   83762 constraints of type <setppc>
47.31/47.54	c       5 constraints of type <linear>
47.31/47.54	c       2 constraints of type <logicor>
47.31/47.54	c transformed objective value is always integral (scale: 1)
47.31/47.54	c Presolving Time: 46.12
47.31/47.54	c - non default parameters ----------------------------------------------------------------------
47.31/47.54	c # SCIP version 10.0.0
47.31/47.54	c 
47.31/47.54	c # maximal time in seconds to run
47.31/47.54	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
47.31/47.54	c limits/time = 3596.993109
47.31/47.54	c 
47.31/47.54	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
47.31/47.54	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
47.31/47.54	c limits/memory = 27900
47.31/47.54	c 
47.31/47.54	c # belongs reading time to solving time?
47.31/47.54	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
47.31/47.54	c timing/reading = TRUE
47.31/47.54	c 
47.31/47.54	c -----------------------------------------------------------------------------------------------
47.31/47.54	c start solving
47.31/47.56	c 
1715.77/1721.29	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1715.77/1721.29	c  1721s|     1 |     0 |167966 |     - |  1250M |   0 |  89k|  83k|  83k|   0 |  0 |  38 |   0 | 1.039393e+03 |      --      |    Inf | unknown
2975.76/2984.97	c  2985s|     1 |     0 |347325 |     - |  1312M |   0 |  89k|  83k|  83k|  87 |  1 |  48 |   0 | 1.040838e+03 |      --      |    Inf | unknown
3421.73/3432.21	c  3432s|     1 |     0 |394004 |     - |  1329M |   0 |  89k|  83k|  83k| 127 |  2 |  50 |   0 | 1.041474e+03 |      --      |    Inf | unknown
3586.07/3597.02	c  3597s|     1 |     0 |409605 |     - |  1344M |   0 |  89k|  83k|  83k| 188 |  3 |  56 |   0 | 1.041474e+03 |      --      |    Inf | unknown
3586.07/3597.02	c (node 1) LP solver hit time limit in LP 22 -- using pseudo solution instead
3586.07/3597.02	c 
3586.07/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3586.07/3597.02	c Solving Time (sec) : 3597.00
3586.07/3597.02	c Solving Nodes      : 1
3586.07/3597.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3586.07/3597.02	c Dual Bound         : +1.04147376003569e+03
3586.07/3597.02	c Gap                : infinite
3586.07/3597.02	s UNKNOWN
3586.07/3597.02	c SCIP Status        : solving was interrupted [time limit reached]
3586.07/3597.02	c Total Time         :    3597.00
3586.07/3597.02	c   solving          :    3597.00
3586.07/3597.02	c   presolving       :      46.12 (included in solving)
3586.07/3597.02	c   reading          :       0.84 (included in solving)
3586.07/3597.02	c   copying          :       0.00 (0 times copied the problem)
3586.07/3597.02	c Original Problem   :
3586.07/3597.02	c   Problem name     : HOME/instance-4522560-1751643642.opb
3586.07/3597.02	c   Variables        : 92769 (92769 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.07/3597.02	c   Constraints      : 92770 initial, 92770 maximal
3586.07/3597.03	c   Objective        : minimize, 2888 non-zeros (abs.min = 1, abs.max = 1)
3586.07/3597.03	c Presolved Problem  :
3586.07/3597.03	c   Problem name     : t_HOME/instance-4522560-1751643642.opb
3586.07/3597.03	c   Variables        : 89226 (89226 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.07/3597.03	c   Constraints      : 83769 initial, 83769 maximal
3586.07/3597.03	c   Objective        : minimize, 2093 non-zeros (abs.min = 1, abs.max = 1)
3586.07/3597.03	c   Nonzeros         : 475237 constraint, 994602 clique table
3586.07/3597.03	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.07/3597.03	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   domcol           :       0.52       0.00      4          6          0          0          0          0          0          0          0          0
3586.07/3597.03	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   dualsparsify     :       0.75       0.00      1          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   gateextraction   :       0.19       0.00      5          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   implics          :       0.02       0.00     11          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   milp             :      10.81       0.00      1        224        139          0          0          0          0          0          0          0
3586.07/3597.03	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   sparsify         :       4.02       0.00      2          0          0          0          0          0          0          0          0       1109
3586.07/3597.03	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   trivial          :       0.06       0.00     17        648          0          0          0          0          0          0          0          0
3586.07/3597.03	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   dualfix          :       0.05       0.00     17          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   probing          :      25.94       0.00      4        278          5          0          0          0          0          0          0          0
3586.07/3597.03	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   symmetry         :       0.23       0.00      1          0          0          0          0          0          0          4          0          0
3586.07/3597.03	c   vbounds          :       0.43       0.00      3        287          0          0          0          0          0          0          0          0
3586.07/3597.03	c   setppc           :       1.95       0.02     26          0        156          0          0          0       2482         17          4          4
3586.07/3597.03	c   linear           :       0.79       0.13     24        542       1258          0        542          0       6541          0         42          0
3586.07/3597.03	c   logicor          :       0.00       0.00     20          0          0          0          0          0          0          0          0          2
3586.07/3597.03	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   components       :       0.11       0.00      1          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   root node        :          -          -      -        221          -          -        221          -          -          -          -          -
3586.07/3597.03	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.07/3597.03	c   benderslp        :          0          0          0          0          0          0          0          7          0          0          0          0          0          0          0
3586.07/3597.03	c   integral         :          0          0          0          0          0          0          0          7          0          0          0          0          0          0          0
3586.07/3597.03	c   setppc           :      83762      83762          3      14902          0          0          0          3        342         35          0          0          0          0          0
3586.07/3597.03	c   linear           :          5          5          3      14867          0          0          0          3          0          0          0          0          0          0          0
3586.07/3597.03	c   logicor          :          2+        35          3         61          0          0          0          0          2          1          0          0          0          0          0
3586.07/3597.03	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.07/3597.03	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   setppc           :       5.54       0.02       0.14       5.38       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   linear           :       0.22       0.13       0.09       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   logicor          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.07/3597.03	c   dualfix          :          1          0          0          0
3586.07/3597.03	c   genvbounds       :          0          0          0          0
3586.07/3597.03	c   nlobbt           :          0          0          0          0
3586.07/3597.03	c   obbt             :          0          0          0          0
3586.07/3597.03	c   probing          :          0          0          0          0
3586.07/3597.03	c   pseudoobj        :          4          0          0          0
3586.07/3597.03	c   redcost          :          3          0          0          0
3586.07/3597.03	c   rootredcost      :          0          0          0          0
3586.07/3597.03	c   symmetry         :          0          0          0          0
3586.07/3597.03	c   vbounds          :       4702          0          0          0
3586.07/3597.03	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.07/3597.03	c   dualfix          :       0.05       0.00       0.05       0.00       0.00       0.00
3586.07/3597.03	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   probing          :      25.94       0.00      25.94       0.00       0.00       0.00
3586.07/3597.03	c   pseudoobj        :       1.28       0.00       0.00       1.28       0.00       0.00
3586.07/3597.03	c   redcost          :       0.02       0.00       0.00       0.02       0.00       0.00
3586.07/3597.03	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
3586.07/3597.03	c   symmetry         :       0.23       0.00       0.23       0.00       0.00       0.00
3586.07/3597.03	c   vbounds          :       0.46       0.00       0.43       0.03       0.00       0.00
3586.07/3597.03	c Symmetry           :
3586.07/3597.03	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3586.07/3597.03	c   orbital reduction:          0 reductions applied,          0 cutoffs
3586.07/3597.03	c   lexicographic red:          0 reductions applied,          0 cutoffs
3586.07/3597.03	c   shadow tree time :       0.00 s
3586.07/3597.03	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.07/3597.03	c   propagation      :       0.00         31         29          -         59       13.1          4        3.0          -          -          -
3586.07/3597.03	c   infeasible LP    :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.07/3597.03	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.07/3597.03	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.07/3597.03	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.07/3597.03	c   applied globally :       0.00          -          -          0         56        5.9          -          -          0          -          -
3586.07/3597.03	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3586.07/3597.03	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.07/3597.03	c   cut pool         :       0.00          -          5          5          -          -        860       1041          -          -          -          -          -    (maximal pool size:        851)
3586.07/3597.03	c   aggregation      :       0.07       0.00          3          3          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.07/3597.03	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.07/3597.03	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.07/3597.03	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   clique           :      10.29       0.00          3          3          0          0         20         20          0         13         13          0          0
3586.07/3597.03	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   gomory           :      21.64       0.00          3          3          0          0        601        692          6         88         84          4          0
3586.07/3597.03	c   > gomorymi       :          -          -          -          -          -          -          -        223          3         22         19          3          -
3586.07/3597.03	c   > strongcg       :          -          -          -          -          -          -          -        469          3         66         65          1          -
3586.07/3597.03	c   impliedbounds    :       0.09       0.00          3          3          0        210        168        249          0         19         19          0          0
3586.07/3597.03	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   mcf              :       0.08       0.00          1          1          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   multilinear      :       0.00       0.00          3          3          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   rlt              :       0.00       0.00          3          3          0          0          0          0          0          0          0          0          0
3586.07/3597.03	c   zerohalf         :       1.07       0.00          3          3          0          0         77         80          0         59         59          0          0
3586.07/3597.03	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.07/3597.03	c   hybrid           :       0.01       0.00          3          3        173         15        874        173         15        874
3586.07/3597.03	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.07/3597.03	c   problem variables:       0.00          -          0          0
3586.07/3597.03	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.07/3597.03	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   relpscost        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.07/3597.03	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.07/3597.03	c   LP solutions     :       0.00          -          -          0          0
3586.07/3597.03	c   relax solutions  :       0.00          -          -          0          0
3586.07/3597.03	c   pseudo solutions :       0.00          -          -          0          0
3586.07/3597.03	c   strong branching :       0.00          -          -          0          0
3586.07/3597.03	c   actconsdiving    :       0.00       0.00          0          0          0
3586.07/3597.03	c   adaptivediving   :       0.00       0.00          0          0          0
3586.07/3597.03	c   alns             :       0.00       0.00          0          0          0
3586.07/3597.03	c   bound            :       0.00       0.00          0          0          0
3586.07/3597.03	c   clique           :       0.44       0.00          1          0          0
3586.07/3597.03	c   coefdiving       :       0.00       0.00          0          0          0
3586.07/3597.03	c   completesol      :       0.00       0.00          0          0          0
3586.07/3597.03	c   conflictdiving   :       0.00       0.00          0          0          0
3586.07/3597.03	c   crossover        :       0.00       0.00          0          0          0
3586.07/3597.03	c   dins             :       0.00       0.00          0          0          0
3586.07/3597.03	c   distributiondivin:       0.00       0.00          0          0          0
3586.07/3597.03	c   dps              :       0.00       0.00          0          0          0
3586.07/3597.03	c   dualval          :       0.00       0.00          0          0          0
3586.07/3597.03	c   farkasdiving     :       0.00       0.00          0          0          0
3586.07/3597.03	c   feasjump         :       0.34       0.00          1          0          0
3586.07/3597.03	c   feaspump         :     932.91       0.00          1          0          0
3586.07/3597.03	c   fixandinfer      :       0.00       0.00          0          0          0
3586.07/3597.03	c   fracdiving       :       0.00       0.00          0          0          0
3586.07/3597.03	c   gins             :       0.00       0.00          0          0          0
3586.07/3597.03	c   guideddiving     :       0.00       0.00          0          0          0
3586.07/3597.03	c   indcoefdiving    :       0.00       0.00          0          0          0
3586.07/3597.03	c   indicator        :       0.00       0.00          0          0          0
3586.07/3597.03	c   indicatordiving  :       0.00       0.00          0          0          0
3586.07/3597.03	c   indoneopt        :       0.00       0.00          0          0          0
3586.07/3597.03	c   indrounding      :       0.00       0.00          0          0          0
3586.07/3597.03	c   indtwoopt        :       0.00       0.00          0          0          0
3586.07/3597.03	c   intdiving        :       0.00       0.00          0          0          0
3586.07/3597.03	c   intshifting      :       0.00       0.00          0          0          0
3586.07/3597.03	c   linesearchdiving :       0.00       0.00          0          0          0
3586.07/3597.03	c   localbranching   :       0.00       0.00          0          0          0
3586.07/3597.03	c   locks            :       0.55       0.00          1          0          0
3586.07/3597.03	c   lpface           :       0.00       0.00          0          0          0
3586.07/3597.03	c   mpec             :       0.00       0.00          0          0          0
3586.07/3597.03	c   multistart       :       0.00       0.00          0          0          0
3586.07/3597.03	c   mutation         :       0.00       0.00          0          0          0
3586.07/3597.03	c   nlpdiving        :       0.00       0.00          0          0          0
3586.07/3597.03	c   objpscostdiving  :       0.00       0.00          0          0          0
3586.07/3597.03	c   octane           :       0.00       0.00          0          0          0
3586.07/3597.03	c   ofins            :       0.00       0.00          0          0          0
3586.07/3597.03	c   oneopt           :       0.00       0.00          0          0          0
3586.07/3597.03	c   padm             :       0.00       0.00          0          0          0
3586.07/3597.03	c   proximity        :       0.00       0.00          0          0          0
3586.07/3597.03	c   pscostdiving     :       0.00       0.00          0          0          0
3586.07/3597.03	c   randrounding     :       0.43       0.00          3          0          0
3586.07/3597.03	c   rens             :       0.00       0.00          0          0          0
3586.07/3597.03	c   reoptsols        :       0.00       0.00          0          0          0
3586.07/3597.03	c   repair           :       0.00       0.00          0          0          0
3586.07/3597.03	c   rins             :       0.00       0.00          0          0          0
3586.07/3597.03	c   rootsoldiving    :       0.00       0.00          0          0          0
3586.07/3597.03	c   rounding         :       0.02       0.00          3          0          0
3586.07/3597.03	c   scheduler        :       0.00       0.00          0          0          0
3586.07/3597.03	c   shiftandpropagate:       0.32       0.00          1          0          0
3586.07/3597.03	c   shifting         :       0.09       0.00          3          0          0
3586.07/3597.03	c   simplerounding   :       0.00       0.00          0          0          0
3586.07/3597.03	c   smallcard        :       0.00       0.00          0          0          0
3586.07/3597.03	c   subnlp           :       0.00       0.00          0          0          0
3586.07/3597.03	c   trivial          :       0.07       0.00          2          0          0
3586.07/3597.03	c   trivialnegation  :       0.00       0.00          0          0          0
3586.07/3597.03	c   trustregion      :       0.00       0.00          0          0          0
3586.07/3597.03	c   trysol           :       0.00       0.00          0          0          0
3586.07/3597.03	c   twoopt           :       0.00       0.00          0          0          0
3586.07/3597.03	c   undercover       :       0.00       0.00          0          0          0
3586.07/3597.03	c   vbounds          :       0.43       0.00          1          0          0
3586.07/3597.03	c   veclendiving     :       0.00       0.00          0          0          0
3586.07/3597.03	c   zeroobj          :       0.00       0.00          0          0          0
3586.07/3597.03	c   zirounding       :       0.00       0.00          0          0          0
3586.07/3597.03	c   other solutions  :          -          -          -          0          -
3586.07/3597.03	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.07/3597.03	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.07/3597.03	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.07/3597.03	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.07/3597.03	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.07/3597.03	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.07/3597.03	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.07/3597.03	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.07/3597.03	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.07/3597.03	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3586.07/3597.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.07/3597.03	c   primal LP        :       0.00          0          0       0.00          -       0.00          0
3586.07/3597.03	c   dual LP          :    2578.34          5     264472   66118.00     102.57      52.89          1
3586.07/3597.03	c   lex dual LP      :       0.00          0          0       0.00          -
3586.07/3597.03	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.07/3597.03	c   resolve instable :       0.00          0          0       0.00          -
3586.07/3597.03	c   diving/probing LP:     931.90         18     145133    8062.94     155.74
3586.07/3597.03	c   strong branching :       0.00          0          0       0.00          -          -          -          0
3586.07/3597.03	c     (at root node) :          -          0          0       0.00          -
3586.07/3597.03	c   conflict analysis:       0.00          0          0       0.00          -
3586.07/3597.03	c B&B Tree           :
3586.07/3597.03	c   number of runs   :          1
3586.07/3597.03	c   nodes            :          1 (0 internal, 1 leaves)
3586.07/3597.03	c   feasible leaves  :          0
3586.07/3597.03	c   infeas. leaves   :          0
3586.07/3597.03	c   objective leaves :          0
3586.07/3597.03	c   nodes (total)    :          1 (0 internal, 1 leaves)
3586.07/3597.03	c   nodes left       :          1
3586.07/3597.03	c   max depth        :          0
3586.07/3597.03	c   max depth (total):          0
3586.07/3597.03	c   backtracks       :          0 (0.0%)
3586.07/3597.03	c   early backtracks :          0 (0.0%)
3586.07/3597.03	c   nodes exc. ref.  :          0 (0.0%)
3586.07/3597.03	c   delayed cutoffs  :          0
3586.07/3597.03	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
3586.07/3597.03	c   avg switch length:       1.00
3586.07/3597.03	c   switching time   :       0.00
3586.07/3597.03	c Root Node          :
3586.07/3597.03	c   First LP value   : +1.03939278774057e+03
3586.07/3597.03	c   First LP Iters   :     167966 (100.57 Iter/sec)
3586.07/3597.03	c   First LP Time    :    1670.13
3586.07/3597.03	c   Final Dual Bound : +1.04147376003569e+03
3586.07/3597.03	c   Final Root Iters :     409605
3586.07/3597.03	c   Root LP Estimate :                     -
3586.07/3597.03	c Solution           :
3586.07/3597.03	c   Solutions found  :          0 (0 improvements)
3586.07/3597.03	c   Primal Bound     :          -
3586.07/3597.03	c   Dual Bound       : +1.04147376003569e+03
3586.07/3597.03	c   Gap              :   infinite
3586.07/3597.03	c Integrals          :      Total       Avg%
3586.07/3597.03	c   primal-dual      :  359699.91     100.00
3586.07/3597.03	c   primal-ref       :          -          - (not evaluated)
3586.07/3597.03	c   dual-ref         :          -          - (not evaluated)
3586.55/3597.53	c Time complete: 3586.59.

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: 63837 MiB (63047 MiB free)
  memory of node 1: 64465 MiB (63540 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522560-1751643642/watcher-4522560-1751643642 -o /tmp/evaluation-result-4522560-1751643642/solver-4522560-1751643642 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751643641-97572 --watchdog 3760 pbscip -f HOME/instance-4522560-1751643642.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100102 s]*
/proc/loadavg: 0.12 0.09 0.09 5/251 97616
/proc/meminfo: memFree=129549912/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=79612 memory=51072 CPUtime=0.09 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 9798 0 0 0 6 3 0 0 20 0 1 0 80042987 81522688 12768 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 19903 12768 3264 3530 0 11354 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79612 KiB
Current children cumulated memory: 51072 KiB

[startup+0.21456 s]*
/proc/loadavg: 0.12 0.09 0.09 5/251 97617
/proc/meminfo: memFree=129445108/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=124220 memory=95872 CPUtime=0.2 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 21014 0 0 0 13 7 0 0 20 0 1 0 80042987 127201280 23968 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 31055 23968 3264 3530 0 22506 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 124220 KiB
Current children cumulated memory: 95872 KiB

[startup+0.314199 s]*
/proc/loadavg: 0.43 0.16 0.11 4/253 97622
/proc/meminfo: memFree=129437128/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=130824 memory=102528 CPUtime=0.31 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 22677 0 0 0 22 9 0 0 20 0 1 0 80042987 133963776 25632 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 32706 25632 3264 3530 0 24157 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 130824 KiB
Current children cumulated memory: 102528 KiB

[startup+0.700346 s]
/proc/loadavg: 0.43 0.16 0.11 5/255 97632
/proc/meminfo: memFree=129284684/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=164028 memory=135808 CPUtime=0.67 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 31000 0 0 0 55 12 0 0 20 0 1 0 80042987 167964672 33952 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 41007 33952 3264 3530 0 32458 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 164028 KiB
Current children cumulated memory: 135808 KiB

[startup+1.50033 s]
/proc/loadavg: 0.43 0.16 0.11 5/259 97636
/proc/meminfo: memFree=128628172/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=396532 memory=361716 CPUtime=1.46 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 87766 0 0 0 118 28 0 0 20 0 1 0 80042987 406048768 90429 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 99133 90429 3616 3530 0 90584 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 396532 KiB
Current children cumulated memory: 361716 KiB

[startup+3.11338 s]
/proc/loadavg: 0.43 0.16 0.11 5/259 97636
/proc/meminfo: memFree=127486960/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=536532 memory=495692 CPUtime=3.07 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 109701 0 0 0 272 35 0 0 20 0 1 0 80042987 549408768 123923 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 134133 123923 3744 3530 0 125584 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 536532 KiB
Current children cumulated memory: 495692 KiB

[startup+6.30031 s]
/proc/loadavg: 0.72 0.22 0.13 5/259 97636
/proc/meminfo: memFree=126171940/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=536532 memory=495692 CPUtime=6.24 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 109720 0 0 0 589 35 0 0 20 0 1 0 80042987 549408768 123923 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 134133 123923 3744 3530 0 125584 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 536532 KiB
Current children cumulated memory: 495692 KiB

[startup+12.7003 s]
/proc/loadavg: 0.98 0.28 0.15 5/259 97636
/proc/meminfo: memFree=125348824/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=464732 memory=424244 CPUtime=12.63 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 110484 0 0 0 1227 36 0 0 20 0 1 0 80042987 475885568 106061 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 116183 106061 3744 3530 0 107634 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 464732 KiB
Current children cumulated memory: 424244 KiB

[startup+25.5003 s]
/proc/loadavg: 1.53 0.42 0.20 4/257 97676
/proc/meminfo: memFree=125340596/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=919100 memory=843328 CPUtime=25.39 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 137927 0 0 0 2491 48 0 0 20 0 1 0 80042987 941158400 210832 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 229775 210832 3776 3530 0 221226 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 919100 KiB
Current children cumulated memory: 843328 KiB

[startup+51.1136 s]
/proc/loadavg: 2.50 0.77 0.32 5/260 97683
/proc/meminfo: memFree=122686280/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1376372 memory=1151432 CPUtime=50.92 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 185481 0 0 0 5034 58 0 0 20 0 1 0 80042987 1409404928 287858 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 344093 287858 3968 3530 0 335544 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1376372 KiB
Current children cumulated memory: 1151432 KiB

[startup+102.3 s]
/proc/loadavg: 3.40 1.28 0.52 5/260 97685
/proc/meminfo: memFree=122353216/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1421328 memory=1196112 CPUtime=101.92 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 193459 0 0 0 10133 59 0 0 20 0 1 0 80042987 1455439872 299028 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 355332 299028 3968 3530 0 346783 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1421328 KiB
Current children cumulated memory: 1196112 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 1.81 0.75 5/259 97687
/proc/meminfo: memFree=121264460/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1421912 memory=1200848 CPUtime=161.73 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 193747 0 0 0 16114 59 0 0 20 0 1 0 80042987 1456037888 300212 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 355478 300212 3968 3530 0 346929 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1421912 KiB
Current children cumulated memory: 1200848 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.23 0.97 5/259 97689
/proc/meminfo: memFree=120500192/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1422260 memory=1203920 CPUtime=221.53 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 193879 0 0 0 22094 59 0 0 20 0 1 0 80042987 1456394240 300980 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 355565 300980 3968 3530 0 347016 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 1422260 KiB
Current children cumulated memory: 1203920 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.57 1.16 5/259 97691
/proc/meminfo: memFree=120474064/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1434828 memory=1211640 CPUtime=281.32 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 194244 0 0 0 28073 59 0 0 20 0 1 0 80042987 1469263872 302910 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 358707 302910 3968 3530 0 350158 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 1434828 KiB
Current children cumulated memory: 1211640 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 2.86 1.35 5/250 97693
/proc/meminfo: memFree=120419036/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1434828 memory=1212536 CPUtime=341.11 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 194302 0 0 0 34052 59 0 0 20 0 1 0 80042987 1469263872 303134 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 358707 303134 3968 3530 0 350158 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 1434828 KiB
Current children cumulated memory: 1212536 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.09 1.53 6/249 97739
/proc/meminfo: memFree=120831216/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1434828 memory=1218716 CPUtime=400.92 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 194319 0 0 0 40030 62 0 0 20 0 1 0 80042987 1469263872 304679 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 358707 304679 3968 3530 0 350158 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 1434828 KiB
Current children cumulated memory: 1218716 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.29 1.70 6/249 97740
/proc/meminfo: memFree=120816592/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1434828 memory=1219356 CPUtime=460.74 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 194322 0 0 0 46012 62 0 0 20 0 1 0 80042987 1469263872 304839 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 358707 304839 3968 3530 0 350158 0
Current children cumulated CPU time: 460.74 s

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

/proc/loadavg: 4.12 4.09 4.01 6/250 97880
/proc/meminfo: memFree=120692268/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1521076 memory=1300620 CPUtime=3212.47 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 207810 0 0 0 321176 71 0 0 20 0 1 0 80042987 1557581824 325155 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 380269 325155 4000 3530 0 371720 0
Current children cumulated CPU time: 3212.47 s
Current children cumulated vsize: 1521076 KiB
Current children cumulated memory: 1300620 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.01 6/250 97882
/proc/meminfo: memFree=120676456/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1521076 memory=1300620 CPUtime=3272.29 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 207878 0 0 0 327158 71 0 0 20 0 1 0 80042987 1557581824 325155 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 380269 325155 4000 3530 0 371720 0
Current children cumulated CPU time: 3272.29 s
Current children cumulated vsize: 1521076 KiB
Current children cumulated memory: 1300620 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.01 6/250 97884
/proc/meminfo: memFree=120665952/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1521076 memory=1300620 CPUtime=3332.1 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 207884 0 0 0 333139 71 0 0 20 0 1 0 80042987 1557581824 325155 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 380269 325155 4000 3530 0 371720 0
Current children cumulated CPU time: 3332.1 s
Current children cumulated vsize: 1521076 KiB
Current children cumulated memory: 1300620 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.08 4.01 6/249 97886
/proc/meminfo: memFree=120667388/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1521076 memory=1300620 CPUtime=3391.92 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 207888 0 0 0 339121 71 0 0 20 0 1 0 80042987 1557581824 325155 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 380269 325155 4000 3530 0 371720 0
Current children cumulated CPU time: 3391.92 s
Current children cumulated vsize: 1521076 KiB
Current children cumulated memory: 1300620 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.01 6/249 97888
/proc/meminfo: memFree=120644124/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1533888 memory=1311204 CPUtime=3451.75 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 209779 0 0 0 345104 71 0 0 20 0 1 0 80042987 1570701312 327801 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 383472 327801 4000 3530 0 374923 0
Current children cumulated CPU time: 3451.75 s
Current children cumulated vsize: 1533888 KiB
Current children cumulated memory: 1311204 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.01 6/250 97891
/proc/meminfo: memFree=120643728/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1534696 memory=1312356 CPUtime=3511.57 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 210047 0 0 0 351086 71 0 0 20 0 1 0 80042987 1571528704 328089 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 383674 328089 4000 3530 0 375125 0
Current children cumulated CPU time: 3511.57 s
Current children cumulated vsize: 1534696 KiB
Current children cumulated memory: 1312356 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.01 6/250 97893
/proc/meminfo: memFree=120612648/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1534696 memory=1312356 CPUtime=3571.4 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 210054 0 0 0 357069 71 0 0 20 0 1 0 80042987 1571528704 328089 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 383674 328089 4000 3530 0 375125 0
Current children cumulated CPU time: 3571.4 s
Current children cumulated vsize: 1534696 KiB
Current children cumulated memory: 1312356 KiB

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

# cumulated CPU time of all completed processes:  user=3585.86 s, system=0.742633 s

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

[startup+3584 s]*
/proc/loadavg: 4.09 4.09 4.01 6/250 97893
/proc/meminfo: memFree=120612900/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1534696 memory=1312356 CPUtime=3573.1 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 210097 0 0 0 357239 71 0 0 20 0 1 0 80042987 1571528704 328089 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 383674 328089 4000 3530 0 375125 0
Current children cumulated CPU time: 3573.1 s
Current children cumulated vsize: 1534696 KiB
Current children cumulated memory: 1312356 KiB

[startup+3590.4 s]
/proc/loadavg: 4.08 4.09 4.01 6/250 97893
/proc/meminfo: memFree=120613980/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1534696 memory=1312356 CPUtime=3579.47 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 210107 0 0 0 357876 71 0 0 20 0 1 0 80042987 1571528704 328089 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 383674 328089 4000 3530 0 375125 0
Current children cumulated CPU time: 3579.47 s
Current children cumulated vsize: 1534696 KiB
Current children cumulated memory: 1312356 KiB

[startup+3593.6 s]
/proc/loadavg: 4.07 4.09 4.01 6/250 97893
/proc/meminfo: memFree=120597724/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1534696 memory=1312356 CPUtime=3582.66 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 210114 0 0 0 358195 71 0 0 20 0 1 0 80042987 1571528704 328089 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 383674 328089 4000 3530 0 375125 0
Current children cumulated CPU time: 3582.66 s
Current children cumulated vsize: 1534696 KiB
Current children cumulated memory: 1312356 KiB

[startup+3595.2 s]
/proc/loadavg: 4.07 4.09 4.01 6/250 97893
/proc/meminfo: memFree=120597976/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1534696 memory=1312356 CPUtime=3584.26 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 210116 0 0 0 358355 71 0 0 20 0 1 0 80042987 1571528704 328089 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 383674 328089 4000 3530 0 375125 0
Current children cumulated CPU time: 3584.26 s
Current children cumulated vsize: 1534696 KiB
Current children cumulated memory: 1312356 KiB

[startup+3596.8 s]
/proc/loadavg: 4.15 4.10 4.02 6/250 97895
/proc/meminfo: memFree=120599232/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1534696 memory=1312356 CPUtime=3585.86 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 210116 0 0 0 358514 72 0 0 20 0 1 0 80042987 1571528704 328089 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 383674 328089 4000 3530 0 375125 0
Current children cumulated CPU time: 3585.86 s
Current children cumulated vsize: 1534696 KiB
Current children cumulated memory: 1312356 KiB

[startup+3597.2 s]
/proc/loadavg: 4.15 4.10 4.02 6/250 97895
/proc/meminfo: memFree=120599236/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1534696 memory=1312356 CPUtime=3586.26 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 210302 0 0 0 358554 72 0 0 20 0 1 0 80042987 1571528704 328089 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 383674 328089 4000 3530 0 375125 0
Current children cumulated CPU time: 3586.26 s
Current children cumulated vsize: 1534696 KiB
Current children cumulated memory: 1312356 KiB

[startup+3597.4 s]
/proc/loadavg: 4.15 4.10 4.02 6/250 97895
/proc/meminfo: memFree=120599236/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1523276 memory=1300952 CPUtime=3586.46 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 210323 0 0 0 358574 72 0 0 20 0 1 0 80042987 1559834624 325238 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 380819 325238 4000 3530 0 372270 0
Current children cumulated CPU time: 3586.46 s
Current children cumulated vsize: 1523276 KiB
Current children cumulated memory: 1300952 KiB

[startup+3597.5 s]
/proc/loadavg: 4.15 4.10 4.02 6/250 97895
/proc/meminfo: memFree=120599236/131382120 swapFree=33010416/33010684
[pid=97611] ppid=97607 vsize=1377684 memory=1155828 CPUtime=3586.55 cores=5,7
/proc/97611/stat : 97611 (pbscip) R 97607 97611 97552 0 -1 4194304 210334 0 0 0 358583 72 0 0 20 0 1 0 80042987 1410748416 288957 18446744073709551615 4235264 18693293 140727994422160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 41791488 140727994423688 140727994423787 140727994423787 140727994429390 0
/proc/97611/statm: 344421 288957 4000 3530 0 335872 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 1377684 KiB
Current children cumulated memory: 1155828 KiB

Child status: 0

Real time (s): 3597.54
CPU time (s): 3586.6
CPU user time (s): 3585.86
CPU system time (s): 0.742633
CPU usage (%): 99.6961
Max. virtual memory (cumulated for all children) (KiB): 1534696
Max. memory (cumulated for all children) (KiB): 1312356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.86
system time used= 0.742633
maximum resident set size= 1312356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210369
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= 105
involuntary context switches= 1719


# summary of solver processes directly reported to runsolver:
#   pid: 97611
#   total CPU time (s): 3586.6
#   total CPU user time (s): 3585.86
#   total CPU system time (s): 0.742633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2126 second user time and 31.5437 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-04 17:40:42
IDJOB=4522560
IDBENCH=179078
IDSOLVER=3365
FILE ID=nodeC003/4522560-1751643642
RUNJOBID= nodeC003-1751643641-97572
SLURM_JOB_ID= 9672308
Free space on /tmp= 431996 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x2/Init-x2-i2_pp_94.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522560-1751643642/watcher-4522560-1751643642 -o /tmp/evaluation-result-4522560-1751643642/solver-4522560-1751643642 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751643641-97572 --watchdog 3760  pbscip -f HOME/instance-4522560-1751643642.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 3daa9ced16b2be364df6dcba1fb45266
RANDOM SEED=1419128500

nodeC003 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	: 0xb00001f
cpu MHz		: 1197.152
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.204
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.162
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.728
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.189
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.163
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129637344 kB
MemAvailable:   129938168 kB
Buffers:            2736 kB
Cached:          1095356 kB
SwapCached:           36 kB
Active:           578100 kB
Inactive:         602748 kB
Active(anon):      93416 kB
Inactive(anon):     7604 kB
Active(file):     484684 kB
Inactive(file):   595144 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             84256 kB
Writeback:             4 kB
AnonPages:         86156 kB
Mapped:           104368 kB
Shmem:             17924 kB
KReclaimable:     121244 kB
Slab:             208128 kB
SReclaimable:     121244 kB
SUnreclaim:        86884 kB
KernelStack:        4016 kB
PageTables:         2936 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     350376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149336 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431828 MiB
End job on nodeC003 at 2025-07-04 18:40:41