Trace number 4517312

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-01UNSAT 2584.19 2592.08

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-9arraycomm_teq_tvars_greater.opb
MD5SUM9dd26da760933c12ca47ea31d83a44d2
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.009822
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables504
Total number of constraints280
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 constraints280
Minimum length of a constraint2
Maximum length of a constraint36
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 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524287
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

2584.12/2592.08	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
2584.12/2592.08	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: 63837 MiB (63234 MiB free)
  memory of node 1: 64465 MiB (63875 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517312-1751242972/watcher-4517312-1751242972 -o /tmp/evaluation-result-4517312-1751242972/solver-4517312-1751242972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751242972-31905 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4517312-1751242972.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
solver pid=31941, runsolver pid=31936
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 1.35 1.68 2.14 4/244 31950
/proc/meminfo: memFree=130148644/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=19968 memory=6144 CPUtime=0.1 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 758 0 0 0 10 0 0 0 20 0 1 0 39976037 20447232 1536 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 4992 1536 960 2593 0 1885 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19968 KiB
Current children cumulated memory: 6144 KiB

[startup+0.213633 s]*
/proc/loadavg: 1.35 1.68 2.14 4/244 31950
/proc/meminfo: memFree=130145880/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=20420 memory=6408 CPUtime=0.22 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 937 0 0 0 22 0 0 0 20 0 1 0 39976037 20910080 1602 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 5105 1602 992 2593 0 1998 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 20420 KiB
Current children cumulated memory: 6408 KiB

[startup+0.312818 s]*
/proc/loadavg: 1.35 1.68 2.14 4/244 31950
/proc/meminfo: memFree=130145880/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=20612 memory=6664 CPUtime=0.31 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 985 0 0 0 31 0 0 0 20 0 1 0 39976037 21106688 1666 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 5153 1666 992 2593 0 2046 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 20612 KiB
Current children cumulated memory: 6664 KiB

[startup+0.700254 s]
/proc/loadavg: 1.35 1.68 2.14 4/244 31950
/proc/meminfo: memFree=130145316/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=21336 memory=7360 CPUtime=0.69 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 1356 0 0 0 69 0 0 0 20 0 1 0 39976037 21848064 1840 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 5334 1840 992 2593 0 2227 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 21336 KiB
Current children cumulated memory: 7360 KiB

[startup+1.50025 s]
/proc/loadavg: 1.35 1.68 2.14 4/244 31950
/proc/meminfo: memFree=130144560/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=22608 memory=8692 CPUtime=1.48 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 2690 0 0 0 148 0 0 0 20 0 1 0 39976037 23150592 2173 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 5652 2173 992 2593 0 2545 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 22608 KiB
Current children cumulated memory: 8692 KiB

[startup+3.11226 s]
/proc/loadavg: 1.35 1.68 2.14 4/244 31950
/proc/meminfo: memFree=130141708/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=25608 memory=11600 CPUtime=3.09 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 5653 0 0 0 308 1 0 0 20 0 1 0 39976037 26222592 2900 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 6402 2900 992 2593 0 3295 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 25608 KiB
Current children cumulated memory: 11600 KiB

[startup+6.3003 s]
/proc/loadavg: 1.56 1.71 2.15 4/244 31950
/proc/meminfo: memFree=130136184/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=26448 memory=12536 CPUtime=6.27 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 11741 0 0 0 625 2 0 0 20 0 1 0 39976037 27082752 3134 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 6612 3134 992 2593 0 3505 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 26448 KiB
Current children cumulated memory: 12536 KiB

[startup+12.7003 s]
/proc/loadavg: 1.68 1.74 2.15 4/244 31950
/proc/meminfo: memFree=130118984/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=33644 memory=19356 CPUtime=12.65 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 16294 0 0 0 1262 3 0 0 20 0 1 0 39976037 34451456 4839 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 8411 4839 992 2593 0 5304 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 33644 KiB
Current children cumulated memory: 19356 KiB

[startup+25.5004 s]
/proc/loadavg: 1.97 1.80 2.17 4/244 31950
/proc/meminfo: memFree=130103300/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=34000 memory=20244 CPUtime=25.42 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 22618 0 0 0 2537 5 0 0 20 0 1 0 39976037 34816000 5061 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 8500 5061 992 2593 0 5393 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 34000 KiB
Current children cumulated memory: 20244 KiB

[startup+51.1128 s]
/proc/loadavg: 2.04 1.83 2.17 3/238 31981
/proc/meminfo: memFree=130078064/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=47664 memory=32996 CPUtime=50.94 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 32110 0 0 0 5086 8 0 0 20 0 1 0 39976037 48807936 8249 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 11916 8249 992 2593 0 8809 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 47664 KiB
Current children cumulated memory: 32996 KiB

[startup+102.3 s]
/proc/loadavg: 2.08 1.88 2.16 3/239 31984
/proc/meminfo: memFree=130063220/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=57436 memory=42716 CPUtime=101.98 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 45741 0 0 0 10184 14 0 0 20 0 1 0 39976037 58814464 10679 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 14359 10679 992 2593 0 11252 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 57436 KiB
Current children cumulated memory: 42716 KiB

[startup+162.3 s]
/proc/loadavg: 2.08 1.92 2.16 3/240 31987
/proc/meminfo: memFree=130039768/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=72848 memory=58996 CPUtime=161.79 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 54459 0 0 0 16162 17 0 0 20 0 1 0 39976037 74596352 14749 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 18212 14749 992 2593 0 15105 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 72848 KiB
Current children cumulated memory: 58996 KiB

[startup+222.3 s]
/proc/loadavg: 2.14 1.96 2.16 3/240 31989
/proc/meminfo: memFree=130023900/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=80608 memory=66676 CPUtime=221.61 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 57583 0 0 0 22142 19 0 0 20 0 1 0 39976037 82542592 16669 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 20152 16669 992 2593 0 17045 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 80608 KiB
Current children cumulated memory: 66676 KiB

[startup+282.3 s]
/proc/loadavg: 2.05 1.97 2.15 3/241 31994
/proc/meminfo: memFree=129993992/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=77688 memory=61808 CPUtime=281.44 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 62279 0 0 0 28123 21 0 0 20 0 1 0 39976037 79552512 15452 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 19422 15452 992 2593 0 16315 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 77688 KiB
Current children cumulated memory: 61808 KiB

[startup+342.3 s]
/proc/loadavg: 2.12 2.01 2.15 3/241 31996
/proc/meminfo: memFree=129991072/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=84920 memory=69320 CPUtime=341.26 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 67749 0 0 0 34102 24 0 0 20 0 1 0 39976037 86958080 17330 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 21230 17330 992 2593 0 18123 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 84920 KiB
Current children cumulated memory: 69320 KiB

[startup+402.3 s]
/proc/loadavg: 2.14 2.04 2.15 3/241 31998
/proc/meminfo: memFree=129966624/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=89568 memory=72792 CPUtime=401.07 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 71142 0 0 0 40081 26 0 0 20 0 1 0 39976037 91717632 18198 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 22392 18198 992 2593 0 19285 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 89568 KiB
Current children cumulated memory: 72792 KiB

[startup+462.3 s]
/proc/loadavg: 2.10 2.04 2.14 3/239 32000
/proc/meminfo: memFree=129962588/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=93016 memory=77768 CPUtime=460.9 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 74869 0 0 0 46061 29 0 0 20 0 1 0 39976037 95248384 19442 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 23254 19442 992 2593 0 20147 0
Current children cumulated CPU time: 460.9 s
Current children cumulated vsize: 93016 KiB

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

/proc/loadavg: 2.10 2.26 2.18 3/238 32079
/proc/meminfo: memFree=129807452/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=160928 memory=146900 CPUtime=2135.77 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 123352 0 0 0 213507 70 0 0 20 0 1 0 39976037 164790272 36725 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 40232 36725 992 2593 0 37125 0
Current children cumulated CPU time: 2135.77 s
Current children cumulated vsize: 160928 KiB
Current children cumulated memory: 146900 KiB

[startup+2202.3 s]
/proc/loadavg: 2.15 2.24 2.18 3/238 32081
/proc/meminfo: memFree=129804148/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=163844 memory=149716 CPUtime=2195.59 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 124113 0 0 0 219488 71 0 0 20 0 1 0 39976037 167776256 37429 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 40961 37429 992 2593 0 37854 0
Current children cumulated CPU time: 2195.59 s
Current children cumulated vsize: 163844 KiB
Current children cumulated memory: 149716 KiB

[startup+2262.3 s]
/proc/loadavg: 2.05 2.19 2.17 3/239 32084
/proc/meminfo: memFree=129804716/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=163844 memory=149716 CPUtime=2255.4 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 124114 0 0 0 225469 71 0 0 20 0 1 0 39976037 167776256 37429 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 40961 37429 992 2593 0 37854 0
Current children cumulated CPU time: 2255.4 s
Current children cumulated vsize: 163844 KiB
Current children cumulated memory: 149716 KiB

[startup+2322.3 s]
/proc/loadavg: 2.06 2.17 2.16 3/240 32101
/proc/meminfo: memFree=129802960/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=192992 memory=178956 CPUtime=2315.22 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 124317 0 0 0 231450 72 0 0 20 0 1 0 39976037 197623808 44739 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 48248 44739 992 2593 0 45141 0
Current children cumulated CPU time: 2315.22 s
Current children cumulated vsize: 192992 KiB
Current children cumulated memory: 178956 KiB

[startup+2382.3 s]
/proc/loadavg: 2.12 2.17 2.16 3/241 32108
/proc/meminfo: memFree=129801412/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=163844 memory=149820 CPUtime=2375.04 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 124317 0 0 0 237432 72 0 0 20 0 1 0 39976037 167776256 37455 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 40961 37455 992 2593 0 37854 0
Current children cumulated CPU time: 2375.04 s
Current children cumulated vsize: 163844 KiB
Current children cumulated memory: 149820 KiB

[startup+2442.3 s]
/proc/loadavg: 2.10 2.15 2.16 3/241 32110
/proc/meminfo: memFree=129829376/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=163844 memory=149820 CPUtime=2434.86 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 124317 0 0 0 243414 72 0 0 20 0 1 0 39976037 167776256 37455 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 40961 37455 992 2593 0 37854 0
Current children cumulated CPU time: 2434.86 s
Current children cumulated vsize: 163844 KiB
Current children cumulated memory: 149820 KiB

[startup+2502.3 s]
/proc/loadavg: 2.11 2.14 2.15 3/241 32112
/proc/meminfo: memFree=129798944/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=163844 memory=149820 CPUtime=2494.68 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 124317 0 0 0 249396 72 0 0 20 0 1 0 39976037 167776256 37455 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 40961 37455 992 2593 0 37854 0
Current children cumulated CPU time: 2494.68 s
Current children cumulated vsize: 163844 KiB
Current children cumulated memory: 149820 KiB

[startup+2562.3 s]
/proc/loadavg: 2.17 2.14 2.15 3/242 32115
/proc/meminfo: memFree=129838032/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=163844 memory=149820 CPUtime=2554.49 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 124317 0 0 0 255377 72 0 0 20 0 1 0 39976037 167776256 37455 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 40961 37455 992 2593 0 37854 0
Current children cumulated CPU time: 2554.49 s
Current children cumulated vsize: 163844 KiB
Current children cumulated memory: 149820 KiB

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

# cumulated CPU time of all completed processes:  user=2583.47 s, system=0.722166 s

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

[startup+2572.8 s]
/proc/loadavg: 2.14 2.14 2.15 3/241 32115
/proc/meminfo: memFree=129838520/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=163844 memory=149820 CPUtime=2564.96 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 124317 0 0 0 256424 72 0 0 20 0 1 0 39976037 167776256 37455 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 40961 37455 992 2593 0 37854 0
Current children cumulated CPU time: 2564.96 s
Current children cumulated vsize: 163844 KiB
Current children cumulated memory: 149820 KiB

[startup+2585.6 s]
/proc/loadavg: 2.12 2.13 2.15 3/241 32116
/proc/meminfo: memFree=129840876/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=163844 memory=149820 CPUtime=2577.72 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 124317 0 0 0 257700 72 0 0 20 0 1 0 39976037 167776256 37455 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 40961 37455 992 2593 0 37854 0
Current children cumulated CPU time: 2577.72 s
Current children cumulated vsize: 163844 KiB
Current children cumulated memory: 149820 KiB

[startup+2588.8 s]
/proc/loadavg: 2.19 2.15 2.15 3/241 32116
/proc/meminfo: memFree=129841128/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=163844 memory=149820 CPUtime=2580.91 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 124317 0 0 0 258019 72 0 0 20 0 1 0 39976037 167776256 37455 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 40961 37455 992 2593 0 37854 0
Current children cumulated CPU time: 2580.91 s
Current children cumulated vsize: 163844 KiB
Current children cumulated memory: 149820 KiB

[startup+2590.4 s]
/proc/loadavg: 2.19 2.15 2.15 3/241 32116
/proc/meminfo: memFree=129841128/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=163844 memory=149820 CPUtime=2582.51 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 124317 0 0 0 258179 72 0 0 20 0 1 0 39976037 167776256 37455 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 40961 37455 992 2593 0 37854 0
Current children cumulated CPU time: 2582.51 s
Current children cumulated vsize: 163844 KiB
Current children cumulated memory: 149820 KiB

[startup+2591.2 s]
/proc/loadavg: 2.17 2.14 2.15 3/241 32116
/proc/meminfo: memFree=129841128/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=163844 memory=149820 CPUtime=2583.31 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 124317 0 0 0 258259 72 0 0 20 0 1 0 39976037 167776256 37455 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 40961 37455 992 2593 0 37854 0
Current children cumulated CPU time: 2583.31 s
Current children cumulated vsize: 163844 KiB
Current children cumulated memory: 149820 KiB

[startup+2591.6 s]
/proc/loadavg: 2.17 2.14 2.15 3/241 32116
/proc/meminfo: memFree=129841128/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=163844 memory=149820 CPUtime=2583.7 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 124317 0 0 0 258298 72 0 0 20 0 1 0 39976037 167776256 37455 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 40961 37455 992 2593 0 37854 0
Current children cumulated CPU time: 2583.7 s
Current children cumulated vsize: 163844 KiB
Current children cumulated memory: 149820 KiB

[startup+2592 s]*
/proc/loadavg: 2.17 2.14 2.15 3/241 32116
/proc/meminfo: memFree=129841128/131382120 swapFree=33010684/33010684
[pid=31941] ppid=31936 vsize=163844 memory=149820 CPUtime=2584.12 cores=0,2
/proc/31941/stat : 31941 (CASHWMaxSAT-Dis) R 31936 31941 31895 0 -1 4194304 124317 0 0 0 258340 72 0 0 20 0 1 0 39976037 167776256 37455 18446744073709551615 4198400 14817773 140736612026848 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 39354368 140736612030826 140736612030941 140736612030941 140736612036543 0
/proc/31941/statm: 40961 37455 992 2593 0 37854 0
Current children cumulated CPU time: 2584.12 s
Current children cumulated vsize: 163844 KiB
Current children cumulated memory: 149820 KiB

Child status: 20

Real time (s): 2592.08
CPU time (s): 2584.19
CPU user time (s): 2583.47
CPU system time (s): 0.722166
CPU usage (%): 99.6956
Max. virtual memory (cumulated for all children) (KiB): 192992
Max. memory (cumulated for all children) (KiB): 178956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2583.47
system time used= 0.722166
maximum resident set size= 178956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124317
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= 35
involuntary context switches= 5927


# summary of solver processes directly reported to runsolver:
#   pid: 31941
#   total CPU time (s): 2584.19
#   total CPU user time (s): 2583.47
#   total CPU system time (s): 0.722166

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9921 second user time and 24.6955 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-06-30 02:22:52
IDJOB=4517312
IDBENCH=176056
IDSOLVER=3322
FILE ID=nodeC002/4517312-1751242972
RUNJOBID= nodeC002-1751242972-31905
SLURM_JOB_ID= 9587738
Free space on /tmp= 433060 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-9arraycomm_teq_tvars_greater.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517312-1751242972/watcher-4517312-1751242972 -o /tmp/evaluation-result-4517312-1751242972/solver-4517312-1751242972 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751242972-31905 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4517312-1751242972.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 9dd26da760933c12ca47ea31d83a44d2
RANDOM SEED=1420201463

nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.227
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.451
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.401
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.230
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.207
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.355
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130135500 kB
MemAvailable:   129937580 kB
Buffers:            3280 kB
Cached:           612292 kB
SwapCached:            0 kB
Active:           314580 kB
Inactive:         363676 kB
Active(anon):      80644 kB
Inactive(anon):        0 kB
Active(file):     233936 kB
Inactive(file):   363676 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             41472 kB
Writeback:             8 kB
AnonPages:         65768 kB
Mapped:           102648 kB
Shmem:             17960 kB
KReclaimable:      88188 kB
Slab:             170828 kB
SReclaimable:      88188 kB
SUnreclaim:        82640 kB
KernelStack:        3760 kB
PageTables:         2764 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     329556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149208 kB
VmallocChunk:          0 kB
Percpu:             3776 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC002 at 2025-06-30 03:06:05