Trace number 4485336

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
UWrMaxSat-SCIP 2025-06-04? (TO) 3600.1 3609.3

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
MD5SUM46c70d7f28752ee0ae29660ce5b35655
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7149108224
Best CPU time to get the best result obtained on this benchmark72002.7
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables107808
Total number of constraints3904
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3904
Minimum length of a constraint31
Maximum length of a constraint1440
Number of terms in the objective function 38688
Biggest coefficient in the objective function 348966092800
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 299074813804544
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 348966092800
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 299074813804544
Number of bits of the biggest sum of numbers49
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 Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00	c Setting memory limit to 31000MB.
0.00/0.00	c Parsing PB file...
0.69/0.74	c Converting 5184 PB-constraints to clauses...
307.85/308.70	c ============================[  Problem Statistics ]============================
307.85/308.70	c |  Number of variables:        584229                                         |
307.85/308.70	c |  Number of clauses:         5352528 (incl.        28115 soft in queue)      |
307.85/308.70	c ===============================================================================
1699.68/1704.34	c Switching to binary search ... (after 1691.7 s and 5000005 conflicts) with 28126 goal literals and 0 assumptions
3600.09/3609.30	c *** TERMINATED by signal 15 ***
3600.09/3609.30	c _______________________________________________________________________________
3600.09/3609.30	c 
3600.09/3609.30	c _______________________________________________________________________________
3600.09/3609.30	c 
3600.09/3609.30	c =======================[ UWrMaxSat resources usage ]===========================
3600.09/3609.30	c Memory used            : 2444.00 MB
3600.09/3609.30	c CPU time               : 3588.25 s
3600.09/3609.30	c Constr Enc: Srt/BDD/Add: 3904 0 0
3600.09/3609.30	c _______________________________________________________________________________
3600.09/3609.30	c _______________________________________________________________________________
3600.09/3609.30	s 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: 63708 MiB (61651 MiB free)
  memory of node 1: 64465 MiB (63081 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485336-1751290789/watcher-4485336-1751290789 -o /tmp/evaluation-result-4485336-1751290789/solver-4485336-1751290789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751281373-41198 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4485336-1751290789.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10006 s]*
/proc/loadavg: 4.06 4.11 4.09 5/265 43126
/proc/meminfo: memFree=127706712/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=43644 memory=27464 CPUtime=0.1 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 6622 0 0 0 9 1 0 0 20 0 1 0 44758376 44691456 6866 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 10911 6866 1120 3139 0 7199 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43644 KiB
Current children cumulated memory: 27464 KiB

[startup+0.205609 s]*
/proc/loadavg: 4.06 4.11 4.09 5/265 43126
/proc/meminfo: memFree=127696884/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=60752 memory=42248 CPUtime=0.2 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 10051 0 0 0 19 1 0 0 20 0 1 0 44758376 62210048 10562 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 15188 10562 1120 3139 0 11476 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 60752 KiB
Current children cumulated memory: 42248 KiB

[startup+0.305464 s]*
/proc/loadavg: 4.06 4.11 4.09 5/265 43126
/proc/meminfo: memFree=127682772/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=69216 memory=48648 CPUtime=0.29 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 11655 0 0 0 28 1 0 0 20 0 1 0 44758376 70877184 12162 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 17304 12162 1120 3139 0 13592 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 69216 KiB
Current children cumulated memory: 48648 KiB

[startup+0.700159 s]
/proc/loadavg: 4.06 4.11 4.09 5/265 43126
/proc/meminfo: memFree=127674708/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=101848 memory=77064 CPUtime=0.69 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 18752 0 0 0 66 3 0 0 20 0 1 0 44758376 104292352 19266 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 25462 19266 1120 3139 0 21750 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 101848 KiB
Current children cumulated memory: 77064 KiB

[startup+1.50013 s]
/proc/loadavg: 4.05 4.11 4.09 5/265 43126
/proc/meminfo: memFree=127640688/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=150984 memory=126040 CPUtime=1.49 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 37636 0 0 0 142 7 0 0 20 0 1 0 44758376 154607616 31510 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 37746 31510 1216 3139 0 34034 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 150984 KiB
Current children cumulated memory: 126040 KiB

