Trace number 4547359

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
Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-07-23? (MO) 495.431 496.93

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
MD5SUMb7a2e8144dd82d545640c8e4101e7ef6
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.58733
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables607488
Total number of constraints5258
Number of constraints which are clauses2372
Number of constraints which are cardinality constraints (but not clauses)2372
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2373
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 855779
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2070814
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4547359-1753267175/watcher-4547359-1753267175 -o /tmp/evaluation-result-4547359-1753267175/solver-4547359-1753267175 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753267014-204951 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547359-1753267175.opb 3600 HOME 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100061 s]*
/proc/loadavg: 3.96 2.93 2.49 5/273 205479
/proc/meminfo: memFree=128028104/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 252 102 0 0 0 0 0 0 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205478] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205478/stat : 205478 (timeout) S 205475 205478 203609 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 242397772 2723840 320 18446744073709551615 94121175191552 94121175208065 140736852068480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94121175222832 94121175224920 94121187397632 140736852076958 140736852077088 140736852077088 140736852082663 0
/proc/205478/statm: 665 320 320 5 0 90 0
[pid=205479] ppid=205478 vsize=32552 memory=17816 CPUtime=0.06 cores=0,2
/proc/205479/stat : 205479 (CASHWMaxSAT-Dis) R 205478 205478 203609 0 -1 4194304 4017 0 0 0 6 0 0 0 20 0 1 0 242397772 33333248 4454 18446744073709551615 4198400 14817773 140735747259680 0 0 0 0 0 19490 0 0 0 17 2 0 0 0 0 0 16829744 16914832 48340992 140735747266980 140735747267097 140735747267097 140735747272672 0
/proc/205479/statm: 8138 4454 864 2593 0 5031 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 39536 KiB
Current children cumulated memory: 22168 KiB

[startup+0.205691 s]*
/proc/loadavg: 3.96 2.93 2.49 5/273 205479
/proc/meminfo: memFree=128004036/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 252 102 0 0 0 0 0 0 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205478] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205478/stat : 205478 (timeout) S 205475 205478 203609 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 242397772 2723840 320 18446744073709551615 94121175191552 94121175208065 140736852068480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94121175222832 94121175224920 94121187397632 140736852076958 140736852077088 140736852077088 140736852082663 0
/proc/205478/statm: 665 320 320 5 0 90 0
[pid=205479] ppid=205478 vsize=59536 memory=40996 CPUtime=0.16 cores=0,2
/proc/205479/stat : 205479 (CASHWMaxSAT-Dis) R 205478 205478 203609 0 -1 4194304 9812 0 0 0 15 1 0 0 20 0 1 0 242397772 60964864 10249 18446744073709551615 4198400 14817773 140735747259680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48340992 140735747266980 140735747267097 140735747267097 140735747272672 0
/proc/205479/statm: 14884 10249 864 2593 0 11777 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 66520 KiB
Current children cumulated memory: 45348 KiB

[startup+0.305651 s]*
/proc/loadavg: 3.96 2.93 2.49 5/273 205479
/proc/meminfo: memFree=127996476/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 252 102 0 0 0 0 0 0 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205478] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205478/stat : 205478 (timeout) S 205475 205478 203609 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 242397772 2723840 320 18446744073709551615 94121175191552 94121175208065 140736852068480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94121175222832 94121175224920 94121187397632 140736852076958 140736852077088 140736852077088 140736852082663 0
/proc/205478/statm: 665 320 320 5 0 90 0
[pid=205479] ppid=205478 vsize=69420 memory=51268 CPUtime=0.27 cores=0,2
/proc/205479/stat : 205479 (CASHWMaxSAT-Dis) R 205478 205478 203609 0 -1 4194304 11878 0 0 0 25 2 0 0 20 0 1 0 242397772 71086080 12817 18446744073709551615 4198400 14817773 140735747259680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48340992 140735747266980 140735747267097 140735747267097 140735747272672 0
/proc/205479/statm: 17355 12817 864 2593 0 14248 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 76404 KiB
Current children cumulated memory: 55620 KiB

