Trace number 4546042

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SynLSCD 2025-07-23UNSAT 574.506 575.792

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_30_096.opb
MD5SUMfedac043231dc7d3bd4ac0917a28b068
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.12995
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables279390
Total number of constraints5791
Number of constraints which are clauses2911
Number of constraints which are cardinality constraints (but not clauses)2880
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint97
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 29
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 98
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.30/0.40	c #vars 279390 #constraints 5791 0.0207273 1
0.30/0.40	c intsize: 7
14.65/14.70	c 5791 constraints
14.65/14.70	c Finish cloning data from SAT to LS
14.65/14.70	c restart_num_ls  -100000 0
572.71/574.10	c Use LS-small
572.71/574.10	s UNSATISFIABLE

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 (61732 MiB free)
  memory of node 1: 64465 MiB (55836 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4546042-1753264323/watcher-4546042-1753264323 -o /tmp/evaluation-result-4546042-1753264323/solver-4546042-1753264323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753259701-156383 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546042-1753264323.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100067 s]*
/proc/loadavg: 4.06 4.13 4.10 5/266 158349
/proc/meminfo: memFree=120190988/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=305852 memory=228956 CPUtime=0.09 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 8805 0 0 0 4 5 0 0 20 0 1 0 242110915 313192448 57239 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 76463 57239 2176 595 0 61130 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 305852 KiB
Current children cumulated memory: 228956 KiB

[startup+0.205768 s]*
/proc/loadavg: 4.06 4.13 4.10 5/266 158349
/proc/meminfo: memFree=120126784/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=358360 memory=287500 CPUtime=0.19 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 20063 0 0 0 13 6 0 0 20 0 1 0 242110915 366960640 71875 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 89590 71875 2208 595 0 74257 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 358360 KiB
Current children cumulated memory: 287500 KiB

[startup+0.30555 s]*
/proc/loadavg: 4.06 4.13 4.10 5/266 158349
/proc/meminfo: memFree=120078340/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=396556 memory=325672 CPUtime=0.3 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 29864 0 0 0 22 8 0 0 20 0 1 0 242110915 406073344 81418 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 99139 81418 2208 595 0 83806 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 396556 KiB
Current children cumulated memory: 325672 KiB

[startup+0.700179 s]
/proc/loadavg: 4.06 4.13 4.10 5/266 158349
/proc/meminfo: memFree=120022016/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=519136 memory=453176 CPUtime=0.68 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 53387 0 0 0 55 13 0 0 20 0 1 0 242110915 531595264 113294 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 129784 113294 2304 595 0 114451 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 519136 KiB
Current children cumulated memory: 453176 KiB

[startup+1.50017 s]
/proc/loadavg: 4.06 4.13 4.10 5/266 158349
/proc/meminfo: memFree=119856712/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=776992 memory=699620 CPUtime=1.47 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 86054 0 0 0 126 21 0 0 20 0 1 0 242110915 795639808 174905 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 194248 174905 2304 595 0 178915 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 776992 KiB
Current children cumulated memory: 699620 KiB

[startup+3.10539 s]
/proc/loadavg: 4.06 4.13 4.10 5/266 158349
/proc/meminfo: memFree=119145824/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=1283868 memory=1122976 CPUtime=3.08 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 151733 0 0 0 269 39 0 0 20 0 1 0 242110915 1314680832 280744 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 320967 280744 2304 595 0 305634 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1283868 KiB
Current children cumulated memory: 1122976 KiB

