Trace number 4542050

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
UWrMaxSat-SCIP 2025-06-04? (TO) 3600.01 3612.3

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb
MD5SUM20f5dc2e187fea802b1fd8b2eb35ac07
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.41364
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3571
Total number of constraints1850
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)56
Number of constraints which are nor clauses,nor cardinality constraints1794
Minimum length of a constraint1
Maximum length of a constraint840
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 36028797018963968
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 144115188075855871
Number of bits of the biggest sum of numbers57
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.00/0.07	c Converting 3587 PB-constraints to clauses...
0.42/0.49	c ============================[ Encoding Statistics ]============================
0.42/0.49	c |  Number of variables:         12144                                         |
0.42/0.49	c |  Number of clauses:           57755                                         |
0.42/0.49	c ===============================================================================
3600.00/3612.30	c *** TERMINATED by signal 15 ***
3600.00/3612.30	c _______________________________________________________________________________
3600.00/3612.30	c 
3600.00/3612.30	c _______________________________________________________________________________
3600.00/3612.30	c 
3600.00/3612.30	c =======================[ UWrMaxSat resources usage ]===========================
3600.00/3612.30	c Memory used            : 390.00 MB
3600.00/3612.30	c CPU time               : 3597.25 s
3600.00/3612.30	c Constr Enc: Srt/BDD/Add: 1794 0 0
3600.00/3612.30	c _______________________________________________________________________________
3600.00/3612.30	c _______________________________________________________________________________
3600.00/3612.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: 63794 MiB (46077 MiB free)
  memory of node 1: 64507 MiB (50940 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.1001 s]*
/proc/loadavg: 4.09 4.10 4.13 5/251 182762
/proc/meminfo: memFree=99339324/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=27144 memory=11600 CPUtime=0.1 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 1957 0 0 0 10 0 0 0 20 0 1 0 237029330 27795456 2900 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 6786 2900 1216 3139 0 3074 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27144 KiB
Current children cumulated memory: 11600 KiB

[startup+0.212855 s]*
/proc/loadavg: 4.09 4.10 4.13 5/251 182762
/proc/meminfo: memFree=99339324/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=28340 memory=12752 CPUtime=0.21 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 2260 0 0 0 21 0 0 0 20 0 1 0 237029330 29020160 3188 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 7085 3188 1216 3139 0 3373 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28340 KiB
Current children cumulated memory: 12752 KiB

[startup+0.312482 s]*
/proc/loadavg: 4.09 4.10 4.13 5/251 182762
/proc/meminfo: memFree=99339580/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=28340 memory=12752 CPUtime=0.31 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 2260 0 0 0 31 0 0 0 20 0 1 0 237029330 29020160 3188 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 7085 3188 1216 3139 0 3373 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28340 KiB
Current children cumulated memory: 12752 KiB

[startup+0.700335 s]
/proc/loadavg: 4.09 4.10 4.13 5/251 182762
/proc/meminfo: memFree=99331012/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=42388 memory=25148 CPUtime=0.68 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 5893 0 0 0 67 1 0 0 20 0 1 0 237029330 43405312 6287 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 10597 6287 1216 3139 0 6885 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42388 KiB
Current children cumulated memory: 25148 KiB

[startup+1.50035 s]
/proc/loadavg: 4.09 4.10 4.13 5/251 182762
/proc/meminfo: memFree=99323200/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=48800 memory=31948 CPUtime=1.48 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 9616 0 0 0 146 2 0 0 20 0 1 0 237029330 49971200 7987 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 12200 7987 1248 3139 0 8488 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48800 KiB
Current children cumulated memory: 31948 KiB

[startup+3.1127 s]
/proc/loadavg: 4.09 4.10 4.13 5/251 182762
/proc/meminfo: memFree=99311596/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=48040 memory=31316 CPUtime=3.09 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 13843 0 0 0 306 3 0 0 20 0 1 0 237029330 49192960 7829 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 12010 7829 1248 3139 0 8298 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48040 KiB
Current children cumulated memory: 31316 KiB

