Trace number 4502525

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
WMaxCDCL-SCIP 2025-06-21? 267.15 267.983

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z9-s14.opb
MD5SUM72ec871846abb3454e8801b7da208130
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-23764
Best CPU time to get the best result obtained on this benchmark1549.43
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4356
Total number of constraints100680
Number of constraints which are clauses100672
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint4355
Number of terms in the objective function 4313
Biggest coefficient in the objective function 428
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 469022
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1562976
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 10650988
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.05	c Presolving by SCIP...
0.00/0.07	c Encoding OPB into MaxSAT...
0.00/0.08	c This is the PBCProcessor based on SCIP solver.
0.01/198.54	c Solving by WMaxCDCL...
197.89/267.84	c Rebuilding OPB solution...
197.89/267.84	c This is the PBCProcessor based on SCIP solver.
197.89/267.84	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: 63837 MiB (62204 MiB free)
  memory of node 1: 64465 MiB (63538 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502525-1751421511/watcher-4502525-1751421511 -o /tmp/evaluation-result-4502525-1751421511/solver-4502525-1751421511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751421510-57829 --watchdog 3760 HOME/opbsolver HOME/instance-4502525-1751421511.opb 3600 31000 HOME HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=57882, runsolver pid=57870

[startup+0.100101 s]*
/proc/loadavg: 0.77 1.70 1.95 7/255 57902
/proc/meminfo: memFree=128716324/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 349 672 0 0 0 0 0 1 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=57902] ppid=57882 vsize=20800 memory=4480 CPUtime=0.03 cores=4,6
/proc/57902/stat : 57902 (pbcpreprocessor) R 57882 57882 57000 0 -1 4194304 560 0 0 0 3 0 0 0 20 0 1 0 57829786 21299200 1120 18446744073709551615 4198400 15773533 140720999638160 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 44507136 140720999643312 140720999643614 140720999643614 140720999649221 0
/proc/57902/statm: 5200 1120 640 2826 0 1812 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 24992 KiB
Current children cumulated memory: 7424 KiB

[startup+0.214436 s]*
/proc/loadavg: 0.77 1.70 1.95 7/255 57902
/proc/meminfo: memFree=128675764/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 349 672 0 0 0 0 0 1 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=57902] ppid=57882 vsize=30012 memory=13240 CPUtime=0.13 cores=4,6
/proc/57902/stat : 57902 (pbcpreprocessor) R 57882 57882 57000 0 -1 4194304 2983 0 0 0 13 0 0 0 20 0 1 0 57829786 30732288 3310 18446744073709551615 4198400 15773533 140720999638160 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 44507136 140720999643312 140720999643614 140720999643614 140720999649221 0
/proc/57902/statm: 7503 3310 640 2826 0 4115 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 34204 KiB
Current children cumulated memory: 16184 KiB

[startup+0.31441 s]*
/proc/loadavg: 0.77 1.70 1.95 7/255 57902
/proc/meminfo: memFree=128667952/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 349 672 0 0 0 0 0 1 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=57902] ppid=57882 vsize=38036 memory=21432 CPUtime=0.23 cores=4,6
/proc/57902/stat : 57902 (pbcpreprocessor) R 57882 57882 57000 0 -1 4194304 4991 0 0 0 22 1 0 0 20 0 1 0 57829786 38948864 5358 18446744073709551615 4198400 15773533 140720999638160 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 44507136 140720999643312 140720999643614 140720999643614 140720999649221 0
/proc/57902/statm: 9509 5358 704 2826 0 6121 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 42228 KiB
Current children cumulated memory: 24376 KiB

[startup+0.700373 s]
/proc/loadavg: 0.77 1.70 1.95 7/255 57902
/proc/meminfo: memFree=128644012/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 349 672 0 0 0 0 0 1 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=57902] ppid=57882 vsize=57044 memory=40632 CPUtime=0.6 cores=4,6
/proc/57902/stat : 57902 (pbcpreprocessor) R 57882 57882 57000 0 -1 4194304 9763 0 0 0 57 3 0 0 20 0 1 0 57829786 58413056 10158 18446744073709551615 4198400 15773533 140720999638160 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 44507136 140720999643312 140720999643614 140720999643614 140720999649221 0
/proc/57902/statm: 14261 10158 704 2826 0 10873 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 61236 KiB
Current children cumulated memory: 43576 KiB

