Trace number 4512880

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

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-2.opb
MD5SUM37b3a609918eb30d871bb851627bd55e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.02/3610.00	c Program interrupted by user.
3600.02/3610.00	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: 63665 MiB (48257 MiB free)
  memory of node 1: 64507 MiB (45081 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=26699, runsolver pid=26696
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 4.16 4.10 4.09 5/263 26700
/proc/meminfo: memFree=95573416/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=51048 memory=29780 CPUtime=0.09 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 6714 0 0 0 8 1 0 0 20 0 1 0 36484973 52273152 7445 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 12762 7445 1280 1200 0 11242 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 29780 KiB

[startup+0.205604 s]*
/proc/loadavg: 4.16 4.10 4.09 5/263 26700
/proc/meminfo: memFree=95573416/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=51048 memory=29780 CPUtime=0.2 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 6715 0 0 0 19 1 0 0 20 0 1 0 36484973 52273152 7445 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 12762 7445 1280 1200 0 11242 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51048 KiB
Current children cumulated memory: 29780 KiB

[startup+0.305435 s]*
/proc/loadavg: 4.16 4.10 4.09 5/263 26700
/proc/meminfo: memFree=95572408/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=51372 memory=30036 CPUtime=0.3 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 6795 0 0 0 29 1 0 0 20 0 1 0 36484973 52604928 7509 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 12843 7509 1280 1200 0 11323 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51372 KiB
Current children cumulated memory: 30036 KiB

[startup+0.700183 s]
/proc/loadavg: 4.16 4.10 4.09 5/263 26700
/proc/meminfo: memFree=95572408/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=52428 memory=33132 CPUtime=0.68 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 7063 0 0 0 67 1 0 0 20 0 1 0 36484973 53686272 8283 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 13107 8283 1280 1200 0 11587 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52428 KiB
Current children cumulated memory: 33132 KiB

[startup+1.50018 s]
/proc/loadavg: 4.16 4.10 4.09 5/263 26700
/proc/meminfo: memFree=95570392/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=54344 memory=35180 CPUtime=1.49 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 7553 0 0 0 147 2 0 0 20 0 1 0 36484973 55648256 8795 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 13586 8795 1280 1200 0 12066 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54344 KiB
Current children cumulated memory: 35180 KiB

[startup+3.10559 s]
/proc/loadavg: 4.16 4.10 4.09 5/263 26701
/proc/meminfo: memFree=95552756/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=56404 memory=41336 CPUtime=3.09 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 8067 0 0 0 307 2 0 0 20 0 1 0 36484973 57757696 10334 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 14101 10334 1280 1200 0 12581 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 56404 KiB
Current children cumulated memory: 41336 KiB

[startup+6.30018 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 26701
/proc/meminfo: memFree=95529280/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=58476 memory=43384 CPUtime=6.27 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 8597 0 0 0 624 3 0 0 20 0 1 0 36484973 59879424 10846 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 14619 10846 1280 1200 0 13099 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 58476 KiB
Current children cumulated memory: 43384 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 26701
/proc/meminfo: memFree=95525696/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=60628 memory=49624 CPUtime=12.65 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 9145 0 0 0 1261 4 0 0 20 0 1 0 36484973 62083072 12406 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 15157 12406 1280 1200 0 13637 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 60628 KiB
Current children cumulated memory: 49624 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.11 4.10 5/263 26701
/proc/meminfo: memFree=95488096/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=65012 memory=58176 CPUtime=25.42 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 10254 0 0 0 2535 7 0 0 20 0 1 0 36484973 66572288 14544 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 16253 14544 1280 1200 0 14733 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 65012 KiB
Current children cumulated memory: 58176 KiB

[startup+51.1055 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 26701
/proc/meminfo: memFree=95468756/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=69944 memory=63168 CPUtime=50.95 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 11504 0 0 0 5082 13 0 0 20 0 1 0 36484973 71622656 15792 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 17486 15792 1280 1200 0 15966 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 69944 KiB
Current children cumulated memory: 63168 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 26703
/proc/meminfo: memFree=95427300/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=94264 memory=77624 CPUtime=102 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 14879 0 0 0 10176 24 0 0 20 0 1 0 36484973 96526336 19406 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 23566 19406 1280 1200 0 22046 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 94264 KiB
Current children cumulated memory: 77624 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/263 26706
/proc/meminfo: memFree=95341104/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=101740 memory=87052 CPUtime=161.83 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 16715 0 0 0 16148 35 0 0 20 0 1 0 36484973 104181760 21763 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 25435 21763 1280 1200 0 23915 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 101740 KiB
Current children cumulated memory: 87052 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 26709
/proc/meminfo: memFree=95195464/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=107892 memory=99532 CPUtime=221.65 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 18323 0 0 0 22119 46 0 0 20 0 1 0 36484973 110481408 24883 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 26973 24883 1280 1200 0 25453 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 107892 KiB
Current children cumulated memory: 99532 KiB

[startup+282.3 s]
/proc/loadavg: 4.48 4.20 4.12 5/265 26714
/proc/meminfo: memFree=94979984/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=110920 memory=102604 CPUtime=281.48 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 19109 0 0 0 28092 56 0 0 20 0 1 0 36484973 113582080 25651 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 27730 25651 1280 1200 0 26210 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 110920 KiB
Current children cumulated memory: 102604 KiB

[startup+342.3 s]
/proc/loadavg: 4.27 4.20 4.12 5/265 26716
/proc/meminfo: memFree=94830960/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=116140 memory=107340 CPUtime=341.32 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 20301 0 0 0 34064 68 0 0 20 0 1 0 36484973 118927360 26835 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 29035 26835 1280 1200 0 27515 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 116140 KiB
Current children cumulated memory: 107340 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/265 26718
/proc/meminfo: memFree=94410704/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=119476 memory=110540 CPUtime=401.14 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 21106 0 0 0 40036 78 0 0 20 0 1 0 36484973 122343424 27635 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 29869 27635 1280 1200 0 28349 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 119476 KiB
Current children cumulated memory: 110540 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/264 26720
/proc/meminfo: memFree=93683948/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=123228 memory=113868 CPUtime=460.98 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 21924 0 0 0 46009 89 0 0 20 0 1 0 36484973 126185472 28467 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0

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

Current children cumulated memory: 193712 KiB

[startup+2862.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/266 26939
/proc/meminfo: memFree=129290608/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=213108 memory=196784 CPUtime=2854.36 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 39076 0 0 0 284898 538 0 0 20 0 1 0 36484973 218222592 49196 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 53277 49196 1280 1200 0 51757 0
Current children cumulated CPU time: 2854.36 s
Current children cumulated vsize: 213108 KiB
Current children cumulated memory: 196784 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/264 26942
/proc/meminfo: memFree=129291276/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=215932 memory=199728 CPUtime=2914.21 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 39782 0 0 0 290872 549 0 0 20 0 1 0 36484973 221114368 49932 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 53983 49932 1280 1200 0 52463 0
Current children cumulated CPU time: 2914.21 s
Current children cumulated vsize: 215932 KiB
Current children cumulated memory: 199728 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/264 26949
/proc/meminfo: memFree=129274616/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=216476 memory=200240 CPUtime=2974.03 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 39918 0 0 0 296843 560 0 0 20 0 1 0 36484973 221671424 50060 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 54119 50060 1280 1200 0 52599 0
Current children cumulated CPU time: 2974.03 s
Current children cumulated vsize: 216476 KiB
Current children cumulated memory: 200240 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 26952
/proc/meminfo: memFree=129275760/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=217156 memory=200880 CPUtime=3033.84 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 40088 0 0 0 302809 575 0 0 20 0 1 0 36484973 222367744 50220 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 54289 50220 1280 1200 0 52769 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 217156 KiB
Current children cumulated memory: 200880 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 26999
/proc/meminfo: memFree=129401984/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=217876 memory=201648 CPUtime=3093.65 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 40338 0 0 0 308782 583 0 0 20 0 1 0 36484973 223105024 50412 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 54469 50412 1280 1200 0 52949 0
Current children cumulated CPU time: 3093.65 s
Current children cumulated vsize: 217876 KiB
Current children cumulated memory: 201648 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 27001
/proc/meminfo: memFree=129401048/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=221444 memory=204976 CPUtime=3153.49 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 41204 0 0 0 314754 595 0 0 20 0 1 0 36484973 226758656 51244 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 55361 51244 1280 1200 0 53841 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 221444 KiB
Current children cumulated memory: 204976 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 27003
/proc/meminfo: memFree=129385188/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=223428 memory=206896 CPUtime=3213.34 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 41678 0 0 0 320726 608 0 0 20 0 1 0 36484973 228790272 51724 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 55857 51724 1280 1200 0 54337 0
Current children cumulated CPU time: 3213.34 s
Current children cumulated vsize: 223428 KiB
Current children cumulated memory: 206896 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 27005
/proc/meminfo: memFree=129386248/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=224372 memory=207792 CPUtime=3273.18 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 41914 0 0 0 326700 618 0 0 20 0 1 0 36484973 229756928 51948 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 56093 51948 1280 1200 0 54573 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 224372 KiB
Current children cumulated memory: 207792 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 27010
/proc/meminfo: memFree=129387212/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=224784 memory=208304 CPUtime=3333.02 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 42037 0 0 0 332672 630 0 0 20 0 1 0 36484973 230178816 52076 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 56196 52076 1280 1200 0 54676 0
Current children cumulated CPU time: 3333.02 s
Current children cumulated vsize: 224784 KiB
Current children cumulated memory: 208304 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 27013
/proc/meminfo: memFree=129358668/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=225660 memory=209200 CPUtime=3392.86 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 42268 0 0 0 338642 644 0 0 20 0 1 0 36484973 231075840 52300 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 56415 52300 1280 1200 0 54895 0
Current children cumulated CPU time: 3392.86 s
Current children cumulated vsize: 225660 KiB
Current children cumulated memory: 209200 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 27015
/proc/meminfo: memFree=129342076/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=226988 memory=210480 CPUtime=3452.7 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 42583 0 0 0 344617 653 0 0 20 0 1 0 36484973 232435712 52620 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 56747 52620 1280 1200 0 55227 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 226988 KiB
Current children cumulated memory: 210480 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 27017
/proc/meminfo: memFree=129333848/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=228916 memory=212272 CPUtime=3512.54 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 43046 0 0 0 350591 663 0 0 20 0 1 0 36484973 234409984 53068 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 57229 53068 1280 1200 0 55709 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 228916 KiB
Current children cumulated memory: 212272 KiB

[startup+3582.3 s]
/proc/loadavg: 4.51 4.21 4.13 5/265 27024
/proc/meminfo: memFree=129341848/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=230684 memory=213808 CPUtime=3572.38 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 43418 0 0 0 356563 675 0 0 20 0 1 0 36484973 236220416 53452 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 57671 53452 1280 1200 0 56151 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 230684 KiB
Current children cumulated memory: 213808 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.38 4.21 4.13 5/265 27025
/proc/meminfo: memFree=129335020/131249988 swapFree=33010684/33010684
[pid=26699] ppid=26696 vsize=230684 memory=213808 CPUtime=3600.02 cores=1,3
/proc/26699/stat : 26699 (Exact) R 26696 26699 24582 0 -1 4194304 43418 0 0 0 359321 681 0 0 20 0 1 0 36484973 236220416 53452 18446744073709551615 4198400 9112445 140722571104240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 35942400 140722571110696 140722571110893 140722571110893 140722571116495 0
/proc/26699/statm: 57671 53452 1280 1200 0 56151 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 230684 KiB
Current children cumulated memory: 213808 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.22 s, system=6.81373 s

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

Child status: 0

Real time (s): 3610.01
CPU time (s): 3600.04
CPU user time (s): 3593.22
CPU system time (s): 6.81373
CPU usage (%): 99.7236
Max. virtual memory (cumulated for all children) (KiB): 230684
Max. memory (cumulated for all children) (KiB): 213808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.22
system time used= 6.81373
maximum resident set size= 213808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43421
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= 68
involuntary context switches= 2667


# summary of solver processes directly reported to runsolver:
#   pid: 26699
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3593.22
#   total CPU system time (s): 6.81373

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0109 second user time and 16.0973 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-06-29 16:41:01
IDJOB=4512880
IDBENCH=162196
IDSOLVER=3318
FILE ID=nodeC034/4512880-1751208061
RUNJOBID= nodeC034-1751201446-24594
SLURM_JOB_ID= 9587611
Free space on /tmp= 432980 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round23-2.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-4512880-1751208061/watcher-4512880-1751208061 -o /tmp/evaluation-result-4512880-1751208061/solver-4512880-1751208061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751201446-24594 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1815328415 --ls=0 --inp-dombreaklim=0 HOME/instance-4512880-1751208061.opb

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

MD5SUM BENCH= 37b3a609918eb30d871bb851627bd55e
RANDOM SEED=1815328415

nodeC034 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		: 3599.732
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.53
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		: 3599.753
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.53
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		: 3592.687
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.53
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		: 3630.691
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.53
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.773
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.53
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.765
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.53
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.946
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.53
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		: 3606.255
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        95579468 kB
MemAvailable:   95358220 kB
Buffers:            3280 kB
Cached:           588668 kB
SwapCached:            0 kB
Active:         34617836 kB
Inactive:         367512 kB
Active(anon):   34411548 kB
Inactive(anon):        0 kB
Active(file):     206288 kB
Inactive(file):   367512 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7452 kB
Writeback:             0 kB
AnonPages:      34394776 kB
Mapped:           118608 kB
Shmem:             18104 kB
KReclaimable:      87984 kB
Slab:             173872 kB
SReclaimable:      87984 kB
SUnreclaim:        85888 kB
KernelStack:        4256 kB
PageTables:        75088 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   40221320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15712256 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC034 at 2025-06-29 17:41:11