[startup+6.30017 s]
/proc/loadavg: 4.14 4.14 4.11 5/266 158350
/proc/meminfo: memFree=118362056/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=2218020 memory=2033868 CPUtime=6.26 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 293634 0 0 0 552 74 0 0 20 0 1 0 242110915 2271252480 508467 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 554505 508467 2304 595 0 539172 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2218020 KiB
Current children cumulated memory: 2033868 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.14 4.11 5/266 158350
/proc/meminfo: memFree=116134128/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=7064720 memory=4743512 CPUtime=12.65 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 700288 0 0 0 1094 171 0 0 20 0 1 0 242110915 7234273280 1185878 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 1766180 1185878 2496 595 0 1750847 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 7064720 KiB
Current children cumulated memory: 4743512 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.10 5/266 158395
/proc/meminfo: memFree=111080412/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8106456 memory=7049552 CPUtime=25.4 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 973781 0 0 0 2279 261 0 0 20 0 1 0 242110915 8301010944 1762388 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2026614 1762388 2496 595 0 2011281 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 8106456 KiB
Current children cumulated memory: 7049552 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.14 4.10 5/266 158396
/proc/meminfo: memFree=111077452/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8106456 memory=7049552 CPUtime=50.93 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 974029 0 0 0 4726 367 0 0 20 0 1 0 242110915 8301010944 1762388 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2026614 1762388 2496 595 0 2011281 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 8106456 KiB
Current children cumulated memory: 7049552 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.10 4/262 158451
/proc/meminfo: memFree=113312656/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8107544 memory=7050704 CPUtime=102.01 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 974442 0 0 0 9754 447 0 0 20 0 1 0 242110915 8302125056 1762676 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2026886 1762676 2496 595 0 2011553 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 8107544 KiB
Current children cumulated memory: 7050704 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/266 158579
/proc/meminfo: memFree=113225288/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8109592 memory=7052112 CPUtime=161.88 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 974826 0 0 0 15739 449 0 0 20 0 1 0 242110915 8304222208 1763028 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2027398 1763028 2496 595 0 2012065 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 8109592 KiB
Current children cumulated memory: 7052112 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/267 158627
/proc/meminfo: memFree=113126908/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8109592 memory=7052496 CPUtime=221.77 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 974960 0 0 0 21727 450 0 0 20 0 1 0 242110915 8304222208 1763124 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2027398 1763124 2496 595 0 2012065 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 8109592 KiB
Current children cumulated memory: 7052496 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 158812
/proc/meminfo: memFree=113254876/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8125072 memory=7068328 CPUtime=281.62 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 977485 0 0 0 27708 454 0 0 20 0 1 0 242110915 8320073728 1767082 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2031268 1767082 2496 595 0 2015935 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 8125072 KiB
Current children cumulated memory: 7068328 KiB

[startup+342.3 s]
/proc/loadavg: 4.03 4.08 4.08 5/266 158908
/proc/meminfo: memFree=113225604/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8125072 memory=7068328 CPUtime=341.5 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 977525 0 0 0 33694 456 0 0 20 0 1 0 242110915 8320073728 1767082 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2031268 1767082 2496 595 0 2015935 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 8125072 KiB
Current children cumulated memory: 7068328 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.08 4.08 5/265 158999
/proc/meminfo: memFree=112863092/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8126128 memory=7073468 CPUtime=401.37 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 977848 0 0 0 39679 458 0 0 20 0 1 0 242110915 8321155072 1768367 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2031532 1768367 2496 595 0 2016199 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 8126128 KiB
Current children cumulated memory: 7073468 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/265 159001
/proc/meminfo: memFree=112826852/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8128504 memory=7079856 CPUtime=461.24 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 978588 0 0 0 45666 458 0 0 20 0 1 0 242110915 8323588096 1769964 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2032126 1769964 2496 595 0 2016793 0
Current children cumulated CPU time: 461.24 s
Current children cumulated vsize: 8128504 KiB
Current children cumulated memory: 7079856 KiB

