Trace number 4522251

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
ExactPR 2025-06-01? (TO) 3602.03 3611.51

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-ab51-40-100.opb
MD5SUM8fca917194ea3f00cf99a1d77833d022
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-1285215
Best CPU time to get the best result obtained on this benchmark13.3284
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12675
Total number of constraints11890
Number of constraints which are clauses11766
Number of constraints which are cardinality constraints (but not clauses)124
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint1473
Number of terms in the objective function 11734
Biggest coefficient in the objective function 512291
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 500000167
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 512291
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 500000167
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.29/0.34	c 11890 constraints
0.29/0.34	c after presolve  11924
0.39/0.50	c Finish cloning data from SAT to LS
0.39/0.50	c intsize: 29
60.44/60.64	c Use LS-small
60.44/60.64	o 0
60.44/60.64	o -889941
60.44/60.64	o -914413
60.44/60.64	o -918564
60.44/60.64	o -920514
60.44/60.64	o -921826
60.44/60.64	o -1080922
60.44/60.64	o -1135709
60.44/60.64	o -1139831
60.44/60.64	o -1143468
60.44/60.64	o -1154906
60.44/60.64	o -1160657
60.44/60.64	o -1160764
60.44/60.64	o -1165305
60.44/60.64	o -1180983
60.44/60.64	o -1182545
60.44/60.64	o -1186508
60.44/60.64	o -1216528
60.44/60.64	o -1230195
60.44/60.64	o -1236866
60.44/60.64	o -1241379
60.44/60.64	o -1245223
60.44/60.64	o -1245771
60.44/60.64	o -1255796
60.44/60.64	o -1266168
60.44/60.64	o -1266325
60.44/60.64	o -1271973
60.44/60.64	o -1273909
60.44/60.64	o -1277400
60.44/60.64	o -1277736
60.44/60.64	o -1278016
60.44/60.64	o -1278983
60.44/60.64	o -1279913
60.44/60.64	o -1280734
60.44/60.64	o -1281075
60.44/60.64	o -1283323
60.44/60.64	c SAT by LS-small
60.44/60.64	o -1283323

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (60316 MiB free)
  memory of node 1: 64465 MiB (63581 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522251-1751587801/watcher-4522251-1751587801 -o /tmp/evaluation-result-4522251-1751587801/solver-4522251-1751587801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751583916-94774 --watchdog 3760 ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4522251-1751587801.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100065 s]*
/proc/loadavg: 4.16 4.11 4.09 5/265 95392
/proc/meminfo: memFree=126855896/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=76508 memory=35564 CPUtime=0.09 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 8339 0 0 0 8 1 0 0 20 0 1 0 74458829 78344192 8891 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 19127 8891 1760 2271 0 13765 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 76508 KiB
Current children cumulated memory: 35564 KiB

[startup+0.205524 s]*
/proc/loadavg: 4.16 4.11 4.09 5/265 95392
/proc/meminfo: memFree=126840776/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=82664 memory=40044 CPUtime=0.19 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 9417 0 0 0 18 1 0 0 20 0 1 0 74458829 84647936 10011 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 20666 10011 1824 2271 0 15304 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 82664 KiB
Current children cumulated memory: 40044 KiB

[startup+0.305387 s]*
/proc/loadavg: 4.16 4.11 4.09 5/265 95392
/proc/meminfo: memFree=126840776/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=84292 memory=42092 CPUtime=0.29 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 9930 0 0 0 28 1 0 0 20 0 1 0 74458829 86315008 10523 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 21073 10523 1824 2271 0 15711 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 84292 KiB
Current children cumulated memory: 42092 KiB

[startup+0.700183 s]
/proc/loadavg: 4.16 4.11 4.09 5/265 95392
/proc/meminfo: memFree=126768200/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=157488 memory=115180 CPUtime=0.69 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 28175 0 0 0 63 6 0 0 20 0 1 0 74458829 161267712 28795 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 39372 28795 1856 2271 0 34010 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 157488 KiB
Current children cumulated memory: 115180 KiB