[startup+3.10579 s]
/proc/loadavg: 4.05 4.11 4.09 5/265 43126
/proc/meminfo: memFree=127531392/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=242096 memory=212536 CPUtime=3.08 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 43516 0 0 0 299 9 0 0 20 0 1 0 44758376 247906304 53134 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 60524 53134 1216 3139 0 56812 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 242096 KiB
Current children cumulated memory: 212536 KiB

[startup+6.30016 s]
/proc/loadavg: 4.05 4.11 4.09 5/265 43126
/proc/meminfo: memFree=126918124/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=965952 memory=911080 CPUtime=6.27 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 123163 0 0 0 596 31 0 0 20 0 1 0 44758376 989134848 227770 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 241488 227770 1216 3139 0 237776 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 965952 KiB
Current children cumulated memory: 911080 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.10 4.09 5/265 43126
/proc/meminfo: memFree=126099188/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1636584 memory=1537876 CPUtime=12.66 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 191854 0 0 0 1199 67 0 0 20 0 1 0 44758376 1675862016 384469 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 409146 384469 1216 3139 0 405434 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1636584 KiB
Current children cumulated memory: 1537876 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 43127
/proc/meminfo: memFree=126102560/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1555328 memory=1488280 CPUtime=25.43 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 201697 0 0 0 2461 82 0 0 20 0 1 0 44758376 1592655872 372070 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 388832 372070 1248 3139 0 385120 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1555328 KiB
Current children cumulated memory: 1488280 KiB

