Trace number 4515292

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.12 3610.63

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
MD5SUMc2f3e0c6154609bf2d3178c0d208b6f5
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 variables31248
Total number of constraints354
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints177
Minimum length of a constraint168
Maximum length of a constraint343
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 1050
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 27454
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.07/3610.60	c Program interrupted by user.
3600.07/3610.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: 63665 MiB (59742 MiB free)
  memory of node 1: 64507 MiB (63888 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=29394, runsolver pid=29391

[startup+0.100067 s]*
/proc/loadavg: 4.12 4.10 4.01 5/263 29395
/proc/meminfo: memFree=126552640/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=80368 memory=57092 CPUtime=0.09 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 13659 0 0 0 7 2 0 0 20 0 1 0 38707447 82296832 14273 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 20092 14273 1024 1200 0 18572 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 80368 KiB
Current children cumulated memory: 57092 KiB

[startup+0.205613 s]*
/proc/loadavg: 4.12 4.10 4.01 5/263 29395
/proc/meminfo: memFree=126532984/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=104472 memory=82196 CPUtime=0.19 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 20258 0 0 0 16 3 0 0 20 0 1 0 38707447 106979328 20549 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 26118 20549 1184 1200 0 24598 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 104472 KiB
Current children cumulated memory: 82196 KiB

[startup+0.305473 s]*
/proc/loadavg: 4.12 4.10 4.01 5/263 29395
/proc/meminfo: memFree=126528952/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=107792 memory=85012 CPUtime=0.3 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 20966 0 0 0 26 4 0 0 20 0 1 0 38707447 110379008 21253 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 26948 21253 1184 1200 0 25428 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107792 KiB
Current children cumulated memory: 85012 KiB

[startup+0.700167 s]
/proc/loadavg: 4.12 4.10 4.01 5/263 29395
/proc/meminfo: memFree=126520728/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=111380 memory=91672 CPUtime=0.69 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 22037 0 0 0 65 4 0 0 20 0 1 0 38707447 114053120 22918 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 27845 22918 1248 1200 0 26325 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 111380 KiB
Current children cumulated memory: 91672 KiB

[startup+1.50018 s]
/proc/loadavg: 4.12 4.10 4.01 5/263 29395
/proc/meminfo: memFree=126516632/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=115768 memory=102392 CPUtime=1.48 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 23195 0 0 0 144 4 0 0 20 0 1 0 38707447 118546432 25598 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 28942 25598 1248 1200 0 27422 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115768 KiB
Current children cumulated memory: 102392 KiB

[startup+3.1053 s]
/proc/loadavg: 4.12 4.10 4.01 5/263 29395
/proc/meminfo: memFree=126484184/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=143064 memory=130316 CPUtime=3.09 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 27344 0 0 0 303 6 0 0 20 0 1 0 38707447 146497536 32579 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 35766 32579 1248 1200 0 34246 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 143064 KiB
Current children cumulated memory: 130316 KiB

[startup+6.30013 s]
/proc/loadavg: 4.11 4.09 4.01 5/263 29395
/proc/meminfo: memFree=126439904/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=176124 memory=158744 CPUtime=6.27 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 30271 0 0 0 620 7 0 0 20 0 1 0 38707447 180350976 39686 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 44031 39686 1248 1200 0 42511 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 176124 KiB
Current children cumulated memory: 158744 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.01 5/263 29395
/proc/meminfo: memFree=126372856/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=268408 memory=235748 CPUtime=12.66 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 43327 0 0 0 1255 11 0 0 20 0 1 0 38707447 274849792 58937 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 67102 58937 1248 1200 0 65582 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 268408 KiB
Current children cumulated memory: 235748 KiB

[startup+25.5002 s]
/proc/loadavg: 4.30 4.14 4.03 5/265 29399
/proc/meminfo: memFree=126316632/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=300964 memory=276128 CPUtime=25.42 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 50886 0 0 0 2529 13 0 0 20 0 1 0 38707447 308187136 69032 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 75241 69032 1248 1200 0 73721 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 300964 KiB
Current children cumulated memory: 276128 KiB

[startup+51.1054 s]
/proc/loadavg: 4.39 4.17 4.04 5/265 29399
/proc/meminfo: memFree=126091852/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=580640 memory=455204 CPUtime=50.95 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 71279 0 0 0 5069 26 0 0 20 0 1 0 38707447 594575360 113801 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 145160 113801 1248 1200 0 143640 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 580640 KiB
Current children cumulated memory: 455204 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.16 4.04 5/264 29401
/proc/meminfo: memFree=125805152/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=816544 memory=778136 CPUtime=102 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 126876 0 0 0 10160 40 0 0 20 0 1 0 38707447 836141056 194534 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 204136 194534 1248 1200 0 202616 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 816544 KiB
Current children cumulated memory: 778136 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.04 5/264 29403
/proc/meminfo: memFree=125696996/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=942416 memory=899736 CPUtime=161.85 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 154906 0 0 0 16138 47 0 0 20 0 1 0 38707447 965033984 224934 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 235604 224934 1248 1200 0 234084 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 942416 KiB
Current children cumulated memory: 899736 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.04 5/264 29405
/proc/meminfo: memFree=125607916/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=1031168 memory=979352 CPUtime=221.69 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 172979 0 0 0 22116 53 0 0 20 0 1 0 38707447 1055916032 244838 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 257792 244838 1248 1200 0 256272 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1031168 KiB
Current children cumulated memory: 979352 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.04 5/265 29410
/proc/meminfo: memFree=125555744/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=1077576 memory=1018904 CPUtime=281.53 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 182329 0 0 0 28094 59 0 0 20 0 1 0 38707447 1103437824 254726 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 269394 254726 1248 1200 0 267874 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 1077576 KiB
Current children cumulated memory: 1018904 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.04 5/265 29412
/proc/meminfo: memFree=125520016/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=1125316 memory=1064856 CPUtime=341.38 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 192967 0 0 0 34074 64 0 0 20 0 1 0 38707447 1152323584 266214 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 281329 266214 1248 1200 0 279809 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 1125316 KiB
Current children cumulated memory: 1064856 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.10 4.04 5/264 29417
/proc/meminfo: memFree=125473804/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=1156356 memory=1099928 CPUtime=401.22 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 200463 0 0 0 40054 68 0 0 20 0 1 0 38707447 1184108544 274982 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 289089 274982 1248 1200 0 287569 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 1156356 KiB
Current children cumulated memory: 1099928 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.04 5/264 29421
/proc/meminfo: memFree=125450848/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=1164656 memory=1136792 CPUtime=461.06 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 202279 0 0 0 46033 73 0 0 20 0 1 0 38707447 1192607744 284198 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 291164 284198 1248 1200 0 289644 0

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

Current children cumulated memory: 2266620 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/264 29958
/proc/meminfo: memFree=122422940/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=2351804 memory=2270460 CPUtime=2854.14 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 346526 0 0 0 285159 255 0 0 20 0 1 0 38707447 2408247296 567615 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 587951 567615 1248 1200 0 586431 0
Current children cumulated CPU time: 2854.14 s
Current children cumulated vsize: 2351804 KiB
Current children cumulated memory: 2270460 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 29962
/proc/meminfo: memFree=122402508/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=2355792 memory=2273916 CPUtime=2913.95 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 348336 0 0 0 291136 259 0 0 20 0 1 0 38707447 2412331008 568479 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 588948 568479 1248 1200 0 587428 0
Current children cumulated CPU time: 2913.95 s
Current children cumulated vsize: 2355792 KiB
Current children cumulated memory: 2273916 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 29964
/proc/meminfo: memFree=122369644/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=2367984 memory=2283900 CPUtime=2973.77 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 351693 0 0 0 297114 263 0 0 20 0 1 0 38707447 2424815616 570975 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 591996 570975 1248 1200 0 590476 0
Current children cumulated CPU time: 2973.77 s
Current children cumulated vsize: 2367984 KiB
Current children cumulated memory: 2283900 KiB

[startup+3042.3 s]
/proc/loadavg: 4.45 4.19 4.12 5/264 29966
/proc/meminfo: memFree=122290048/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=2376244 memory=2291452 CPUtime=3033.58 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 354267 0 0 0 303090 268 0 0 20 0 1 0 38707447 2433273856 572863 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 594061 572863 1248 1200 0 592541 0
Current children cumulated CPU time: 3033.58 s
Current children cumulated vsize: 2376244 KiB
Current children cumulated memory: 2291452 KiB

[startup+3102.3 s]
/proc/loadavg: 4.28 4.19 4.12 5/263 29968
/proc/meminfo: memFree=122239560/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=2395432 memory=2309244 CPUtime=3093.39 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 359107 0 0 0 309069 270 0 0 20 0 1 0 38707447 2452922368 577311 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 598858 577311 1248 1200 0 597338 0
Current children cumulated CPU time: 3093.39 s
Current children cumulated vsize: 2395432 KiB
Current children cumulated memory: 2309244 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/263 29970
/proc/meminfo: memFree=122185508/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=2405496 memory=2317692 CPUtime=3153.19 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 361788 0 0 0 315045 274 0 0 20 0 1 0 38707447 2463227904 579423 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 601374 579423 1248 1200 0 599854 0
Current children cumulated CPU time: 3153.19 s
Current children cumulated vsize: 2405496 KiB
Current children cumulated memory: 2317692 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/263 29973
/proc/meminfo: memFree=122099436/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=2423020 memory=2333308 CPUtime=3213 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 366355 0 0 0 321024 276 0 0 20 0 1 0 38707447 2481172480 583327 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 605755 583327 1248 1200 0 604235 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 2423020 KiB
Current children cumulated memory: 2333308 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/264 29978
/proc/meminfo: memFree=122066124/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=2428868 memory=2338428 CPUtime=3272.82 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 368375 0 0 0 327001 281 0 0 20 0 1 0 38707447 2487160832 584607 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 607217 584607 1248 1200 0 605697 0
Current children cumulated CPU time: 3272.82 s
Current children cumulated vsize: 2428868 KiB
Current children cumulated memory: 2338428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/264 29980
/proc/meminfo: memFree=122023540/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=2434460 memory=2342908 CPUtime=3332.62 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 370274 0 0 0 332977 285 0 0 20 0 1 0 38707447 2492887040 585727 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 608615 585727 1248 1200 0 607095 0
Current children cumulated CPU time: 3332.62 s
Current children cumulated vsize: 2434460 KiB
Current children cumulated memory: 2342908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 29983
/proc/meminfo: memFree=121993596/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=2441304 memory=2348924 CPUtime=3392.43 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 372498 0 0 0 338953 290 0 0 20 0 1 0 38707447 2499895296 587231 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 610326 587231 1248 1200 0 608806 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 2441304 KiB
Current children cumulated memory: 2348924 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/265 29986
/proc/meminfo: memFree=121940024/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=2448220 memory=2355196 CPUtime=3452.24 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 374616 0 0 0 344929 295 0 0 20 0 1 0 38707447 2506977280 588799 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 612055 588799 1248 1200 0 610535 0
Current children cumulated CPU time: 3452.24 s
Current children cumulated vsize: 2448220 KiB
Current children cumulated memory: 2355196 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/265 29990
/proc/meminfo: memFree=121815444/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=2455112 memory=2361084 CPUtime=3512.05 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 376692 0 0 0 350906 299 0 0 20 0 1 0 38707447 2514034688 590271 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 613778 590271 1248 1200 0 612258 0
Current children cumulated CPU time: 3512.05 s
Current children cumulated vsize: 2455112 KiB
Current children cumulated memory: 2361084 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 29992
/proc/meminfo: memFree=121778108/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=2461024 memory=2365308 CPUtime=3571.86 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 378505 0 0 0 356884 302 0 0 20 0 1 0 38707447 2520088576 591327 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 615256 591327 1248 1200 0 613736 0
Current children cumulated CPU time: 3571.86 s
Current children cumulated vsize: 2461024 KiB
Current children cumulated memory: 2365308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 29994
/proc/meminfo: memFree=121768656/131250000 swapFree=33010684/33010684
[pid=29394] ppid=29391 vsize=2461024 memory=2365308 CPUtime=3600.07 cores=5,7
/proc/29394/stat : 29394 (Exact) R 29391 29394 28498 0 -1 4194304 379035 0 0 0 359702 305 0 0 20 0 1 0 38707447 2520088576 591327 18446744073709551615 4198400 9112445 140735709928224 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 23605248 140735709935912 140735709936109 140735709936109 140735709941711 0
/proc/29394/statm: 615256 591327 1248 1200 0 613736 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2461024 KiB
Current children cumulated memory: 2365308 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.04 s, system=3.07451 s

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

Child status: 0

Real time (s): 3610.63
CPU time (s): 3600.12
CPU user time (s): 3597.04
CPU system time (s): 3.07451
CPU usage (%): 99.7088
Max. virtual memory (cumulated for all children) (KiB): 2595944
Max. memory (cumulated for all children) (KiB): 2365308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.04
system time used= 3.07451
maximum resident set size= 2365436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379048
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= 114
involuntary context switches= 4801


# summary of solver processes directly reported to runsolver:
#   pid: 29394
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3597.04
#   total CPU system time (s): 3.07451

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84961 second user time and 15.4229 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-06-29 22:51:16
IDJOB=4515292
IDBENCH=164400
IDSOLVER=3318
FILE ID=nodeC027/4515292-1751230276
RUNJOBID= nodeC027-1751227908-28511
SLURM_JOB_ID= 9587688
Free space on /tmp= 433040 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-952987.0.d.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-4515292-1751230276/watcher-4515292-1751230276 -o /tmp/evaluation-result-4515292-1751230276/solver-4515292-1751230276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751227908-28511 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1155635598 --ls=0 --inp-dombreaklim=0 HOME/instance-4515292-1751230276.opb

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

MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=1155635598

nodeC027 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.630
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.29
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.629
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.29
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.088
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.29
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		: 3586.697
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.29
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.635
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.29
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		: 3578.610
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.29
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		: 3739.282
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.29
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.637
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        126599488 kB
MemAvailable:   127008340 kB
Buffers:            3280 kB
Cached:          1212836 kB
SwapCached:            0 kB
Active:          3036180 kB
Inactive:         956236 kB
Active(anon):    2794368 kB
Inactive(anon):        0 kB
Active(file):     241812 kB
Inactive(file):   956236 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7868 kB
Writeback:            24 kB
AnonPages:       2779440 kB
Mapped:           118420 kB
Shmem:             18068 kB
KReclaimable:      99684 kB
Slab:             185424 kB
SReclaimable:      99684 kB
SUnreclaim:        85740 kB
KernelStack:        4336 kB
PageTables:         8660 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    3278324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2553856 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433020 MiB
End job on nodeC027 at 2025-06-29 23:51:26