Trace number 4498957

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 NameAnswerobjective functionCPU timeWall clock time
CASHWMaxSATDisjCad-S 2025-06-01? (TO) 3600.02 3610.5

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
MD5SUMb17790bf3951ca85a67cd8038da17b4d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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 benchmark8655.85
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8424
Total number of constraints9089
Number of constraints which are clauses8415
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1199
Number of bits of the biggest sum of numbers11
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/3610.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 (62876 MiB free)
  memory of node 1: 64465 MiB (63357 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=59056, runsolver pid=59047

[startup+0.100064 s]*
/proc/loadavg: 0.31 0.84 1.61 5/264 59065
/proc/meminfo: memFree=129203648/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=33684 memory=19020 CPUtime=0.09 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 4183 0 0 0 9 0 0 0 20 0 1 0 56615598 34492416 4755 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 8421 4755 864 2593 0 5314 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33684 KiB
Current children cumulated memory: 19020 KiB

[startup+0.205411 s]*
/proc/loadavg: 0.31 0.84 1.61 4/265 59073
/proc/meminfo: memFree=129141124/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=56788 memory=40888 CPUtime=0.2 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 9087 0 0 0 19 1 0 0 20 0 1 0 56615598 58150912 10222 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 14197 10222 896 2593 0 11090 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56788 KiB
Current children cumulated memory: 40888 KiB

[startup+0.306158 s]*
/proc/loadavg: 0.31 0.84 1.61 5/262 59073
/proc/meminfo: memFree=129039748/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=82660 memory=65608 CPUtime=0.3 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 13659 0 0 0 28 2 0 0 20 0 1 0 56615598 84643840 16402 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 20665 16402 896 2593 0 17558 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 82660 KiB
Current children cumulated memory: 65608 KiB

[startup+0.700198 s]
/proc/loadavg: 0.31 0.84 1.61 5/262 59073
/proc/meminfo: memFree=128993652/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=175968 memory=154308 CPUtime=0.69 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 20071 0 0 0 64 5 0 0 20 0 1 0 56615598 180191232 38577 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 43992 38577 896 2593 0 40885 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 175968 KiB
Current children cumulated memory: 154308 KiB

[startup+1.50019 s]
/proc/loadavg: 0.31 0.84 1.61 4/262 59073
/proc/meminfo: memFree=128782152/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=288128 memory=255296 CPUtime=1.47 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 31514 0 0 0 138 9 0 0 20 0 1 0 56615598 295043072 63824 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 72032 63824 896 2593 0 68925 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 288128 KiB
Current children cumulated memory: 255296 KiB

[startup+3.10533 s]
/proc/loadavg: 0.52 0.87 1.62 4/261 59101
/proc/meminfo: memFree=128297496/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=510048 memory=443812 CPUtime=3.07 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 59576 0 0 0 289 18 0 0 20 0 1 0 56615598 522289152 110953 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 127512 110953 960 2593 0 124405 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 510048 KiB
Current children cumulated memory: 443812 KiB

[startup+6.30019 s]
/proc/loadavg: 0.52 0.87 1.62 4/261 59101
/proc/meminfo: memFree=128261192/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=552748 memory=486664 CPUtime=6.25 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 60126 0 0 0 606 19 0 0 20 0 1 0 56615598 566013952 121666 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 138187 121666 960 2593 0 135080 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 552748 KiB
Current children cumulated memory: 486664 KiB

[startup+12.7002 s]
/proc/loadavg: 0.72 0.91 1.62 3/259 59101
/proc/meminfo: memFree=128577040/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=551276 memory=500172 CPUtime=12.64 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 63107 0 0 0 1241 23 0 0 20 0 1 0 56615598 564506624 125043 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 137819 125043 992 2593 0 134712 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 551276 KiB
Current children cumulated memory: 500172 KiB

[startup+25.5002 s]
/proc/loadavg: 1.07 0.98 1.64 3/254 59137
/proc/meminfo: memFree=128621412/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=555972 memory=504944 CPUtime=25.41 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 66423 0 0 0 2513 28 0 0 20 0 1 0 56615598 569315328 126236 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 138993 126236 992 2593 0 135886 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 555972 KiB
Current children cumulated memory: 504944 KiB

[startup+51.1052 s]
/proc/loadavg: 1.51 1.09 1.66 3/255 59139
/proc/meminfo: memFree=128623160/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=560056 memory=509032 CPUtime=50.94 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 69976 0 0 0 5060 34 0 0 20 0 1 0 56615598 573497344 127258 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 140014 127258 992 2593 0 136907 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 560056 KiB
Current children cumulated memory: 509032 KiB

[startup+102.3 s]
/proc/loadavg: 1.84 1.25 1.68 3/254 59141
/proc/meminfo: memFree=128614120/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=557284 memory=506340 CPUtime=102 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 73536 0 0 0 10161 39 0 0 20 0 1 0 56615598 570658816 126585 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 139321 126585 992 2593 0 136214 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 557284 KiB
Current children cumulated memory: 506340 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 1.41 1.71 3/254 59143
/proc/meminfo: memFree=128543084/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=558328 memory=507696 CPUtime=161.83 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 79121 0 0 0 16134 49 0 0 20 0 1 0 56615598 571727872 126924 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 139582 126924 992 2593 0 136475 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 558328 KiB
Current children cumulated memory: 507696 KiB

[startup+222.3 s]
/proc/loadavg: 2.06 1.53 1.74 3/254 59145
/proc/meminfo: memFree=128537512/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=558944 memory=508440 CPUtime=221.67 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 83757 0 0 0 22110 57 0 0 20 0 1 0 56615598 572358656 127110 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 139736 127110 992 2593 0 136629 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 558944 KiB
Current children cumulated memory: 508440 KiB

[startup+282.3 s]
/proc/loadavg: 2.07 1.64 1.76 3/253 59147
/proc/meminfo: memFree=128530632/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=562916 memory=513564 CPUtime=281.51 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 85965 0 0 0 28091 60 0 0 20 0 1 0 56615598 576425984 128391 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 140729 128391 992 2593 0 137622 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 562916 KiB
Current children cumulated memory: 513564 KiB

[startup+342.3 s]
/proc/loadavg: 2.06 1.72 1.78 3/252 59148
/proc/meminfo: memFree=128495668/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=595296 memory=545944 CPUtime=341.37 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 89057 0 0 0 34069 68 0 0 20 0 1 0 56615598 609583104 136486 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 148824 136486 992 2593 0 145717 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 595296 KiB
Current children cumulated memory: 545944 KiB

[startup+402.3 s]
/proc/loadavg: 2.07 1.79 1.81 3/252 59151
/proc/meminfo: memFree=128497944/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=575696 memory=526344 CPUtime=401.23 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 91505 0 0 0 40048 75 0 0 20 0 1 0 56615598 589512704 131586 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 143924 131586 992 2593 0 140817 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 526344 KiB

[startup+462.3 s]
/proc/loadavg: 2.14 1.86 1.83 3/253 59154
/proc/meminfo: memFree=128472500/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=606388 memory=557036 CPUtime=461.07 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 93440 0 0 0 46026 81 0 0 20 0 1 0 56615598 620941312 139259 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 151597 139259 992 2593 0 148490 0
Current children cumulated CPU time: 461.07 s

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

Current children cumulated memory: 806536 KiB

[startup+2922.3 s]
/proc/loadavg: 2.13 2.10 2.07 3/252 59289
/proc/meminfo: memFree=126906352/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=742448 memory=681048 CPUtime=2913.5 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 167053 0 0 0 291101 249 0 0 20 0 1 0 56615598 760266752 170262 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 185612 170262 992 2593 0 182505 0
Current children cumulated CPU time: 2913.5 s
Current children cumulated vsize: 742448 KiB
Current children cumulated memory: 681048 KiB

[startup+2982.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/251 59291
/proc/meminfo: memFree=126909900/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=743580 memory=682184 CPUtime=2973.31 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 168390 0 0 0 297079 252 0 0 20 0 1 0 56615598 761425920 170546 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 185895 170546 992 2593 0 182788 0
Current children cumulated CPU time: 2973.31 s
Current children cumulated vsize: 743580 KiB
Current children cumulated memory: 682184 KiB

[startup+3042.3 s]
/proc/loadavg: 2.20 2.11 2.08 3/251 59293
/proc/meminfo: memFree=126914056/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=737964 memory=676568 CPUtime=3033.11 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 169571 0 0 0 303056 255 0 0 20 0 1 0 56615598 755675136 169142 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 184491 169142 992 2593 0 181384 0
Current children cumulated CPU time: 3033.11 s
Current children cumulated vsize: 737964 KiB
Current children cumulated memory: 676568 KiB

[startup+3102.3 s]
/proc/loadavg: 2.13 2.10 2.08 3/251 59295
/proc/meminfo: memFree=127000952/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=742912 memory=681516 CPUtime=3092.94 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 170976 0 0 0 309035 259 0 0 20 0 1 0 56615598 760741888 170379 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 185728 170379 992 2593 0 182621 0
Current children cumulated CPU time: 3092.94 s
Current children cumulated vsize: 742912 KiB
Current children cumulated memory: 681516 KiB

[startup+3162.3 s]
/proc/loadavg: 2.10 2.10 2.08 3/251 59297
/proc/meminfo: memFree=127034068/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=744500 memory=684896 CPUtime=3152.8 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 172723 0 0 0 315018 262 0 0 20 0 1 0 56615598 762368000 171224 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 186125 171224 992 2593 0 183018 0
Current children cumulated CPU time: 3152.8 s
Current children cumulated vsize: 744500 KiB
Current children cumulated memory: 684896 KiB

[startup+3222.3 s]
/proc/loadavg: 2.10 2.09 2.08 3/251 59299
/proc/meminfo: memFree=127148188/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=806248 memory=746644 CPUtime=3212.67 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 173924 0 0 0 321000 267 0 0 20 0 1 0 56615598 825597952 186661 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 201562 186661 992 2593 0 198455 0
Current children cumulated CPU time: 3212.67 s
Current children cumulated vsize: 806248 KiB
Current children cumulated memory: 746644 KiB

[startup+3282.3 s]
/proc/loadavg: 2.09 2.09 2.08 3/252 59302
/proc/meminfo: memFree=127123948/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=832512 memory=772912 CPUtime=3272.54 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 175269 0 0 0 326981 273 0 0 20 0 1 0 56615598 852492288 193228 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 208128 193228 992 2593 0 205021 0
Current children cumulated CPU time: 3272.54 s
Current children cumulated vsize: 832512 KiB
Current children cumulated memory: 772912 KiB

[startup+3342.3 s]
/proc/loadavg: 2.07 2.08 2.08 3/252 59304
/proc/meminfo: memFree=127113452/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=844872 memory=785272 CPUtime=3332.4 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 176005 0 0 0 332963 277 0 0 20 0 1 0 56615598 865148928 196318 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 211218 196318 992 2593 0 208111 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 844872 KiB
Current children cumulated memory: 785272 KiB

[startup+3402.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/252 59306
/proc/meminfo: memFree=127074444/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=886004 memory=826404 CPUtime=3392.27 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 177189 0 0 0 338942 285 0 0 20 0 1 0 56615598 907268096 206601 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 221501 206601 992 2593 0 218394 0
Current children cumulated CPU time: 3392.27 s
Current children cumulated vsize: 886004 KiB
Current children cumulated memory: 826404 KiB

[startup+3462.3 s]
/proc/loadavg: 2.06 2.08 2.08 3/252 59308
/proc/meminfo: memFree=127144636/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=817780 memory=758180 CPUtime=3452.13 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 178639 0 0 0 344922 291 0 0 20 0 1 0 56615598 837406720 189545 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 204445 189545 992 2593 0 201338 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 817780 KiB
Current children cumulated memory: 758180 KiB

[startup+3522.3 s]
/proc/loadavg: 2.13 2.09 2.09 3/252 59316
/proc/meminfo: memFree=127108032/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=856376 memory=796776 CPUtime=3512.01 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 179803 0 0 0 350903 298 0 0 20 0 1 0 56615598 876929024 199194 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 214094 199194 992 2593 0 210987 0
Current children cumulated CPU time: 3512.01 s
Current children cumulated vsize: 856376 KiB
Current children cumulated memory: 796776 KiB

[startup+3582.3 s]
/proc/loadavg: 2.65 2.25 2.14 3/250 59318
/proc/meminfo: memFree=126987188/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=980292 memory=920628 CPUtime=3571.87 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 188947 0 0 0 356882 305 0 0 20 0 1 0 56615598 1003819008 230157 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 245073 230157 992 2593 0 241966 0
Current children cumulated CPU time: 3571.87 s
Current children cumulated vsize: 980292 KiB
Current children cumulated memory: 920628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 2.40 2.22 2.13 2/246 59327
/proc/meminfo: memFree=128369012/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=910256 memory=851420 CPUtime=3600.01 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 189965 0 0 0 359692 309 0 0 20 0 1 0 56615598 932102144 212855 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 227564 212855 992 2593 0 224457 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 910256 KiB
Current children cumulated memory: 851420 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.93 s, system=3.09612 s

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

[startup+3610.5 s]
/proc/loadavg: 2.40 2.22 2.13 2/246 59327
/proc/meminfo: memFree=128369012/131250000 swapFree=33010672/33010684
[pid=59056] ppid=59047 vsize=910256 memory=851420 CPUtime=3600.01 cores=4,6
/proc/59056/stat : 59056 (CASHWMaxSAT-Dis) R 59047 59056 58968 0 -1 4194304 189965 0 0 0 359692 309 0 0 20 0 1 0 56615598 932102144 212855 18446744073709551615 4198400 14817773 140732281295664 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 52183040 140732281301354 140732281301469 140732281301469 140732281307071 0
/proc/59056/statm: 227564 212855 992 2593 0 224457 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 910256 KiB
Current children cumulated memory: 851420 KiB

Child status: 0

Real time (s): 3610.5
CPU time (s): 3600.02
CPU user time (s): 3596.93
CPU system time (s): 3.09612
CPU usage (%): 99.7096
Max. virtual memory (cumulated for all children) (KiB): 1179380
Max. memory (cumulated for all children) (KiB): 1120544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.92
system time used= 3.09612
maximum resident set size= 1120544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189965
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= 82
involuntary context switches= 3095


# summary of solver processes directly reported to runsolver:
#   pid: 59056
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3596.93
#   total CPU system time (s): 3.09612

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86817 second user time and 14.3665 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-02 00:36:30
IDJOB=4498957
IDBENCH=148768
IDSOLVER=3322
FILE ID=nodeC014/4498957-1751409390
RUNJOBID= nodeC014-1751409390-59006
SLURM_JOB_ID= 9598312
Free space on /tmp= 432920 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498957-1751409390/watcher-4498957-1751409390 -o /tmp/evaluation-result-4498957-1751409390/solver-4498957-1751409390 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751409390-59006 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4498957-1751409390.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=1058850560

nodeC014 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		: 3609.503
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.23
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.661
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.23
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.123
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.23
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		: 3596.589
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.23
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		: 3557.572
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.23
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		: 3600.116
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.23
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.102
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.23
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.024
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129263084 kB
MemAvailable:   129745268 kB
Buffers:            2508 kB
Cached:          1279176 kB
SwapCached:            4 kB
Active:           541048 kB
Inactive:         816024 kB
Active(anon):      89624 kB
Inactive(anon):     3852 kB
Active(file):     451424 kB
Inactive(file):   812172 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             55564 kB
Writeback:             0 kB
AnonPages:         79024 kB
Mapped:           104092 kB
Shmem:             18064 kB
KReclaimable:     115652 kB
Slab:             205644 kB
SReclaimable:     115652 kB
SUnreclaim:        89992 kB
KernelStack:        4100 kB
PageTables:         2608 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     340328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432864 MiB
End job on nodeC014 at 2025-07-02 01:36:41