[startup+1.50031 s]
/proc/loadavg: 0.77 1.70 1.95 7/255 57902
/proc/meminfo: memFree=128607724/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 349 672 0 0 0 0 0 1 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=57902] ppid=57882 vsize=92420 memory=75960 CPUtime=1.4 cores=4,6
/proc/57902/stat : 57902 (pbcpreprocessor) R 57882 57882 57000 0 -1 4194304 18610 0 0 0 133 7 0 0 20 0 1 0 57829786 94638080 18990 18446744073709551615 4198400 15773533 140720999638160 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 44507136 140720999643312 140720999643614 140720999643614 140720999649221 0
/proc/57902/statm: 23105 18990 704 2826 0 19717 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 96612 KiB
Current children cumulated memory: 78904 KiB

[startup+3.11371 s]
/proc/loadavg: 1.02 1.73 1.96 7/255 57902
/proc/meminfo: memFree=128323636/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 349 672 0 0 0 0 0 1 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=57902] ppid=57882 vsize=339104 memory=322348 CPUtime=3.01 cores=4,6
/proc/57902/stat : 57902 (pbcpreprocessor) R 57882 57882 57000 0 -1 4194304 92315 0 0 0 282 19 0 0 20 0 1 0 57829786 347242496 80587 18446744073709551615 4198400 15773533 140720999638160 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 44507136 140720999643312 140720999643614 140720999643614 140720999649221 0
/proc/57902/statm: 84776 80587 704 2826 0 81388 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 343296 KiB
Current children cumulated memory: 325292 KiB

[startup+6.3003 s]
/proc/loadavg: 1.02 1.73 1.96 7/255 57902
/proc/meminfo: memFree=127293264/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 349 672 0 0 0 0 0 1 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=57902] ppid=57882 vsize=1364596 memory=1302908 CPUtime=6.18 cores=4,6
/proc/57902/stat : 57902 (pbcpreprocessor) R 57882 57882 57000 0 -1 4194304 284476 0 0 0 561 57 0 0 20 0 1 0 57829786 1397346304 325727 18446744073709551615 4198400 15773533 140720999638160 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 44507136 140720999643312 140720999643614 140720999643614 140720999649221 0
/proc/57902/statm: 341149 325727 704 2826 0 337761 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 1368788 KiB
Current children cumulated memory: 1305852 KiB

[startup+12.7003 s]
/proc/loadavg: 1.26 1.77 1.97 7/255 57902
/proc/meminfo: memFree=126157076/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 349 672 0 0 0 0 0 1 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=57902] ppid=57882 vsize=2528696 memory=2124896 CPUtime=12.56 cores=4,6
/proc/57902/stat : 57902 (pbcpreprocessor) R 57882 57882 57000 0 -1 4194304 405582 0 0 0 1153 103 0 0 20 0 1 0 57829786 2589384704 531224 18446744073709551615 4198400 15773533 140720999638160 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 44507136 140720999643312 140720999643614 140720999643614 140720999649221 0
/proc/57902/statm: 632174 531224 704 2826 0 628786 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 2532888 KiB
Current children cumulated memory: 2127840 KiB

[startup+25.5003 s]
/proc/loadavg: 1.94 1.90 2.01 7/255 57902
/proc/meminfo: memFree=125032996/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 349 672 0 0 0 0 0 1 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=57902] ppid=57882 vsize=3581816 memory=2960744 CPUtime=25.32 cores=4,6
/proc/57902/stat : 57902 (pbcpreprocessor) R 57882 57882 57000 0 -1 4194304 539552 0 0 0 2390 142 0 0 20 0 1 0 57829786 3667779584 740186 18446744073709551615 4198400 15773533 140720999638160 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 44507136 140720999643312 140720999643614 140720999643614 140720999649221 0
/proc/57902/statm: 895454 740186 704 2826 0 892066 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 3586008 KiB
Current children cumulated memory: 2963688 KiB

