Trace number 4516844

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
CASHWMaxSATDisjCad-S 2025-06-01? (TO) 3600.08 3610.2

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-30.shuf-1.opb
MD5SUM3f4295d7844794036c91b3ab07b2ea96
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 benchmark0.007345
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables121
Total number of constraints60
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints53
Minimum length of a constraint4
Maximum length of a constraint5
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.07/3610.20	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62759 MiB free)
  memory of node 1: 64507 MiB (61922 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516844-1751240503/watcher-4516844-1751240503 -o /tmp/evaluation-result-4516844-1751240503/solver-4516844-1751240503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751235960-33745 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4516844-1751240503.opb -total-t=3600 -no-par -v0 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=34661, runsolver pid=34658
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.06 4.08 4.09 5/263 34662
/proc/meminfo: memFree=127671628/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=19640 memory=5816 CPUtime=0.1 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 763 0 0 0 10 0 0 0 20 0 1 0 39728080 20111360 1454 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 4910 1454 992 2593 0 1803 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19640 KiB
Current children cumulated memory: 5816 KiB

[startup+0.205479 s]*
/proc/loadavg: 4.06 4.08 4.09 5/263 34662
/proc/meminfo: memFree=127671124/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=20344 memory=6412 CPUtime=0.2 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 1078 0 0 0 20 0 0 0 20 0 1 0 39728080 20832256 1603 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 5086 1603 992 2593 0 1979 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20344 KiB
Current children cumulated memory: 6412 KiB

[startup+0.305413 s]*
/proc/loadavg: 4.06 4.08 4.09 5/263 34662
/proc/meminfo: memFree=127670116/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=20036 memory=6252 CPUtime=0.3 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 1188 0 0 0 30 0 0 0 20 0 1 0 39728080 20516864 1563 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 5009 1563 992 2593 0 1902 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20036 KiB
Current children cumulated memory: 6252 KiB

[startup+0.700175 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 34662
/proc/meminfo: memFree=127670116/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=20820 memory=7040 CPUtime=0.69 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 2100 0 0 0 69 0 0 0 20 0 1 0 39728080 21319680 1760 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 5205 1760 992 2593 0 2098 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 20820 KiB
Current children cumulated memory: 7040 KiB

[startup+1.50017 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 34662
/proc/meminfo: memFree=127661044/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=23104 memory=9048 CPUtime=1.49 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 3750 0 0 0 148 1 0 0 20 0 1 0 39728080 23658496 2262 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 5776 2262 992 2593 0 2669 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 23104 KiB
Current children cumulated memory: 9048 KiB

[startup+3.10526 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 34662
/proc/meminfo: memFree=127631840/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=23060 memory=9104 CPUtime=3.09 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 7109 0 0 0 308 1 0 0 20 0 1 0 39728080 23613440 2276 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 5765 2276 992 2593 0 2658 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 23060 KiB
Current children cumulated memory: 9104 KiB

[startup+6.30017 s]
/proc/loadavg: 4.13 4.09 4.09 5/262 34662
/proc/meminfo: memFree=127563124/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=24864 memory=11144 CPUtime=6.27 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 10589 0 0 0 626 1 0 0 20 0 1 0 39728080 25460736 2786 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 6216 2786 992 2593 0 3109 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 24864 KiB
Current children cumulated memory: 11144 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.09 5/262 34663
/proc/meminfo: memFree=127506108/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=31404 memory=17212 CPUtime=12.65 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 22314 0 0 0 1261 4 0 0 20 0 1 0 39728080 32157696 4303 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 7851 4303 992 2593 0 4744 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 31404 KiB
Current children cumulated memory: 17212 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 34663
/proc/meminfo: memFree=127268640/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=30480 memory=16512 CPUtime=25.41 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 28812 0 0 0 2536 5 0 0 20 0 1 0 39728080 31211520 4128 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 7620 4128 992 2593 0 4513 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 30480 KiB
Current children cumulated memory: 16512 KiB

[startup+51.1054 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 34663
/proc/meminfo: memFree=127578424/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=42968 memory=26232 CPUtime=50.94 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 54193 0 0 0 5082 12 0 0 20 0 1 0 39728080 43999232 6558 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 10742 6558 992 2593 0 7635 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 26232 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 34665
/proc/meminfo: memFree=127413620/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=52620 memory=38680 CPUtime=101.99 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 67146 0 0 0 10184 15 0 0 20 0 1 0 39728080 53882880 9670 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 13155 9670 992 2593 0 10048 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 52620 KiB
Current children cumulated memory: 38680 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 34670
/proc/meminfo: memFree=127311576/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=52620 memory=38772 CPUtime=161.82 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 67611 0 0 0 16167 15 0 0 20 0 1 0 39728080 53882880 9693 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 13155 9693 992 2593 0 10048 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 52620 KiB
Current children cumulated memory: 38772 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 34672
/proc/meminfo: memFree=126686912/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=69712 memory=55576 CPUtime=221.65 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 80938 0 0 0 22147 18 0 0 20 0 1 0 39728080 71385088 13894 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 17428 13894 992 2593 0 14321 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 69712 KiB
Current children cumulated memory: 55576 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 34674
/proc/meminfo: memFree=127205508/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=80616 memory=66712 CPUtime=281.47 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 83995 0 0 0 28127 20 0 0 20 0 1 0 39728080 82550784 16678 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 20154 16678 992 2593 0 17047 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 80616 KiB
Current children cumulated memory: 66712 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 34680
/proc/meminfo: memFree=127286744/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=78500 memory=63680 CPUtime=341.3 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 85692 0 0 0 34110 20 0 0 20 0 1 0 39728080 80384000 15920 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 19625 15920 992 2593 0 16518 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 78500 KiB
Current children cumulated memory: 63680 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/263 34682
/proc/meminfo: memFree=127472660/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=78848 memory=63684 CPUtime=401.13 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 90959 0 0 0 40091 22 0 0 20 0 1 0 39728080 80740352 15921 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 19712 15921 992 2593 0 16605 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 78848 KiB
Current children cumulated memory: 63684 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/262 34684
/proc/meminfo: memFree=127317760/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=86796 memory=72948 CPUtime=460.96 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 93813 0 0 0 46073 23 0 0 20 0 1 0 39728080 88879104 18237 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 21699 18237 992 2593 0 18592 0

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

Current children cumulated memory: 180916 KiB

[startup+2862.3 s]
/proc/loadavg: 1.27 2.75 3.57 2/245 34903
/proc/meminfo: memFree=128868560/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=144760 memory=130940 CPUtime=2854.04 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 266741 0 0 0 285321 83 0 0 20 0 1 0 39728080 148234240 32735 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 36190 32735 992 2593 0 33083 0
Current children cumulated CPU time: 2854.04 s
Current children cumulated vsize: 144760 KiB
Current children cumulated memory: 130940 KiB

[startup+2922.3 s]
/proc/loadavg: 1.14 2.45 3.41 2/244 34905
/proc/meminfo: memFree=128864136/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=151848 memory=133556 CPUtime=2913.89 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 273274 0 0 0 291303 86 0 0 20 0 1 0 39728080 155492352 33389 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 37962 33389 992 2593 0 34855 0
Current children cumulated CPU time: 2913.89 s
Current children cumulated vsize: 151848 KiB
Current children cumulated memory: 133556 KiB

[startup+2982.3 s]
/proc/loadavg: 1.09 2.19 3.26 2/244 34908
/proc/meminfo: memFree=128865928/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=147772 memory=133888 CPUtime=2973.75 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 276868 0 0 0 297287 88 0 0 20 0 1 0 39728080 151318528 33472 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 36943 33472 992 2593 0 33836 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 147772 KiB
Current children cumulated memory: 133888 KiB

[startup+3042.3 s]
/proc/loadavg: 1.08 1.99 3.12 2/245 34911
/proc/meminfo: memFree=128848244/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=173816 memory=159932 CPUtime=3033.59 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 278482 0 0 0 303270 89 0 0 20 0 1 0 39728080 177987584 39983 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 43454 39983 992 2593 0 40347 0
Current children cumulated CPU time: 3033.59 s
Current children cumulated vsize: 173816 KiB
Current children cumulated memory: 159932 KiB

[startup+3102.3 s]
/proc/loadavg: 1.07 1.82 2.99 2/245 34913
/proc/meminfo: memFree=128864476/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=174840 memory=159976 CPUtime=3093.44 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 279407 0 0 0 309255 89 0 0 20 0 1 0 39728080 179036160 39994 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 43710 39994 992 2593 0 40603 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 174840 KiB
Current children cumulated memory: 159976 KiB

[startup+3162.3 s]
/proc/loadavg: 1.12 1.70 2.87 2/245 34915
/proc/meminfo: memFree=128834136/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=200724 memory=186728 CPUtime=3153.29 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 280258 0 0 0 315239 90 0 0 20 0 1 0 39728080 205541376 46682 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 50181 46682 992 2593 0 47074 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 200724 KiB
Current children cumulated memory: 186728 KiB

[startup+3222.3 s]
/proc/loadavg: 1.04 1.57 2.75 2/245 34919
/proc/meminfo: memFree=128834248/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=200724 memory=186728 CPUtime=3213.15 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 280258 0 0 0 321225 90 0 0 20 0 1 0 39728080 205541376 46682 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 50181 46682 992 2593 0 47074 0
Current children cumulated CPU time: 3213.15 s
Current children cumulated vsize: 200724 KiB
Current children cumulated memory: 186728 KiB

[startup+3282.3 s]
/proc/loadavg: 1.12 1.49 2.65 2/245 34921
/proc/meminfo: memFree=128864136/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=153552 memory=133100 CPUtime=3273 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 284044 0 0 0 327209 91 0 0 20 0 1 0 39728080 157237248 33275 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 38388 33275 992 2593 0 35281 0
Current children cumulated CPU time: 3273 s
Current children cumulated vsize: 153552 KiB
Current children cumulated memory: 133100 KiB

[startup+3342.3 s]
/proc/loadavg: 1.10 1.42 2.55 2/244 34923
/proc/meminfo: memFree=128852116/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=165828 memory=146264 CPUtime=3332.85 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 288160 0 0 0 333192 93 0 0 20 0 1 0 39728080 169807872 36566 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 41457 36566 992 2593 0 38350 0
Current children cumulated CPU time: 3332.85 s
Current children cumulated vsize: 165828 KiB
Current children cumulated memory: 146264 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.35 2.46 2/245 34930
/proc/meminfo: memFree=128864048/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=150976 memory=137088 CPUtime=3392.7 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 290945 0 0 0 339175 95 0 0 20 0 1 0 39728080 154599424 34272 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 37744 34272 992 2593 0 34637 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 150976 KiB
Current children cumulated memory: 137088 KiB

[startup+3462.3 s]
/proc/loadavg: 1.09 1.30 2.37 2/245 34932
/proc/meminfo: memFree=128861228/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=178364 memory=164456 CPUtime=3452.55 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 292174 0 0 0 345159 96 0 0 20 0 1 0 39728080 182644736 41114 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 44591 41114 992 2593 0 41484 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 178364 KiB
Current children cumulated memory: 164456 KiB

[startup+3522.3 s]
/proc/loadavg: 1.08 1.26 2.28 2/245 34934
/proc/meminfo: memFree=128865496/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=148004 memory=133332 CPUtime=3512.39 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 302765 0 0 0 351140 99 0 0 20 0 1 0 39728080 151556096 33333 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 37001 33333 992 2593 0 33894 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 148004 KiB
Current children cumulated memory: 133332 KiB

[startup+3582.3 s]
/proc/loadavg: 1.15 1.24 2.21 2/245 34936
/proc/meminfo: memFree=128817688/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=212700 memory=194828 CPUtime=3572.24 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 305898 0 0 0 357123 101 0 0 20 0 1 0 39728080 217804800 48707 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 53175 48707 992 2593 0 50068 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 212700 KiB
Current children cumulated memory: 194828 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 1.09 1.22 2.17 2/245 34937
/proc/meminfo: memFree=128876384/131249996 swapFree=33010684/33010684
[pid=34661] ppid=34658 vsize=151988 memory=138212 CPUtime=3600.07 cores=0,2
/proc/34661/stat : 34661 (CASHWMaxSAT-Dis) R 34658 34661 30935 0 -1 4194304 306022 0 0 0 359905 102 0 0 20 0 1 0 39728080 155635712 34553 18446744073709551615 4198400 14817773 140728568379728 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 49131520 140728568387946 140728568388061 140728568388061 140728568393663 0
/proc/34661/statm: 37997 34553 992 2593 0 34890 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 151988 KiB
Current children cumulated memory: 138212 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.05 s, system=1.02526 s

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

Child status: 0

Real time (s): 3610.2
CPU time (s): 3600.08
CPU user time (s): 3599.05
CPU system time (s): 1.02526
CPU usage (%): 99.7196
Max. virtual memory (cumulated for all children) (KiB): 212700
Max. memory (cumulated for all children) (KiB): 194828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.05
system time used= 1.02526
maximum resident set size= 213496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306022
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= 86
involuntary context switches= 7968


# summary of solver processes directly reported to runsolver:
#   pid: 34661
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.05
#   total CPU system time (s): 1.02526

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62292 second user time and 15.2455 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-30 01:41:43
IDJOB=4516844
IDBENCH=175890
IDSOLVER=3322
FILE ID=nodeC022/4516844-1751240503
RUNJOBID= nodeC022-1751235960-33745
SLURM_JOB_ID= 9587707
Free space on /tmp= 433024 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-30.shuf-1.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516844-1751240503/watcher-4516844-1751240503 -o /tmp/evaluation-result-4516844-1751240503/solver-4516844-1751240503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751235960-33745 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4516844-1751240503.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 3f4295d7844794036c91b3ab07b2ea96
RANDOM SEED=1939220926

nodeC022 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.496
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.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	: 0xb00002a
cpu MHz		: 3599.711
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.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	: 0xb00002a
cpu MHz		: 3599.715
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.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	: 0xb00002a
cpu MHz		: 3603.019
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.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	: 0xb00002a
cpu MHz		: 3599.708
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.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	: 0xb00002a
cpu MHz		: 3599.898
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.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	: 0xb00002a
cpu MHz		: 3479.219
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.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	: 0xb00002a
cpu MHz		: 3647.485
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127682940 kB
MemAvailable:   128420720 kB
Buffers:            3280 kB
Cached:          1541916 kB
SwapCached:            0 kB
Active:          1576636 kB
Inactive:        1293556 kB
Active(anon):    1343056 kB
Inactive(anon):        0 kB
Active(file):     233580 kB
Inactive(file):  1293556 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13848 kB
Writeback:             0 kB
AnonPages:       1327988 kB
Mapped:           114608 kB
Shmem:             18060 kB
KReclaimable:      99364 kB
Slab:             186388 kB
SReclaimable:      99364 kB
SUnreclaim:        87024 kB
KernelStack:        4244 kB
PageTables:         5580 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1682372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1030144 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC022 at 2025-06-30 02:41:54