Trace number 4501960

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.02 3609.5

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_10-sat.opb
MD5SUMbe0542d3b59031398d11b8d8792cc86e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22022
Total number of constraints69919
Number of constraints which are clauses69439
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints480
Minimum length of a constraint1
Maximum length of a constraint90
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 26
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 535
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.01/3609.50	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 (62748 MiB free)
  memory of node 1: 64465 MiB (63840 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4501960-1751140886/watcher-4501960-1751140886 -o /tmp/evaluation-result-4501960-1751140886/solver-4501960-1751140886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751133631-11387 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4501960-1751140886.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=12673, runsolver pid=12670
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.10 4.12 4.09 5/262 12674
/proc/meminfo: memFree=129607228/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=40060 memory=25440 CPUtime=0.09 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 5774 0 0 0 9 0 0 0 20 0 1 0 29767110 41021440 6360 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 10015 6360 864 2593 0 6908 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40060 KiB
Current children cumulated memory: 25440 KiB

[startup+0.205811 s]*
/proc/loadavg: 4.10 4.12 4.09 5/262 12674
/proc/meminfo: memFree=129591100/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=58748 memory=43848 CPUtime=0.2 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 10645 0 0 0 19 1 0 0 20 0 1 0 29767110 60157952 10962 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 14687 10962 864 2593 0 11580 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58748 KiB
Current children cumulated memory: 43848 KiB

[startup+0.305577 s]*
/proc/loadavg: 4.10 4.12 4.09 6/262 12674
/proc/meminfo: memFree=129575224/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=70960 memory=55496 CPUtime=0.3 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 13540 0 0 0 29 1 0 0 20 0 1 0 29767110 72663040 13874 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 17740 13874 864 2593 0 14633 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70960 KiB
Current children cumulated memory: 55496 KiB

[startup+0.700176 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 12674
/proc/meminfo: memFree=129560860/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=122052 memory=103764 CPUtime=0.69 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 23666 0 0 0 66 3 0 0 20 0 1 0 29767110 124981248 25941 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 30513 25941 896 2593 0 27406 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 122052 KiB
Current children cumulated memory: 103764 KiB

[startup+1.50017 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 12674
/proc/meminfo: memFree=129477116/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=285936 memory=250080 CPUtime=1.48 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 44078 0 0 0 140 8 0 0 20 0 1 0 29767110 292798464 62520 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 71484 62520 960 2593 0 68377 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 285936 KiB
Current children cumulated memory: 250080 KiB

[startup+3.10551 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 12674
/proc/meminfo: memFree=129332612/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=335500 memory=294396 CPUtime=3.09 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 46519 0 0 0 299 10 0 0 20 0 1 0 29767110 343552000 73599 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 83875 73599 960 2593 0 80768 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 335500 KiB
Current children cumulated memory: 294396 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 12674
/proc/meminfo: memFree=129332612/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=376984 memory=338052 CPUtime=6.27 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 48808 0 0 0 616 11 0 0 20 0 1 0 29767110 386031616 84513 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 94246 84513 992 2593 0 91139 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 376984 KiB
Current children cumulated memory: 338052 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.09 5/262 12719
/proc/meminfo: memFree=129166520/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=355500 memory=319804 CPUtime=12.65 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 49431 0 0 0 1254 11 0 0 20 0 1 0 29767110 364032000 79951 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 88875 79951 992 2593 0 85768 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 355500 KiB
Current children cumulated memory: 319804 KiB

[startup+25.5002 s]
/proc/loadavg: 4.22 4.14 4.10 5/262 12854
/proc/meminfo: memFree=128772948/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=355500 memory=319804 CPUtime=25.42 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 49470 0 0 0 2531 11 0 0 20 0 1 0 29767110 364032000 79951 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 88875 79951 992 2593 0 85768 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 355500 KiB
Current children cumulated memory: 319804 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.13 4.10 5/263 12903
/proc/meminfo: memFree=128503152/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=355500 memory=320188 CPUtime=50.94 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 49669 0 0 0 5083 11 0 0 20 0 1 0 29767110 364032000 80047 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 88875 80047 992 2593 0 85768 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 355500 KiB
Current children cumulated memory: 320188 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/265 12907
/proc/meminfo: memFree=128532164/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=355500 memory=320428 CPUtime=101.97 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 50908 0 0 0 10185 12 0 0 20 0 1 0 29767110 364032000 80107 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 88875 80107 992 2593 0 85768 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 355500 KiB
Current children cumulated memory: 320428 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 12909
/proc/meminfo: memFree=128479776/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=380612 memory=347628 CPUtime=161.79 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 53524 0 0 0 16163 16 0 0 20 0 1 0 29767110 389746688 86907 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 95153 86907 992 2593 0 92046 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 380612 KiB
Current children cumulated memory: 347628 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 12911
/proc/meminfo: memFree=128482848/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=411820 memory=378860 CPUtime=221.63 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 54806 0 0 0 22146 17 0 0 20 0 1 0 29767110 421703680 94715 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 102955 94715 992 2593 0 99848 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 411820 KiB
Current children cumulated memory: 378860 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 12913
/proc/meminfo: memFree=128499844/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=352868 memory=320100 CPUtime=281.48 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 56569 0 0 0 28129 19 0 0 20 0 1 0 29767110 361336832 80025 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 88217 80025 992 2593 0 85110 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 352868 KiB
Current children cumulated memory: 320100 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 12915
/proc/meminfo: memFree=128466956/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=387424 memory=354524 CPUtime=341.32 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 58934 0 0 0 34109 23 0 0 20 0 1 0 29767110 396722176 88631 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 96856 88631 992 2593 0 93749 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 387424 KiB
Current children cumulated memory: 354524 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 12917
/proc/meminfo: memFree=128429048/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=389640 memory=356744 CPUtime=401.17 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 61030 0 0 0 40091 26 0 0 20 0 1 0 29767110 398991360 89186 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 97410 89186 992 2593 0 94303 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 389640 KiB
Current children cumulated memory: 356744 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/262 12919
/proc/meminfo: memFree=128399956/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=392156 memory=359260 CPUtime=461.01 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 62269 0 0 0 46073 28 0 0 20 0 1 0 29767110 401567744 89815 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 98039 89815 992 2593 0 94932 0

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

Current children cumulated memory: 364636 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/264 13032
/proc/meminfo: memFree=128409152/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=398096 memory=365200 CPUtime=2914.6 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 104583 0 0 0 291363 97 0 0 20 0 1 0 29767110 407650304 91300 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 99524 91300 992 2593 0 96417 0
Current children cumulated CPU time: 2914.6 s
Current children cumulated vsize: 398096 KiB
Current children cumulated memory: 365200 KiB

[startup+2982.3 s]
/proc/loadavg: 4.35 4.20 4.12 5/266 13041
/proc/meminfo: memFree=128389044/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=398332 memory=365436 CPUtime=2974.45 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 105293 0 0 0 297347 98 0 0 20 0 1 0 29767110 407891968 91359 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 99583 91359 992 2593 0 96476 0
Current children cumulated CPU time: 2974.45 s
Current children cumulated vsize: 398332 KiB
Current children cumulated memory: 365436 KiB

[startup+3042.3 s]
/proc/loadavg: 4.23 4.19 4.12 5/266 13046
/proc/meminfo: memFree=128378964/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=398212 memory=365316 CPUtime=3034.29 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 105570 0 0 0 303330 99 0 0 20 0 1 0 29767110 407769088 91329 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 99553 91329 992 2593 0 96446 0
Current children cumulated CPU time: 3034.29 s
Current children cumulated vsize: 398212 KiB
Current children cumulated memory: 365316 KiB

[startup+3102.3 s]
/proc/loadavg: 4.20 4.19 4.12 5/266 13048
/proc/meminfo: memFree=128365452/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=398996 memory=366100 CPUtime=3094.13 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 106466 0 0 0 309313 100 0 0 20 0 1 0 29767110 408571904 91525 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 99749 91525 992 2593 0 96642 0
Current children cumulated CPU time: 3094.13 s
Current children cumulated vsize: 398996 KiB
Current children cumulated memory: 366100 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/266 13050
/proc/meminfo: memFree=128372060/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=399264 memory=366368 CPUtime=3153.98 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 106898 0 0 0 315297 101 0 0 20 0 1 0 29767110 408846336 91592 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 99816 91592 992 2593 0 96709 0
Current children cumulated CPU time: 3153.98 s
Current children cumulated vsize: 399264 KiB
Current children cumulated memory: 366368 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/266 13051
/proc/meminfo: memFree=128375816/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=400116 memory=367220 CPUtime=3213.82 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 107711 0 0 0 321279 103 0 0 20 0 1 0 29767110 409718784 91805 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 100029 91805 992 2593 0 96922 0
Current children cumulated CPU time: 3213.82 s
Current children cumulated vsize: 400116 KiB
Current children cumulated memory: 367220 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/264 13053
/proc/meminfo: memFree=128329464/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=400500 memory=367604 CPUtime=3273.66 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 108452 0 0 0 327262 104 0 0 20 0 1 0 29767110 410112000 91901 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 100125 91901 992 2593 0 97018 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 400500 KiB
Current children cumulated memory: 367604 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/261 13055
/proc/meminfo: memFree=128348508/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=400600 memory=367704 CPUtime=3333.5 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 108715 0 0 0 333245 105 0 0 20 0 1 0 29767110 410214400 91926 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 100150 91926 992 2593 0 97043 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 400600 KiB
Current children cumulated memory: 367704 KiB

[startup+3402.3 s]
/proc/loadavg: 4.36 4.18 4.12 5/261 13057
/proc/meminfo: memFree=128354404/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=400936 memory=368040 CPUtime=3393.34 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 109670 0 0 0 339228 106 0 0 20 0 1 0 29767110 410558464 92010 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 100234 92010 992 2593 0 97127 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 400936 KiB
Current children cumulated memory: 368040 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/261 13059
/proc/meminfo: memFree=128350320/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=401192 memory=368296 CPUtime=3453.2 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 110073 0 0 0 345212 108 0 0 20 0 1 0 29767110 410820608 92074 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 100298 92074 992 2593 0 97191 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 401192 KiB
Current children cumulated memory: 368296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/261 13061
/proc/meminfo: memFree=128361732/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=401536 memory=368640 CPUtime=3513.04 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 110644 0 0 0 351195 109 0 0 20 0 1 0 29767110 411172864 92160 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 100384 92160 992 2593 0 97277 0
Current children cumulated CPU time: 3513.04 s
Current children cumulated vsize: 401536 KiB
Current children cumulated memory: 368640 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.14 4.10 5/262 13079
/proc/meminfo: memFree=128366092/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=401556 memory=368660 CPUtime=3572.88 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 111486 0 0 0 357177 111 0 0 20 0 1 0 29767110 411193344 92165 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 100389 92165 992 2593 0 97282 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 401556 KiB
Current children cumulated memory: 368660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.10 4.14 4.11 5/263 13081
/proc/meminfo: memFree=128366212/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=401556 memory=368660 CPUtime=3600.01 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 111486 0 0 0 359890 111 0 0 20 0 1 0 29767110 411193344 92165 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 100389 92165 992 2593 0 97282 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 401556 KiB
Current children cumulated memory: 368660 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.91 s, system=1.1138 s

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

[startup+3609.5 s]
/proc/loadavg: 4.10 4.14 4.11 5/263 13081
/proc/meminfo: memFree=128366212/131249988 swapFree=33010684/33010684
[pid=12673] ppid=12670 vsize=401556 memory=368660 CPUtime=3600.01 cores=1,3
/proc/12673/stat : 12673 (CASHWMaxSAT-Dis) R 12670 12673 11370 0 -1 4194304 111486 0 0 0 359890 111 0 0 20 0 1 0 29767110 411193344 92165 18446744073709551615 4198400 14817773 140732192508128 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36130816 140732192516458 140732192516573 140732192516573 140732192522175 0
/proc/12673/statm: 100389 92165 992 2593 0 97282 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 401556 KiB
Current children cumulated memory: 368660 KiB

Child status: 0

Real time (s): 3609.5
CPU time (s): 3600.02
CPU user time (s): 3598.91
CPU system time (s): 1.1138
CPU usage (%): 99.7373
Max. virtual memory (cumulated for all children) (KiB): 453072
Max. memory (cumulated for all children) (KiB): 420056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.91
system time used= 1.1138
maximum resident set size= 420056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111486
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= 50
involuntary context switches= 1240


# summary of solver processes directly reported to runsolver:
#   pid: 12673
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.91
#   total CPU system time (s): 1.1138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23051 second user time and 15.836 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-06-28 22:01:26
IDJOB=4501960
IDBENCH=152989
IDSOLVER=3322
FILE ID=nodeC031/4501960-1751140886
RUNJOBID= nodeC031-1751133631-11387
SLURM_JOB_ID= 9587431
Free space on /tmp= 433016 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j90/normalized-j9013_10-sat.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4501960-1751140886/watcher-4501960-1751140886 -o /tmp/evaluation-result-4501960-1751140886/solver-4501960-1751140886 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751133631-11387 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4501960-1751140886.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= be0542d3b59031398d11b8d8792cc86e
RANDOM SEED=1434631096

nodeC031 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.858
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.78
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		: 3598.013
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.78
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		: 3521.623
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.78
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		: 3599.894
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.78
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.885
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.78
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.437
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.78
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		: 3746.972
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.78
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		: 3598.591
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129627388 kB
MemAvailable:   129235996 kB
Buffers:            3280 kB
Cached:           383376 kB
SwapCached:            0 kB
Active:           828136 kB
Inactive:         176784 kB
Active(anon):     636328 kB
Inactive(anon):        0 kB
Active(file):     191808 kB
Inactive(file):   176784 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15884 kB
Writeback:             0 kB
AnonPages:        620028 kB
Mapped:           115888 kB
Shmem:             18064 kB
KReclaimable:      83980 kB
Slab:             165860 kB
SReclaimable:      83980 kB
SUnreclaim:        81880 kB
KernelStack:        4256 kB
PageTables:         4260 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     977716 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    550912 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432980 MiB
End job on nodeC031 at 2025-06-28 23:01:35