[startup+0.70022 s]
/proc/loadavg: 3.96 2.93 2.49 5/273 205479
/proc/meminfo: memFree=127968440/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 252 102 0 0 0 0 0 0 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205478] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205478/stat : 205478 (timeout) S 205475 205478 203609 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 242397772 2723840 320 18446744073709551615 94121175191552 94121175208065 140736852068480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94121175222832 94121175224920 94121187397632 140736852076958 140736852077088 140736852077088 140736852082663 0
/proc/205478/statm: 665 320 320 5 0 90 0
[pid=205479] ppid=205478 vsize=129484 memory=105456 CPUtime=0.65 cores=0,2
/proc/205479/stat : 205479 (CASHWMaxSAT-Dis) R 205478 205478 203609 0 -1 4194304 21868 0 0 0 61 4 0 0 20 0 1 0 242397772 132591616 26364 18446744073709551615 4198400 14817773 140735747259680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48340992 140735747266980 140735747267097 140735747267097 140735747272672 0
/proc/205479/statm: 32371 26364 864 2593 0 29264 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 136468 KiB
Current children cumulated memory: 109808 KiB

[startup+1.50021 s]
/proc/loadavg: 3.96 2.93 2.49 5/273 205479
/proc/meminfo: memFree=127875252/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 252 102 0 0 0 0 0 0 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205478] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205478/stat : 205478 (timeout) S 205475 205478 203609 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 242397772 2723840 320 18446744073709551615 94121175191552 94121175208065 140736852068480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94121175222832 94121175224920 94121187397632 140736852076958 140736852077088 140736852077088 140736852082663 0
/proc/205478/statm: 665 320 320 5 0 90 0
[pid=205479] ppid=205478 vsize=349292 memory=312924 CPUtime=1.45 cores=0,2
/proc/205479/stat : 205479 (CASHWMaxSAT-Dis) R 205478 205478 203609 0 -1 4194304 42074 0 0 0 135 10 0 0 20 0 1 0 242397772 357675008 78231 18446744073709551615 4198400 14817773 140735747259680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48340992 140735747266980 140735747267097 140735747267097 140735747272672 0
/proc/205479/statm: 87323 78231 864 2593 0 84216 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 356276 KiB
Current children cumulated memory: 317276 KiB

[startup+3.10545 s]
/proc/loadavg: 3.97 2.94 2.50 5/273 205479
/proc/meminfo: memFree=127648556/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 252 102 0 0 0 0 0 0 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205478] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205478/stat : 205478 (timeout) S 205475 205478 203609 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 242397772 2723840 320 18446744073709551615 94121175191552 94121175208065 140736852068480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94121175222832 94121175224920 94121187397632 140736852076958 140736852077088 140736852077088 140736852082663 0
/proc/205478/statm: 665 320 320 5 0 90 0
[pid=205479] ppid=205478 vsize=447516 memory=411484 CPUtime=3.05 cores=0,2
/proc/205479/stat : 205479 (CASHWMaxSAT-Dis) R 205478 205478 203609 0 -1 4194304 66737 0 0 0 290 15 0 0 20 0 1 0 242397772 458256384 102871 18446744073709551615 4198400 14817773 140735747259680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48340992 140735747266980 140735747267097 140735747267097 140735747272672 0
/proc/205479/statm: 111879 102871 864 2593 0 108772 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 454500 KiB
Current children cumulated memory: 415836 KiB

[startup+6.3002 s]
/proc/loadavg: 3.97 2.94 2.50 5/273 205479
/proc/meminfo: memFree=127422756/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 252 102 0 0 0 0 0 0 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205478] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205478/stat : 205478 (timeout) S 205475 205478 203609 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 242397772 2723840 320 18446744073709551615 94121175191552 94121175208065 140736852068480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94121175222832 94121175224920 94121187397632 140736852076958 140736852077088 140736852077088 140736852082663 0
/proc/205478/statm: 665 320 320 5 0 90 0
[pid=205479] ppid=205478 vsize=760244 memory=682348 CPUtime=6.24 cores=0,2
/proc/205479/stat : 205479 (CASHWMaxSAT-Dis) R 205478 205478 203609 0 -1 4194304 113989 0 0 0 598 26 0 0 20 0 1 0 242397772 778489856 170587 18446744073709551615 4198400 14817773 140735747259680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48340992 140735747266980 140735747267097 140735747267097 140735747272672 0
/proc/205479/statm: 190061 170587 896 2593 0 186954 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 767228 KiB
Current children cumulated memory: 686700 KiB