[startup+51.1055 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 43127
/proc/meminfo: memFree=126123924/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1581720 memory=1472008 CPUtime=50.96 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 214235 0 0 0 4970 126 0 0 20 0 1 0 44758376 1619681280 368002 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 395430 368002 1248 3139 0 391718 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1581720 KiB
Current children cumulated memory: 1472008 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 43129
/proc/meminfo: memFree=126088836/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1563556 memory=1471660 CPUtime=102.02 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 229142 0 0 0 10027 175 0 0 20 0 1 0 44758376 1601081344 367915 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 390889 367915 1248 3139 0 387177 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1563556 KiB
Current children cumulated memory: 1471660 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 43131
/proc/meminfo: memFree=125982204/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1786048 memory=1715476 CPUtime=161.86 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 244571 0 0 0 15962 224 0 0 20 0 1 0 44758376 1828913152 428869 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 446512 428869 1248 3139 0 442800 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1786048 KiB
Current children cumulated memory: 1715476 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/265 43134
/proc/meminfo: memFree=125759080/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1921676 memory=1720028 CPUtime=221.69 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 265952 0 0 0 21902 267 0 0 20 0 1 0 44758376 1967796224 430007 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 480419 430007 1248 3139 0 476707 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1921676 KiB
Current children cumulated memory: 1720028 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 43136
/proc/meminfo: memFree=125626820/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1923488 memory=1727472 CPUtime=281.52 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 273072 0 0 0 27849 303 0 0 20 0 1 0 44758376 1969651712 431868 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 480872 431868 1248 3139 0 477160 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 1923488 KiB
Current children cumulated memory: 1727472 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 43138
/proc/meminfo: memFree=125550764/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1924688 memory=1726624 CPUtime=341.36 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 276759 0 0 0 33806 330 0 0 20 0 1 0 44758376 1970880512 431656 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 481172 431656 1248 3139 0 477460 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 1924688 KiB
Current children cumulated memory: 1726624 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 43143
/proc/meminfo: memFree=125416444/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1931092 memory=1735076 CPUtime=401.19 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 281187 0 0 0 39757 362 0 0 20 0 1 0 44758376 1977438208 433769 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 482773 433769 1248 3139 0 479061 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 1931092 KiB
Current children cumulated memory: 1735076 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 43145
/proc/meminfo: memFree=125330844/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1926040 memory=1730664 CPUtime=461 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 283947 0 0 0 45721 379 0 0 20 0 1 0 44758376 1972264960 432666 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 481510 432666 1248 3139 0 477798 0

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

Current children cumulated memory: 1801536 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 43274
/proc/meminfo: memFree=125287988/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1987052 memory=1802004 CPUtime=2914.66 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 401481 0 0 0 290364 1102 0 0 20 0 1 0 44758376 2034741248 450501 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 496763 450501 1248 3139 0 493051 0
Current children cumulated CPU time: 2914.66 s
Current children cumulated vsize: 1987052 KiB
Current children cumulated memory: 1802004 KiB

[startup+2982.3 s]
/proc/loadavg: 3.60 3.96 4.05 4/258 43309
/proc/meminfo: memFree=126366636/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1988420 memory=1805420 CPUtime=2974.52 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 402489 0 0 0 296344 1108 0 0 20 0 1 0 44758376 2036142080 451355 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 497105 451355 1248 3139 0 493393 0
Current children cumulated CPU time: 2974.52 s
Current children cumulated vsize: 1988420 KiB
Current children cumulated memory: 1805420 KiB

[startup+3042.3 s]
/proc/loadavg: 2.65 3.63 3.92 3/252 43341
/proc/meminfo: memFree=127498776/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1990164 memory=1807164 CPUtime=3034.37 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 403599 0 0 0 302324 1113 0 0 20 0 1 0 44758376 2037927936 451791 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 497541 451791 1248 3139 0 493829 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 1990164 KiB
Current children cumulated memory: 1807164 KiB

[startup+3102.3 s]
/proc/loadavg: 2.29 3.35 3.81 3/253 43351
/proc/meminfo: memFree=127523988/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1990252 memory=1805204 CPUtime=3094.24 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 404938 0 0 0 308304 1120 0 0 20 0 1 0 44758376 2038018048 451301 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 497563 451301 1248 3139 0 493851 0
Current children cumulated CPU time: 3094.24 s
Current children cumulated vsize: 1990252 KiB
Current children cumulated memory: 1805204 KiB

[startup+3162.3 s]
/proc/loadavg: 2.15 3.11 3.70 3/253 43353
/proc/meminfo: memFree=127495788/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1991436 memory=1806388 CPUtime=3154.1 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 407330 0 0 0 314275 1135 0 0 20 0 1 0 44758376 2039230464 451597 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 497859 451597 1248 3139 0 494147 0
Current children cumulated CPU time: 3154.1 s
Current children cumulated vsize: 1991436 KiB
Current children cumulated memory: 1806388 KiB

[startup+3222.3 s]
/proc/loadavg: 1.55 2.77 3.54 2/247 43386
/proc/meminfo: memFree=128240740/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1956076 memory=1769108 CPUtime=3213.96 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 410898 0 0 0 320252 1144 0 0 20 0 1 0 44758376 2003021824 442277 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 489019 442277 1248 3139 0 485307 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 1956076 KiB
Current children cumulated memory: 1769108 KiB

[startup+3282.3 s]
/proc/loadavg: 1.20 2.44 3.38 2/245 43388
/proc/meminfo: memFree=128216332/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1956248 memory=1771328 CPUtime=3273.83 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 411739 0 0 0 326234 1149 0 0 20 0 1 0 44758376 2003197952 442832 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 489062 442832 1248 3139 0 485350 0
Current children cumulated CPU time: 3273.83 s
Current children cumulated vsize: 1956248 KiB
Current children cumulated memory: 1771328 KiB

[startup+3342.3 s]
/proc/loadavg: 1.18 2.21 3.24 2/246 43391
/proc/meminfo: memFree=128240764/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1957636 memory=1772716 CPUtime=3333.69 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 412965 0 0 0 332213 1156 0 0 20 0 1 0 44758376 2004619264 443179 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 489409 443179 1248 3139 0 485697 0
Current children cumulated CPU time: 3333.69 s
Current children cumulated vsize: 1957636 KiB
Current children cumulated memory: 1772716 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 2.00 3.10 2/245 43392
/proc/meminfo: memFree=128231724/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1956276 memory=1773404 CPUtime=3393.56 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 413916 0 0 0 338194 1162 0 0 20 0 1 0 44758376 2003226624 443351 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 489069 443351 1248 3139 0 485357 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 1956276 KiB
Current children cumulated memory: 1773404 KiB

[startup+3462.3 s]
/proc/loadavg: 1.12 1.85 2.98 2/245 43394
/proc/meminfo: memFree=128213656/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1956900 memory=1774028 CPUtime=3453.43 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 415037 0 0 0 344176 1167 0 0 20 0 1 0 44758376 2003865600 443507 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 489225 443507 1248 3139 0 485513 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 1956900 KiB
Current children cumulated memory: 1774028 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.71 2.85 2/245 43396
/proc/meminfo: memFree=128236596/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1958112 memory=1775240 CPUtime=3513.28 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 416159 0 0 0 350155 1173 0 0 20 0 1 0 44758376 2005106688 443810 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 489528 443810 1248 3139 0 485816 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 1958112 KiB
Current children cumulated memory: 1775240 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.59 2.74 2/245 43398
/proc/meminfo: memFree=128212204/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1958428 memory=1775556 CPUtime=3573.15 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 417674 0 0 0 356131 1184 0 0 20 0 1 0 44758376 2005430272 443889 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 489607 443889 1248 3139 0 485895 0
Current children cumulated CPU time: 3573.15 s
Current children cumulated vsize: 1958428 KiB
Current children cumulated memory: 1775556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 1.12 1.56 2.70 2/244 43400
/proc/meminfo: memFree=128212320/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1958428 memory=1775556 CPUtime=3600.09 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 417979 0 0 0 358825 1184 0 0 20 0 1 0 44758376 2005430272 443889 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 489607 443889 1248 3139 0 485895 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1958428 KiB
Current children cumulated memory: 1775556 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.25 s, system=11.8491 s

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

[startup+3609.3 s]
/proc/loadavg: 1.12 1.56 2.70 2/244 43400
/proc/meminfo: memFree=128212320/131250000 swapFree=33009904/33010684
[pid=43125] ppid=43122 vsize=1958428 memory=1775556 CPUtime=3600.09 cores=1,3
/proc/43125/stat : 43125 (uwrmaxsat-scip) R 43122 43125 41186 0 -1 4194304 417979 0 0 0 358825 1184 0 0 20 0 1 0 44758376 2005430272 443889 18446744073709551615 4198400 17051741 140722233876080 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 33468416 140722233882938 140722233883108 140722233883108 140722233888710 0
/proc/43125/statm: 489607 443889 1248 3139 0 485895 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1958428 KiB
Current children cumulated memory: 1775556 KiB

Child status: 0

Real time (s): 3609.3
CPU time (s): 3600.1
CPU user time (s): 3588.25
CPU system time (s): 11.8491
CPU usage (%): 99.7451
Max. virtual memory (cumulated for all children) (KiB): 2502884
Max. memory (cumulated for all children) (KiB): 2317836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.25
system time used= 11.8491
maximum resident set size= 2317836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 417979
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= 168
involuntary context switches= 3001


# summary of solver processes directly reported to runsolver:
#   pid: 43125
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3588.25
#   total CPU system time (s): 11.8491

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75568 second user time and 15.6573 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-30 15:39:50
IDJOB=4485336
IDBENCH=146784
IDSOLVER=3373
FILE ID=nodeC033/4485336-1751290789
RUNJOBID= nodeC033-1751281373-41198
SLURM_JOB_ID= 9594237
Free space on /tmp= 432724 MiB

SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485336-1751290789/watcher-4485336-1751290789 -o /tmp/evaluation-result-4485336-1751290789/solver-4485336-1751290789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751281373-41198 --watchdog 3760  HOME/uwrmaxsat-scip HOME/instance-4485336-1751290789.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000

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

MD5SUM BENCH= 46c70d7f28752ee0ae29660ce5b35655
RANDOM SEED=352386103

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127726428 kB
MemAvailable:   127508216 kB
Buffers:            2128 kB
Cached:           581248 kB
SwapCached:           68 kB
Active:          2496448 kB
Inactive:         404292 kB
Active(anon):    2310584 kB
Inactive(anon):    24808 kB
Active(file):     185864 kB
Inactive(file):   379484 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             21092 kB
Writeback:           108 kB
AnonPages:       2314176 kB
Mapped:           144148 kB
Shmem:             18028 kB
KReclaimable:     111360 kB
Slab:             199480 kB
SReclaimable:     111360 kB
SUnreclaim:        88120 kB
KernelStack:        4336 kB
PageTables:         8236 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    3396932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    800768 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432760 MiB
End job on nodeC033 at 2025-06-30 16:39:59