[startup+6.30034 s]
/proc/loadavg: 4.08 4.10 4.13 5/251 182762
/proc/meminfo: memFree=99310248/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=46004 memory=29500 CPUtime=6.27 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 17195 0 0 0 623 4 0 0 20 0 1 0 237029330 47108096 7375 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 11501 7375 1248 3139 0 7789 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 46004 KiB
Current children cumulated memory: 29500 KiB

[startup+12.7004 s]
/proc/loadavg: 4.07 4.10 4.13 5/251 182762
/proc/meminfo: memFree=99302192/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=59812 memory=43208 CPUtime=12.65 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 21550 0 0 0 1260 5 0 0 20 0 1 0 237029330 61247488 10802 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 14953 10802 1248 3139 0 11241 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 59812 KiB
Current children cumulated memory: 43208 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.11 4.13 5/251 182762
/proc/meminfo: memFree=99280708/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=68456 memory=45716 CPUtime=25.4 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 25900 0 0 0 2535 5 0 0 20 0 1 0 237029330 70098944 11397 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 17114 11429 1248 3139 0 13402 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 68456 KiB
Current children cumulated memory: 45716 KiB

[startup+51.1128 s]
/proc/loadavg: 4.08 4.10 4.13 5/251 182763
/proc/meminfo: memFree=99252780/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=81408 memory=64840 CPUtime=50.93 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 31410 0 0 0 5086 7 0 0 20 0 1 0 237029330 83361792 16210 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 20352 16210 1248 3139 0 16640 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 81408 KiB
Current children cumulated memory: 64840 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/251 182765
/proc/meminfo: memFree=99196432/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=103764 memory=87112 CPUtime=101.95 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 40208 0 0 0 10184 11 0 0 20 0 1 0 237029330 106254336 21778 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 25941 21778 1248 3139 0 22229 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 103764 KiB
Current children cumulated memory: 87112 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.12 5/251 182767
/proc/meminfo: memFree=99148088/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=137952 memory=121416 CPUtime=161.75 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 49718 0 0 0 16160 15 0 0 20 0 1 0 237029330 141262848 30354 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 34488 30354 1248 3139 0 30776 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 137952 KiB
Current children cumulated memory: 121416 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/252 182771
/proc/meminfo: memFree=99053604/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=135264 memory=118668 CPUtime=221.56 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 56603 0 0 0 22138 18 0 0 20 0 1 0 237029330 138510336 29667 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 33816 29667 1248 3139 0 30104 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 135264 KiB
Current children cumulated memory: 118668 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.11 4.12 5/252 182773
/proc/meminfo: memFree=99041484/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=165068 memory=148424 CPUtime=281.35 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 58470 0 0 0 28116 19 0 0 20 0 1 0 237029330 169029632 37106 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 41267 37106 1248 3139 0 37555 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 165068 KiB
Current children cumulated memory: 148424 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.12 4.12 5/252 182865
/proc/meminfo: memFree=99052116/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=158468 memory=141896 CPUtime=341.13 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 60575 0 0 0 34091 22 0 0 20 0 1 0 237029330 162271232 35474 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 39617 35474 1248 3139 0 35905 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 158468 KiB
Current children cumulated memory: 141896 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/252 182866
/proc/meminfo: memFree=98981888/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=191992 memory=175816 CPUtime=400.94 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 63213 0 0 0 40070 24 0 0 20 0 1 0 237029330 196599808 43954 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 47998 43954 1248 3139 0 44286 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 191992 KiB
Current children cumulated memory: 175816 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/251 182868
/proc/meminfo: memFree=98949496/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=179136 memory=162876 CPUtime=460.76 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 65590 0 0 0 46051 25 0 0 20 0 1 0 237029330 183435264 40719 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 44784 40719 1248 3139 0 41072 0
Current children cumulated CPU time: 460.76 s

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

Current children cumulated memory: 278912 KiB

[startup+2922.3 s]
/proc/loadavg: 4.60 4.29 4.21 5/250 183084
/proc/meminfo: memFree=98899532/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=294876 memory=278764 CPUtime=2912.58 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 199384 0 0 0 291012 246 0 0 20 0 1 0 237029330 301953024 69691 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 73719 69691 1248 3139 0 70007 0
Current children cumulated CPU time: 2912.58 s
Current children cumulated vsize: 294876 KiB
Current children cumulated memory: 278764 KiB

