Trace number 4441425

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.1 3610.84

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
MD5SUM911cf7319fa5fa56cdd8e7a94536c536
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 benchmark44.7906
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables168111
Total number of constraints487525
Number of constraints which are clauses468727
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints18798
Minimum length of a constraint1
Maximum length of a constraint15
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 130
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 512
Number of bits of the biggest sum of numbers10
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-4441425-1721293751.opb>
0.99/1.05	c original problem has 168111 variables (168111 bin, 0 int, 0 impl, 0 cont) and 487525 constraints
0.99/1.05	c problem read in 1.05
0.99/1.06	c No objective function, only one solution is needed.
1.99/2.03	c presolving:
2.68/2.73	c (round 1, fast)       3721 del vars, 36 del conss, 0 add conss, 1 chg bounds, 9399 chg sides, 18798 chg coeffs, 0 upgd conss, 0 impls, 306157 clqs
2.68/2.79	c (round 2, fast)       7423 del vars, 10819 del conss, 0 add conss, 1 chg bounds, 9399 chg sides, 18798 chg coeffs, 0 upgd conss, 0 impls, 306479 clqs
3.37/3.42	c    (3.4s) running MILP presolver
7.47/7.59	c    (7.6s) MILP presolver (3 rounds): 1648 aggregations, 119 fixings, 0 bound changes
7.67/7.76	c (round 3, medium)     9219 del vars, 10819 del conss, 0 add conss, 1 chg bounds, 9399 chg sides, 18798 chg coeffs, 0 upgd conss, 0 impls, 301732 clqs
7.77/7.87	c (round 4, fast)       9693 del vars, 16133 del conss, 0 add conss, 24 chg bounds, 9399 chg sides, 18798 chg coeffs, 0 upgd conss, 0 impls, 302032 clqs
9.07/9.15	c (round 5, exhaustive) 9693 del vars, 16396 del conss, 0 add conss, 24 chg bounds, 9399 chg sides, 18798 chg coeffs, 470865 upgd conss, 0 impls, 302032 clqs
9.56/9.62	c (round 6, fast)       9955 del vars, 16658 del conss, 0 add conss, 24 chg bounds, 9399 chg sides, 18798 chg coeffs, 470865 upgd conss, 0 impls, 301508 clqs
11.45/11.56	c (round 7, exhaustive) 9955 del vars, 468332 del conss, 150557 add conss, 24 chg bounds, 9399 chg sides, 18798 chg coeffs, 470865 upgd conss, 0 impls, 301508 clqs
12.06/12.11	c (round 8, exhaustive) 10594 del vars, 468462 del conss, 150687 add conss, 24 chg bounds, 9399 chg sides, 18798 chg coeffs, 470865 upgd conss, 0 impls, 300033 clqs
12.06/12.18	c (round 9, fast)       10992 del vars, 468640 del conss, 150687 add conss, 24 chg bounds, 9399 chg sides, 18976 chg coeffs, 470865 upgd conss, 0 impls, 299835 clqs
12.35/12.42	c (round 10, exhaustive) 11003 del vars, 468951 del conss, 150998 add conss, 24 chg bounds, 9399 chg sides, 18976 chg coeffs, 470865 upgd conss, 0 impls, 299796 clqs
12.95/13.07	c (round 11, exhaustive) 12586 del vars, 469025 del conss, 150998 add conss, 24 chg bounds, 9399 chg sides, 18982 chg coeffs, 470868 upgd conss, 0 impls, 320939 clqs
13.05/13.15	c (round 12, fast)       13061 del vars, 469509 del conss, 150998 add conss, 24 chg bounds, 9399 chg sides, 19457 chg coeffs, 471090 upgd conss, 0 impls, 319990 clqs
13.74/13.83	c (round 13, exhaustive) 14461 del vars, 469521 del conss, 151010 add conss, 24 chg bounds, 9399 chg sides, 19457 chg coeffs, 471090 upgd conss, 0 impls, 352687 clqs
13.84/13.91	c (round 14, fast)       14842 del vars, 469911 del conss, 151010 add conss, 24 chg bounds, 9399 chg sides, 19838 chg coeffs, 471312 upgd conss, 0 impls, 351898 clqs
14.44/14.51	c    (14.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
15.34/15.45	c    (15.4s) symmetry computation finished: 8 generators found (max: 407, log10 of symmetry group size: 0.0) (symcode time: 0.37)
15.34/15.45	c dynamic symmetry handling statistics:
15.34/15.45	c    orbitopal reduction:       no components
15.34/15.45	c    orbital reduction:          1 components of sizes 1
15.34/15.45	c    lexicographic reduction:    8 permutations with support sizes 74, 4417, 2030, 154, 130, 2, 2, 2
15.34/15.45	c handled 7 out of 7 symmetry components
15.54/15.65	c presolving (15 rounds: 15 fast, 8 medium, 7 exhaustive):
15.54/15.65	c  14927 deleted vars, 469970 deleted constraints, 151068 added constraints, 24 tightened bounds, 0 added holes, 9399 changed sides, 19838 changed coefficients
15.54/15.65	c  0 implications, 358318 cliques
15.54/15.65	c presolved problem has 157116 variables (157116 bin, 0 int, 0 impl, 0 cont) and 165940 constraints
15.54/15.65	c   18798 constraints of type <knapsack>
15.54/15.65	c    1285 constraints of type <setppc>
15.54/15.65	c  145853 constraints of type <and>
15.54/15.65	c       4 constraints of type <logicor>
15.54/15.65	c transformed objective value is always integral (scale: 1)
15.54/15.65	c Presolving Time: 13.68
15.54/15.65	c - non default parameters ----------------------------------------------------------------------
15.54/15.65	c # SCIP version 10.0.0
15.54/15.65	c 
15.54/15.65	c # maximal time in seconds to run
15.54/15.65	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
15.54/15.65	c limits/time = 3596.997052
15.54/15.65	c 
15.54/15.65	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.54/15.65	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
15.54/15.65	c limits/memory = 27900
15.54/15.65	c 
15.54/15.65	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
15.54/15.65	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
15.54/15.65	c limits/solutions = 1
15.54/15.65	c 
15.54/15.65	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.
15.54/15.65	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
15.54/15.65	c misc/usesymmetry = 3
15.54/15.65	c 
15.54/15.65	c # belongs reading time to solving time?
15.54/15.65	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
15.54/15.65	c timing/reading = TRUE
15.54/15.65	c 
15.54/15.65	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
15.54/15.65	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
15.54/15.65	c propagating/symmetry/detectdoublelex = FALSE
15.54/15.65	c 
15.54/15.65	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
15.54/15.65	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
15.54/15.65	c propagating/symmetry/detectsubgroups = FALSE
15.54/15.65	c 
15.54/15.65	c # Type of symmetries that shall be computed?
15.54/15.65	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
15.54/15.65	c propagating/symmetry/symtype = 1
15.54/15.65	c 
15.54/15.65	c # Should components consisting of a single full reflection be handled?
15.54/15.65	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
15.54/15.65	c propagating/symmetry/usesimplesgncomp = FALSE
15.54/15.65	c 
15.54/15.65	c -----------------------------------------------------------------------------------------------
15.54/15.65	c start solving
15.54/15.68	c 
53.00/53.27	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
53.00/53.27	c  53.3s|     1 |     0 | 26161 |     - |  1961M |   0 | 157k| 165k| 311k|   0 |  0 |  34 |   0 | 0.000000e+00 |      --      |    Inf | unknown
435.21/436.67	c   437s|     1 |     0 | 78869 |     - |  2137M |   0 | 157k| 165k| 313k|1995 |  1 |  35 |   0 | 0.000000e+00 |      --      |    Inf | unknown
696.17/698.33	c   698s|     1 |     0 |102130 |     - |  2326M |   0 | 157k| 165k| 315k|3995 |  2 |  36 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1037.14/1040.35	c  1040s|     1 |     0 |129444 |     - |  2464M |   0 | 157k| 165k| 317k|5995 |  3 |  39 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1396.26/1400.55	c  1401s|     1 |     0 |153797 |     - |  2633M |   0 | 157k| 165k| 319k|7995 |  4 |  40 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1777.74/1783.19	c  1783s|     1 |     0 |179240 |     - |  2756M |   0 | 157k| 165k| 321k|9995 |  5 |  43 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2182.19/2188.74	c  2189s|     1 |     0 |203308 |     - |  2837M |   0 | 157k| 165k| 323k|  11k|  6 |  45 |   0 | 0.000000e+00 |      --      |    Inf | unknown
2598.41/2606.29	c  2606s|     1 |     0 |231537 |     - |  2886M |   0 | 157k| 165k| 325k|  13k|  7 |  46 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3013.38/3022.45	c  3022s|     1 |     0 |256800 |     - |  2957M |   0 | 157k| 165k| 327k|  15k|  8 |  51 |   0 | 0.000000e+00 |      --      |    Inf | unknown
3449.40/3459.74	c  3460s|     1 |     0 |282259 |     - |  2985M |   0 | 157k| 165k| 329k|  17k|  9 |  53 |   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: 63931 MiB (59993 MiB free)
  memory of node 1: 64510 MiB (60651 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100645 s]*
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=123406124/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=101668 memory=60952 CPUtime=0.1 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 12315 0 0 0 9 1 0 0 20 0 1 0 181540492 104108032 15238 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 25417 15238 3259 3540 0 13674 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 101668 KiB
Current children cumulated memory: 60952 KiB

[startup+0.205692 s]*
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=123273544/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=145524 memory=103900 CPUtime=0.2 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 23019 0 0 0 18 2 0 0 20 0 1 0 181540492 149016576 25975 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 36381 25975 3259 3540 0 24638 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 145524 KiB
Current children cumulated memory: 103900 KiB

[startup+0.305574 s]*
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=123152924/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=184720 memory=143436 CPUtime=0.3 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 32922 0 0 0 27 3 0 0 20 0 1 0 181540492 189153280 35859 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 46180 35859 3259 3540 0 34437 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 184720 KiB
Current children cumulated memory: 143436 KiB

[startup+0.700214 s]
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=122859836/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=337708 memory=295828 CPUtime=0.68 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 70519 0 0 0 59 9 0 0 20 0 1 0 181540492 345812992 73957 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 84427 73957 3259 3540 0 72684 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 337708 KiB
Current children cumulated memory: 295828 KiB

[startup+1.50022 s]
/proc/loadavg: 2.17 2.24 2.25 5/259 975247
/proc/meminfo: memFree=122240928/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=769004 memory=724988 CPUtime=1.48 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 176733 0 0 0 123 25 0 0 20 0 1 0 181540492 787460096 181247 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 192251 181247 3547 3540 0 180508 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 769004 KiB
Current children cumulated memory: 724988 KiB

[startup+3.10545 s]
/proc/loadavg: 2.17 2.24 2.25 5/259 975249
/proc/meminfo: memFree=121200088/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=1222068 memory=1129048 CPUtime=3.08 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 256824 0 0 0 271 37 0 0 20 0 1 0 181540492 1251397632 282262 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 305517 282262 3611 3540 0 293774 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1222068 KiB
Current children cumulated memory: 1129048 KiB

[startup+6.30021 s]
/proc/loadavg: 2.32 2.26 2.26 5/259 975249
/proc/meminfo: memFree=120893700/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=1407376 memory=1352328 CPUtime=6.26 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 271207 0 0 0 580 46 0 0 20 0 1 0 181540492 1441153024 338082 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 351844 338082 3738 3540 0 340101 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1407376 KiB
Current children cumulated memory: 1352328 KiB

[startup+12.7002 s]
/proc/loadavg: 2.46 2.29 2.27 5/259 975249
/proc/meminfo: memFree=120730760/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=1544084 memory=1487788 CPUtime=12.65 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 335946 0 0 0 1207 58 0 0 20 0 1 0 181540492 1581142016 371947 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 386021 371947 3770 3540 0 374278 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1544084 KiB
Current children cumulated memory: 1487788 KiB

[startup+25.5002 s]
/proc/loadavg: 2.94 2.41 2.30 5/259 975298
/proc/meminfo: memFree=120136872/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=2142036 memory=2032788 CPUtime=25.4 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 396377 0 0 0 2466 74 0 0 20 0 1 0 181540492 2193444864 508197 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 535509 508197 3882 3540 0 523766 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2142036 KiB
Current children cumulated memory: 2032788 KiB

[startup+51.1058 s]
/proc/loadavg: 3.44 2.57 2.36 5/259 975301
/proc/meminfo: memFree=119568528/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=2308428 memory=2178928 CPUtime=50.91 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 414735 0 0 0 5010 81 0 0 20 0 1 0 181540492 2363830272 544732 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 577107 544732 3994 3540 0 565364 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 2308428 KiB
Current children cumulated memory: 2178928 KiB

[startup+102.3 s]
/proc/loadavg: 3.83 2.81 2.46 5/261 975314
/proc/meminfo: memFree=119210080/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=2345132 memory=2210140 CPUtime=101.92 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 418687 0 0 0 10108 84 0 0 20 0 1 0 181540492 2401415168 552535 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 586283 552535 3994 3540 0 574540 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 2345132 KiB
Current children cumulated memory: 2210140 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 3.08 2.57 5/261 975324
/proc/meminfo: memFree=118181124/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3074648 memory=2931948 CPUtime=161.73 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 596962 0 0 0 16065 108 0 0 20 0 1 0 181540492 3148439552 732987 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 768662 732987 4010 3540 0 756919 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 3074648 KiB
Current children cumulated memory: 2931948 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.26 2.67 5/261 975337
/proc/meminfo: memFree=118091900/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3074648 memory=2931948 CPUtime=221.53 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 596969 0 0 0 22043 110 0 0 20 0 1 0 181540492 3148439552 732987 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 768662 732987 4010 3540 0 756919 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 3074648 KiB
Current children cumulated memory: 2931948 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.41 2.76 5/261 975347
/proc/meminfo: memFree=117707864/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3074648 memory=2934980 CPUtime=281.32 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 598714 0 0 0 28020 112 0 0 20 0 1 0 181540492 3148439552 733745 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 768662 733745 4010 3540 0 756919 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 3074648 KiB
Current children cumulated memory: 2934980 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.54 2.84 5/257 975357
/proc/meminfo: memFree=117628956/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3074648 memory=2934980 CPUtime=341.16 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 598769 0 0 0 34002 114 0 0 20 0 1 0 181540492 3148439552 733745 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 768662 733745 4010 3540 0 756919 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 3074648 KiB
Current children cumulated memory: 2934980 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 3.64 2.92 5/255 975368
/proc/meminfo: memFree=117248836/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3074648 memory=2934980 CPUtime=401.01 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 598792 0 0 0 39983 118 0 0 20 0 1 0 181540492 3148439552 733745 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 768662 733745 4010 3540 0 756919 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 3074648 KiB
Current children cumulated memory: 2934980 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 3.76 3.02 5/256 975380
/proc/meminfo: memFree=117245332/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3074648 memory=2936088 CPUtime=460.84 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 599490 0 0 0 45963 121 0 0 20 0 1 0 181540492 3148439552 734022 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 768662 734022 4010 3540 0 756919 0

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

Current children cumulated memory: 3252240 KiB

[startup+2862.3 s]
/proc/loadavg: 4.18 4.13 4.04 5/261 976835
/proc/meminfo: memFree=115657272/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3376804 memory=3252960 CPUtime=2853.7 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 657657 0 0 0 285132 238 0 0 20 0 1 0 181540492 3457847296 813240 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 844201 813240 4010 3540 0 832458 0
Current children cumulated CPU time: 2853.7 s
Current children cumulated vsize: 3376804 KiB
Current children cumulated memory: 3252960 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.12 4.04 5/259 976846
/proc/meminfo: memFree=115652352/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3376804 memory=3255308 CPUtime=2913.54 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 657681 0 0 0 291113 241 0 0 20 0 1 0 181540492 3457847296 813827 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 844201 813827 4010 3540 0 832458 0
Current children cumulated CPU time: 2913.54 s
Current children cumulated vsize: 3376804 KiB
Current children cumulated memory: 3255308 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/260 977026
/proc/meminfo: memFree=115641432/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3376804 memory=3255308 CPUtime=2973.39 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 657711 0 0 0 297096 243 0 0 20 0 1 0 181540492 3457847296 813827 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 844201 813827 4010 3540 0 832458 0
Current children cumulated CPU time: 2973.39 s
Current children cumulated vsize: 3376804 KiB
Current children cumulated memory: 3255308 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/260 977037
/proc/meminfo: memFree=115638804/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3376804 memory=3255336 CPUtime=3033.22 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 658764 0 0 0 303078 244 0 0 20 0 1 0 181540492 3457847296 813834 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 844201 813834 4010 3540 0 832458 0
Current children cumulated CPU time: 3033.22 s
Current children cumulated vsize: 3376804 KiB
Current children cumulated memory: 3255336 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/260 977064
/proc/meminfo: memFree=115326436/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3376804 memory=3258080 CPUtime=3093.04 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 660039 0 0 0 309059 245 0 0 20 0 1 0 181540492 3457847296 814520 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 844201 814520 4010 3540 0 832458 0
Current children cumulated CPU time: 3093.04 s
Current children cumulated vsize: 3376804 KiB
Current children cumulated memory: 3258080 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/259 977075
/proc/meminfo: memFree=115309336/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3379644 memory=3264408 CPUtime=3152.86 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 661646 0 0 0 315040 246 0 0 20 0 1 0 181540492 3460755456 816102 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 844911 816102 4010 3540 0 833168 0
Current children cumulated CPU time: 3152.86 s
Current children cumulated vsize: 3379644 KiB
Current children cumulated memory: 3264408 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/259 977086
/proc/meminfo: memFree=115276044/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3405124 memory=3292840 CPUtime=3212.67 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 663673 0 0 0 321019 248 0 0 20 0 1 0 181540492 3486846976 823210 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 851281 823210 4010 3540 0 839538 0
Current children cumulated CPU time: 3212.67 s
Current children cumulated vsize: 3405124 KiB
Current children cumulated memory: 3292840 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/257 977096
/proc/meminfo: memFree=115267484/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3405124 memory=3297244 CPUtime=3272.46 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 663957 0 0 0 326997 249 0 0 20 0 1 0 181540492 3486846976 824311 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 851281 824311 4010 3540 0 839538 0
Current children cumulated CPU time: 3272.46 s
Current children cumulated vsize: 3405124 KiB
Current children cumulated memory: 3297244 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/258 977108
/proc/meminfo: memFree=115262136/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3418072 memory=3298764 CPUtime=3332.29 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 664315 0 0 0 332979 250 0 0 20 0 1 0 181540492 3500105728 824691 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 854518 824691 4010 3540 0 842775 0
Current children cumulated CPU time: 3332.29 s
Current children cumulated vsize: 3418072 KiB
Current children cumulated memory: 3298764 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/256 977119
/proc/meminfo: memFree=115258072/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3418072 memory=3298800 CPUtime=3392.14 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 664384 0 0 0 338962 252 0 0 20 0 1 0 181540492 3500105728 824700 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 854518 824700 4010 3540 0 842775 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 3418072 KiB
Current children cumulated memory: 3298800 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/256 977130
/proc/meminfo: memFree=115253780/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3418072 memory=3298800 CPUtime=3451.99 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 665200 0 0 0 344945 254 0 0 20 0 1 0 181540492 3500105728 824700 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 854518 824700 4010 3540 0 842775 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 3418072 KiB
Current children cumulated memory: 3298800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.06 5/256 977142
/proc/meminfo: memFree=115251244/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3418072 memory=3298800 CPUtime=3511.81 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 666076 0 0 0 350926 255 0 0 20 0 1 0 181540492 3500105728 824700 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 854518 824700 4010 3540 0 842775 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 3418072 KiB
Current children cumulated memory: 3298800 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/256 977152
/proc/meminfo: memFree=115211816/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3450864 memory=3335588 CPUtime=3571.63 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 670546 0 0 0 356906 257 0 0 20 0 1 0 181540492 3533684736 833897 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 862716 833897 4010 3540 0 850973 0
Current children cumulated CPU time: 3571.63 s
Current children cumulated vsize: 3450864 KiB
Current children cumulated memory: 3335588 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.08 4.10 4.06 5/256 977248
/proc/meminfo: memFree=119006652/131524600 swapFree=131071996/131071996
[pid=975246] ppid=975243 vsize=3450864 memory=3335588 CPUtime=3600.05 cores=0,2
/proc/975246/stat : 975246 (pbscip) R 975243 975246 975174 0 -1 4194304 670840 0 0 0 359748 257 0 0 20 0 1 0 181540492 3533684736 833897 134679101440 4194304 18693293 140727703221504 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 34148352 140727703225347 140727703225446 140727703225446 140727703232462 0
/proc/975246/statm: 862716 833897 4010 3540 0 850973 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3450864 KiB
Current children cumulated memory: 3335588 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.49 s, system=2.61343 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.84
CPU time (s): 3600.1
CPU user time (s): 3597.49
CPU system time (s): 2.61343
CPU usage (%): 99.7027
Max. virtual memory (cumulated for all children) (KiB): 3450864
Max. memory (cumulated for all children) (KiB): 3335588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.49
system time used= 2.61343
maximum resident set size= 3335588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 670840
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= 40
involuntary context switches= 24673


# summary of solver processes directly reported to runsolver:
#   pid: 975246
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.49
#   total CPU system time (s): 2.61343

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99372 second user time and 15.6449 second system time

The end

Launcher Data

Begin job on nodeC025 at 2024-07-18 11:09:24
IDJOB=4441425
IDBENCH=147705
IDSOLVER=3059
FILE ID=nodeC025/4441425-1721293751
RUNJOBID= nodeC025-1721293764-975184
SLURM_JOB_ID= 7542596
Free space on /tmp= 889944 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.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-4441425-1721293751/watcher-4441425-1721293751 -o /tmp/evaluation-result-4441425-1721293751/solver-4441425-1721293751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721293764-975184 --watchdog 3760  pbscip -f HOME/instance-4441425-1721293751.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 911cf7319fa5fa56cdd8e7a94536c536
RANDOM SEED=2089243979

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123555516 kB
MemAvailable:   129517052 kB
Buffers:          495980 kB
Cached:          6228616 kB
SwapCached:            0 kB
Active:          1030960 kB
Inactive:        6165732 kB
Active(anon):       1480 kB
Inactive(anon):   508016 kB
Active(file):    1029480 kB
Inactive(file):  5657716 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            108300 kB
Writeback:             4 kB
AnonPages:        469564 kB
Mapped:           133256 kB
Shmem:             37720 kB
KReclaimable:     227976 kB
Slab:             356340 kB
SReclaimable:     227976 kB
SUnreclaim:       128364 kB
KernelStack:        4176 kB
PageTables:        10772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     712556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68928 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 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:      318164 kB
DirectMap2M:    43495424 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889936 MiB
End job on nodeC025 at 2024-07-18 12:09:35