[startup+12.7002 s]
/proc/loadavg: 3.97 2.96 2.51 5/273 205479
/proc/meminfo: memFree=126899572/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 252 102 0 0 0 0 0 0 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205478] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205478/stat : 205478 (timeout) S 205475 205478 203609 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 242397772 2723840 320 18446744073709551615 94121175191552 94121175208065 140736852068480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94121175222832 94121175224920 94121187397632 140736852076958 140736852077088 140736852077088 140736852082663 0
/proc/205478/statm: 665 320 320 5 0 90 0
[pid=205479] ppid=205478 vsize=1361060 memory=1186152 CPUtime=12.63 cores=0,2
/proc/205479/stat : 205479 (CASHWMaxSAT-Dis) R 205478 205478 203609 0 -1 4194304 154104 0 0 0 1219 44 0 0 20 0 1 0 242397772 1393725440 296538 18446744073709551615 4198400 14817773 140735747259680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48340992 140735747266980 140735747267097 140735747267097 140735747272672 0
/proc/205479/statm: 340265 296538 896 2593 0 337158 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1368044 KiB
Current children cumulated memory: 1190504 KiB

[startup+25.5002 s]
/proc/loadavg: 3.98 3.01 2.53 5/273 205529
/proc/meminfo: memFree=125408324/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 252 102 0 0 0 0 0 0 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205478] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205478/stat : 205478 (timeout) S 205475 205478 203609 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 242397772 2723840 320 18446744073709551615 94121175191552 94121175208065 140736852068480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94121175222832 94121175224920 94121187397632 140736852076958 140736852077088 140736852077088 140736852082663 0
/proc/205478/statm: 665 320 320 5 0 90 0
[pid=205479] ppid=205478 vsize=2908292 memory=2662608 CPUtime=25.38 cores=0,2
/proc/205479/stat : 205479 (CASHWMaxSAT-Dis) R 205478 205478 203609 0 -1 4194304 233792 0 0 0 2454 84 0 0 20 0 1 0 242397772 2978091008 665652 18446744073709551615 4198400 14817773 140735747259680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48340992 140735747266980 140735747267097 140735747267097 140735747272672 0
/proc/205479/statm: 727073 665652 896 2593 0 723966 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 2915276 KiB
Current children cumulated memory: 2666960 KiB