[startup+51.1135 s]
/proc/loadavg: 2.65 2.07 2.07 7/255 57902
/proc/meminfo: memFree=122813368/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 349 672 0 0 0 0 0 1 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=57902] ppid=57882 vsize=6747764 memory=5520536 CPUtime=50.85 cores=4,6
/proc/57902/stat : 57902 (pbcpreprocessor) R 57882 57882 57000 0 -1 4194304 808906 0 0 0 4868 217 0 0 20 0 1 0 57829786 6909710336 1380134 18446744073709551615 4198400 15773533 140720999638160 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 44507136 140720999643312 140720999643614 140720999643614 140720999649221 0
/proc/57902/statm: 1686941 1380134 704 2826 0 1683553 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 6751956 KiB
Current children cumulated memory: 5523480 KiB

[startup+102.3 s]
/proc/loadavg: 3.46 2.38 2.18 7/255 57904
/proc/meminfo: memFree=118449172/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 349 672 0 0 0 0 0 1 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=57902] ppid=57882 vsize=12001084 memory=9725248 CPUtime=101.87 cores=4,6
/proc/57902/stat : 57902 (pbcpreprocessor) R 57882 57882 57000 0 -1 4194304 1338918 0 0 0 9828 359 0 0 20 0 1 0 57829786 12289110016 2431312 18446744073709551615 4198400 15773533 140720999638160 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 44507136 140720999643312 140720999643614 140720999643614 140720999649221 0
/proc/57902/statm: 3000271 2431312 704 2826 0 2996883 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 12005276 KiB
Current children cumulated memory: 9728192 KiB

[startup+162.3 s]
/proc/loadavg: 3.42 2.57 2.26 6/249 57956
/proc/meminfo: memFree=118693056/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 349 672 0 0 0 0 0 1 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=57902] ppid=57882 vsize=9904568 memory=7960676 CPUtime=161.71 cores=4,6
/proc/57902/stat : 57902 (pbcpreprocessor) R 57882 57882 57000 0 -1 4194304 1339581 0 0 0 13227 2944 0 0 20 0 1 0 57829786 10142277632 1990169 18446744073709551615 4198400 15773533 140720999638160 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 44507136 140720999643312 140720999643614 140720999643614 140720999649221 0
/proc/57902/statm: 2476142 1990169 704 2826 0 2472754 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 9908760 KiB
Current children cumulated memory: 7963620 KiB

[startup+222.3 s]
/proc/loadavg: 2.21 2.40 2.22 2/234 58037
/proc/meminfo: memFree=116612644/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=197.89 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 407 1342477 0 0 0 0 14718 5071 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=58037] ppid=57882 vsize=12638116 memory=9977948 CPUtime=23.67 cores=4,6
/proc/58037/stat : 58037 (wmaxcdcl) R 57882 57882 57000 0 -1 4194304 684273 0 0 0 2066 301 0 0 20 0 1 0 57849633 12941430784 2494487 18446744073709551615 4198400 5932793 140721937633952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 13484032 140721937639771 140721937639916 140721937639916 140721937645516 0
/proc/58037/statm: 3159529 2494487 448 424 0 3158984 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 12642308 KiB
Current children cumulated memory: 9980892 KiB

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

# cumulated CPU time of all completed processes:  user=208.527 s, system=58.623 s

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

[startup+230.4 s]
/proc/loadavg: 2.02 2.35 2.20 2/234 58037
/proc/meminfo: memFree=113345884/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=197.89 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 407 1342477 0 0 0 0 14718 5071 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=58037] ppid=57882 vsize=15490232 memory=13157280 CPUtime=31.75 cores=4,6
/proc/58037/stat : 58037 (wmaxcdcl) R 57882 57882 57000 0 -1 4194304 827821 0 0 0 2780 395 0 0 20 0 1 0 57849633 15861997568 3289320 18446744073709551615 4198400 5932793 140721937633952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 13484032 140721937639771 140721937639916 140721937639916 140721937645516 0
/proc/58037/statm: 3872558 3289320 448 424 0 3872013 0
Current children cumulated CPU time: 229.64 s
Current children cumulated vsize: 15494424 KiB
Current children cumulated memory: 13160224 KiB

