Trace number 4485709

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.52 3610.35

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbeb.opb
MD5SUMd021d78883fac2a7bf820bb220b2a7e2
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 benchmark1.14616
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables155020
Total number of constraints2675
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2675
Minimum length of a constraint11
Maximum length of a constraint7172
Number of terms in the objective function 14882
Biggest coefficient in the objective function 536870912000000
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 12491747892670016
Number of bits of the sum of numbers in the objective function 54
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 24454743822989865
Number of bits of the biggest sum of numbers55
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

745.31/747.36	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
745.31/747.36	c Do: 140728772389496 140728772389504
3600.06/3609.90	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: 63837 MiB (59224 MiB free)
  memory of node 1: 64465 MiB (63866 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100072 s]*
/proc/loadavg: 1.23 1.91 3.02 6/258 46611
/proc/meminfo: memFree=126018204/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=28876 memory=13960 CPUtime=0.1 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 3197 0 0 0 9 1 0 0 20 0 1 0 47272698 29569024 3490 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 7219 3490 864 2593 0 4112 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28876 KiB
Current children cumulated memory: 13960 KiB

[startup+0.211575 s]*
/proc/loadavg: 1.23 1.91 3.02 8/258 46611
/proc/meminfo: memFree=126004348/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=31804 memory=17160 CPUtime=0.21 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 3980 0 0 0 20 1 0 0 20 0 1 0 47272698 32567296 4290 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 7951 4290 864 2593 0 4844 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31804 KiB
Current children cumulated memory: 17160 KiB

[startup+0.313491 s]*
/proc/loadavg: 1.23 1.91 3.02 7/258 46611
/proc/meminfo: memFree=125984692/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=40608 memory=25160 CPUtime=0.31 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 6516 0 0 0 29 2 0 0 20 0 1 0 47272698 41582592 6290 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 10152 6290 864 2593 0 7045 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40608 KiB
Current children cumulated memory: 25160 KiB

[startup+0.700499 s]
/proc/loadavg: 1.23 1.91 3.02 5/258 46611
/proc/meminfo: memFree=125954452/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=65236 memory=48128 CPUtime=0.69 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 12246 0 0 0 65 4 0 0 20 0 1 0 47272698 66801664 12032 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 16309 12032 864 2593 0 13202 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 65236 KiB
Current children cumulated memory: 48128 KiB

[startup+1.50027 s]
/proc/loadavg: 1.23 1.91 3.02 6/258 46611
/proc/meminfo: memFree=125850492/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=100080 memory=82688 CPUtime=1.49 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 20904 0 0 0 142 7 0 0 20 0 1 0 47272698 102481920 20672 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 25020 20672 864 2593 0 21913 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 100080 KiB
Current children cumulated memory: 82688 KiB

[startup+3.11319 s]
/proc/loadavg: 1.45 1.94 3.03 4/254 46619
/proc/meminfo: memFree=125295944/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=219076 memory=195984 CPUtime=3.09 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 47195 0 0 0 296 13 0 0 20 0 1 0 47272698 224333824 48996 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 54769 48996 864 2593 0 51662 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 219076 KiB
Current children cumulated memory: 195984 KiB

[startup+6.3003 s]
/proc/loadavg: 1.45 1.94 3.03 5/258 46657
/proc/meminfo: memFree=124800388/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=264696 memory=240688 CPUtime=6.27 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 57832 0 0 0 611 16 0 0 20 0 1 0 47272698 271048704 60172 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 66174 60172 896 2593 0 63067 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 264696 KiB
Current children cumulated memory: 240688 KiB

[startup+12.7002 s]
/proc/loadavg: 1.65 1.98 3.03 5/258 46657
/proc/meminfo: memFree=124565316/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=324212 memory=295336 CPUtime=12.65 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 61330 0 0 0 1248 17 0 0 20 0 1 0 47272698 331993088 73834 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 81053 73834 896 2593 0 77946 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 324212 KiB
Current children cumulated memory: 295336 KiB

[startup+25.5003 s]
/proc/loadavg: 2.17 2.08 3.05 5/258 46657
/proc/meminfo: memFree=124443112/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=502208 memory=464032 CPUtime=25.43 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 75943 0 0 0 2519 24 0 0 20 0 1 0 47272698 514260992 116008 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 125552 116008 896 2593 0 122445 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 502208 KiB
Current children cumulated memory: 464032 KiB