[startup+51.1056 s]
/proc/loadavg: 4.04 3.11 2.58 5/273 205530
/proc/meminfo: memFree=124875640/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 252 102 0 0 0 0 0 0 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205478] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205478/stat : 205478 (timeout) S 205475 205478 203609 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 242397772 2723840 320 18446744073709551615 94121175191552 94121175208065 140736852068480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94121175222832 94121175224920 94121187397632 140736852076958 140736852077088 140736852077088 140736852082663 0
/proc/205478/statm: 665 320 320 5 0 90 0
[pid=205479] ppid=205478 vsize=3352052 memory=3191152 CPUtime=50.91 cores=0,2
/proc/205479/stat : 205479 (CASHWMaxSAT-Dis) R 205478 205478 203609 0 -1 4194304 339262 0 0 0 4974 117 0 0 20 0 1 0 242397772 3432501248 797788 18446744073709551615 4198400 14817773 140735747259680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48340992 140735747266980 140735747267097 140735747267097 140735747272672 0
/proc/205479/statm: 838013 797788 896 2593 0 834906 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 3359036 KiB
Current children cumulated memory: 3195504 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 3.26 2.66 5/273 205532
/proc/meminfo: memFree=123176412/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 252 102 0 0 0 0 0 0 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205478] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2

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

Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 7975480 KiB
Current children cumulated memory: 7788880 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.64 2.92 5/270 205537
/proc/meminfo: memFree=119407936/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 252 102 0 0 0 0 0 0 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205478] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205478/stat : 205478 (timeout) S 205475 205478 203609 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 242397772 2723840 320 18446744073709551615 94121175191552 94121175208065 140736852068480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94121175222832 94121175224920 94121187397632 140736852076958 140736852077088 140736852077088 140736852082663 0
/proc/205478/statm: 665 320 320 5 0 90 0
[pid=205479] ppid=205478 vsize=9511140 memory=8495328 CPUtime=281.39 cores=0,2
/proc/205479/stat : 205479 (CASHWMaxSAT-Dis) R 205478 205478 203609 0 -1 4194304 745218 0 0 0 27812 327 0 0 20 0 1 0 242397772 9739407360 2123832 18446744073709551615 4198400 14817773 140735747259680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48340992 140735747266980 140735747267097 140735747267097 140735747272672 0
/proc/205479/statm: 2377785 2123832 896 2593 0 2374678 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 9518124 KiB
Current children cumulated memory: 8499680 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.74 3.00 5/270 205539
/proc/meminfo: memFree=118782908/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 252 102 0 0 0 0 0 0 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205478] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205478/stat : 205478 (timeout) S 205475 205478 203609 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 242397772 2723840 320 18446744073709551615 94121175191552 94121175208065 140736852068480 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94121175222832 94121175224920 94121187397632 140736852076958 140736852077088 140736852077088 140736852082663 0
/proc/205478/statm: 665 320 320 5 0 90 0
[pid=205479] ppid=205478 vsize=9818720 memory=9125488 CPUtime=341.22 cores=0,2
/proc/205479/stat : 205479 (CASHWMaxSAT-Dis) R 205478 205478 203609 0 -1 4194304 823991 0 0 0 33766 356 0 0 20 0 1 0 242397772 10054369280 2281372 18446744073709551615 4198400 14817773 140735747259680 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 48340992 140735747266980 140735747267097 140735747267097 140735747272672 0
/proc/205479/statm: 2454680 2281372 896 2593 0 2451573 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 9825704 KiB
Current children cumulated memory: 9129840 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 3.79 3.07 5/270 205543
/proc/meminfo: memFree=123795504/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=380.44 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 286 863402 0 0 0 0 37657 387 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205542] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205542/stat : 205542 (timeout) S 205475 205542 203609 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242435931 2723840 320 18446744073709551615 94536832442368 94536832458881 140723673841440 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94536832473648 94536832475736 94536849846272 140723673844102 140723673844256 140723673844256 140723673849831 0
/proc/205542/statm: 665 320 320 5 0 90 0
[pid=205543] ppid=205542 vsize=4308660 memory=4112708 CPUtime=20.6 cores=0,2
/proc/205543/stat : 205543 (SynLSCD) R 205542 205542 203609 0 -1 4194304 622782 0 0 0 1902 158 0 0 20 0 1 0 242435932 4412067840 1028177 18446744073709551615 94302599753728 94302602188329 140735283631712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94302602669304 94302602702336 94302621257728 140735283636640 140735283636775 140735283636775 140735283642350 0
/proc/205543/statm: 1077165 1028177 2272 595 0 1061832 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 4315644 KiB
Current children cumulated memory: 4117060 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.86 3.14 5/271 205553
/proc/meminfo: memFree=112636968/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=380.44 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 286 863402 0 0 0 0 37657 387 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205542] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205542/stat : 205542 (timeout) S 205475 205542 203609 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242435931 2723840 320 18446744073709551615 94536832442368 94536832458881 140723673841440 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94536832473648 94536832475736 94536849846272 140723673844102 140723673844256 140723673844256 140723673849831 0
/proc/205542/statm: 665 320 320 5 0 90 0
[pid=205543] ppid=205542 vsize=16555520 memory=14666948 CPUtime=80.44 cores=0,2
/proc/205543/stat : 205543 (SynLSCD) R 205542 205542 203609 0 -1 4194304 2395229 0 0 0 7414 630 0 0 20 0 1 0 242435932 16952852480 3666737 18446744073709551615 94302599753728 94302602188329 140735283631712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94302602669304 94302602702336 94302621257728 140735283636640 140735283636775 140735283636775 140735283642350 0
/proc/205543/statm: 4138880 3666737 2272 595 0 4123547 0
Current children cumulated CPU time: 460.88 s
Current children cumulated vsize: 16562504 KiB
Current children cumulated memory: 14671300 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+494.4 s]
/proc/loadavg: 4.07 3.88 3.17 5/271 205554
/proc/meminfo: memFree=109239956/131250000 swapFree=33008868/33010684
[pid=205475] ppid=205472 vsize=4324 memory=3072 CPUtime=380.44 cores=0,2
/proc/205475/stat : 205475 (Hybrid-CASHWMax) S 205472 205475 203609 0 -1 4194304 286 863402 0 0 0 0 37657 387 20 0 1 0 242397770 4427776 768 18446744073709551615 93918120259584 93918121154117 140721924705744 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93918121393168 93918121440912 93918150475776 140721924712789 140721924712943 140721924712943 140721924718547 0
/proc/205475/statm: 1081 768 704 219 0 143 0
[pid=205542] ppid=205475 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205542/stat : 205542 (timeout) S 205475 205542 203609 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 242435931 2723840 320 18446744073709551615 94536832442368 94536832458881 140723673841440 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94536832473648 94536832475736 94536849846272 140723673844102 140723673844256 140723673844256 140723673849831 0
/proc/205542/statm: 665 320 320 5 0 90 0
[pid=205543] ppid=205542 vsize=34560480 memory=19466232 CPUtime=112.44 cores=0,2
/proc/205543/stat : 205543 (SynLSCD) R 205542 205542 203609 0 -1 4194304 3118202 0 0 0 10447 797 0 0 20 0 1 0 242435932 35389931520 4866046 18446744073709551615 94302599753728 94302602188329 140735283631712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94302602669304 94302602702336 94302621257728 140735283636640 140735283636775 140735283636775 140735283642350 0
/proc/205543/statm: 8640120 4866046 2432 595 0 8624787 0
Current children cumulated CPU time: 492.88 s
Current children cumulated vsize: 34567464 KiB
Current children cumulated memory: 19470584 KiB

