Trace number 4509258

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
Exact_no_db_no_ls 2025-06-19? (TO) 3600.37 3609.75

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
MD5SUMa7d39c8a0eed618aa14a4423c4fae159
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 benchmark126
Best CPU time to get the best result obtained on this benchmark86.2078
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables175232
Total number of constraints2994
Number of constraints which are clauses1368
Number of constraints which are cardinality constraints (but not clauses)1368
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1369
Number of terms in the objective function 128
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 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 482918
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1101202
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.01/3609.43	c Program interrupted by user.
3600.01/3609.43	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 (50160 MiB free)
  memory of node 1: 64465 MiB (61012 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509258-1751519701/watcher-4509258-1751519701 -o /tmp/evaluation-result-4509258-1751519701/solver-4509258-1751519701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751519701-73725 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1549056749 --ls=0 --inp-dombreaklim=0 HOME/instance-4509258-1751519701.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=73779, runsolver pid=73775

[startup+0.100065 s]*
/proc/loadavg: 0.88 2.27 3.33 5/265 73784
/proc/meminfo: memFree=113504356/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=169988 memory=146552 CPUtime=0.09 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 16089 0 0 0 5 4 0 0 20 0 1 0 67647996 174067712 36638 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 42497 36638 1024 1200 0 40977 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 169988 KiB
Current children cumulated memory: 146552 KiB

[startup+0.205679 s]*
/proc/loadavg: 0.88 2.27 3.33 5/265 73784
/proc/meminfo: memFree=113348992/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=218400 memory=193152 CPUtime=0.19 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 26107 0 0 0 14 5 0 0 20 0 1 0 67647996 223641600 48288 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 54600 48288 1024 1200 0 53080 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 218400 KiB
Current children cumulated memory: 193152 KiB

[startup+0.305744 s]*
/proc/loadavg: 0.88 2.27 3.33 5/265 73784
/proc/meminfo: memFree=113208176/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=276084 memory=243044 CPUtime=0.29 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 35215 0 0 0 22 7 0 0 20 0 1 0 67647996 282710016 60761 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 69021 60761 1024 1200 0 67501 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 276084 KiB
Current children cumulated memory: 243044 KiB

[startup+0.700176 s]
/proc/loadavg: 1.13 2.30 3.33 5/265 73784
/proc/meminfo: memFree=113160296/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=346172 memory=319308 CPUtime=0.68 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 52763 0 0 0 58 10 0 0 20 0 1 0 67647996 354480128 79827 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 86543 79827 1024 1200 0 85023 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 346172 KiB
Current children cumulated memory: 319308 KiB

[startup+1.50017 s]
/proc/loadavg: 1.13 2.30 3.33 5/265 73784
/proc/meminfo: memFree=112845112/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=489448 memory=460492 CPUtime=1.48 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 77010 0 0 0 132 16 0 0 20 0 1 0 67647996 501194752 115123 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 122362 115123 1184 1200 0 120842 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 489448 KiB
Current children cumulated memory: 460492 KiB

[startup+3.10545 s]
/proc/loadavg: 1.13 2.30 3.33 5/265 73784
/proc/meminfo: memFree=112644056/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=499028 memory=478548 CPUtime=3.08 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 78937 0 0 0 291 17 0 0 20 0 1 0 67647996 511004672 119637 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 124757 119637 1248 1200 0 123237 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 499028 KiB
Current children cumulated memory: 478548 KiB

[startup+6.30017 s]
/proc/loadavg: 1.36 2.33 3.34 5/265 73784
/proc/meminfo: memFree=112271836/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=563264 memory=537692 CPUtime=6.27 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 87799 0 0 0 607 20 0 0 20 0 1 0 67647996 576782336 134423 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 140816 134423 1248 1200 0 139296 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 563264 KiB
Current children cumulated memory: 537692 KiB

[startup+12.7002 s]
/proc/loadavg: 1.74 2.39 3.35 5/265 73784
/proc/meminfo: memFree=111557604/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=762080 memory=716004 CPUtime=12.65 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 121888 0 0 0 1236 29 0 0 20 0 1 0 67647996 780369920 179001 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 190520 179001 1248 1200 0 189000 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 762080 KiB
Current children cumulated memory: 716004 KiB

[startup+25.5002 s]
/proc/loadavg: 2.08 2.44 3.36 5/265 73784
/proc/meminfo: memFree=110876684/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=1068320 memory=929704 CPUtime=25.41 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 151665 0 0 0 2500 41 0 0 20 0 1 0 67647996 1093959680 232426 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 267080 232426 1248 1200 0 265560 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1068320 KiB
Current children cumulated memory: 929704 KiB

[startup+51.1056 s]
/proc/loadavg: 2.84 2.59 3.38 5/266 73785
/proc/meminfo: memFree=109474920/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=1642928 memory=1421172 CPUtime=50.96 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 232672 0 0 0 5030 66 0 0 20 0 1 0 67647996 1682358272 355293 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 410732 355293 1248 1200 0 409212 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1642928 KiB
Current children cumulated memory: 1421172 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 2.84 3.43 5/267 73788
/proc/meminfo: memFree=106604424/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=2497116 memory=2261352 CPUtime=102.02 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 347746 0 0 0 10096 106 0 0 20 0 1 0 67647996 2557046784 565338 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 624279 565338 1248 1200 0 622759 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2497116 KiB
Current children cumulated memory: 2261352 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 3.07 3.47 5/266 73790
/proc/meminfo: memFree=105760472/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=2797072 memory=2613680 CPUtime=161.87 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 417121 0 0 0 16061 126 0 0 20 0 1 0 67647996 2864201728 653420 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 699268 653420 1248 1200 0 697748 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2797072 KiB
Current children cumulated memory: 2613680 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 3.26 3.51 5/266 73792
/proc/meminfo: memFree=105216308/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=2954416 memory=2765872 CPUtime=221.71 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 455451 0 0 0 22035 136 0 0 20 0 1 0 67647996 3025321984 691468 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 738604 691468 1248 1200 0 737084 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2954416 KiB
Current children cumulated memory: 2765872 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.43 3.55 5/266 73794
/proc/meminfo: memFree=104676436/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=3106968 memory=2900272 CPUtime=281.56 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 489298 0 0 0 28009 147 0 0 20 0 1 0 67647996 3181535232 725068 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 776742 725068 1248 1200 0 775222 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 3106968 KiB
Current children cumulated memory: 2900272 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 3.53 3.58 5/264 73796
/proc/meminfo: memFree=104018708/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=3273696 memory=3043632 CPUtime=341.41 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 525396 0 0 0 33985 156 0 0 20 0 1 0 67647996 3352264704 760908 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 818424 760908 1248 1200 0 816904 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 3273696 KiB
Current children cumulated memory: 3043632 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.65 3.62 5/262 73798
/proc/meminfo: memFree=103641132/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=3458988 memory=3204912 CPUtime=401.26 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 566137 0 0 0 39961 165 0 0 20 0 1 0 67647996 3542003712 801228 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 864747 801228 1248 1200 0 863227 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 3458988 KiB
Current children cumulated memory: 3204912 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.73 3.66 5/263 73805
/proc/meminfo: memFree=103461344/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=3525072 memory=3263780 CPUtime=461.11 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 580729 0 0 0 45941 170 0 0 20 0 1 0 67647996 3609673728 815945 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0

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

/proc/73779/statm: 2356395 1808305 1280 1200 0 2354875 0
Current children cumulated CPU time: 2914.64 s
Current children cumulated vsize: 9425580 KiB
Current children cumulated memory: 7233220 KiB

[startup+2982.3 s]
/proc/loadavg: 4.47 4.26 4.10 5/264 73938
/proc/meminfo: memFree=91918040/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=9454696 memory=7256260 CPUtime=2974.49 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 1073178 0 0 0 296920 529 0 0 20 0 1 0 67647996 9681608704 1814065 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 2363674 1814065 1280 1200 0 2362154 0
Current children cumulated CPU time: 2974.49 s
Current children cumulated vsize: 9454696 KiB
Current children cumulated memory: 7256260 KiB

[startup+3042.3 s]
/proc/loadavg: 4.23 4.22 4.09 5/264 73940
/proc/meminfo: memFree=91887980/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=9458156 memory=7272004 CPUtime=3034.34 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 1074549 0 0 0 302901 533 0 0 20 0 1 0 67647996 9685151744 1818001 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 2364539 1818001 1280 1200 0 2363019 0
Current children cumulated CPU time: 3034.34 s
Current children cumulated vsize: 9458156 KiB
Current children cumulated memory: 7272004 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.20 4.09 5/263 73942
/proc/meminfo: memFree=91839692/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=9466708 memory=7281348 CPUtime=3094.18 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 1077420 0 0 0 308878 540 0 0 20 0 1 0 67647996 9693908992 1820337 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 2366677 1820337 1280 1200 0 2365157 0
Current children cumulated CPU time: 3094.18 s
Current children cumulated vsize: 9466708 KiB
Current children cumulated memory: 7281348 KiB

[startup+3162.3 s]
/proc/loadavg: 4.79 4.36 4.15 5/263 73945
/proc/meminfo: memFree=91800464/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=9488536 memory=7300292 CPUtime=3154.03 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 1083193 0 0 0 314855 548 0 0 20 0 1 0 67647996 9716260864 1825073 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 2372134 1825073 1280 1200 0 2370614 0
Current children cumulated CPU time: 3154.03 s
Current children cumulated vsize: 9488536 KiB
Current children cumulated memory: 7300292 KiB

[startup+3222.3 s]
/proc/loadavg: 4.34 4.31 4.15 5/263 73947
/proc/meminfo: memFree=91785640/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=9488536 memory=7300420 CPUtime=3213.88 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 1084102 0 0 0 320836 552 0 0 20 0 1 0 67647996 9716260864 1825105 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 2372134 1825105 1280 1200 0 2370614 0
Current children cumulated CPU time: 3213.88 s
Current children cumulated vsize: 9488536 KiB
Current children cumulated memory: 7300420 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.28 4.15 5/263 73949
/proc/meminfo: memFree=91728068/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=9488536 memory=7302212 CPUtime=3273.72 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 1085252 0 0 0 326818 554 0 0 20 0 1 0 67647996 9716260864 1825553 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 2372134 1825553 1280 1200 0 2370614 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 9488536 KiB
Current children cumulated memory: 7302212 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.24 4.14 5/263 73951
/proc/meminfo: memFree=91635648/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=9488536 memory=7310660 CPUtime=3333.58 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 1086477 0 0 0 332800 558 0 0 20 0 1 0 67647996 9716260864 1827665 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 2372134 1827665 1280 1200 0 2370614 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 9488536 KiB
Current children cumulated memory: 7310660 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.21 4.13 5/264 73954
/proc/meminfo: memFree=91585668/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=9488536 memory=7312196 CPUtime=3393.43 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 1087802 0 0 0 338782 561 0 0 20 0 1 0 67647996 9716260864 1828049 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 2372134 1828049 1280 1200 0 2370614 0
Current children cumulated CPU time: 3393.43 s
Current children cumulated vsize: 9488536 KiB
Current children cumulated memory: 7312196 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.20 4.13 5/264 73961
/proc/meminfo: memFree=91549172/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=9488536 memory=7313092 CPUtime=3453.29 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 1089424 0 0 0 344764 565 0 0 20 0 1 0 67647996 9716260864 1828273 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 2372134 1828273 1280 1200 0 2370614 0
Current children cumulated CPU time: 3453.29 s
Current children cumulated vsize: 9488536 KiB
Current children cumulated memory: 7313092 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.18 4.13 5/264 73963
/proc/meminfo: memFree=91438792/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=9495480 memory=7319492 CPUtime=3513.14 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 1092662 0 0 0 350746 568 0 0 20 0 1 0 67647996 9723371520 1829873 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 2373870 1829873 1280 1200 0 2372350 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 9495480 KiB
Current children cumulated memory: 7319492 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.13 5/264 73967
/proc/meminfo: memFree=91434992/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=9511972 memory=7333316 CPUtime=3572.98 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 1097672 0 0 0 356728 570 0 0 20 0 1 0 67647996 9740259328 1833329 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 2377993 1833329 1280 1200 0 2376473 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 9511972 KiB
Current children cumulated memory: 7333316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.10 4.16 4.12 5/264 73968
/proc/meminfo: memFree=91422608/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=9513560 memory=7335236 CPUtime=3600.01 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 1098892 0 0 0 359429 572 0 0 20 0 1 0 67647996 9741885440 1833809 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 2378390 1833809 1280 1200 0 2376870 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 9513560 KiB
Current children cumulated memory: 7335236 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.49 s, system=5.88377 s

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

[startup+3609.6 s]
/proc/loadavg: 4.10 4.16 4.12 5/264 73968
/proc/meminfo: memFree=91422608/131249996 swapFree=33004236/33010684
[pid=73779] ppid=73775 vsize=4742988 memory=4244436 CPUtime=3600.21 cores=4,6
/proc/73779/stat : 73779 (Exact) R 73775 73779 73714 0 -1 4194304 1099055 0 0 0 359448 573 0 0 20 0 1 0 67647996 4856819712 1061109 18446744073709551615 4198400 9112445 140727731960384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 31944704 140727731964200 140727731964397 140727731964397 140727731969999 0
/proc/73779/statm: 1185747 1061109 1280 1200 0 1184227 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 4742988 KiB
Current children cumulated memory: 4244436 KiB

[startup+3609.7 s]*
/proc/loadavg: 4.10 4.16 4.12 5/264 73968
/proc/meminfo: memFree=97874236/131249996 swapFree=33004236/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3609.75
CPU time (s): 3600.37
CPU user time (s): 3594.49
CPU system time (s): 5.88377
CPU usage (%): 99.7402
Max. virtual memory (cumulated for all children) (KiB): 11043976
Max. memory (cumulated for all children) (KiB): 8514188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.49
system time used= 5.88377
maximum resident set size= 8700556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1099064
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= 45
involuntary context switches= 4057


# summary of solver processes directly reported to runsolver:
#   pid: 73779
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3594.49
#   total CPU system time (s): 5.88377

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9375 second user time and 16.834 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-03 07:15:01
IDJOB=4509258
IDBENCH=158606
IDSOLVER=3318
FILE ID=nodeC023/4509258-1751519701
RUNJOBID= nodeC023-1751519701-73725
SLURM_JOB_ID= 9598640
Free space on /tmp= 431840 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509258-1751519701/watcher-4509258-1751519701 -o /tmp/evaluation-result-4509258-1751519701/solver-4509258-1751519701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751519701-73725 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1549056749 --ls=0 --inp-dombreaklim=0 HOME/instance-4509258-1751519701.opb

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

MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=1549056749

nodeC023 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.016
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	: 6999.78
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		: 3601.848
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	: 6999.78
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.924
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	: 6999.78
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		: 3599.888
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	: 6999.78
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.718
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	: 6999.78
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.886
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	: 6999.78
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		: 3599.864
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	: 6999.78
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		: 3599.613
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	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        113910012 kB
MemAvailable:   129674784 kB
Buffers:              16 kB
Cached:         16509320 kB
SwapCached:          596 kB
Active:           284668 kB
Inactive:       16304364 kB
Active(anon):      72640 kB
Inactive(anon):    20456 kB
Active(file):     212028 kB
Inactive(file): 16283908 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33004236 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             46980 kB
Writeback:             0 kB
AnonPages:         82492 kB
Mapped:            98796 kB
Shmem:             13400 kB
KReclaimable:     216152 kB
Slab:             306608 kB
SReclaimable:     216152 kB
SUnreclaim:        90456 kB
KernelStack:        4024 kB
PageTables:         2404 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     343000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431824 MiB
End job on nodeC023 at 2025-07-03 08:15:11