[startup+51.1134 s]
/proc/loadavg: 2.88 2.25 3.08 5/257 46657
/proc/meminfo: memFree=124127176/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=830892 memory=805520 CPUtime=50.98 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 109333 0 0 0 5062 36 0 0 20 0 1 0 47272698 850833408 201380 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 207723 201380 896 2593 0 204616 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 830892 KiB
Current children cumulated memory: 805520 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 2.54 3.14 5/258 46660
/proc/meminfo: memFree=123543172/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=1459308 memory=1370420 CPUtime=102.06 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 159884 0 0 0 10148 58 0 0 20 0 1 0 47272698 1494331392 342605 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 364827 342605 1152 2593 0 361720 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 1459308 KiB
Current children cumulated memory: 1370420 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.82 3.20 5/259 46663
/proc/meminfo: memFree=122333544/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=1528528 memory=1504792 CPUtime=161.93 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 177812 0 0 0 16131 62 0 0 20 0 1 0 47272698 1565212672 376198 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 382132 376198 1152 2593 0 379025 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 1528528 KiB
Current children cumulated memory: 1504792 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 3.05 3.26 5/259 46665
/proc/meminfo: memFree=120960780/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=2172104 memory=1982908 CPUtime=221.78 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 196887 0 0 0 22099 79 0 0 20 0 1 0 47272698 2224234496 495727 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 543026 495727 1152 2593 0 539919 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 2172104 KiB
Current children cumulated memory: 1982908 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.25 3.31 5/254 46667
/proc/meminfo: memFree=116609620/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=2284740 memory=2193592 CPUtime=281.64 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 225273 0 0 0 28078 86 0 0 20 0 1 0 47272698 2339573760 548398 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 571185 548398 1152 2593 0 568078 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 2284740 KiB
Current children cumulated memory: 2193592 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 3.42 3.37 5/252 46669
/proc/meminfo: memFree=116846884/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=2778800 memory=2466108 CPUtime=341.49 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 260620 0 0 0 34054 95 0 0 20 0 1 0 47272698 2845491200 616527 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 694700 616527 1152 2593 0 691593 0
Current children cumulated CPU time: 341.49 s
Current children cumulated vsize: 2778800 KiB
Current children cumulated memory: 2466108 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 3.56 3.42 5/249 46671
/proc/meminfo: memFree=116511096/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=2924540 memory=2751404 CPUtime=401.32 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 297514 0 0 0 40028 104 0 0 20 0 1 0 47272698 2994728960 687851 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 731135 687851 1152 2593 0 728028 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 2924540 KiB
Current children cumulated memory: 2751404 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 3.64 3.46 5/248 46673
/proc/meminfo: memFree=115565220/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=3718052 memory=3657684 CPUtime=461.14 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 328307 0 0 0 45975 139 0 0 20 0 1 0 47272698 3807285248 914421 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 929513 914421 1152 2593 0 926406 0
Current children cumulated CPU time: 461.14 s

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


[startup+2982.3 s]
/proc/loadavg: 4.31 4.28 4.16 5/251 46821
/proc/meminfo: memFree=96379084/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=23552616 memory=21647828 CPUtime=2974.18 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 3169934 0 0 0 290657 6761 0 0 20 0 1 0 47272698 24117878784 5411957 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 5888154 5411957 1248 2593 0 5885047 0
Current children cumulated CPU time: 2974.18 s
Current children cumulated vsize: 23552616 KiB
Current children cumulated memory: 21647828 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.24 4.15 5/252 46828
/proc/meminfo: memFree=95239012/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=24412796 memory=22536680 CPUtime=3034.01 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 3185287 0 0 0 296488 6913 0 0 20 0 1 0 47272698 24998703104 5634170 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 6103199 5634170 1248 2593 0 6100092 0
Current children cumulated CPU time: 3034.01 s
Current children cumulated vsize: 24412796 KiB
Current children cumulated memory: 22536680 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.19 4.14 5/252 46830
/proc/meminfo: memFree=92706284/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=23263668 memory=21358880 CPUtime=3093.84 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 3200962 0 0 0 302278 7106 0 0 20 0 1 0 47272698 23821996032 5339720 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 5815917 5339720 1248 2593 0 5812810 0
Current children cumulated CPU time: 3093.84 s
Current children cumulated vsize: 23263668 KiB
Current children cumulated memory: 21358880 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.19 4.14 5/252 46832
/proc/meminfo: memFree=95635204/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=24315732 memory=22410912 CPUtime=3153.68 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 3220327 0 0 0 308029 7339 0 0 20 0 1 0 47272698 24899309568 5602728 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 6078933 5602728 1248 2593 0 6075826 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 24315732 KiB
Current children cumulated memory: 22410912 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/251 46834
/proc/meminfo: memFree=96655096/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=23263668 memory=21358880 CPUtime=3213.51 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 3228979 0 0 0 314000 7351 0 0 20 0 1 0 47272698 23821996032 5339720 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 5815917 5339720 1248 2593 0 5812810 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 23263668 KiB
Current children cumulated memory: 21358880 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.15 4.13 5/250 46836
/proc/meminfo: memFree=96423048/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=23263668 memory=21371108 CPUtime=3273.35 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 3247538 0 0 0 319759 7576 0 0 20 0 1 0 47272698 23821996032 5342777 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 5815917 5342777 1248 2593 0 5812810 0
Current children cumulated CPU time: 3273.35 s
Current children cumulated vsize: 23263668 KiB
Current children cumulated memory: 21371108 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/249 46838
/proc/meminfo: memFree=96223348/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=23261024 memory=21368464 CPUtime=3333.18 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 3265925 0 0 0 325525 7793 0 0 20 0 1 0 47272698 23819288576 5342116 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 5815256 5342116 1248 2593 0 5812149 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 23261024 KiB
Current children cumulated memory: 21368464 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.12 4.12 5/249 46840
/proc/meminfo: memFree=96343096/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=23261024 memory=21393100 CPUtime=3393.01 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 3283436 0 0 0 331354 7947 0 0 20 0 1 0 47272698 23819288576 5348275 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 5815256 5348275 1248 2593 0 5812149 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 23261024 KiB
Current children cumulated memory: 21393100 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/249 46842
/proc/meminfo: memFree=95314112/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=24311720 memory=22445812 CPUtime=3452.85 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 3303159 0 0 0 337108 8177 0 0 20 0 1 0 47272698 24895201280 5611453 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 6077930 5611453 1248 2593 0 6074823 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 24311720 KiB
Current children cumulated memory: 22445812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.11 5/250 46845
/proc/meminfo: memFree=96093012/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=23547752 memory=21681836 CPUtime=3512.7 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 3315342 0 0 0 343076 8194 0 0 20 0 1 0 47272698 24112898048 5420459 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 5886938 5420459 1248 2593 0 5883831 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 23547752 KiB
Current children cumulated memory: 21681836 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/250 46849
/proc/meminfo: memFree=96071588/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=23547752 memory=21692064 CPUtime=3572.53 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 3334838 0 0 0 348849 8404 0 0 20 0 1 0 47272698 24112898048 5423016 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 5886938 5423016 1248 2593 0 5883831 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 23547752 KiB
Current children cumulated memory: 21692064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.08 4.10 4.10 5/250 46849
/proc/meminfo: memFree=96296584/131382116 swapFree=33010160/33010684
[pid=46610] ppid=46603 vsize=26549968 memory=22095284 CPUtime=3600.06 cores=0,2
/proc/46610/stat : 46610 (CASHWMaxSAT-Dis) R 46603 46610 46542 0 -1 4194304 3339268 0 0 0 351566 8440 0 0 20 0 1 0 47272698 27187167232 5523821 18446744073709551615 4198400 14817773 140728772391904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 29581312 140728772393322 140728772393437 140728772393437 140728772399039 0
/proc/46610/statm: 6637492 5523821 1248 2593 0 6634385 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 26549968 KiB
Current children cumulated memory: 22095284 KiB

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

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