[startup+1.50017 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 95392
/proc/meminfo: memFree=126768200/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=157488 memory=115180 CPUtime=1.48 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 28177 0 0 0 140 8 0 0 20 0 1 0 74458829 161267712 28795 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 39372 28795 1856 2271 0 34010 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 157488 KiB
Current children cumulated memory: 115180 KiB

[startup+3.10532 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 95392
/proc/meminfo: memFree=126768452/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=157488 memory=115180 CPUtime=3.08 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 28177 0 0 0 294 14 0 0 20 0 1 0 74458829 161267712 28795 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 39372 28795 1856 2271 0 34010 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 157488 KiB
Current children cumulated memory: 115180 KiB

[startup+6.30016 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 95392
/proc/meminfo: memFree=126768456/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=157488 memory=115180 CPUtime=6.27 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 28177 0 0 0 603 24 0 0 20 0 1 0 74458829 161267712 28795 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 39372 28795 1856 2271 0 34010 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 157488 KiB
Current children cumulated memory: 115180 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 95392
/proc/meminfo: memFree=126752356/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=157488 memory=115180 CPUtime=12.65 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 28178 0 0 0 1216 49 0 0 20 0 1 0 74458829 161267712 28795 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 39372 28795 1856 2271 0 34010 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 157488 KiB
Current children cumulated memory: 115180 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 95393
/proc/meminfo: memFree=126745960/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=157488 memory=115180 CPUtime=25.42 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 28178 0 0 0 2448 94 0 0 20 0 1 0 74458829 161267712 28795 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 39372 28795 1856 2271 0 34010 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 157488 KiB
Current children cumulated memory: 115180 KiB

[startup+51.1053 s]
/proc/loadavg: 4.06 4.09 4.08 5/264 95394
/proc/meminfo: memFree=126736380/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=157488 memory=115180 CPUtime=50.96 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 28178 0 0 0 4894 202 0 0 20 0 1 0 74458829 161267712 28795 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 39372 28795 1856 2271 0 34010 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 157488 KiB
Current children cumulated memory: 115180 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.08 5/264 95396
/proc/meminfo: memFree=125771608/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=1390904 memory=972496 CPUtime=102.02 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 123321 0 0 0 9902 300 0 0 20 0 1 0 74458829 1424285696 243124 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 347726 243124 1888 2271 0 342364 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1390904 KiB
Current children cumulated memory: 972496 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 95398
/proc/meminfo: memFree=125768724/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=1393396 memory=975312 CPUtime=161.86 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 124374 0 0 0 15884 302 0 0 20 0 1 0 74458829 1426837504 243828 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 348349 243828 1888 2271 0 342987 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1393396 KiB
Current children cumulated memory: 975312 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 95401
/proc/meminfo: memFree=125501904/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=1741856 memory=1233728 CPUtime=221.7 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 183728 0 0 0 21848 322 0 0 20 0 1 0 74458829 1783660544 308432 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 435464 308432 1888 2271 0 430102 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 1741856 KiB
Current children cumulated memory: 1233728 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 95403
/proc/meminfo: memFree=125490324/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=1741856 memory=1233856 CPUtime=281.55 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 183761 0 0 0 27827 328 0 0 20 0 1 0 74458829 1783660544 308464 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 435464 308464 1888 2271 0 430102 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 1741856 KiB
Current children cumulated memory: 1233856 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 95408
/proc/meminfo: memFree=125483396/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=1741856 memory=1233856 CPUtime=341.37 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 183951 0 0 0 33807 330 0 0 20 0 1 0 74458829 1783660544 308464 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 435464 308464 1888 2271 0 430102 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 1741856 KiB
Current children cumulated memory: 1233856 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 95410
/proc/meminfo: memFree=125425548/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=1743516 memory=1289148 CPUtime=401.23 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 184656 0 0 0 39784 339 0 0 20 0 1 0 74458829 1785360384 322287 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 435879 322287 1888 2271 0 430517 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 1743516 KiB
Current children cumulated memory: 1289148 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 95416
/proc/meminfo: memFree=125339836/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=1752100 memory=1373876 CPUtime=461.07 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 190657 0 0 0 45759 348 0 0 20 0 1 0 74458829 1794150400 343469 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 438025 343469 1888 2271 0 432663 0
Current children cumulated CPU time: 461.07 s

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

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 95782
/proc/meminfo: memFree=125708432/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=2080260 memory=1900380 CPUtime=3153.95 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 251933 0 0 0 314857 538 0 0 20 0 1 0 74458829 2130186240 475095 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 520065 475095 1888 2271 0 514703 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 2080260 KiB
Current children cumulated memory: 1900380 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 95784
/proc/meminfo: memFree=125700520/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=2080260 memory=1900380 CPUtime=3213.8 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 252103 0 0 0 320841 539 0 0 20 0 1 0 74458829 2130186240 475095 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 520065 475095 1888 2271 0 514703 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 2080260 KiB
Current children cumulated memory: 1900380 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 95786
/proc/meminfo: memFree=125684296/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=2080260 memory=1900380 CPUtime=3273.65 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 252822 0 0 0 326824 541 0 0 20 0 1 0 74458829 2130186240 475095 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 520065 475095 1888 2271 0 514703 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 2080260 KiB
Current children cumulated memory: 1900380 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 95834
/proc/meminfo: memFree=125525784/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=2080260 memory=1900380 CPUtime=3333.49 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 252876 0 0 0 332805 544 0 0 20 0 1 0 74458829 2130186240 475095 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 520065 475095 1888 2271 0 514703 0
Current children cumulated CPU time: 3333.49 s
Current children cumulated vsize: 2080260 KiB
Current children cumulated memory: 1900380 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/266 95839
/proc/meminfo: memFree=123548824/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=2080260 memory=1900380 CPUtime=3393.35 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 252876 0 0 0 338781 554 0 0 20 0 1 0 74458829 2130186240 475095 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 520065 475095 1888 2271 0 514703 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 2080260 KiB
Current children cumulated memory: 1900380 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 95841
/proc/meminfo: memFree=123466008/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=2080260 memory=1900380 CPUtime=3453.2 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 253544 0 0 0 344766 554 0 0 20 0 1 0 74458829 2130186240 475095 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 520065 475095 1888 2271 0 514703 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 2080260 KiB
Current children cumulated memory: 1900380 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 95887
/proc/meminfo: memFree=114139516/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=2080260 memory=1900380 CPUtime=3513.04 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 253601 0 0 0 350750 554 0 0 20 0 1 0 74458829 2130186240 475095 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 520065 475095 1888 2271 0 514703 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 2080260 KiB
Current children cumulated memory: 1900380 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 95894
/proc/meminfo: memFree=114202780/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=2080260 memory=1900380 CPUtime=3572.88 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 253648 0 0 0 356732 556 0 0 20 0 1 0 74458829 2130186240 475095 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 520065 475095 1888 2271 0 514703 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 2080260 KiB
Current children cumulated memory: 1900380 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 95895
/proc/meminfo: memFree=114205328/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=2080260 memory=1900380 CPUtime=3600.02 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 253900 0 0 0 359445 557 0 0 20 0 1 0 74458829 2130186240 475095 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 520065 475095 1888 2271 0 514703 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2080260 KiB
Current children cumulated memory: 1900380 KiB

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

Sending SIGKILL to process tree (bottom up)

[startup+3611.5 s]
# the end of solver process 95391 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3596.45 s, system=5.57658 s

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

[startup+3609.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 95895
/proc/meminfo: memFree=114205328/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=2080260 memory=1900380 CPUtime=3600.12 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 253900 0 0 0 359455 557 0 0 20 0 1 0 74458829 2130186240 475095 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 520065 475095 1888 2271 0 514703 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 2080260 KiB
Current children cumulated memory: 1900380 KiB

[startup+3610.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 95895
/proc/meminfo: memFree=114205328/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=2080260 memory=1900380 CPUtime=3600.92 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 253901 0 0 0 359535 557 0 0 20 0 1 0 74458829 2130186240 475095 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 520065 475095 1888 2271 0 514703 0
Current children cumulated CPU time: 3600.92 s
Current children cumulated vsize: 2080260 KiB
Current children cumulated memory: 1900380 KiB

[startup+3611.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 95895
/proc/meminfo: memFree=114205328/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=2080260 memory=1900380 CPUtime=3601.72 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 253911 0 0 0 359615 557 0 0 20 0 1 0 74458829 2130186240 475095 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 520065 475095 1888 2271 0 514703 0
Current children cumulated CPU time: 3601.72 s
Current children cumulated vsize: 2080260 KiB
Current children cumulated memory: 1900380 KiB

[startup+3611.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 95895
/proc/meminfo: memFree=114205328/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=2080260 memory=1900380 CPUtime=3601.91 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 253913 0 0 0 359634 557 0 0 20 0 1 0 74458829 2130186240 475095 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 520065 475095 1888 2271 0 514703 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 2080260 KiB
Current children cumulated memory: 1900380 KiB

[startup+3611.5 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 95895
/proc/meminfo: memFree=114205328/131249992 swapFree=33010160/33010684
[pid=95391] ppid=95388 vsize=2080260 memory=1900380 CPUtime=3602.01 cores=0,2
/proc/95391/stat : 95391 (ExactPR) R 95388 95391 94760 0 -1 4194304 253913 0 0 0 359644 557 0 0 20 0 1 0 74458829 2130186240 475095 18446744073709551615 93994258468864 93994267768709 140727959421920 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93994269555008 93994269594088 93994294951936 140727959427461 140727959427596 140727959427596 140727959433198 0
/proc/95391/statm: 520065 475095 1888 2271 0 514703 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 2080260 KiB
Current children cumulated memory: 1900380 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.51
CPU time (s): 3602.03
CPU user time (s): 3596.45
CPU system time (s): 5.57658
CPU usage (%): 99.7375
Max. virtual memory (cumulated for all children) (KiB): 2080260
Max. memory (cumulated for all children) (KiB): 1900380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.45
system time used= 5.57658
maximum resident set size= 1900380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253913
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= 299
involuntary context switches= 4716


# summary of solver processes directly reported to runsolver:
#   pid: 95391
#   total CPU time (s): 3602.03
#   total CPU user time (s): 3596.45
#   total CPU system time (s): 5.57658

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72852 second user time and 15.4301 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-04 02:10:01
IDJOB=4522251
IDBENCH=178655
IDSOLVER=3324
FILE ID=nodeC025/4522251-1751587801
RUNJOBID= nodeC025-1751583916-94774
SLURM_JOB_ID= 9598827
Free space on /tmp= 432936 MiB

SOLVER NAME= ExactPR 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-ab51-40-100.opb
COMMAND LINE= ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522251-1751587801/watcher-4522251-1751587801 -o /tmp/evaluation-result-4522251-1751587801/solver-4522251-1751587801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751583916-94774 --watchdog 3760  ./ExactPR --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4522251-1751587801.opb

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

MD5SUM BENCH= 8fca917194ea3f00cf99a1d77833d022
RANDOM SEED=1772829958

nodeC025 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.855
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.67
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.839
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.67
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		: 3564.825
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.67
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		: 3768.969
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.67
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.801
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.67
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.826
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.67
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		: 3700.000
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.67
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.342
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126872012 kB
MemAvailable:   127519008 kB
Buffers:            2128 kB
Cached:          1437552 kB
SwapCached:          200 kB
Active:          2567524 kB
Inactive:        1190784 kB
Active(anon):    2314924 kB
Inactive(anon):    21560 kB
Active(file):     252600 kB
Inactive(file):  1169224 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12968 kB
Writeback:             0 kB
AnonPages:       2321460 kB
Mapped:           114116 kB
Shmem:             17856 kB
KReclaimable:     128820 kB
Slab:             217992 kB
SReclaimable:     128820 kB
SUnreclaim:        89172 kB
KernelStack:        4288 kB
PageTables:         7868 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    3063936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1939456 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432868 MiB
End job on nodeC025 at 2025-07-04 03:10:12