[startup+2982.3 s]
/proc/loadavg: 4.25 4.25 4.20 5/250 183085
/proc/meminfo: memFree=98604128/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=309060 memory=292948 CPUtime=2972.37 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 201322 0 0 0 296988 249 0 0 20 0 1 0 237029330 316477440 73237 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 77265 73237 1248 3139 0 73553 0
Current children cumulated CPU time: 2972.37 s
Current children cumulated vsize: 309060 KiB
Current children cumulated memory: 292948 KiB

[startup+3042.3 s]
/proc/loadavg: 4.42 4.31 4.22 5/251 183094
/proc/meminfo: memFree=98531784/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=309540 memory=293428 CPUtime=3032.14 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 202501 0 0 0 302963 251 0 0 20 0 1 0 237029330 316968960 73357 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 77385 73357 1248 3139 0 73673 0
Current children cumulated CPU time: 3032.14 s
Current children cumulated vsize: 309540 KiB
Current children cumulated memory: 293428 KiB

[startup+3102.3 s]
/proc/loadavg: 4.20 4.26 4.21 5/250 183096
/proc/meminfo: memFree=98503364/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=310332 memory=294220 CPUtime=3091.91 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 203502 0 0 0 308937 254 0 0 20 0 1 0 237029330 317779968 73555 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 77583 73555 1248 3139 0 73871 0
Current children cumulated CPU time: 3091.91 s
Current children cumulated vsize: 310332 KiB
Current children cumulated memory: 294220 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.23 4.20 5/251 183099
/proc/meminfo: memFree=98490644/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=311008 memory=294896 CPUtime=3151.69 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 204917 0 0 0 314912 257 0 0 20 0 1 0 237029330 318472192 73724 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 77752 73724 1248 3139 0 74040 0
Current children cumulated CPU time: 3151.69 s
Current children cumulated vsize: 311008 KiB
Current children cumulated memory: 294896 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.20 4.19 5/251 183101
/proc/meminfo: memFree=98516000/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=311308 memory=295196 CPUtime=3211.47 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 205985 0 0 0 320887 260 0 0 20 0 1 0 237029330 318779392 73799 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 77827 73799 1248 3139 0 74115 0
Current children cumulated CPU time: 3211.47 s
Current children cumulated vsize: 311308 KiB
Current children cumulated memory: 295196 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.18 4.18 5/251 183103
/proc/meminfo: memFree=98505268/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=311780 memory=295668 CPUtime=3271.24 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 206901 0 0 0 326863 261 0 0 20 0 1 0 237029330 319262720 73917 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 77945 73917 1248 3139 0 74233 0
Current children cumulated CPU time: 3271.24 s
Current children cumulated vsize: 311780 KiB
Current children cumulated memory: 295668 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.19 4.18 5/250 183105
/proc/meminfo: memFree=98463540/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=312132 memory=296020 CPUtime=3331.01 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 208456 0 0 0 332837 264 0 0 20 0 1 0 237029330 319623168 74005 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 78033 74005 1248 3139 0 74321 0
Current children cumulated CPU time: 3331.01 s
Current children cumulated vsize: 312132 KiB
Current children cumulated memory: 296020 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/250 183107
/proc/meminfo: memFree=98478816/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=312528 memory=296416 CPUtime=3390.79 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 209673 0 0 0 338812 267 0 0 20 0 1 0 237029330 320028672 74104 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 78132 74104 1248 3139 0 74420 0
Current children cumulated CPU time: 3390.79 s
Current children cumulated vsize: 312528 KiB
Current children cumulated memory: 296416 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.17 4.18 5/249 183109
/proc/meminfo: memFree=98489880/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=313020 memory=296908 CPUtime=3450.56 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 211178 0 0 0 344787 269 0 0 20 0 1 0 237029330 320532480 74227 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 78255 74227 1248 3139 0 74543 0
Current children cumulated CPU time: 3450.56 s
Current children cumulated vsize: 313020 KiB
Current children cumulated memory: 296908 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/250 183112
/proc/meminfo: memFree=98482664/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=314700 memory=298588 CPUtime=3510.34 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 212691 0 0 0 350762 272 0 0 20 0 1 0 237029330 322252800 74647 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 78675 74647 1248 3139 0 74963 0
Current children cumulated CPU time: 3510.34 s
Current children cumulated vsize: 314700 KiB
Current children cumulated memory: 298588 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/250 183114
/proc/meminfo: memFree=98480172/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=314932 memory=298820 CPUtime=3570.12 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 213166 0 0 0 356738 274 0 0 20 0 1 0 237029330 322490368 74705 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 78733 74705 1248 3139 0 75021 0
Current children cumulated CPU time: 3570.12 s
Current children cumulated vsize: 314932 KiB
Current children cumulated memory: 298820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/246 183125
/proc/meminfo: memFree=98692220/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=314836 memory=298724 CPUtime=3600 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 214156 0 0 0 359725 275 0 0 20 0 1 0 237029330 322392064 74681 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 78709 74681 1248 3139 0 74997 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 314836 KiB
Current children cumulated memory: 298724 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.25 s, system=2.75995 s

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