[startup+522.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/264 159003
/proc/meminfo: memFree=112812696/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8134444 memory=7092052 CPUtime=521.11 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 980242 0 0 0 51651 460 0 0 20 0 1 0 242110915 8329670656 1773013 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2033611 1773013 2496 595 0 2018278 0
Current children cumulated CPU time: 521.11 s
Current children cumulated vsize: 8134444 KiB
Current children cumulated memory: 7092052 KiB

[startup+575.792 s]
# the end of solver process 158348 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=569.714 s, system=4.79159 s

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

[startup+537.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 159003
/proc/meminfo: memFree=112814316/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8134444 memory=7092052 CPUtime=536.38 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 980242 0 0 0 53178 460 0 0 20 0 1 0 242110915 8329670656 1773013 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2033611 1773013 2496 595 0 2018278 0
Current children cumulated CPU time: 536.38 s
Current children cumulated vsize: 8134444 KiB
Current children cumulated memory: 7092052 KiB

[startup+550.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 159017
/proc/meminfo: memFree=112829012/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8134444 memory=7092052 CPUtime=549.16 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 980242 0 0 0 54455 461 0 0 20 0 1 0 242110915 8329670656 1773013 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2033611 1773013 2496 595 0 2018278 0
Current children cumulated CPU time: 549.16 s
Current children cumulated vsize: 8134444 KiB
Current children cumulated memory: 7092052 KiB

[startup+563.2 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 159018
/proc/meminfo: memFree=112810328/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8136028 memory=7097672 CPUtime=561.93 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 980687 0 0 0 55732 461 0 0 20 0 1 0 242110915 8331292672 1774418 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2034007 1774418 2496 595 0 2018674 0
Current children cumulated CPU time: 561.93 s
Current children cumulated vsize: 8136028 KiB
Current children cumulated memory: 7097672 KiB

[startup+569.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 159018
/proc/meminfo: memFree=112797464/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8136028 memory=7097672 CPUtime=568.32 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 980687 0 0 0 56371 461 0 0 20 0 1 0 242110915 8331292672 1774418 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2034007 1774418 2496 595 0 2018674 0
Current children cumulated CPU time: 568.32 s
Current children cumulated vsize: 8136028 KiB
Current children cumulated memory: 7097672 KiB

[startup+572.8 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 159018
/proc/meminfo: memFree=112777372/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=8146588 memory=7118580 CPUtime=571.51 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 983435 0 0 0 56690 461 0 0 20 0 1 0 242110915 8342106112 1779645 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 2036647 1779645 2496 595 0 2021314 0
Current children cumulated CPU time: 571.51 s
Current children cumulated vsize: 8146588 KiB
Current children cumulated memory: 7118580 KiB

[startup+574.4 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 159018
/proc/meminfo: memFree=112777624/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=7145656 memory=6315540 CPUtime=573.11 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 984853 0 0 0 56849 462 0 0 20 0 1 0 242110915 7317151744 1578885 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 1786414 1578885 2592 595 0 1771081 0
Current children cumulated CPU time: 573.11 s
Current children cumulated vsize: 7145656 KiB
Current children cumulated memory: 6315540 KiB

[startup+575.2 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 159018
/proc/meminfo: memFree=113958080/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=6755264 memory=5925148 CPUtime=573.9 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 985196 0 0 0 56928 462 0 0 20 0 1 0 242110915 6917390336 1481287 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 1688816 1481287 2592 595 0 1673483 0
Current children cumulated CPU time: 573.9 s
Current children cumulated vsize: 6755264 KiB
Current children cumulated memory: 5925148 KiB

[startup+575.6 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 159018
/proc/meminfo: memFree=113958080/131250000 swapFree=33010672/33010684
[pid=158348] ppid=158345 vsize=6755264 memory=5925148 CPUtime=574.3 cores=4,6
/proc/158348/stat : 158348 (SynLSCD) R 158345 158348 156365 0 -1 4194304 985223 0 0 0 56968 462 0 0 20 0 1 0 242110915 6917390336 1481287 18446744073709551615 94511783469056 94511785903657 140727703680576 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94511786384632 94511786417664 94511795625984 140727703689603 140727703689738 140727703689738 140727703695342 0
/proc/158348/statm: 1688816 1481287 2592 595 0 1673483 0
Current children cumulated CPU time: 574.3 s
Current children cumulated vsize: 6755264 KiB
Current children cumulated memory: 5925148 KiB

[startup+575.7 s]*
/proc/loadavg: 4.13 4.09 4.09 5/263 159018
/proc/meminfo: memFree=115698896/131250000 swapFree=33010672/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 20

Real time (s): 575.792
CPU time (s): 574.506
CPU user time (s): 569.714
CPU system time (s): 4.79159
CPU usage (%): 99.7765
Max. virtual memory (cumulated for all children) (KiB): 8150300
Max. memory (cumulated for all children) (KiB): 7124524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 569.714
system time used= 4.79159
maximum resident set size= 7124524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 985268
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= 135
involuntary context switches= 484


# summary of solver processes directly reported to runsolver:
#   pid: 158348
#   total CPU time (s): 574.506
#   total CPU user time (s): 569.714
#   total CPU system time (s): 4.79159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07107 second user time and 2.3704 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-23 11:52:03
IDJOB=4546042
IDBENCH=174564
IDSOLVER=3421
FILE ID=nodeC026/4546042-1753264323
RUNJOBID= nodeC026-1753259701-156383
SLURM_JOB_ID= 9689181
Free space on /tmp= 433000 MiB

SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_30_096.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4546042-1753264323/watcher-4546042-1753264323 -o /tmp/evaluation-result-4546042-1753264323/solver-4546042-1753264323 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753259701-156383 --watchdog 3760  ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4546042-1753264323.opb

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

MD5SUM BENCH= fedac043231dc7d3bd4ac0917a28b068
RANDOM SEED=1738506096

nodeC026 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.317
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.59
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.816
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.59
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		: 3617.474
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.59
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		: 3700.000
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.59
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.564
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.59
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.860
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.59
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		: 3619.790
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.59
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		: 3700.000
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        120390928 kB
MemAvailable:   125390972 kB
Buffers:            2128 kB
Cached:          5624288 kB
SwapCached:            4 kB
Active:          5384196 kB
Inactive:        4482152 kB
Active(anon):    4260856 kB
Inactive(anon):     5344 kB
Active(file):    1123340 kB
Inactive(file):  4476808 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9476 kB
Writeback:             0 kB
AnonPages:       4243092 kB
Mapped:           120792 kB
Shmem:             26268 kB
KReclaimable:     460696 kB
Slab:             564756 kB
SReclaimable:     460696 kB
SUnreclaim:       104060 kB
KernelStack:        4256 kB
PageTables:        11628 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    5195572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2758656 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC026 at 2025-07-23 12:01:39