Trace number 4485752

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.18 3609.53

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-d6cube.opb
MD5SUM6022b5aad9039ac1ca82f9921059af7c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables185520
Total number of constraints404
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints404
Minimum length of a constraint30
Maximum length of a constraint185520
Number of terms in the objective function 185520
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 6640019433432
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 193273528320
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 11024119093221
Number of bits of the biggest sum of numbers44
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.05/3609.40	c Program interrupted by user.
3600.05/3609.40	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 (60027 MiB free)
  memory of node 1: 64507 MiB (59367 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485752-1751317865/watcher-4485752-1751317865 -o /tmp/evaluation-result-4485752-1751317865/solver-4485752-1751317865 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751314254-46816 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1779297307 --ls=0 --inp-dombreaklim=0 HOME/instance-4485752-1751317865.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=47166, runsolver pid=47159

[startup+0.100065 s]*
/proc/loadavg: 4.14 4.10 4.09 6/263 47167
/proc/meminfo: memFree=122122376/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=181872 memory=150932 CPUtime=0.09 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 12726 0 0 0 6 3 0 0 20 0 1 0 47464334 186236928 37733 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 45468 37733 992 1200 0 43948 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 181872 KiB
Current children cumulated memory: 150932 KiB

[startup+0.20566 s]*
/proc/loadavg: 4.14 4.10 4.09 5/262 47167
/proc/meminfo: memFree=122037760/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=269740 memory=232552 CPUtime=0.2 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 25518 0 0 0 13 7 0 0 20 0 1 0 47464334 276213760 58138 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 67435 58138 992 1200 0 65915 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 269740 KiB
Current children cumulated memory: 232552 KiB

[startup+0.305626 s]*
/proc/loadavg: 4.14 4.10 4.09 4/262 47176
/proc/meminfo: memFree=122017116/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=292176 memory=258976 CPUtime=0.29 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 32363 0 0 0 21 8 0 0 20 0 1 0 47464334 299188224 64744 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 73044 64744 1024 1200 0 71524 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 292176 KiB
Current children cumulated memory: 258976 KiB

[startup+0.700192 s]
/proc/loadavg: 4.14 4.10 4.09 5/259 47189
/proc/meminfo: memFree=121956676/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=391168 memory=356312 CPUtime=0.68 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 51083 0 0 0 56 12 0 0 20 0 1 0 47464334 400556032 89078 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 97792 89078 1024 1200 0 96272 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 391168 KiB
Current children cumulated memory: 356312 KiB

[startup+1.50018 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 47198
/proc/meminfo: memFree=121839368/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=493388 memory=464400 CPUtime=1.48 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 74010 0 0 0 132 16 0 0 20 0 1 0 47464334 505229312 116100 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 123347 116100 1024 1200 0 121827 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 493388 KiB
Current children cumulated memory: 464400 KiB

[startup+3.10496 s]
/proc/loadavg: 4.13 4.10 4.09 3/259 47259
/proc/meminfo: memFree=127840508/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=648296 memory=632452 CPUtime=3.08 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 98137 0 0 0 284 24 0 0 20 0 1 0 47464334 663855104 158113 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 162074 158113 1248 1200 0 160554 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 648296 KiB
Current children cumulated memory: 632452 KiB

[startup+6.30018 s]
/proc/loadavg: 4.13 4.10 4.09 4/262 47482
/proc/meminfo: memFree=127840208/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=648296 memory=632452 CPUtime=6.26 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 98174 0 0 0 601 25 0 0 20 0 1 0 47464334 663855104 158113 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 162074 158113 1248 1200 0 160554 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 648296 KiB
Current children cumulated memory: 632452 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 47513
/proc/meminfo: memFree=127746344/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=683076 memory=664768 CPUtime=12.65 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 104606 0 0 0 1238 27 0 0 20 0 1 0 47464334 699469824 166192 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 170769 166192 1248 1200 0 169249 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 683076 KiB
Current children cumulated memory: 664768 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 47513
/proc/meminfo: memFree=127554388/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=758228 memory=738680 CPUtime=25.41 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 110403 0 0 0 2512 29 0 0 20 0 1 0 47464334 776425472 184670 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 189557 184670 1248 1200 0 188037 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 758228 KiB
Current children cumulated memory: 738680 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.10 4.09 5/263 47513
/proc/meminfo: memFree=127323632/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=876248 memory=854544 CPUtime=50.94 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 130739 0 0 0 5060 34 0 0 20 0 1 0 47464334 897277952 213636 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 219062 213636 1248 1200 0 217542 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 876248 KiB
Current children cumulated memory: 854544 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 47516
/proc/meminfo: memFree=126950960/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=1122784 memory=1098872 CPUtime=101.99 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 174160 0 0 0 10155 44 0 0 20 0 1 0 47464334 1149730816 274718 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 280696 274718 1248 1200 0 279176 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1122784 KiB
Current children cumulated memory: 1098872 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 47518
/proc/meminfo: memFree=126839204/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=1293056 memory=1178424 CPUtime=161.82 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 187606 0 0 0 16133 49 0 0 20 0 1 0 47464334 1324089344 294606 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 323264 294606 1248 1200 0 321744 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1293056 KiB
Current children cumulated memory: 1178424 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/265 47522
/proc/meminfo: memFree=126270696/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=1899440 memory=1702508 CPUtime=221.66 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 273477 0 0 0 22092 74 0 0 20 0 1 0 47464334 1945026560 425627 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 474860 425627 1248 1200 0 473340 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1899440 KiB
Current children cumulated memory: 1702508 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 47527
/proc/meminfo: memFree=125983372/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=2096208 memory=1926752 CPUtime=281.51 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 309117 0 0 0 28068 83 0 0 20 0 1 0 47464334 2146516992 481688 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 524052 481688 1248 1200 0 522532 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 2096208 KiB
Current children cumulated memory: 1926752 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 47533
/proc/meminfo: memFree=125932072/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=2096340 memory=1926752 CPUtime=341.37 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 309383 0 0 0 34053 84 0 0 20 0 1 0 47464334 2146652160 481688 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 524085 481688 1248 1200 0 522565 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2096340 KiB
Current children cumulated memory: 1926752 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 47535
/proc/meminfo: memFree=125878972/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=2096528 memory=1927008 CPUtime=401.22 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 309707 0 0 0 40038 84 0 0 20 0 1 0 47464334 2146844672 481752 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 524132 481752 1248 1200 0 522612 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 2096528 KiB
Current children cumulated memory: 1927008 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 47537
/proc/meminfo: memFree=125852492/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=2099744 memory=1930208 CPUtime=461.09 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 310741 0 0 0 46024 85 0 0 20 0 1 0 47464334 2150137856 482552 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0

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

Current children cumulated memory: 4225760 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 47674
/proc/meminfo: memFree=123004732/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=4564260 memory=4225760 CPUtime=2914.71 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 638170 0 0 0 291262 209 0 0 20 0 1 0 47464334 4673802240 1056440 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 1141065 1056440 1248 1200 0 1139545 0
Current children cumulated CPU time: 2914.71 s
Current children cumulated vsize: 4564260 KiB
Current children cumulated memory: 4225760 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 47688
/proc/meminfo: memFree=123006836/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=4564260 memory=4225760 CPUtime=2974.56 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 639825 0 0 0 297246 210 0 0 20 0 1 0 47464334 4673802240 1056440 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 1141065 1056440 1248 1200 0 1139545 0
Current children cumulated CPU time: 2974.56 s
Current children cumulated vsize: 4564260 KiB
Current children cumulated memory: 4225760 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 47705
/proc/meminfo: memFree=122998144/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=4572728 memory=4233056 CPUtime=3034.41 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 642980 0 0 0 303231 210 0 0 20 0 1 0 47464334 4682473472 1058264 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 1143182 1058264 1248 1200 0 1141662 0
Current children cumulated CPU time: 3034.41 s
Current children cumulated vsize: 4572728 KiB
Current children cumulated memory: 4233056 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 47707
/proc/meminfo: memFree=122966032/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=4592152 memory=4251104 CPUtime=3094.27 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 649141 0 0 0 309215 212 0 0 20 0 1 0 47464334 4702363648 1062776 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 1148038 1062776 1248 1200 0 1146518 0
Current children cumulated CPU time: 3094.27 s
Current children cumulated vsize: 4592152 KiB
Current children cumulated memory: 4251104 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 47710
/proc/meminfo: memFree=122941848/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=4602668 memory=4260576 CPUtime=3154.13 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 652610 0 0 0 315200 213 0 0 20 0 1 0 47464334 4713132032 1065144 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 1150667 1065144 1248 1200 0 1149147 0
Current children cumulated CPU time: 3154.13 s
Current children cumulated vsize: 4602668 KiB
Current children cumulated memory: 4260576 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 47712
/proc/meminfo: memFree=122909780/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=4606296 memory=4263008 CPUtime=3213.96 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 654507 0 0 0 321183 213 0 0 20 0 1 0 47464334 4716847104 1065752 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 1151574 1065752 1248 1200 0 1150054 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 4606296 KiB
Current children cumulated memory: 4263008 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 47717
/proc/meminfo: memFree=122876824/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=4621276 memory=4272480 CPUtime=3273.8 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 657680 0 0 0 327166 214 0 0 20 0 1 0 47464334 4732186624 1068120 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 1155319 1068120 1248 1200 0 1153799 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 4621276 KiB
Current children cumulated memory: 4272480 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 47723
/proc/meminfo: memFree=122865416/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=4643724 memory=4290528 CPUtime=3333.63 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 664051 0 0 0 333148 215 0 0 20 0 1 0 47464334 4755173376 1072632 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 1160931 1072632 1248 1200 0 1159411 0
Current children cumulated CPU time: 3333.63 s
Current children cumulated vsize: 4643724 KiB
Current children cumulated memory: 4290528 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 47725
/proc/meminfo: memFree=122855732/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=4648816 memory=4296672 CPUtime=3393.49 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 666993 0 0 0 339133 216 0 0 20 0 1 0 47464334 4760387584 1074168 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 1162204 1074168 1248 1200 0 1160684 0
Current children cumulated CPU time: 3393.49 s
Current children cumulated vsize: 4648816 KiB
Current children cumulated memory: 4296672 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 47728
/proc/meminfo: memFree=122855844/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=4648816 memory=4297056 CPUtime=3453.33 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 668713 0 0 0 345117 216 0 0 20 0 1 0 47464334 4760387584 1074264 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 1162204 1074264 1248 1200 0 1160684 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 4648816 KiB
Current children cumulated memory: 4297056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 47730
/proc/meminfo: memFree=122847724/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=4664152 memory=4305632 CPUtime=3513.18 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 672642 0 0 0 351101 217 0 0 20 0 1 0 47464334 4776091648 1076408 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 1166038 1076408 1248 1200 0 1164518 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 4664152 KiB
Current children cumulated memory: 4305632 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 47733
/proc/meminfo: memFree=122832648/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=4689492 memory=4322784 CPUtime=3573.02 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 678105 0 0 0 357084 218 0 0 20 0 1 0 47464334 4802039808 1080696 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 1172373 1080696 1248 1200 0 1170853 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 4689492 KiB
Current children cumulated memory: 4322784 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 47733
/proc/meminfo: memFree=122832664/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=4691216 memory=4324064 CPUtime=3600.05 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 678889 0 0 0 359787 218 0 0 20 0 1 0 47464334 4803805184 1081016 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 1172804 1081016 1248 1200 0 1171284 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4691216 KiB
Current children cumulated memory: 4324064 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.98 s, system=2.20316 s

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

[startup+3609.5 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 47733
/proc/meminfo: memFree=122832664/131250000 swapFree=33010684/33010684
[pid=47166] ppid=47159 vsize=2997612 memory=2951524 CPUtime=3600.15 cores=5,7
/proc/47166/stat : 47166 (Exact) R 47159 47166 46803 0 -1 4194304 679037 0 0 0 359796 219 0 0 20 0 1 0 47464334 3069554688 737881 18446744073709551615 4198400 9112445 140722715536848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 17534976 140722715543848 140722715544045 140722715544045 140722715549647 0
/proc/47166/statm: 749403 737881 1280 1200 0 747883 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 2997612 KiB
Current children cumulated memory: 2951524 KiB

Child status: 0

Real time (s): 3609.53
CPU time (s): 3600.18
CPU user time (s): 3597.98
CPU system time (s): 2.20316
CPU usage (%): 99.7412
Max. virtual memory (cumulated for all children) (KiB): 4691216
Max. memory (cumulated for all children) (KiB): 4324064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.98
system time used= 2.20316
maximum resident set size= 4324320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 679045
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= 47
involuntary context switches= 3219


# summary of solver processes directly reported to runsolver:
#   pid: 47166
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3597.98
#   total CPU system time (s): 2.20316

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27161 second user time and 16.5385 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-06-30 23:11:05
IDJOB=4485752
IDBENCH=146886
IDSOLVER=3318
FILE ID=nodeC018/4485752-1751317865
RUNJOBID= nodeC018-1751314254-46816
SLURM_JOB_ID= 9594326
Free space on /tmp= 432876 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.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-4485752-1751317865/watcher-4485752-1751317865 -o /tmp/evaluation-result-4485752-1751317865/solver-4485752-1751317865 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751314254-46816 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1779297307 --ls=0 --inp-dombreaklim=0 HOME/instance-4485752-1751317865.opb

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

MD5SUM BENCH= 6022b5aad9039ac1ca82f9921059af7c
RANDOM SEED=1779297307

nodeC018 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.835
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.66
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.832
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.66
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		: 3601.076
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.66
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.410
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.434
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.66
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.830
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.66
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.900
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.66
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		: 3516.457
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        122260784 kB
MemAvailable:   123448064 kB
Buffers:            3280 kB
Cached:          1988568 kB
SwapCached:            0 kB
Active:          6619136 kB
Inactive:        1730772 kB
Active(anon):    6376136 kB
Inactive(anon):        0 kB
Active(file):     243000 kB
Inactive(file):  1730772 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25688 kB
Writeback:            60 kB
AnonPages:       6360992 kB
Mapped:           114268 kB
Shmem:             18076 kB
KReclaimable:     105096 kB
Slab:             193192 kB
SReclaimable:     105096 kB
SUnreclaim:        88096 kB
KernelStack:        4188 kB
PageTables:        16276 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7578660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4575232 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432884 MiB
End job on nodeC018 at 2025-07-01 00:11:15