[startup+3612.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/246 183125
/proc/meminfo: memFree=98692220/131382116 swapFree=33010684/33010684
[pid=182761] ppid=182758 vsize=314836 memory=298724 CPUtime=3600 cores=5,7
/proc/182761/stat : 182761 (uwrmaxsat-scip) R 182758 182761 182330 0 -1 4194304 214156 0 0 0 359725 275 0 0 20 0 1 0 237029330 322392064 74681 18446744073709551615 4198400 17051741 140729279880560 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 36495360 140729279883576 140729279883746 140729279883746 140729279889350 0
/proc/182761/statm: 78709 74681 1248 3139 0 74997 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 314836 KiB
Current children cumulated memory: 298724 KiB

Child status: 0

Real time (s): 3612.3
CPU time (s): 3600.01
CPU user time (s): 3597.25
CPU system time (s): 2.75995
CPU usage (%): 99.6598
Max. virtual memory (cumulated for all children) (KiB): 399540
Max. memory (cumulated for all children) (KiB): 383352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.25
system time used= 2.75995
maximum resident set size= 383352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214156
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= 37
involuntary context switches= 20402


# summary of solver processes directly reported to runsolver:
#   pid: 182761
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3597.25
#   total CPU system time (s): 2.75995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7011 second user time and 32.9505 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-22 21:44:56
IDJOB=4542050
IDBENCH=163735
IDSOLVER=3373
FILE ID=nodeC011/4542050-1753213496
RUNJOBID= nodeC011-1753209881-182343
SLURM_JOB_ID= 9687771
Free space on /tmp= 432764 MiB

SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.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-4542050-1753213496/watcher-4542050-1753213496 -o /tmp/evaluation-result-4542050-1753213496/solver-4542050-1753213496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753209881-182343 --watchdog 3760  HOME/uwrmaxsat-scip HOME/instance-4542050-1753213496.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000

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

MD5SUM BENCH= 20f5dc2e187fea802b1fd8b2eb35ac07
RANDOM SEED=684873033

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        99347892 kB
MemAvailable:   129670884 kB
Buffers:            3276 kB
Cached:         31092892 kB
SwapCached:            0 kB
Active:           807092 kB
Inactive:       30577192 kB
Active(anon):     312200 kB
Inactive(anon):     2076 kB
Active(file):     494892 kB
Inactive(file): 30575116 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             50080 kB
Writeback:             4 kB
AnonPages:        291292 kB
Mapped:           129364 kB
Shmem:             26152 kB
KReclaimable:     184840 kB
Slab:             278468 kB
SReclaimable:     184840 kB
SUnreclaim:        93628 kB
KernelStack:        4048 kB
PageTables:         3632 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     648984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3968 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432764 MiB
End job on nodeC011 at 2025-07-22 22:45:09