Trace number 4515045

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
CASHWMaxSATDisjCom-S 2025-06-01? 1463.47 1467.54

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ivu59.0.u.opb
MD5SUM35958f80d7fcf653e073babd26915af5
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2569996
Total number of constraints3437
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3436
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint18
Maximum length of a constraint2569996
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 46418
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 500045678
Number of bits of the biggest sum of numbers29
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1462.93/1467.06	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1462.93/1467.06	c Out of memery in converting constraints: std::bad_alloc
1462.93/1467.06	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62352 MiB free)
  memory of node 1: 64465 MiB (62726 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515045-1751227509/watcher-4515045-1751227509 -o /tmp/evaluation-result-4515045-1751227509/solver-4515045-1751227509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751219447-29363 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4515045-1751227509.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=31273, runsolver pid=31270

[startup+0.100067 s]*
/proc/loadavg: 4.14 4.13 4.10 5/263 31274
/proc/meminfo: memFree=128031124/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=76164 memory=52240 CPUtime=0.1 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 13156 0 0 0 8 2 0 0 20 0 1 0 38428810 77991936 13060 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 19041 13060 736 2416 0 16143 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 76164 KiB
Current children cumulated memory: 52240 KiB

[startup+0.205538 s]*
/proc/loadavg: 4.14 4.13 4.10 5/263 31274
/proc/meminfo: memFree=127987464/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=125540 memory=99660 CPUtime=0.2 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 24210 0 0 0 16 4 0 0 20 0 1 0 38428810 128552960 24915 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 31385 24915 736 2416 0 28487 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 125540 KiB
Current children cumulated memory: 99660 KiB

[startup+0.305459 s]*
/proc/loadavg: 4.14 4.13 4.10 5/263 31274
/proc/meminfo: memFree=127942920/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=178556 memory=146112 CPUtime=0.3 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 34149 0 0 0 24 6 0 0 20 0 1 0 38428810 182841344 36528 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 44639 36528 736 2416 0 41741 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 178556 KiB
Current children cumulated memory: 146112 KiB

[startup+0.700188 s]
/proc/loadavg: 4.14 4.13 4.10 5/263 31274
/proc/meminfo: memFree=127854212/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=372092 memory=321584 CPUtime=0.68 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 64999 0 0 0 56 12 0 0 20 0 1 0 38428810 381022208 80396 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 93023 80396 736 2416 0 90125 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 372092 KiB
Current children cumulated memory: 321584 KiB

[startup+1.50018 s]
/proc/loadavg: 4.14 4.13 4.10 5/263 31274
/proc/meminfo: memFree=127624236/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=795800 memory=702832 CPUtime=1.48 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 106755 0 0 0 123 25 0 0 20 0 1 0 38428810 814899200 175708 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 198950 175708 736 2416 0 196052 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 795800 KiB
Current children cumulated memory: 702832 KiB

[startup+3.10544 s]
/proc/loadavg: 4.14 4.13 4.10 5/263 31274
/proc/meminfo: memFree=126424720/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=1917832 memory=1737160 CPUtime=3.08 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 268307 0 0 0 255 53 0 0 20 0 1 0 38428810 1963859968 434290 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 479458 434290 736 2416 0 476560 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1917832 KiB
Current children cumulated memory: 1737160 KiB

[startup+6.30018 s]
/proc/loadavg: 4.21 4.14 4.10 5/263 31274
/proc/meminfo: memFree=125895556/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=2382072 memory=2182536 CPUtime=6.27 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 361790 0 0 0 559 68 0 0 20 0 1 0 38428810 2439241728 545634 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 595518 545634 736 2416 0 592620 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2382072 KiB
Current children cumulated memory: 2182536 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.14 4.10 5/263 31274
/proc/meminfo: memFree=125895816/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=2189572 memory=2018584 CPUtime=12.66 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 362190 0 0 0 1197 69 0 0 20 0 1 0 38428810 2242121728 504646 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 547393 504646 736 2416 0 544495 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2189572 KiB
Current children cumulated memory: 2018584 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 31274
/proc/meminfo: memFree=125756504/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=2412964 memory=2239000 CPUtime=25.42 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 417381 0 0 0 2463 79 0 0 20 0 1 0 38428810 2470875136 559718 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 603241 559718 736 2416 0 600343 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2412964 KiB
Current children cumulated memory: 2239000 KiB

[startup+51.1054 s]
/proc/loadavg: 4.24 4.16 4.10 5/263 31275
/proc/meminfo: memFree=123996708/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=4186788 memory=3988628 CPUtime=50.98 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 854357 0 0 0 4954 144 0 0 20 0 1 0 38428810 4287270912 997157 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 1046697 997157 736 2416 0 1043799 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 4186788 KiB
Current children cumulated memory: 3988628 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/264 31281
/proc/meminfo: memFree=120426112/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=7741892 memory=7495828 CPUtime=102.05 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 1731217 0 0 0 9921 284 0 0 20 0 1 0 38428810 7927697408 1873957 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 1935473 1873957 736 2416 0 1932575 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 7741892 KiB
Current children cumulated memory: 7495828 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/264 31283
/proc/meminfo: memFree=116493152/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=11792136 memory=11499652 CPUtime=161.91 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 2726097 0 0 0 15748 443 0 0 20 0 1 0 38428810 12075147264 2874913 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 2948034 2874913 736 2416 0 2945136 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 11792136 KiB
Current children cumulated memory: 11499652 KiB

[startup+222.3 s]
/proc/loadavg: 4.44 4.23 4.13 5/263 31287
/proc/meminfo: memFree=114499920/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=13814300 memory=13511576 CPUtime=221.76 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3037730 0 0 0 21662 514 0 0 20 0 1 0 38428810 14145843200 3377894 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 3453575 3377894 768 2416 0 3450677 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 13814300 KiB
Current children cumulated memory: 13511576 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 4.20 4.12 5/263 31289
/proc/meminfo: memFree=113627880/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=14930348 memory=14380424 CPUtime=281.61 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3075955 0 0 0 27615 546 0 0 20 0 1 0 38428810 15288676352 3595106 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 3732587 3595106 768 2416 0 3729689 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 14930348 KiB
Current children cumulated memory: 14380424 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/264 31292
/proc/meminfo: memFree=112548976/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=15710968 memory=15415012 CPUtime=341.46 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3104453 0 0 0 33555 591 0 0 20 0 1 0 38428810 16088031232 3853753 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 3927742 3853753 768 2416 0 3924844 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 15710968 KiB
Current children cumulated memory: 15415012 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/264 31339
/proc/meminfo: memFree=109540292/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=16359280 memory=15743924 CPUtime=401.31 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3129204 0 0 0 39524 607 0 0 20 0 1 0 38428810 16751902720 3935981 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 4089820 3935981 768 2416 0 4086922 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 16359280 KiB
Current children cumulated memory: 15743924 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/264 31341
/proc/meminfo: memFree=108811180/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=16433120 memory=16012280 CPUtime=461.14 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3148664 0 0 0 45494 620 0 0 20 0 1 0 38428810 16827514880 4003070 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 4108280 4003070 768 2416 0 4105382 0

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

/proc/meminfo: memFree=105723640/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=20294376 memory=18980256 CPUtime=1059.42 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3278412 0 0 0 105158 784 0 0 20 0 1 0 38428810 20781441024 4745064 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 5073594 4745064 768 2416 0 5070696 0
Current children cumulated CPU time: 1059.42 s
Current children cumulated vsize: 20294376 KiB
Current children cumulated memory: 18980256 KiB

[startup+1122.3 s]
/proc/loadavg: 4.42 4.24 4.14 5/263 31370
/proc/meminfo: memFree=105533656/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=20333432 memory=19113540 CPUtime=1119.24 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3290279 0 0 0 111130 794 0 0 20 0 1 0 38428810 20821434368 4778385 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 5083358 4778385 768 2416 0 5080460 0
Current children cumulated CPU time: 1119.24 s
Current children cumulated vsize: 20333432 KiB
Current children cumulated memory: 19113540 KiB

[startup+1182.3 s]
/proc/loadavg: 4.25 4.23 4.14 5/262 31372
/proc/meminfo: memFree=105426932/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=20361880 memory=19232156 CPUtime=1179.07 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3301327 0 0 0 117103 804 0 0 20 0 1 0 38428810 20850565120 4808039 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 5090470 4808039 768 2416 0 5087572 0
Current children cumulated CPU time: 1179.07 s
Current children cumulated vsize: 20361880 KiB
Current children cumulated memory: 19232156 KiB

[startup+1242.3 s]
/proc/loadavg: 4.09 4.18 4.13 5/262 31374
/proc/meminfo: memFree=105320424/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=20398772 memory=19354980 CPUtime=1238.89 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3312920 0 0 0 123075 814 0 0 20 0 1 0 38428810 20888342528 4838745 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 5099693 4838745 768 2416 0 5096795 0
Current children cumulated CPU time: 1238.89 s
Current children cumulated vsize: 20398772 KiB
Current children cumulated memory: 19354980 KiB

[startup+1302.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/263 31381
/proc/meminfo: memFree=105218524/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=20425948 memory=19468336 CPUtime=1298.72 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3322625 0 0 0 129048 824 0 0 20 0 1 0 38428810 20916170752 4867084 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 5106487 4867084 768 2416 0 5103589 0
Current children cumulated CPU time: 1298.72 s
Current children cumulated vsize: 20425948 KiB
Current children cumulated memory: 19468336 KiB

[startup+1362.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/263 31383
/proc/meminfo: memFree=105100064/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=20453700 memory=19573712 CPUtime=1358.53 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3332171 0 0 0 135020 833 0 0 20 0 1 0 38428810 20944588800 4893428 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 5113425 4893428 768 2416 0 5110527 0
Current children cumulated CPU time: 1358.53 s
Current children cumulated vsize: 20453700 KiB
Current children cumulated memory: 19573712 KiB

[startup+1422.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/263 31387
/proc/meminfo: memFree=104976220/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=20480788 memory=19680800 CPUtime=1418.36 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3341200 0 0 0 140994 842 0 0 20 0 1 0 38428810 20972326912 4920200 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 5120197 4920200 768 2416 0 5117299 0
Current children cumulated CPU time: 1418.36 s
Current children cumulated vsize: 20480788 KiB
Current children cumulated memory: 19680800 KiB

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

# cumulated CPU time of all completed processes:  user=1454.51 s, system=8.96861 s

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

[startup+1433.6 s]
/proc/loadavg: 4.07 4.14 4.12 5/263 31387
/proc/meminfo: memFree=104950680/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=20485388 memory=19699640 CPUtime=1429.63 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3342525 0 0 0 142118 845 0 0 20 0 1 0 38428810 20977037312 4924910 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 5121347 4924910 768 2416 0 5118449 0
Current children cumulated CPU time: 1429.63 s
Current children cumulated vsize: 20485388 KiB
Current children cumulated memory: 19699640 KiB

[startup+1446.4 s]
/proc/loadavg: 4.05 4.13 4.11 5/263 31387
/proc/meminfo: memFree=104944808/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=20489884 memory=19720596 CPUtime=1442.38 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3344976 0 0 0 143392 846 0 0 20 0 1 0 38428810 20981641216 4930149 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 5122471 4930149 768 2416 0 5119573 0
Current children cumulated CPU time: 1442.38 s
Current children cumulated vsize: 20489884 KiB
Current children cumulated memory: 19720596 KiB

[startup+1459.2 s]
/proc/loadavg: 4.04 4.12 4.11 5/263 31388
/proc/meminfo: memFree=104915180/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=20495844 memory=19745020 CPUtime=1455.15 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3346485 0 0 0 144667 848 0 0 20 0 1 0 38428810 20987744256 4936255 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 5123961 4936255 768 2416 0 5121063 0
Current children cumulated CPU time: 1455.15 s
Current children cumulated vsize: 20495844 KiB
Current children cumulated memory: 19745020 KiB

[startup+1462.4 s]
/proc/loadavg: 4.04 4.12 4.11 5/263 31388
/proc/meminfo: memFree=104892780/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=20497652 memory=19749604 CPUtime=1458.34 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3347116 0 0 0 144986 848 0 0 20 0 1 0 38428810 20989595648 4937401 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 5124413 4937401 992 2416 0 5121515 0
Current children cumulated CPU time: 1458.34 s
Current children cumulated vsize: 20497652 KiB
Current children cumulated memory: 19749604 KiB

[startup+1465.6 s]
/proc/loadavg: 4.12 4.14 4.12 5/263 31388
/proc/meminfo: memFree=104895332/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=20497656 memory=19749604 CPUtime=1461.53 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3347119 0 0 0 145304 849 0 0 20 0 1 0 38428810 20989599744 4937401 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 5124414 4937401 992 2416 0 5121516 0
Current children cumulated CPU time: 1461.53 s
Current children cumulated vsize: 20497656 KiB
Current children cumulated memory: 19749604 KiB

[startup+1466.4 s]
/proc/loadavg: 4.12 4.14 4.12 5/263 31389
/proc/meminfo: memFree=104892220/131249988 swapFree=33010684/33010684
[pid=31273] ppid=31270 vsize=20497656 memory=19749604 CPUtime=1462.32 cores=4,6
/proc/31273/stat : 31273 (CASHWMaxSAT-Dis) R 31270 31273 29352 0 -1 4194304 3347121 0 0 0 145383 849 0 0 20 0 1 0 38428810 20989599744 4937401 18446744073709551615 4198400 14093885 140724908898992 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 36397056 140724908902762 140724908902877 140724908902877 140724908908479 0
/proc/31273/statm: 5124414 4937401 992 2416 0 5121516 0
Current children cumulated CPU time: 1462.32 s
Current children cumulated vsize: 20497656 KiB
Current children cumulated memory: 19749604 KiB

[startup+1467.21 s]
/proc/loadavg: 4.12 4.14 4.12 5/263 31389
/proc/meminfo: memFree=106565840/131249988 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+1467.4 s]
/proc/loadavg: 4.12 4.14 4.12 5/263 31389
/proc/meminfo: memFree=106565840/131249988 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+1467.5 s]
/proc/loadavg: 4.12 4.14 4.12 5/263 31389
/proc/meminfo: memFree=106565840/131249988 swapFree=33010684/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): 1467.54
CPU time (s): 1463.47
CPU user time (s): 1454.51
CPU system time (s): 8.96861
CPU usage (%): 99.723
Max. virtual memory (cumulated for all children) (KiB): 20497660
Max. memory (cumulated for all children) (KiB): 19749604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1454.51
system time used= 8.96861
maximum resident set size= 19749604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3347125
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= 25
involuntary context switches= 9041


# summary of solver processes directly reported to runsolver:
#   pid: 31273
#   total CPU time (s): 1463.47
#   total CPU user time (s): 1454.51
#   total CPU system time (s): 8.96861

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.13109 second user time and 6.18398 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-29 22:05:12
IDJOB=4515045
IDBENCH=164110
IDSOLVER=3323
FILE ID=nodeC020/4515045-1751227509
RUNJOBID= nodeC020-1751219447-29363
SLURM_JOB_ID= 9587672
Free space on /tmp= 432588 MiB

SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ivu59.0.u.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515045-1751227509/watcher-4515045-1751227509 -o /tmp/evaluation-result-4515045-1751227509/solver-4515045-1751227509 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751219447-29363 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4515045-1751227509.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 35958f80d7fcf653e073babd26915af5
RANDOM SEED=643421526

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.881
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.79
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.869
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.79
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		: 3750.709
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.79
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		: 3597.806
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.79
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		: 3688.113
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        128080504 kB
MemAvailable:   128681312 kB
Buffers:            3280 kB
Cached:          1407368 kB
SwapCached:            0 kB
Active:          1523952 kB
Inactive:        1100068 kB
Active(anon):    1231428 kB
Inactive(anon):        0 kB
Active(file):     292524 kB
Inactive(file):  1100068 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            457080 kB
Writeback:             0 kB
AnonPages:       1213128 kB
Mapped:           112552 kB
Shmem:             18056 kB
KReclaimable:      94908 kB
Slab:             181280 kB
SReclaimable:      94908 kB
SUnreclaim:        86372 kB
KernelStack:        4240 kB
PageTables:         5368 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    1662692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1079296 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432576 MiB
End job on nodeC020 at 2025-06-29 22:29:40