[startup+243.2 s]
/proc/loadavg: 1.86 2.30 2.19 2/234 58040
/proc/meminfo: memFree=108135948/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=197.89 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 407 1342477 0 0 0 0 14718 5071 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=58037] ppid=57882 vsize=22232928 memory=18265100 CPUtime=44.52 cores=4,6
/proc/58037/stat : 58037 (wmaxcdcl) R 57882 57882 57000 0 -1 4194304 1069158 0 0 0 3905 547 0 0 20 0 1 0 57849633 22766518272 4566275 18446744073709551615 4198400 5932793 140721937633952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 13484032 140721937639771 140721937639916 140721937639916 140721937645516 0
/proc/58037/statm: 5558232 4566275 448 424 0 5557687 0
Current children cumulated CPU time: 242.41 s
Current children cumulated vsize: 22237120 KiB
Current children cumulated memory: 18268044 KiB

[startup+256 s]*
/proc/loadavg: 1.73 2.26 2.18 2/234 58040
/proc/meminfo: memFree=103007096/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=197.89 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 407 1342477 0 0 0 0 14718 5071 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=58037] ppid=57882 vsize=28841212 memory=23321476 CPUtime=57.31 cores=4,6
/proc/58037/stat : 58037 (wmaxcdcl) R 57882 57882 57000 0 -1 4194304 1305285 0 0 0 5042 689 0 0 20 0 1 0 57849633 29533401088 5830369 18446744073709551615 4198400 5932793 140721937633952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 13484032 140721937639771 140721937639916 140721937639916 140721937645516 0
/proc/58037/statm: 7210303 5830369 448 424 0 7209758 0
Current children cumulated CPU time: 255.2 s
Current children cumulated vsize: 28845404 KiB
Current children cumulated memory: 23324420 KiB

[startup+262.4 s]
/proc/loadavg: 1.67 2.24 2.17 2/234 58040
/proc/meminfo: memFree=105342076/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=197.89 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 407 1342477 0 0 0 0 14718 5071 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=58037] ppid=57882 vsize=11778836 memory=9982972 CPUtime=63.68 cores=4,6
/proc/58037/stat : 58037 (wmaxcdcl) R 57882 57882 57000 0 -1 4194304 1377782 0 0 0 5614 754 0 0 20 0 1 0 57849633 12061528064 2495743 18446744073709551615 4198400 5932793 140721937633952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 13484032 140721937639771 140721937639916 140721937639916 140721937645516 0
/proc/58037/statm: 2944709 2495743 480 424 0 2944164 0
Current children cumulated CPU time: 261.57 s
Current children cumulated vsize: 11783028 KiB
Current children cumulated memory: 9985916 KiB

[startup+265.6 s]
/proc/loadavg: 1.62 2.22 2.16 2/234 58040
/proc/meminfo: memFree=117063192/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=197.89 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 407 1342477 0 0 0 0 14718 5071 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=58037] ppid=57882 vsize=5879776 memory=5877392 CPUtime=66.86 cores=4,6
/proc/58037/stat : 58037 (wmaxcdcl) R 57882 57882 57000 0 -1 4194304 1377988 0 0 0 5925 761 0 0 20 0 1 0 57849633 6020890624 1469348 18446744073709551615 4198400 5932793 140721937633952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 13484032 140721937639771 140721937639916 140721937639916 140721937645516 0
/proc/58037/statm: 1469944 1469348 512 424 0 1469399 0
Current children cumulated CPU time: 264.75 s
Current children cumulated vsize: 5883968 KiB
Current children cumulated memory: 5880336 KiB

[startup+267.2 s]
/proc/loadavg: 1.62 2.22 2.16 2/234 58040
/proc/meminfo: memFree=119876348/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=197.89 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 407 1342477 0 0 0 0 14718 5071 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=58037] ppid=57882 vsize=5879776 memory=5877392 CPUtime=68.46 cores=4,6
/proc/58037/stat : 58037 (wmaxcdcl) R 57882 57882 57000 0 -1 4194304 1377994 0 0 0 6085 761 0 0 20 0 1 0 57849633 6020890624 1469348 18446744073709551615 4198400 5932793 140721937633952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 13484032 140721937639771 140721937639916 140721937639916 140721937645516 0
/proc/58037/statm: 1469944 1469348 512 424 0 1469399 0
Current children cumulated CPU time: 266.35 s
Current children cumulated vsize: 5883968 KiB
Current children cumulated memory: 5880336 KiB

