Trace number 4502339

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 2025-06-04? (TO) 3600.16 3611.66

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-544324.opb
MD5SUM8c6c1213a1160c9558cfabfe880ab91b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark17.6804
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10080
Total number of constraints732
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)732
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint168
Maximum length of a constraint3680
Number of terms in the objective function 10080
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 10080
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 10080
Number of bits of the biggest sum of numbers14
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...
3.47/3.56	c Converting 732 PB-constraints to clauses...
3600.09/3611.60	c *** TERMINATED by signal 15 ***
3600.09/3611.60	c _______________________________________________________________________________
3600.09/3611.60	c 
3600.09/3611.60	c _______________________________________________________________________________
3600.09/3611.60	c 
3600.09/3611.60	c =======================[ UWrMaxSat resources usage ]===========================
3600.09/3611.60	c Memory used            : 20428.00 MB
3600.09/3611.60	c CPU time               : 3577.05 s
3600.09/3611.60	c Constr Enc: Srt/BDD/Add: 732 0 0
3600.09/3611.60	c Reused sorter inputs   : 3040 of 1757280 inputs (0.17% in avg) in 732 sorters
3600.09/3611.60	c _______________________________________________________________________________
3600.09/3611.60	c _______________________________________________________________________________
3600.09/3611.60	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 (62577 MiB free)
  memory of node 1: 64465 MiB (63621 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502339-1751423265/watcher-4502339-1751423265 -o /tmp/evaluation-result-4502339-1751423265/solver-4502339-1751423265 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751423262-60731 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4502339-1751423265.opb -mem-lim=31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=60978, runsolver pid=60968

[startup+0.100059 s]*
/proc/loadavg: 0.56 1.06 2.04 5/262 60983
/proc/meminfo: memFree=129204424/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=16228 memory=14892 CPUtime=0.09 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 3524 0 0 0 9 0 0 0 20 0 1 0 57949039 16617472 3723 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 4057 3723 448 484 0 3468 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 16228 KiB
Current children cumulated memory: 14892 KiB

[startup+0.204856 s]*
/proc/loadavg: 0.56 1.06 2.04 4/261 60983
/proc/meminfo: memFree=129204712/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=24424 memory=22828 CPUtime=0.2 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 5533 0 0 0 19 1 0 0 20 0 1 0 57949039 25010176 5707 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 6106 5707 448 484 0 5517 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 24424 KiB
Current children cumulated memory: 22828 KiB

[startup+0.304819 s]*
/proc/loadavg: 0.56 1.06 2.04 4/261 60995
/proc/meminfo: memFree=129204712/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=31788 memory=30124 CPUtime=0.29 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 7361 0 0 0 28 1 0 0 20 0 1 0 57949039 32550912 7531 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 7947 7531 448 484 0 7358 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 31788 KiB
Current children cumulated memory: 30124 KiB

[startup+0.700203 s]
/proc/loadavg: 0.56 1.06 2.04 4/259 61007
/proc/meminfo: memFree=129195360/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=63136 memory=61228 CPUtime=0.68 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 15121 0 0 0 66 2 0 0 20 0 1 0 57949039 64651264 15307 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 15784 15307 448 484 0 15195 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63136 KiB
Current children cumulated memory: 61228 KiB

[startup+1.50015 s]
/proc/loadavg: 0.83 1.11 2.05 5/263 61015
/proc/meminfo: memFree=129101236/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=125812 memory=123180 CPUtime=1.48 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 30620 0 0 0 143 5 0 0 20 0 1 0 57949039 128831488 30795 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 31453 30795 448 484 0 30864 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 125812 KiB
Current children cumulated memory: 123180 KiB

[startup+3.1053 s]
/proc/loadavg: 0.83 1.11 2.05 5/263 61015
/proc/meminfo: memFree=128661788/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=247892 memory=243884 CPUtime=3.08 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 60780 0 0 0 297 11 0 0 20 0 1 0 57949039 253841408 60971 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 61973 60971 448 484 0 61384 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 247892 KiB
Current children cumulated memory: 243884 KiB

[startup+6.30018 s]
/proc/loadavg: 1.09 1.15 2.06 5/263 61015
/proc/meminfo: memFree=127443740/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=865080 memory=783056 CPUtime=6.27 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 110315 0 0 0 600 27 0 0 20 0 1 0 57949039 885841920 195764 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 216270 195764 448 484 0 215681 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 865080 KiB
Current children cumulated memory: 783056 KiB

[startup+12.7002 s]
/proc/loadavg: 1.32 1.20 2.07 5/263 61015
/proc/meminfo: memFree=126715264/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=1344568 memory=1187564 CPUtime=12.64 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 145432 0 0 0 1221 43 0 0 20 0 1 0 57949039 1376837632 296891 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 336142 296891 448 484 0 335553 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1344568 KiB
Current children cumulated memory: 1187564 KiB

[startup+25.5002 s]
/proc/loadavg: 1.73 1.29 2.09 5/263 61015
/proc/meminfo: memFree=126321076/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=1797072 memory=1708012 CPUtime=25.41 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 199413 0 0 0 2481 60 0 0 20 0 1 0 57949039 1840201728 427003 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 449268 427003 448 484 0 448679 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1797072 KiB
Current children cumulated memory: 1708012 KiB

[startup+51.1054 s]
/proc/loadavg: 2.69 1.57 2.16 5/263 61015
/proc/meminfo: memFree=125451980/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=2704788 memory=2581368 CPUtime=50.94 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 253786 0 0 0 5002 92 0 0 20 0 1 0 57949039 2769702912 645342 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 676197 645342 448 484 0 675608 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2704788 KiB
Current children cumulated memory: 2581368 KiB

[startup+102.3 s]
/proc/loadavg: 3.80 2.05 2.30 5/263 61017
/proc/meminfo: memFree=114042516/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=14871888 memory=13805064 CPUtime=101.98 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1422181 0 0 0 9699 499 0 0 20 0 1 0 57949039 15228813312 3451266 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3717972 3451266 448 484 0 3717383 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 14871888 KiB
Current children cumulated memory: 13805064 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 2.43 2.41 5/263 61021
/proc/meminfo: memFree=114143644/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=15010560 memory=13661860 CPUtime=161.78 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1476152 0 0 0 15644 534 0 0 20 0 1 0 57949039 15370813440 3415465 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3752640 3415465 512 484 0 3752051 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 15010560 KiB
Current children cumulated memory: 13661860 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.73 2.52 5/263 61023
/proc/meminfo: memFree=114179452/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=15061472 memory=13712804 CPUtime=221.58 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1490631 0 0 0 21618 540 0 0 20 0 1 0 57949039 15422947328 3428201 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3765368 3428201 512 484 0 3764779 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 15061472 KiB
Current children cumulated memory: 13712804 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.98 2.62 5/263 61026
/proc/meminfo: memFree=114165064/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=15074860 memory=13726116 CPUtime=281.4 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1496795 0 0 0 27597 543 0 0 20 0 1 0 57949039 15436656640 3431529 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3768715 3431529 512 484 0 3768126 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 15074860 KiB
Current children cumulated memory: 13726116 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.18 2.71 5/264 61029
/proc/meminfo: memFree=114154768/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=15082040 memory=13733156 CPUtime=341.22 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1501543 0 0 0 33576 546 0 0 20 0 1 0 57949039 15444008960 3433289 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3770510 3433289 512 484 0 3769921 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 15082040 KiB
Current children cumulated memory: 13733156 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.35 2.80 5/266 61037
/proc/meminfo: memFree=114159860/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=15087488 memory=13738660 CPUtime=401.03 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1505769 0 0 0 39556 547 0 0 20 0 1 0 57949039 15449587712 3434665 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3771872 3434665 512 484 0 3771283 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 15087488 KiB
Current children cumulated memory: 13738660 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.48 2.89 5/266 61039
/proc/meminfo: memFree=114092952/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=15092132 memory=13743268 CPUtime=460.84 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1509956 0 0 0 45534 550 0 0 20 0 1 0 57949039 15454343168 3435817 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3773033 3435817 512 484 0 3772444 0
Current children cumulated CPU time: 460.84 s

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

Current children cumulated memory: 13655380 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.11 4.06 5/263 61166
/proc/meminfo: memFree=111886292/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=15762916 memory=14021596 CPUtime=2853.22 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1780820 0 0 0 283461 1861 0 0 20 0 1 0 57949039 16141225984 3505399 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3940729 3505399 512 484 0 3940140 0
Current children cumulated CPU time: 2853.22 s
Current children cumulated vsize: 15762916 KiB
Current children cumulated memory: 14021596 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/263 61168
/proc/meminfo: memFree=112825040/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=14499032 memory=13062536 CPUtime=2913.03 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1797457 0 0 0 289327 1976 0 0 20 0 1 0 57949039 14847008768 3265634 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3624758 3265634 512 484 0 3624169 0
Current children cumulated CPU time: 2913.03 s
Current children cumulated vsize: 14499032 KiB
Current children cumulated memory: 13062536 KiB

[startup+2982.3 s]
/proc/loadavg: 4.05 4.10 4.06 5/263 61170
/proc/meminfo: memFree=112911044/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=14701072 memory=13004932 CPUtime=2972.84 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1808941 0 0 0 295282 2002 0 0 20 0 1 0 57949039 15053897728 3251233 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3675268 3251233 512 484 0 3674679 0
Current children cumulated CPU time: 2972.84 s
Current children cumulated vsize: 14701072 KiB
Current children cumulated memory: 13004932 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.06 5/263 61172
/proc/meminfo: memFree=112877136/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=14701072 memory=13004932 CPUtime=3032.65 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1812654 0 0 0 301262 2003 0 0 20 0 1 0 57949039 15053897728 3251233 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3675268 3251233 512 484 0 3674679 0
Current children cumulated CPU time: 3032.65 s
Current children cumulated vsize: 14701072 KiB
Current children cumulated memory: 13004932 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/262 61174
/proc/meminfo: memFree=112904648/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=14701072 memory=13004932 CPUtime=3092.45 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1816965 0 0 0 307241 2004 0 0 20 0 1 0 57949039 15053897728 3251233 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3675268 3251233 512 484 0 3674679 0
Current children cumulated CPU time: 3092.45 s
Current children cumulated vsize: 14701072 KiB
Current children cumulated memory: 13004932 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/263 61179
/proc/meminfo: memFree=111597092/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=16030808 memory=14334656 CPUtime=3152.26 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1824517 0 0 0 313155 2071 0 0 20 0 1 0 57949039 16415547392 3583664 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 4007702 3583664 512 484 0 4007113 0
Current children cumulated CPU time: 3152.26 s
Current children cumulated vsize: 16030808 KiB
Current children cumulated memory: 14334656 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.07 5/263 61181
/proc/meminfo: memFree=113100976/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=14696288 memory=13000148 CPUtime=3212.06 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1829340 0 0 0 319119 2087 0 0 20 0 1 0 57949039 15048998912 3250037 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3674072 3250037 512 484 0 3673483 0
Current children cumulated CPU time: 3212.06 s
Current children cumulated vsize: 14696288 KiB
Current children cumulated memory: 13000148 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/264 61184
/proc/meminfo: memFree=113102896/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=14696288 memory=13000148 CPUtime=3271.87 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1832641 0 0 0 325099 2088 0 0 20 0 1 0 57949039 15048998912 3250037 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3674072 3250037 512 484 0 3673483 0
Current children cumulated CPU time: 3271.87 s
Current children cumulated vsize: 14696288 KiB
Current children cumulated memory: 13000148 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/263 61186
/proc/meminfo: memFree=113035452/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=14696288 memory=13000148 CPUtime=3331.67 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1836399 0 0 0 331079 2088 0 0 20 0 1 0 57949039 15048998912 3250037 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3674072 3250037 512 484 0 3673483 0
Current children cumulated CPU time: 3331.67 s
Current children cumulated vsize: 14696288 KiB
Current children cumulated memory: 13000148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.07 5/263 61192
/proc/meminfo: memFree=113046404/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=14696304 memory=13000072 CPUtime=3391.48 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1845441 0 0 0 336978 2170 0 0 20 0 1 0 57949039 15049015296 3250018 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3674076 3250018 512 484 0 3673487 0
Current children cumulated CPU time: 3391.48 s
Current children cumulated vsize: 14696304 KiB
Current children cumulated memory: 13000072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.07 5/264 61195
/proc/meminfo: memFree=112814788/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=14696304 memory=13166064 CPUtime=3451.29 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1853277 0 0 0 342922 2207 0 0 20 0 1 0 57949039 15049015296 3291516 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3674076 3291516 512 484 0 3673487 0
Current children cumulated CPU time: 3451.29 s
Current children cumulated vsize: 14696304 KiB
Current children cumulated memory: 13166064 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.07 5/264 61197
/proc/meminfo: memFree=112790040/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=14696304 memory=13166064 CPUtime=3511.08 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1857890 0 0 0 348900 2208 0 0 20 0 1 0 57949039 15049015296 3291516 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3674076 3291516 512 484 0 3673487 0
Current children cumulated CPU time: 3511.08 s
Current children cumulated vsize: 14696304 KiB
Current children cumulated memory: 13166064 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.07 5/264 61199
/proc/meminfo: memFree=112818480/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=14696304 memory=13165960 CPUtime=3570.88 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1868609 0 0 0 354799 2289 0 0 20 0 1 0 57949039 15049015296 3291490 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3674076 3291490 512 484 0 3673487 0
Current children cumulated CPU time: 3570.88 s
Current children cumulated vsize: 14696304 KiB
Current children cumulated memory: 13165960 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.07 4.08 4.07 4/260 61208
/proc/meminfo: memFree=113003900/131250000 swapFree=33010684/33010684
[pid=60978] ppid=60968 vsize=14696304 memory=13166064 CPUtime=3600.09 cores=4,6
/proc/60978/stat : 60978 (uwrmaxsat) R 60968 60978 60720 0 -1 4194304 1873502 0 0 0 357705 2304 0 0 20 0 1 0 57949039 15049015296 3291516 18446744073709551615 4198400 6176925 140734742414448 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 6553704 6596784 19423232 140734742419818 140734742419945 140734742419945 140734742425547 0
/proc/60978/statm: 3674076 3291516 512 484 0 3673487 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 14696304 KiB
Current children cumulated memory: 13166064 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.05 s, system=23.1076 s

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

Child status: 0

Real time (s): 3611.66
CPU time (s): 3600.16
CPU user time (s): 3577.05
CPU system time (s): 23.1076
CPU usage (%): 99.6815
Max. virtual memory (cumulated for all children) (KiB): 20919128
Max. memory (cumulated for all children) (KiB): 19264452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.05
system time used= 23.1076
maximum resident set size= 19264452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1873502
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= 740
involuntary context switches= 4142


# summary of solver processes directly reported to runsolver:
#   pid: 60978
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3577.05
#   total CPU system time (s): 23.1076

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.43115 second user time and 15.75 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-02 04:27:45
IDJOB=4502339
IDBENCH=155319
IDSOLVER=3372
FILE ID=nodeC028/4502339-1751423265
RUNJOBID= nodeC028-1751423262-60731
SLURM_JOB_ID= 9598354
Free space on /tmp= 432736 MiB

SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-544324.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502339-1751423265/watcher-4502339-1751423265 -o /tmp/evaluation-result-4502339-1751423265/solver-4502339-1751423265 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751423262-60731 --watchdog 3760  HOME/uwrmaxsat HOME/instance-4502339-1751423265.opb -mem-lim=31000

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

MD5SUM BENCH= 8c6c1213a1160c9558cfabfe880ab91b
RANDOM SEED=833798634

nodeC028 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.298
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.16
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.108
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.16
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		: 3600.501
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.152
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.16
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		: 3600.079
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.16
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		: 3602.261
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.16
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		: 3600.099
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.16
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.269
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129229848 kB
MemAvailable:   129598728 kB
Buffers:            3280 kB
Cached:          1174428 kB
SwapCached:            0 kB
Active:           377160 kB
Inactive:         865184 kB
Active(anon):      82704 kB
Inactive(anon):        0 kB
Active(file):     294456 kB
Inactive(file):   865184 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             24764 kB
Writeback:           128 kB
AnonPages:         67792 kB
Mapped:           104076 kB
Shmem:             18068 kB
KReclaimable:      96956 kB
Slab:             183928 kB
SReclaimable:      96956 kB
SUnreclaim:        86972 kB
KernelStack:        4128 kB
PageTables:         2952 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     333752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3712 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432724 MiB
End job on nodeC028 at 2025-07-02 05:27:57