Trace number 4517241

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
CASHWMaxSATDisjCom-S 2025-06-01? (TO) 3600.1 3609.7

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb
MD5SUMf4239567b5fcc3629584dc152b8218cf
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 benchmark1.4272
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2440
Total number of constraints1281
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1281
Minimum length of a constraint2
Maximum length of a constraint80
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 549755813888
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2199023255551
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.10/0.11	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.10/0.11	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.09/3609.70	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: 63708 MiB (63152 MiB free)
  memory of node 1: 64465 MiB (63912 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517241-1751242072/watcher-4517241-1751242072 -o /tmp/evaluation-result-4517241-1751242072/solver-4517241-1751242072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751242072-36943 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4517241-1751242072.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=36991, runsolver pid=36984

[startup+0.100062 s]*
/proc/loadavg: 0.62 1.07 2.07 5/268 37002
/proc/meminfo: memFree=130093772/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=24688 memory=10060 CPUtime=0.1 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 2229 0 0 0 10 0 0 0 20 0 1 0 39886659 25280512 2515 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 6172 2515 800 2416 0 3274 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24688 KiB
Current children cumulated memory: 10060 KiB

[startup+0.204556 s]*
/proc/loadavg: 0.62 1.07 2.07 5/268 37002
/proc/meminfo: memFree=130094028/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=26340 memory=11084 CPUtime=0.2 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 2458 0 0 0 20 0 0 0 20 0 1 0 39886659 26972160 2771 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 6585 2771 800 2416 0 3687 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26340 KiB
Current children cumulated memory: 11084 KiB

[startup+0.30447 s]*
/proc/loadavg: 0.62 1.07 2.07 5/268 37002
/proc/meminfo: memFree=130088232/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=30876 memory=15768 CPUtime=0.3 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 3121 0 0 0 30 0 0 0 20 0 1 0 39886659 31617024 3942 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 7719 3942 800 2416 0 4821 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30876 KiB
Current children cumulated memory: 15768 KiB

[startup+0.70013 s]
/proc/loadavg: 0.62 1.07 2.07 5/268 37002
/proc/meminfo: memFree=130082120/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=36256 memory=21032 CPUtime=0.68 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 3949 0 0 0 68 0 0 0 20 0 1 0 39886659 37126144 5258 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 9064 5258 800 2416 0 6166 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36256 KiB
Current children cumulated memory: 21032 KiB

[startup+1.50016 s]
/proc/loadavg: 0.62 1.07 2.07 5/268 37002
/proc/meminfo: memFree=130060068/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=42420 memory=24160 CPUtime=1.48 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 4318 0 0 0 148 0 0 0 20 0 1 0 39886659 43438080 6040 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 10605 6040 800 2416 0 7707 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42420 KiB
Current children cumulated memory: 24160 KiB

[startup+3.10492 s]
/proc/loadavg: 0.62 1.07 2.07 5/268 37002
/proc/meminfo: memFree=130045520/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=45140 memory=30488 CPUtime=3.09 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 5609 0 0 0 308 1 0 0 20 0 1 0 39886659 46223360 7622 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 11285 7622 800 2416 0 8387 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45140 KiB
Current children cumulated memory: 30488 KiB

[startup+6.30012 s]
/proc/loadavg: 0.89 1.12 2.08 5/268 37002
/proc/meminfo: memFree=130019788/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=57252 memory=42200 CPUtime=6.27 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 7679 0 0 0 625 2 0 0 20 0 1 0 39886659 58626048 10550 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 14313 10550 800 2416 0 11415 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57252 KiB
Current children cumulated memory: 42200 KiB

[startup+12.7002 s]
/proc/loadavg: 1.14 1.16 2.09 5/267 37002
/proc/meminfo: memFree=129991292/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=50180 memory=35128 CPUtime=12.66 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 8295 0 0 0 1264 2 0 0 20 0 1 0 39886659 51384320 8782 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 12545 8782 800 2416 0 9647 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 50180 KiB
Current children cumulated memory: 35128 KiB

[startup+25.5001 s]
/proc/loadavg: 1.85 1.32 2.13 5/267 37003
/proc/meminfo: memFree=129939072/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=89132 memory=69944 CPUtime=25.43 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 9864 0 0 0 2540 3 0 0 20 0 1 0 39886659 91271168 17486 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 22283 17486 800 2416 0 19385 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 89132 KiB
Current children cumulated memory: 69944 KiB

[startup+51.105 s]
/proc/loadavg: 2.64 1.55 2.18 5/267 37003
/proc/meminfo: memFree=129865288/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=120224 memory=105364 CPUtime=50.96 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 11404 0 0 0 5092 4 0 0 20 0 1 0 39886659 123109376 26341 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 30056 26341 800 2416 0 27158 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 120224 KiB
Current children cumulated memory: 105364 KiB

[startup+102.3 s]
/proc/loadavg: 3.46 1.95 2.29 5/266 37005
/proc/meminfo: memFree=129832136/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=131900 memory=114708 CPUtime=102.02 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 11736 0 0 0 10198 4 0 0 20 0 1 0 39886659 135065600 28677 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 32975 28677 800 2416 0 30077 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 131900 KiB
Current children cumulated memory: 114708 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.34 2.40 5/266 37007
/proc/meminfo: memFree=129750212/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=163044 memory=147732 CPUtime=161.87 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 13294 0 0 0 16181 6 0 0 20 0 1 0 39886659 166957056 36933 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 40761 36933 800 2416 0 37863 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 163044 KiB
Current children cumulated memory: 147732 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.66 2.51 5/266 37009
/proc/meminfo: memFree=129680612/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=182008 memory=167828 CPUtime=221.7 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 14218 0 0 0 22163 7 0 0 20 0 1 0 39886659 186376192 41957 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 45502 41957 800 2416 0 42604 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 182008 KiB
Current children cumulated memory: 167828 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 2.92 2.61 5/265 37011
/proc/meminfo: memFree=129676664/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=182012 memory=155104 CPUtime=281.52 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 20752 0 0 0 28134 18 0 0 20 0 1 0 39886659 186380288 38776 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 45503 38776 800 2416 0 42605 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 182012 KiB
Current children cumulated memory: 155104 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 3.13 2.71 5/263 37014
/proc/meminfo: memFree=129654984/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=182012 memory=163296 CPUtime=341.36 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 28009 0 0 0 34104 32 0 0 20 0 1 0 39886659 186380288 40824 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 45503 40824 800 2416 0 42605 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 182012 KiB
Current children cumulated memory: 163296 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.32 2.80 5/264 37019
/proc/meminfo: memFree=129663252/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=182012 memory=157152 CPUtime=401.19 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 35850 0 0 0 40072 47 0 0 20 0 1 0 39886659 186380288 39288 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 45503 39288 800 2416 0 42605 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 182012 KiB
Current children cumulated memory: 157152 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.48 2.89 5/264 37021
/proc/meminfo: memFree=129675596/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=182012 memory=161416 CPUtime=461.02 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 40509 0 0 0 46046 56 0 0 20 0 1 0 39886659 186380288 40354 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 45503 40354 800 2416 0 42605 0
Current children cumulated CPU time: 461.02 s

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

Current children cumulated memory: 249752 KiB

[startup+2922.3 s]
/proc/loadavg: 3.18 3.14 3.15 4/258 37216
/proc/meminfo: memFree=129502412/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=297420 memory=250112 CPUtime=2914.39 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 187267 0 0 0 290999 440 0 0 20 0 1 0 39886659 304558080 62528 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 74355 62528 800 2416 0 71457 0
Current children cumulated CPU time: 2914.39 s
Current children cumulated vsize: 297420 KiB
Current children cumulated memory: 250112 KiB

[startup+2982.3 s]
/proc/loadavg: 3.06 3.12 3.14 4/258 37220
/proc/meminfo: memFree=129498568/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=297588 memory=250308 CPUtime=2974.24 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 188102 0 0 0 296979 445 0 0 20 0 1 0 39886659 304730112 62577 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 74397 62577 800 2416 0 71499 0
Current children cumulated CPU time: 2974.24 s
Current children cumulated vsize: 297588 KiB
Current children cumulated memory: 250308 KiB

[startup+3042.3 s]
/proc/loadavg: 3.20 3.14 3.14 4/258 37223
/proc/meminfo: memFree=129491844/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=306128 memory=252928 CPUtime=3034.09 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 189034 0 0 0 302960 449 0 0 20 0 1 0 39886659 313475072 63232 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 76532 63232 800 2416 0 73634 0
Current children cumulated CPU time: 3034.09 s
Current children cumulated vsize: 306128 KiB
Current children cumulated memory: 252928 KiB

[startup+3102.3 s]
/proc/loadavg: 3.13 3.13 3.14 4/258 37227
/proc/meminfo: memFree=129490056/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=306128 memory=261200 CPUtime=3093.94 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 190869 0 0 0 308934 460 0 0 20 0 1 0 39886659 313475072 65300 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 76532 65300 800 2416 0 73634 0
Current children cumulated CPU time: 3093.94 s
Current children cumulated vsize: 306128 KiB
Current children cumulated memory: 261200 KiB

[startup+3162.3 s]
/proc/loadavg: 3.10 3.12 3.13 4/258 37230
/proc/meminfo: memFree=129483672/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=306128 memory=254212 CPUtime=3153.8 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 194662 0 0 0 314900 480 0 0 20 0 1 0 39886659 313475072 63553 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 76532 63553 800 2416 0 73634 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 306128 KiB
Current children cumulated memory: 254212 KiB

[startup+3222.3 s]
/proc/loadavg: 3.10 3.11 3.13 4/260 37248
/proc/meminfo: memFree=129491472/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=306128 memory=252164 CPUtime=3213.65 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 195451 0 0 0 320880 485 0 0 20 0 1 0 39886659 313475072 63041 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 76532 63041 800 2416 0 73634 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 306128 KiB
Current children cumulated memory: 252164 KiB

[startup+3282.3 s]
/proc/loadavg: 3.09 3.10 3.12 4/260 37250
/proc/meminfo: memFree=129486472/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=306128 memory=271440 CPUtime=3273.5 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 195705 0 0 0 326862 488 0 0 20 0 1 0 39886659 313475072 67860 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 76532 67860 800 2416 0 73634 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 306128 KiB
Current children cumulated memory: 271440 KiB

[startup+3342.3 s]
/proc/loadavg: 3.07 3.10 3.12 4/260 37253
/proc/meminfo: memFree=129478600/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=306296 memory=265488 CPUtime=3333.34 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 196542 0 0 0 332842 492 0 0 20 0 1 0 39886659 313647104 66372 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 76574 66372 800 2416 0 73676 0
Current children cumulated CPU time: 3333.34 s
Current children cumulated vsize: 306296 KiB
Current children cumulated memory: 265488 KiB

[startup+3402.3 s]
/proc/loadavg: 3.09 3.10 3.12 4/260 37255
/proc/meminfo: memFree=129484592/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=307016 memory=257664 CPUtime=3393.19 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 197446 0 0 0 338823 496 0 0 20 0 1 0 39886659 314384384 64416 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 76754 64416 800 2416 0 73856 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 307016 KiB
Current children cumulated memory: 257664 KiB

[startup+3462.3 s]
/proc/loadavg: 3.08 3.10 3.11 4/260 37259
/proc/meminfo: memFree=129481200/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=307224 memory=275492 CPUtime=3453.04 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 198038 0 0 0 344805 499 0 0 20 0 1 0 39886659 314597376 68873 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 76806 68873 800 2416 0 73908 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 307224 KiB
Current children cumulated memory: 275492 KiB

[startup+3522.3 s]
/proc/loadavg: 3.22 3.13 3.12 4/259 37261
/proc/meminfo: memFree=129473692/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=307648 memory=269480 CPUtime=3512.88 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 199003 0 0 0 350785 503 0 0 20 0 1 0 39886659 315031552 67370 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 76912 67370 800 2416 0 74014 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 307648 KiB
Current children cumulated memory: 269480 KiB

[startup+3582.3 s]
/proc/loadavg: 3.13 3.12 3.11 4/259 37265
/proc/meminfo: memFree=129478364/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=309776 memory=286264 CPUtime=3572.75 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 201311 0 0 0 356759 516 0 0 20 0 1 0 39886659 317210624 71566 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 77444 71566 800 2416 0 74546 0
Current children cumulated CPU time: 3572.75 s
Current children cumulated vsize: 309776 KiB
Current children cumulated memory: 286264 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 3.08 3.10 3.10 4/259 37267
/proc/meminfo: memFree=129476576/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=309776 memory=263736 CPUtime=3600.09 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 202895 0 0 0 359484 525 0 0 20 0 1 0 39886659 317210624 65934 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 77444 65934 800 2416 0 74546 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 309776 KiB
Current children cumulated memory: 263736 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.84 s, system=5.2523 s

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

[startup+3609.7 s]
/proc/loadavg: 3.08 3.10 3.10 4/259 37267
/proc/meminfo: memFree=129476576/131250000 swapFree=33009904/33010684
[pid=36991] ppid=36984 vsize=309776 memory=263736 CPUtime=3600.09 cores=0,2
/proc/36991/stat : 36991 (CASHWMaxSAT-Dis) R 36984 36991 36929 0 -1 4194304 202895 0 0 0 359484 525 0 0 20 0 1 0 39886659 317210624 65934 18446744073709551615 4198400 14093885 140730470034480 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 39866368 140730470041962 140730470042077 140730470042077 140730470047679 0
/proc/36991/statm: 77444 65934 800 2416 0 74546 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 309776 KiB
Current children cumulated memory: 263736 KiB

Child status: 0

Real time (s): 3609.7
CPU time (s): 3600.1
CPU user time (s): 3594.84
CPU system time (s): 5.2523
CPU usage (%): 99.7339
Max. virtual memory (cumulated for all children) (KiB): 440004
Max. memory (cumulated for all children) (KiB): 384192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.84
system time used= 5.2523
maximum resident set size= 388576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202895
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= 45
involuntary context switches= 7866


# summary of solver processes directly reported to runsolver:
#   pid: 36991
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3594.84
#   total CPU system time (s): 5.2523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.7447 second user time and 16.1898 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-30 02:07:52
IDJOB=4517241
IDBENCH=176048
IDSOLVER=3323
FILE ID=nodeC033/4517241-1751242072
RUNJOBID= nodeC033-1751242072-36943
SLURM_JOB_ID= 9587735
Free space on /tmp= 432780 MiB

SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517241-1751242072/watcher-4517241-1751242072 -o /tmp/evaluation-result-4517241-1751242072/solver-4517241-1751242072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751242072-36943 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4517241-1751242072.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= f4239567b5fcc3629584dc152b8218cf
RANDOM SEED=253857093

nodeC033 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		: 3600.085
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	: 7000.13
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.970
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	: 7000.13
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		: 3600.353
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	: 7000.13
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		: 3600.413
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130121152 kB
MemAvailable:   129798772 kB
Buffers:            2128 kB
Cached:           478320 kB
SwapCached:           68 kB
Active:           239660 kB
Inactive:         303592 kB
Active(anon):      54292 kB
Inactive(anon):    26864 kB
Active(file):     185368 kB
Inactive(file):   276728 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             50544 kB
Writeback:             0 kB
AnonPages:         64488 kB
Mapped:           103596 kB
Shmem:             18028 kB
KReclaimable:     109528 kB
Slab:             197208 kB
SReclaimable:     109528 kB
SUnreclaim:        87680 kB
KernelStack:        4140 kB
PageTables:         2704 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     330732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432744 MiB
End job on nodeC033 at 2025-06-30 03:08:02