[startup+267.6 s]
/proc/loadavg: 1.62 2.22 2.16 2/234 58040
/proc/meminfo: memFree=119876348/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=197.89 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 407 1342477 0 0 0 0 14718 5071 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
[pid=58037] ppid=57882 vsize=5879776 memory=5877392 CPUtime=68.86 cores=4,6
/proc/58037/stat : 58037 (wmaxcdcl) R 57882 57882 57000 0 -1 4194304 1378008 0 0 0 6125 761 0 0 20 0 1 0 57849633 6020890624 1469348 18446744073709551615 4198400 5932793 140721937633952 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 13484032 140721937639771 140721937639916 140721937639916 140721937645516 0
/proc/58037/statm: 1469944 1469348 512 424 0 1469399 0
Current children cumulated CPU time: 266.75 s
Current children cumulated vsize: 5883968 KiB
Current children cumulated memory: 5880336 KiB

[startup+267.8 s]
/proc/loadavg: 1.62 2.22 2.16 2/234 58040
/proc/meminfo: memFree=119876348/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=197.89 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 407 1342477 0 0 0 0 14718 5071 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 197.89 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+267.9 s]
/proc/loadavg: 1.62 2.22 2.16 2/234 58040
/proc/meminfo: memFree=119876348/131382120 swapFree=33010684/33010684
[pid=57882] ppid=57870 vsize=4192 memory=2944 CPUtime=267.01 cores=4,6
/proc/57882/stat : 57882 (opbsolver) S 57870 57882 57000 0 -1 4194304 467 2720686 0 0 0 0 20852 5849 20 0 1 0 57829778 4292608 736 18446744073709551615 94245680492544 94245681387077 140729900685776 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94245681626128 94245681673872 94245707509760 140729900689694 140729900689897 140729900689897 140729900695499 0
/proc/57882/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 267.01 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 267.983
CPU time (s): 267.15
CPU user time (s): 208.527
CPU system time (s): 58.623
CPU usage (%): 99.6893
Max. virtual memory (cumulated for all children) (KiB): 30643068
Max. memory (cumulated for all children) (KiB): 24807220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 208.527
system time used= 58.623
maximum resident set size= 24804532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2721251
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4673880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 589
involuntary context switches= 463


# summary of solver processes directly reported to runsolver:
#   pid: 57882
#   total CPU time (s): 267.15
#   total CPU user time (s): 208.527
#   total CPU system time (s): 58.623

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.51824 second user time and 2.73592 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-02 03:58:31
IDJOB=4502525
IDBENCH=155347
IDSOLVER=3374
FILE ID=nodeC003/4502525-1751421511
RUNJOBID= nodeC003-1751421510-57829
SLURM_JOB_ID= 9598326
Free space on /tmp= 432640 MiB

SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z9-s14.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502525-1751421511/watcher-4502525-1751421511 -o /tmp/evaluation-result-4502525-1751421511/solver-4502525-1751421511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751421510-57829 --watchdog 3760  HOME/opbsolver HOME/instance-4502525-1751421511.opb 3600 31000 HOME HOME

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

MD5SUM BENCH= 72ec871846abb3454e8801b7da208130
RANDOM SEED=895687442

nodeC003 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	: 0xb00001f
cpu MHz		: 1197.177
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.160
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.159
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.210
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.158
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.165
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128761144 kB
MemAvailable:   129947844 kB
Buffers:            3280 kB
Cached:          1985968 kB
SwapCached:            0 kB
Active:           320372 kB
Inactive:        1735764 kB
Active(anon):      84848 kB
Inactive(anon):        0 kB
Active(file):     235524 kB
Inactive(file):  1735764 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             84956 kB
Writeback:            16 kB
AnonPages:         69936 kB
Mapped:           103596 kB
Shmem:             17960 kB
KReclaimable:     110076 kB
Slab:             194796 kB
SReclaimable:     110076 kB
SUnreclaim:        84720 kB
KernelStack:        3808 kB
PageTables:         2748 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     331316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149240 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432560 MiB
End job on nodeC003 at 2025-07-02 04:02:59