Sending SIGTERM to process tree (bottom up)

[startup+494.409 s]
# the end of solver process 205475 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=376.576 s, system=3.87277 s
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

[startup+496.405 s]
# the end of solver process 205542 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=376.578 s, system=3.87277 s
# this solver process was not waited by its parent and was adopted by runsolver
??? end of watcher thread

[startup+496.93 s]
# the end of solver process 205543 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=482.503 s, system=12.9282 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+495.2 s]
/proc/loadavg: 4.07 3.88 3.17 5/270 205554
/proc/meminfo: memFree=106965024/131250000 swapFree=33008868/33010684
[pid=205542] ppid=205472 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205542/stat : 205542 (timeout) S 205472 205542 203609 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242435931 2723840 320 18446744073709551615 94536832442368 94536832458881 140723673841440 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94536832473648 94536832475736 94536849846272 140723673844102 140723673844256 140723673844256 140723673849831 0
/proc/205542/statm: 665 320 320 5 0 90 0
[pid=205543] ppid=205542 vsize=34692540 memory=20999732 CPUtime=113.25 cores=0,2
/proc/205543/stat : 205543 (SynLSCD) R 205542 205542 203609 0 -1 4194304 3154637 0 0 0 10492 833 0 0 20 0 1 0 242435932 35525160960 5249933 18446744073709551615 94302599753728 94302602188329 140735283631712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94302602669304 94302602702336 94302621257728 140735283636640 140735283636775 140735283636775 140735283642350 0
/proc/205543/statm: 8673135 5249933 2432 595 0 8657802 0
Current cumulated CPU time of completed processes: 380.449 s
Current children cumulated CPU time: 113.25 s
Current children cumulated vsize: 34695200 KiB
Current children cumulated memory: 21001012 KiB

[startup+496 s]*
/proc/loadavg: 4.07 3.88 3.17 5/270 205554
/proc/meminfo: memFree=106481208/131250000 swapFree=33008868/33010684
[pid=205542] ppid=205472 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205542/stat : 205542 (timeout) S 205472 205542 203609 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242435931 2723840 320 18446744073709551615 94536832442368 94536832458881 140723673841440 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94536832473648 94536832475736 94536849846272 140723673844102 140723673844256 140723673844256 140723673849831 0
/proc/205542/statm: 665 320 320 5 0 90 0
[pid=205543] ppid=205542 vsize=35021484 memory=21394228 CPUtime=114.05 cores=0,2
/proc/205543/stat : 205543 (SynLSCD) R 205542 205542 203609 0 -1 4194304 3236897 0 0 0 10559 846 0 0 20 0 1 0 242435932 35861999616 5348557 18446744073709551615 94302599753728 94302602188329 140735283631712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94302602669304 94302602702336 94302621257728 140735283636640 140735283636775 140735283636775 140735283642350 0
/proc/205543/statm: 8755371 5348557 2432 595 0 8740038 0
Current cumulated CPU time of completed processes: 380.449 s
Current children cumulated CPU time: 114.05 s
Current children cumulated vsize: 35024144 KiB
Current children cumulated memory: 21395508 KiB

