Trace number 4432668

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP 2024-07-07? (TO) 3600.07 3610.13

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
MD5SUM1e36bee0e8dff19b6f5f05570059901e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark37
Best CPU time to get the best result obtained on this benchmark2.57771
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21756
Total number of constraints1266468
Number of constraints which are clauses1262688
Number of constraints which are cardinality constraints (but not clauses)3780
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint168
Number of terms in the objective function 168
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 168
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 166
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 334
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4432668-1721091912.opb>
3.18/3.25	c original problem has 21756 variables (21756 bin, 0 int, 0 impl, 0 cont) and 1266468 constraints
3.18/3.25	c problem read in 3.24
5.08/5.17	c presolving:
7.98/8.08	c (round 1, fast)       9503 del vars, 1130950 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 0 upgd conss, 0 impls, 85470 clqs
8.08/8.13	c (round 2, fast)       9506 del vars, 1135726 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 0 upgd conss, 0 impls, 85470 clqs
8.27/8.39	c    (8.4s) running MILP presolver
9.66/9.78	c    (9.8s) MILP presolver (5 rounds): 0 aggregations, 77 fixings, 0 bound changes
9.66/9.79	c (round 3, medium)     9583 del vars, 1135726 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 0 upgd conss, 0 impls, 84636 clqs
9.76/9.83	c (round 4, fast)       9583 del vars, 1136560 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 0 upgd conss, 0 impls, 84636 clqs
10.26/10.34	c (round 5, exhaustive) 9583 del vars, 1136560 del conss, 0 add conss, 9058 chg bounds, 441 chg sides, 882 chg coeffs, 129908 upgd conss, 0 impls, 84636 clqs
17.14/17.25	c    (17.2s) probing: 297/12173 (2.4%) - 4 fixings, 0 aggregations, 72 implications, 0 bound changes
17.14/17.25	c    (17.2s) probing aborted: 50/50 successive totally useless probings
17.64/17.77	c    (17.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
17.84/17.99	c    (18.0s) symmetry computation finished: 70 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.05)
17.84/18.01	c dynamic symmetry handling statistics:
17.84/18.01	c    orbitopal reduction:       no components
17.84/18.01	c    orbital reduction:         no components
17.84/18.01	c    lexicographic reduction:   no permutations
17.84/18.01	c handled 70 out of 70 symmetry components
18.05/18.13	c presolving (6 rounds: 6 fast, 3 medium, 2 exhaustive):
18.05/18.13	c  9587 deleted vars, 1136560 deleted constraints, 70 added constraints, 9058 tightened bounds, 0 added holes, 441 changed sides, 886 changed coefficients
18.05/18.13	c  0 implications, 84730 cliques
18.05/18.13	c presolved problem has 12169 variables (12169 bin, 0 int, 0 impl, 0 cont) and 129978 constraints
18.05/18.13	c   84636 constraints of type <setppc>
18.05/18.13	c      70 constraints of type <linear>
18.05/18.13	c   45272 constraints of type <logicor>
18.05/18.13	c transformed objective value is always integral (scale: 1)
18.05/18.13	c Presolving Time: 12.96
18.05/18.13	c - non default parameters ----------------------------------------------------------------------
18.05/18.13	c # SCIP version 10.0.0
18.05/18.13	c 
18.05/18.13	c # maximal time in seconds to run
18.05/18.13	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
18.05/18.13	c limits/time = 3596.993114
18.05/18.13	c 
18.05/18.13	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.05/18.13	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
18.05/18.13	c limits/memory = 27900
18.05/18.13	c 
18.05/18.13	c # belongs reading time to solving time?
18.05/18.13	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
18.05/18.13	c timing/reading = TRUE
18.05/18.13	c 
18.05/18.13	c -----------------------------------------------------------------------------------------------
18.05/18.13	c start solving
18.05/18.14	c 
18.13/18.22	o 165
18.13/18.22	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
18.13/18.22	c t18.2s|     1 |     0 |     0 |     - | trivial|   0 |  12k| 129k|   0 |   0 |  0 |   0 |   0 | 5.000000e+00 | 1.650000e+02 |3200.00%| unknown
19.23/19.33	o 121
19.23/19.33	c p19.3s|     1 |     0 |     0 |     - |  clique|   0 |  12k| 129k| 129k|   0 |  0 |   0 |   0 | 5.000000e+00 | 1.210000e+02 |2320.00%| unknown
19.73/19.82	o 88
19.73/19.82	c p19.8s|     1 |     0 |     0 |     - | vbounds|   0 |  12k| 129k| 129k|   0 |  0 |   1 |   0 | 5.000000e+00 | 8.800000e+01 |1660.00%| unknown
27.01/27.11	c  27.1s|     1 |     0 | 16045 |     - |  1376M |   0 |  12k| 129k| 129k|   0 |  0 |   6 |   0 | 5.000000e+00 | 8.800000e+01 |1660.00%| unknown
201.18/201.94	c   202s|     1 |     0 | 58738 |     - |  1398M |   0 |  12k| 129k| 129k|  41 |  1 |  16 |   0 | 8.019816e+00 | 8.800000e+01 | 997.28%| unknown
235.67/236.51	c   236s|     1 |     0 | 69054 |     - |  1415M |   0 |  12k| 129k| 130k|  81 |  2 |  19 |   0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
333.59/334.72	c   335s|     1 |     0 | 76373 |     - |  1429M |   0 |  12k| 129k| 130k|  91 |  3 |  21 |   0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
409.78/411.16	c   411s|     1 |     0 | 77584 |     - |  1446M |   0 |  12k| 129k| 130k|  99 |  4 |  22 |   0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
498.53/500.12	c   500s|     1 |     0 | 84020 |     - |  1461M |   0 |  12k| 129k| 130k| 111 |  5 |  32 |   0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
573.80/575.69	c   576s|     1 |     0 | 85251 |     - |  1475M |   0 |  12k| 129k| 130k| 118 |  6 |  34 |   0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
660.07/662.13	c   662s|     1 |     0 | 91119 |     - |  1496M |   0 |  12k| 129k| 130k| 129 |  7 |  44 |   0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
736.77/739.06	c   739s|     1 |     0 | 92709 |     - |  1509M |   0 |  12k| 129k| 130k| 143 |  8 |  45 |   0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
814.44/816.99	c   817s|     1 |     0 | 94775 |     - |  1522M |   0 |  12k| 129k| 130k| 152 |  9 |  47 |   0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
896.03/898.71	c   899s|     1 |     0 | 97828 |     - |  1538M |   0 |  12k| 129k| 130k| 163 | 10 |  53 |   0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
916.28/919.04	c   919s|     1 |     0 |104220 |     - |  1556M |   0 |  12k| 129k| 130k| 176 | 11 |  63 |   0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
928.73/931.52	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
928.73/931.52	c   932s|     1 |     0 |108063 |     - |  1573M |   0 |  12k| 129k| 130k| 188 | 12 |  73 |   0 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
1367.19/1371.26	c  1371s|     1 |     2 |175854 |     - |  1583M |   0 |  12k| 130k| 130k| 188 | 12 | 103 |  39 | 3.200000e+01 | 8.800000e+01 | 175.00%| unknown
3508.47/3518.39	o 80
3508.47/3518.39	c d3518s|    41 |    42 |836159 |18202.4 |linesear|  27 |  12k| 130k| 130k|   0 |  1 | 241 |  39 | 3.200000e+01 | 8.000000e+01 | 150.00%| unknown
3558.64/3568.62	o 76
3558.64/3568.62	c i3569s|    42 |    41 |837749 |17797.2 |  oneopt|  27 |  12k| 130k| 130k| 237 |  0 | 241 |  39 | 3.200000e+01 | 7.600000e+01 | 137.50%| 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: 64059 MiB (59806 MiB free)
  memory of node 1: 64510 MiB (62200 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432668-1721091912/watcher-4432668-1721091912 -o /tmp/evaluation-result-4432668-1721091912/solver-4432668-1721091912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721084720-824564 --watchdog 3760 pbscip -f HOME/instance-4432668-1721091912.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=828628, runsolver pid=828625

[startup+0.10009 s]*
/proc/loadavg: 4.14 4.13 4.12 5/239 828635
/proc/meminfo: memFree=124821148/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=74300 memory=34264 CPUtime=0.1 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 5588 0 0 0 8 2 0 0 20 0 1 0 161350042 76083200 8566 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 18575 8566 3258 3540 0 6832 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 74300 KiB
Current children cumulated memory: 34264 KiB

[startup+0.20984 s]*
/proc/loadavg: 4.14 4.13 4.12 5/239 828635
/proc/meminfo: memFree=124749160/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=84792 memory=44292 CPUtime=0.2 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 8139 0 0 0 18 2 0 0 20 0 1 0 161350042 86827008 11073 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 21198 11073 3258 3540 0 9455 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 84792 KiB
Current children cumulated memory: 44292 KiB

[startup+0.309707 s]*
/proc/loadavg: 4.14 4.13 4.12 5/239 828635
/proc/meminfo: memFree=124657244/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=97520 memory=56640 CPUtime=0.31 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 11178 0 0 0 27 4 0 0 20 0 1 0 161350042 99860480 14160 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 24380 14160 3258 3540 0 12637 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 97520 KiB
Current children cumulated memory: 56640 KiB

[startup+0.700355 s]
/proc/loadavg: 4.14 4.13 4.12 5/237 828635
/proc/meminfo: memFree=124504776/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=148380 memory=107104 CPUtime=0.69 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 23857 0 0 0 62 7 0 0 20 0 1 0 161350042 151941120 26776 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 37095 26776 3258 3540 0 25352 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 148380 KiB
Current children cumulated memory: 107104 KiB

[startup+1.5003 s]
/proc/loadavg: 4.14 4.13 4.12 5/243 828646
/proc/meminfo: memFree=124096864/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=286848 memory=245384 CPUtime=1.49 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 57918 0 0 0 134 15 0 0 20 0 1 0 161350042 293732352 61346 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 71712 61346 3258 3540 0 59969 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 286848 KiB
Current children cumulated memory: 245384 KiB

[startup+3.11283 s]
/proc/loadavg: 4.13 4.13 4.12 5/243 828646
/proc/meminfo: memFree=122568044/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=672124 memory=631128 CPUtime=3.09 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 147175 0 0 0 280 29 0 0 20 0 1 0 161350042 688254976 157782 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 168031 157782 3258 3540 0 156288 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 672124 KiB
Current children cumulated memory: 631128 KiB

[startup+6.30031 s]
/proc/loadavg: 4.13 4.13 4.12 5/243 828647
/proc/meminfo: memFree=119292152/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1701432 memory=1650944 CPUtime=6.27 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 365407 0 0 0 564 63 0 0 20 0 1 0 161350042 1742266368 412736 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 425358 412736 3609 3540 0 413615 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1701432 KiB
Current children cumulated memory: 1650944 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.12 4.12 5/243 828647
/proc/meminfo: memFree=118104760/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1766244 memory=1713984 CPUtime=12.65 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 384907 0 0 0 1197 68 0 0 20 0 1 0 161350042 1808633856 428496 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 441561 428496 3752 3540 0 429818 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1766244 KiB
Current children cumulated memory: 1713984 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.12 4.11 5/243 828651
/proc/meminfo: memFree=118017008/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1738884 CPUtime=25.4 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387359 0 0 0 2471 69 0 0 20 0 1 0 161350042 1843261440 434721 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434721 3976 3540 0 438272 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1738884 KiB

[startup+51.1132 s]
/proc/loadavg: 4.12 4.12 4.11 5/243 828655
/proc/meminfo: memFree=117975060/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739392 CPUtime=50.93 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387474 0 0 0 5023 70 0 0 20 0 1 0 161350042 1843261440 434848 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434848 4008 3540 0 438272 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739392 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/243 828664
/proc/meminfo: memFree=117974440/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=101.93 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387505 0 0 0 10123 70 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/243 828674
/proc/meminfo: memFree=117974212/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=161.72 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387573 0 0 0 16101 71 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/243 828685
/proc/meminfo: memFree=117973400/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=221.52 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387731 0 0 0 22080 72 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/243 828695
/proc/meminfo: memFree=117972972/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=281.35 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 387896 0 0 0 28062 73 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/246 828711
/proc/meminfo: memFree=117972444/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=341.17 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 388205 0 0 0 34043 74 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/245 828721
/proc/meminfo: memFree=117972176/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739520 CPUtime=400.99 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 388313 0 0 0 40024 75 0 0 20 0 1 0 161350042 1843261440 434880 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434880 4008 3540 0 438272 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 1800060 KiB
Current children cumulated memory: 1739520 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/245 828732
/proc/meminfo: memFree=117971576/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1800060 memory=1739568 CPUtime=460.82 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 389424 0 0 0 46006 76 0 0 20 0 1 0 161350042 1843261440 434892 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 450015 434892 4008 3540 0 438272 0

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

Current children cumulated memory: 1892280 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/244 829807
/proc/meminfo: memFree=117560756/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=2914.02 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 468179 0 0 0 291309 93 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 2914.02 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/244 829818
/proc/meminfo: memFree=117560460/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=2973.87 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 468490 0 0 0 297293 94 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 2973.87 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/242 830212
/proc/meminfo: memFree=117560292/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3033.71 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 468725 0 0 0 303277 94 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3033.71 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/242 830222
/proc/meminfo: memFree=117561088/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3093.56 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 469026 0 0 0 309262 94 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3093.56 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/242 830233
/proc/meminfo: memFree=117559080/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3153.4 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 469290 0 0 0 315246 94 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3153.4 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/244 830414
/proc/meminfo: memFree=117556700/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3213.25 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 469593 0 0 0 321230 95 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3213.25 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/244 830424
/proc/meminfo: memFree=117555604/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3273.09 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 469855 0 0 0 327214 95 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB

[startup+3342.3 s]
/proc/loadavg: 4.51 4.19 4.12 5/243 830447
/proc/meminfo: memFree=117555288/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=1983760 memory=1892280 CPUtime=3332.93 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 470085 0 0 0 333198 95 0 0 20 0 1 0 161350042 2031370240 473070 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 495940 473070 4055 3540 0 484197 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 1983760 KiB
Current children cumulated memory: 1892280 KiB

[startup+3402.3 s]
/proc/loadavg: 4.54 4.27 4.16 5/243 830457
/proc/meminfo: memFree=117496920/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2041840 memory=1950200 CPUtime=3392.77 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 496446 0 0 0 339179 98 0 0 20 0 1 0 161350042 2090844160 487550 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 510460 487550 4055 3540 0 498717 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 2041840 KiB
Current children cumulated memory: 1950200 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.24 4.15 5/243 830469
/proc/meminfo: memFree=117482552/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3452.6 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 507917 0 0 0 345160 100 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3452.6 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.22 4.15 5/242 830479
/proc/meminfo: memFree=117482316/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3512.46 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 508464 0 0 0 351145 101 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3512.46 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.20 4.15 5/242 830490
/proc/meminfo: memFree=117482020/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3572.3 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 508951 0 0 0 357129 101 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 3.90 4.14 4.13 2/220 830588
/proc/meminfo: memFree=124347112/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3600.04 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 509074 0 0 0 359903 101 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.04 s, system=1.03138 s

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

[startup+3610.11 s]
/proc/loadavg: 3.90 4.14 4.13 2/220 830588
/proc/meminfo: memFree=124347112/131655788 swapFree=131071996/131071996
[pid=828628] ppid=828625 vsize=2056100 memory=1964240 CPUtime=3600.04 cores=5,7
/proc/828628/stat : 828628 (pbscip) R 828625 828628 824551 0 -1 4194304 509074 0 0 0 359903 101 0 0 20 0 1 0 161350042 2105446400 491060 134679101440 4194304 18693293 140729251157648 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 59621376 140729251161092 140729251161191 140729251161191 140729251168206 0
/proc/828628/statm: 514025 491060 4055 3540 0 502282 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2056100 KiB
Current children cumulated memory: 1964240 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.13
CPU time (s): 3600.07
CPU user time (s): 3599.04
CPU system time (s): 1.03138
CPU usage (%): 99.7214
Max. virtual memory (cumulated for all children) (KiB): 2090712
Max. memory (cumulated for all children) (KiB): 1995564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.04
system time used= 1.03138
maximum resident set size= 1995828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509074
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= 63
involuntary context switches= 1045


# summary of solver processes directly reported to runsolver:
#   pid: 828628
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.04
#   total CPU system time (s): 1.03138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0896 second user time and 35.949 second system time

The end

Launcher Data

Begin job on nodeC006 at 2024-07-16 03:05:25
IDJOB=4432668
IDBENCH=147569
IDSOLVER=3059
FILE ID=nodeC006/4432668-1721091912
RUNJOBID= nodeC006-1721084720-824564
SLURM_JOB_ID= 7505576
Free space on /tmp= 723596 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.07.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-4432668-1721091912/watcher-4432668-1721091912 -o /tmp/evaluation-result-4432668-1721091912/solver-4432668-1721091912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721084720-824564 --watchdog 3760  pbscip -f HOME/instance-4432668-1721091912.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 1e36bee0e8dff19b6f5f05570059901e
RANDOM SEED=477542125

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124949972 kB
MemAvailable:   128711008 kB
Buffers:          390520 kB
Cached:          4167004 kB
SwapCached:            0 kB
Active:           714140 kB
Inactive:        5365456 kB
Active(anon):       1424 kB
Inactive(anon):  1558348 kB
Active(file):     712716 kB
Inactive(file):  3807108 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            232076 kB
Writeback:             0 kB
AnonPages:       1522412 kB
Mapped:           113740 kB
Shmem:             37704 kB
KReclaimable:     162488 kB
Slab:             266904 kB
SReclaimable:     162488 kB
SUnreclaim:       104416 kB
KernelStack:        3708 kB
PageTables:        11744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1920820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 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:      219976 kB
DirectMap2M:    27996160 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723716 MiB
End job on nodeC006 at 2024-07-16 04:05:36