Trace number 4452545

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2024-07-07? (TO) 3600.05 3607.11

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-506428.0.u.opb
MD5SUMbe38a350659e0c4d627f3ed91afb1797
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 benchmark574.907
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables42981
Total number of constraints129926
Number of constraints which are clauses129808
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint2
Maximum length of a constraint1969
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 6515545
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 500000069
Number of bits of the biggest sum of numbers29
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-4452545-1721443614.opb>
0.20/0.27	c original problem has 42981 variables (42981 bin, 0 int, 0 impl, 0 cont) and 129926 constraints
0.20/0.27	c problem read in 0.27
0.20/0.27	c No objective function, only one solution is needed.
0.49/0.54	c presolving:
0.98/1.08	c    (1.1s) running MILP presolver
3.48/3.54	c    (3.5s) MILP presolver (6 rounds): 0 aggregations, 240 fixings, 0 bound changes
3.58/3.63	c (round 1, medium)     240 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 97396 clqs
3.58/3.67	c (round 2, fast)       240 del vars, 480 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 97636 clqs
3.98/4.00	c (round 3, exhaustive) 240 del vars, 480 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 129446 upgd conss, 0 impls, 97636 clqs
4.37/4.49	c (round 4, exhaustive) 240 del vars, 122367 del conss, 40629 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 129446 upgd conss, 0 impls, 97636 clqs
4.57/4.61	c (round 5, exhaustive) 2330 del vars, 122367 del conss, 40629 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 129446 upgd conss, 0 impls, 93456 clqs
4.68/4.73	c (round 6, exhaustive) 2330 del vars, 124457 del conss, 42719 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 129446 upgd conss, 0 impls, 93456 clqs
4.68/4.75	c (round 7, fast)       2330 del vars, 126547 del conss, 42719 add conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 129446 upgd conss, 0 impls, 93456 clqs
56.25/56.40	c    (56.4s) probing: 1000/40651 (2.5%) - 4 fixings, 17 aggregations, 17130936 implications, 0 bound changes
57.05/57.23	c    (57.2s) probing: 1022/40651 (2.5%) - 4 fixings, 17 aggregations, 17375757 implications, 0 bound changes
57.05/57.23	c    (57.2s) probing aborted: 1000/1000 successive useless probings
57.05/57.23	c    (57.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
57.25/57.42	c    (57.4s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.07)
57.25/57.42	c dynamic symmetry handling statistics:
57.25/57.42	c    orbitopal reduction:       no components
57.25/57.42	c    orbital reduction:         no components
57.25/57.42	c    lexicographic reduction:   no permutations
57.25/57.42	c handled 3 out of 3 symmetry components
57.34/57.53	c presolving (8 rounds: 8 fast, 6 medium, 5 exhaustive):
57.34/57.53	c  2351 deleted vars, 126547 deleted constraints, 42722 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
57.34/57.53	c  0 implications, 249091 cliques
57.34/57.53	c presolved problem has 40630 variables (40630 bin, 0 int, 0 impl, 0 cont) and 46101 constraints
57.34/57.53	c      23 constraints of type <knapsack>
57.34/57.53	c    7536 constraints of type <setppc>
57.34/57.53	c   38539 constraints of type <and>
57.34/57.53	c       3 constraints of type <linear>
57.34/57.53	c transformed objective value is always integral (scale: 1)
57.34/57.53	c Presolving Time: 57.00
57.34/57.53	c - non default parameters ----------------------------------------------------------------------
57.34/57.53	c # SCIP version 10.0.0
57.34/57.53	c 
57.34/57.53	c # maximal time in seconds to run
57.34/57.53	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
57.34/57.53	c limits/time = 3596.99701
57.34/57.53	c 
57.34/57.53	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
57.34/57.53	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
57.34/57.53	c limits/memory = 27900
57.34/57.53	c 
57.34/57.53	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
57.34/57.53	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
57.34/57.53	c limits/solutions = 1
57.34/57.53	c 
57.34/57.53	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.
57.34/57.53	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
57.34/57.53	c misc/usesymmetry = 3
57.34/57.53	c 
57.34/57.53	c # belongs reading time to solving time?
57.34/57.53	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
57.34/57.53	c timing/reading = TRUE
57.34/57.53	c 
57.34/57.53	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
57.34/57.53	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
57.34/57.53	c propagating/symmetry/detectdoublelex = FALSE
57.34/57.53	c 
57.34/57.53	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
57.34/57.53	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
57.34/57.53	c propagating/symmetry/detectsubgroups = FALSE
57.34/57.53	c 
57.34/57.53	c # Type of symmetries that shall be computed?
57.34/57.53	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
57.34/57.53	c propagating/symmetry/symtype = 1
57.34/57.53	c 
57.34/57.53	c # Should components consisting of a single full reflection be handled?
57.34/57.53	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
57.34/57.53	c propagating/symmetry/usesimplesgncomp = FALSE
57.34/57.53	c 
57.34/57.53	c -----------------------------------------------------------------------------------------------
57.34/57.53	c start solving
57.34/57.54	c 
70.12/70.31	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
70.12/70.31	c  70.3s|     1 |     0 |  7538 |     - |   610M |   0 |  40k|  46k|  84k|   0 |  0 |  95 |   0 | 0.000000e+00 |      --      |    Inf | unknown
153.62/154.05	c   154s|     1 |     0 | 21314 |     - |   656M |   0 |  40k|  46k|  84k|  51 |  1 | 128 |   0 | 0.000000e+00 |      --      |    Inf | unknown
707.34/708.87	c   709s|     1 |     0 | 23107 |     - |   738M |   0 |  40k|  46k|  84k| 131 |  2 | 137 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1063.43/1065.63	c  1066s|     1 |     0 | 25121 |     - |   802M |   0 |  40k|  46k|  84k| 177 |  3 | 139 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2063.36/2067.71	c  2068s|     1 |     0 | 27387 |     - |   868M |   0 |  40k|  46k|  84k| 233 |  4 | 149 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3052.65/3058.99	c  3059s|     1 |     0 | 29132 |     - |   893M |   0 |  40k|  46k|  84k| 280 |  5 | 153 |   0 | 0.000000e+00 |      --      |    Inf | unknown

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: 63968 MiB (60657 MiB free)
  memory of node 1: 64473 MiB (61343 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=1042324, runsolver pid=1042321

[startup+0.100751 s]*
/proc/loadavg: 4.09 4.11 4.09 5/254 1042325
/proc/meminfo: memFree=124867636/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=115952 memory=74872 CPUtime=0.1 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 15777 0 0 0 8 2 0 0 20 0 1 0 196526331 118734848 18718 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 28988 18718 3284 3540 0 17245 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 115952 KiB
Current children cumulated memory: 74872 KiB

[startup+0.205471 s]*
/proc/loadavg: 4.09 4.11 4.09 5/254 1042325
/proc/meminfo: memFree=124839076/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=144244 memory=103816 CPUtime=0.2 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 22951 0 0 0 17 3 0 0 20 0 1 0 196526331 147705856 25954 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 36061 25954 3284 3540 0 24318 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 144244 KiB
Current children cumulated memory: 103816 KiB

[startup+0.305503 s]*
/proc/loadavg: 4.09 4.11 4.09 5/254 1042325
/proc/meminfo: memFree=124789600/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=198584 memory=158484 CPUtime=0.29 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 37096 0 0 0 25 4 0 0 20 0 1 0 196526331 203350016 39621 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 49646 39621 3572 3540 0 37903 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 198584 KiB
Current children cumulated memory: 158484 KiB

[startup+0.700225 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 1042325
/proc/meminfo: memFree=124678636/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=336164 memory=289728 CPUtime=0.68 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 69801 0 0 0 59 9 0 0 20 0 1 0 196526331 344231936 72432 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 84041 72432 3652 3540 0 72298 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 336164 KiB
Current children cumulated memory: 289728 KiB

[startup+1.50024 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 1042325
/proc/meminfo: memFree=124616292/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=431000 memory=382652 CPUtime=1.49 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 85426 0 0 0 136 13 0 0 20 0 1 0 196526331 441344000 95663 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 107750 95663 3699 3540 0 96007 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 431000 KiB
Current children cumulated memory: 382652 KiB

[startup+3.10549 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 1042325
/proc/meminfo: memFree=124559448/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=431000 memory=383044 CPUtime=3.08 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 85458 0 0 0 295 13 0 0 20 0 1 0 196526331 441344000 95761 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 107750 95761 3763 3540 0 96007 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 431000 KiB
Current children cumulated memory: 383044 KiB

[startup+6.30022 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1042325
/proc/meminfo: memFree=124498060/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=490380 memory=443612 CPUtime=6.27 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 105762 0 0 0 611 16 0 0 20 0 1 0 196526331 502149120 110903 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 122595 110903 3795 3540 0 110852 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 490380 KiB
Current children cumulated memory: 443612 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 1042327
/proc/meminfo: memFree=124495284/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=491404 memory=444920 CPUtime=12.66 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 106613 0 0 0 1249 17 0 0 20 0 1 0 196526331 503197696 111230 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 122851 111230 3795 3540 0 111108 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 491404 KiB
Current children cumulated memory: 444920 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 1042329
/proc/meminfo: memFree=124485592/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=491404 memory=444940 CPUtime=25.42 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 106638 0 0 0 2525 17 0 0 20 0 1 0 196526331 503197696 111235 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 122851 111235 3795 3540 0 111108 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 491404 KiB
Current children cumulated memory: 444940 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 1042334
/proc/meminfo: memFree=124484628/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=491404 memory=444940 CPUtime=50.97 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 106661 0 0 0 5079 18 0 0 20 0 1 0 196526331 503197696 111235 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 122851 111235 3795 3540 0 111108 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 491404 KiB
Current children cumulated memory: 444940 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 1042343
/proc/meminfo: memFree=124125732/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=914092 memory=801916 CPUtime=102.04 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 198887 0 0 0 10172 32 0 0 20 0 1 0 196526331 936030208 200479 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 228523 200479 4003 3540 0 216780 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 914092 KiB
Current children cumulated memory: 801916 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 1042353
/proc/meminfo: memFree=124118164/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=914092 memory=805660 CPUtime=161.9 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 199871 0 0 0 16157 33 0 0 20 0 1 0 196526331 936030208 201415 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 228523 201415 4003 3540 0 216780 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 914092 KiB
Current children cumulated memory: 805660 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/257 1042368
/proc/meminfo: memFree=124115440/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=914092 memory=805660 CPUtime=221.77 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 199886 0 0 0 22144 33 0 0 20 0 1 0 196526331 936030208 201415 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 228523 201415 4003 3540 0 216780 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 914092 KiB
Current children cumulated memory: 805660 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/257 1042379
/proc/meminfo: memFree=124106064/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=914092 memory=805660 CPUtime=281.67 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 199919 0 0 0 28133 34 0 0 20 0 1 0 196526331 936030208 201415 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 228523 201415 4003 3540 0 216780 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 914092 KiB
Current children cumulated memory: 805660 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/257 1042389
/proc/meminfo: memFree=124102928/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=914092 memory=806260 CPUtime=341.55 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 199961 0 0 0 34121 34 0 0 20 0 1 0 196526331 936030208 201565 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 228523 201565 4003 3540 0 216780 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 914092 KiB
Current children cumulated memory: 806260 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 1042400
/proc/meminfo: memFree=124096668/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=914092 memory=812076 CPUtime=401.44 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 200111 0 0 0 40109 35 0 0 20 0 1 0 196526331 936030208 203019 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 228523 203019 4003 3540 0 216780 0
Current children cumulated CPU time: 401.44 s
Current children cumulated vsize: 914092 KiB
Current children cumulated memory: 812076 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/256 1042411
/proc/meminfo: memFree=124091748/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=914092 memory=812684 CPUtime=461.33 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 200302 0 0 0 46098 35 0 0 20 0 1 0 196526331 936030208 203171 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0

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

Current children cumulated memory: 903488 KiB

[startup+2922.3 s]
/proc/loadavg: 2.08 2.19 2.85 3/240 1044099
/proc/meminfo: memFree=126054972/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1013660 memory=904872 CPUtime=2916.35 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 232911 0 0 0 291596 39 0 0 20 0 1 0 196526331 1037987840 226218 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 253415 226218 4003 3540 0 241672 0
Current children cumulated CPU time: 2916.35 s
Current children cumulated vsize: 1013660 KiB
Current children cumulated memory: 904872 KiB

[startup+2982.3 s]
/proc/loadavg: 1.78 2.10 2.78 2/233 1044141
/proc/meminfo: memFree=126715804/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1021768 memory=916656 CPUtime=2976.21 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 234860 0 0 0 297581 40 0 0 20 0 1 0 196526331 1046290432 229164 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 255442 229164 4003 3540 0 243699 0
Current children cumulated CPU time: 2976.21 s
Current children cumulated vsize: 1021768 KiB
Current children cumulated memory: 916656 KiB

[startup+3042.3 s]
/proc/loadavg: 1.39 1.93 2.68 2/233 1044152
/proc/meminfo: memFree=126709516/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1021768 memory=922572 CPUtime=3036.08 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 235139 0 0 0 303568 40 0 0 20 0 1 0 196526331 1046290432 230643 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 255442 230643 4003 3540 0 243699 0
Current children cumulated CPU time: 3036.08 s
Current children cumulated vsize: 1021768 KiB
Current children cumulated memory: 922572 KiB

[startup+3102.3 s]
/proc/loadavg: 1.14 1.76 2.57 2/234 1044164
/proc/meminfo: memFree=126701536/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930408 CPUtime=3095.97 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 237498 0 0 0 309557 40 0 0 20 0 1 0 196526331 1064882176 232602 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232602 4003 3540 0 248238 0
Current children cumulated CPU time: 3095.97 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930408 KiB

[startup+3162.3 s]
/proc/loadavg: 1.16 1.65 2.48 2/234 1044174
/proc/meminfo: memFree=126701000/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930408 CPUtime=3155.87 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 237802 0 0 0 315547 40 0 0 20 0 1 0 196526331 1064882176 232602 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232602 4003 3540 0 248238 0
Current children cumulated CPU time: 3155.87 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930408 KiB

[startup+3222.3 s]
/proc/loadavg: 1.11 1.54 2.39 2/236 1044189
/proc/meminfo: memFree=126700156/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930412 CPUtime=3215.77 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 238110 0 0 0 321537 40 0 0 20 0 1 0 196526331 1064882176 232603 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232603 4003 3540 0 248238 0
Current children cumulated CPU time: 3215.77 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930412 KiB

[startup+3282.3 s]
/proc/loadavg: 1.08 1.46 2.30 2/236 1044201
/proc/meminfo: memFree=126700064/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930416 CPUtime=3275.69 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 238414 0 0 0 327529 40 0 0 20 0 1 0 196526331 1064882176 232604 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232604 4003 3540 0 248238 0
Current children cumulated CPU time: 3275.69 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930416 KiB

[startup+3342.3 s]
/proc/loadavg: 1.09 1.39 2.22 2/236 1044211
/proc/meminfo: memFree=126699732/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930424 CPUtime=3335.6 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 238716 0 0 0 333520 40 0 0 20 0 1 0 196526331 1064882176 232606 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232606 4003 3540 0 248238 0
Current children cumulated CPU time: 3335.6 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930424 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.33 2.15 2/235 1044222
/proc/meminfo: memFree=126699296/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930424 CPUtime=3395.52 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 239018 0 0 0 339512 40 0 0 20 0 1 0 196526331 1064882176 232606 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232606 4003 3540 0 248238 0
Current children cumulated CPU time: 3395.52 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930424 KiB

[startup+3462.3 s]
/proc/loadavg: 1.15 1.30 2.08 2/236 1044234
/proc/meminfo: memFree=126698860/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930424 CPUtime=3455.43 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 239316 0 0 0 345503 40 0 0 20 0 1 0 196526331 1064882176 232606 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232606 4003 3540 0 248238 0
Current children cumulated CPU time: 3455.43 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930424 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.26 2.02 2/234 1044244
/proc/meminfo: memFree=126698400/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930424 CPUtime=3515.35 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 239617 0 0 0 351495 40 0 0 20 0 1 0 196526331 1064882176 232606 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232606 4003 3540 0 248238 0
Current children cumulated CPU time: 3515.35 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930424 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.22 1.96 2/234 1044254
/proc/meminfo: memFree=126698096/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930424 CPUtime=3575.27 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 239918 0 0 0 357487 40 0 0 20 0 1 0 196526331 1064882176 232606 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232606 4003 3540 0 248238 0
Current children cumulated CPU time: 3575.27 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930424 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.1 s]
/proc/loadavg: 1.11 1.22 1.94 2/234 1044258
/proc/meminfo: memFree=126697780/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930424 CPUtime=3600.03 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 240111 0 0 0 359963 40 0 0 20 0 1 0 196526331 1064882176 232606 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232606 4003 3540 0 248238 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930424 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3607.11 s]
# the end of solver process 1042324 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3599.64 s, system=0.414025 s

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

[startup+3607.1 s]
/proc/loadavg: 1.11 1.22 1.94 2/234 1044258
/proc/meminfo: memFree=126697780/131524600 swapFree=131070704/131071996
[pid=1042324] ppid=1042321 vsize=1039924 memory=930424 CPUtime=3600.03 cores=5,7
/proc/1042324/stat : 1042324 (pbscip) R 1042321 1042324 1036346 0 -1 4194304 240111 0 0 0 359963 40 0 0 20 0 1 0 196526331 1064882176 232606 134679101440 4194304 18693293 140723463559952 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32645120 140723463566338 140723463566437 140723463566437 140723463573454 0
/proc/1042324/statm: 259981 232606 4003 3540 0 248238 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1039924 KiB
Current children cumulated memory: 930424 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3607.11
CPU time (s): 3600.05
CPU user time (s): 3599.64
CPU system time (s): 0.414025
CPU usage (%): 99.8043
Max. virtual memory (cumulated for all children) (KiB): 1039924
Max. memory (cumulated for all children) (KiB): 930424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.64
system time used= 0.414025
maximum resident set size= 930424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240111
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= 50
involuntary context switches= 1884


# summary of solver processes directly reported to runsolver:
#   pid: 1042324
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.64
#   total CPU system time (s): 0.414025

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99426 second user time and 14.7777 second system time

The end

Launcher Data

Begin job on nodeC023 at 2024-07-20 04:47:06
IDJOB=4452545
IDBENCH=164450
IDSOLVER=3059
FILE ID=nodeC023/4452545-1721443614
RUNJOBID= nodeC023-1721434856-1036359
SLURM_JOB_ID= 7545638
Free space on /tmp= 890016 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-506428.0.u.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452545-1721443614/watcher-4452545-1721443614 -o /tmp/evaluation-result-4452545-1721443614/solver-4452545-1721443614 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721434856-1036359 --watchdog 3760  pbscip -f HOME/instance-4452545-1721443614.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= be38a350659e0c4d627f3ed91afb1797
RANDOM SEED=2051774600

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124929212 kB
MemAvailable:   127205308 kB
Buffers:          583324 kB
Cached:          2528908 kB
SwapCached:           80 kB
Active:          1223412 kB
Inactive:        4797928 kB
Active(anon):       1612 kB
Inactive(anon):  2953272 kB
Active(file):    1221800 kB
Inactive(file):  1844656 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:             22668 kB
Writeback:             0 kB
AnonPages:       2907676 kB
Mapped:           141124 kB
Shmem:             45728 kB
KReclaimable:      98924 kB
Slab:             193212 kB
SReclaimable:      98924 kB
SUnreclaim:        94288 kB
KernelStack:        4076 kB
PageTables:        15204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3396332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            33760 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2183168 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      316116 kB
DirectMap2M:    38254592 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC023 at 2024-07-20 05:47:14