# cumulated CPU time of all completed processes:  user=3515.67 s, system=84.8502 s

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

[startup+3610 s]*
/proc/loadavg: 4.08 4.10 4.10 5/246 46862
/proc/meminfo: memFree=98251480/131382116 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3610.2 s]
/proc/loadavg: 4.08 4.10 4.10 5/246 46862
/proc/meminfo: memFree=98251480/131382116 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3610.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/246 46862
/proc/meminfo: memFree=98251480/131382116 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3610.35
CPU time (s): 3600.52
CPU user time (s): 3515.67
CPU system time (s): 84.8502
CPU usage (%): 99.7276
Max. virtual memory (cumulated for all children) (KiB): 29451052
Max. memory (cumulated for all children) (KiB): 27965764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3515.67
system time used= 84.8502
maximum resident set size= 28071364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3339269
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= 59
involuntary context switches= 8336


# summary of solver processes directly reported to runsolver:
#   pid: 46610
#   total CPU time (s): 3600.52
#   total CPU user time (s): 3515.67
#   total CPU system time (s): 84.8502

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9767 second user time and 35.8017 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-06-30 22:38:55
IDJOB=4485709
IDBENCH=146868
IDSOLVER=3322
FILE ID=nodeC004/4485709-1751315935
RUNJOBID= nodeC004-1751315935-46552
SLURM_JOB_ID= 9594334
Free space on /tmp= 433004 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-greenbeb.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485709-1751315935/watcher-4485709-1751315935 -o /tmp/evaluation-result-4485709-1751315935/solver-4485709-1751315935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751315935-46552 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4485709-1751315935.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= d021d78883fac2a7bf820bb220b2a7e2
RANDOM SEED=1336065759

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        126057776 kB
MemAvailable:   129785588 kB
Buffers:            2720 kB
Cached:          4478992 kB
SwapCached:           20 kB
Active:           414332 kB
Inactive:        4153984 kB
Active(anon):      98368 kB
Inactive(anon):     6192 kB
Active(file):     315964 kB
Inactive(file):  4147792 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             86556 kB
Writeback:             0 kB
AnonPages:         89716 kB
Mapped:           109576 kB
Shmem:             17956 kB
KReclaimable:     207368 kB
Slab:             293024 kB
SReclaimable:     207368 kB
SUnreclaim:        85656 kB
KernelStack:        4000 kB
PageTables:         2940 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     410688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432972 MiB
End job on nodeC004 at 2025-06-30 23:39:06