[startup+496.4 s]
/proc/loadavg: 4.07 3.88 3.17 5/270 205554
/proc/meminfo: memFree=106481208/131250000 swapFree=33008868/33010684
[pid=205542] ppid=205472 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/205542/stat : 205542 (timeout) S 205472 205542 203609 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242435931 2723840 320 18446744073709551615 94536832442368 94536832458881 140723673841440 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94536832473648 94536832475736 94536849846272 140723673844102 140723673844256 140723673844256 140723673849831 0
/proc/205542/statm: 665 320 320 5 0 90 0
[pid=205543] ppid=205542 vsize=35183316 memory=21586764 CPUtime=114.44 cores=0,2
/proc/205543/stat : 205543 (SynLSCD) R 205542 205542 203609 0 -1 4194304 3277376 0 0 0 10592 852 0 0 20 0 1 0 242435932 36027715584 5396691 18446744073709551615 94302599753728 94302602188329 140735283631712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94302602669304 94302602702336 94302621257728 140735283636640 140735283636775 140735283636775 140735283642350 0
/proc/205543/statm: 8795829 5396691 2432 595 0 8780496 0
Current cumulated CPU time of completed processes: 380.449 s
Current children cumulated CPU time: 114.44 s
Current children cumulated vsize: 35185976 KiB
Current children cumulated memory: 21588044 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 496.93
CPU time (s): 495.431
CPU user time (s): 482.503
CPU system time (s): 12.9282
CPU usage (%): 99.6983
Max. virtual memory (cumulated for all children) (KiB): 35185976
Max. memory (cumulated for all children) (KiB): 21588044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 482.503
system time used= 12.9282
maximum resident set size= 21588916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4141173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 422
involuntary context switches= 692


# summary of solver processes directly reported to runsolver:
#   pid: 205475,205542,205543
#   total CPU time (s): 495.431
#   total CPU user time (s): 482.503
#   total CPU system time (s): 12.9282

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.971338 second user time and 2.37474 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-23 12:39:35
IDJOB=4547359
IDBENCH=160486
IDSOLVER=3424
FILE ID=nodeC013/4547359-1753267175
RUNJOBID= nodeC013-1753267014-204951
SLURM_JOB_ID= 9689168
Free space on /tmp= 432956 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4547359-1753267175/watcher-4547359-1753267175 -o /tmp/evaluation-result-4547359-1753267175/solver-4547359-1753267175 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753267014-204951 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547359-1753267175.opb 3600 HOME

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

MD5SUM BENCH= b7a2e8144dd82d545640c8e4101e7ef6
RANDOM SEED=1490955552

nodeC013 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		: 3581.218
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.67
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.787
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.843
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.67
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		: 3532.546
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.67
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		: 3598.473
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.67
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.838
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.67
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		: 3582.855
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.67
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		: 3700.000
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128028104 kB
MemAvailable:   129233180 kB
Buffers:            1668 kB
Cached:          1944988 kB
SwapCached:           52 kB
Active:          1340284 kB
Inactive:        1087020 kB
Active(anon):     497200 kB
Inactive(anon):     4872 kB
Active(file):     843084 kB
Inactive(file):  1082148 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008868 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             45100 kB
Writeback:            16 kB
AnonPages:        479776 kB
Mapped:           116608 kB
Shmem:             21424 kB
KReclaimable:     237768 kB
Slab:             334436 kB
SReclaimable:     237768 kB
SUnreclaim:        96668 kB
KernelStack:        4384 kB
PageTables:         4136 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     827940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432936 MiB
End job on nodeC013 at 2025-07-23 12:47:52