Trace number 4454120

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
CASHWMaxSAT-DisjCom-SP 2024-07-10? (TO) 3600.1 3609.4

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb
MD5SUMea45ea8fc9874a86ca315aec231afca1
Bench CategoryDEC-LIN (decision problem, linear constraints, no 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 benchmark0.64065
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3220
Total number of constraints1680
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 constraints1680
Minimum length of a constraint2
Maximum length of a constraint92
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 35184372088832
Number of bits of the biggest number in a constraint 46
Biggest sum of numbers in a constraint 140737488355327
Number of bits of the biggest sum of numbers47
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.13	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.09/0.13	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.08/3609.40	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: 63968 MiB (61544 MiB free)
  memory of node 1: 64473 MiB (61663 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454120-1721488933/watcher-4454120-1721488933 -o /tmp/evaluation-result-4454120-1721488933/solver-4454120-1721488933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721485009-1113303 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4454120-1721488933.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1115739, runsolver pid=1115736
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 4.12 4.16 4.15 5/259 1115740
/proc/meminfo: memFree=126154848/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=27980 memory=13204 CPUtime=0.09 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 3195 0 0 0 9 0 0 0 20 0 1 0 201061453 28651520 3301 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 6995 3301 986 2550 0 3950 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27980 KiB
Current children cumulated memory: 13204 KiB

[startup+0.205594 s]*
/proc/loadavg: 4.12 4.16 4.15 5/259 1115740
/proc/meminfo: memFree=126152844/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=29632 memory=15052 CPUtime=0.19 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 3641 0 0 0 19 0 0 0 20 0 1 0 201061453 30343168 3763 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 7408 3763 986 2550 0 4363 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 29632 KiB
Current children cumulated memory: 15052 KiB

[startup+0.304754 s]*
/proc/loadavg: 4.12 4.16 4.15 5/259 1115740
/proc/meminfo: memFree=126123804/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=32856 memory=17956 CPUtime=0.29 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 4348 0 0 0 29 0 0 0 20 0 1 0 201061453 33644544 4489 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 8214 4489 986 2550 0 5169 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 32856 KiB
Current children cumulated memory: 17956 KiB

[startup+0.700183 s]
/proc/loadavg: 4.12 4.16 4.15 5/259 1115740
/proc/meminfo: memFree=126158152/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=40008 memory=23436 CPUtime=0.69 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 5223 0 0 0 68 1 0 0 20 0 1 0 201061453 40968192 5859 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 10002 5859 986 2550 0 6957 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40008 KiB
Current children cumulated memory: 23436 KiB

[startup+1.50018 s]
/proc/loadavg: 4.12 4.16 4.15 5/259 1115740
/proc/meminfo: memFree=126146384/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=34892 memory=20384 CPUtime=1.48 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 6761 0 0 0 147 1 0 0 20 0 1 0 201061453 35729408 5096 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 8723 5096 986 2550 0 5678 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34892 KiB
Current children cumulated memory: 20384 KiB

[startup+3.10548 s]
/proc/loadavg: 4.27 4.19 4.16 5/259 1115740
/proc/meminfo: memFree=126138136/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=53632 memory=38712 CPUtime=3.08 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 8277 0 0 0 307 1 0 0 20 0 1 0 201061453 54919168 9678 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 13408 9678 986 2550 0 10363 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 53632 KiB
Current children cumulated memory: 38712 KiB

[startup+6.30017 s]
/proc/loadavg: 4.27 4.19 4.16 5/259 1115740
/proc/meminfo: memFree=126124504/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=61524 memory=45852 CPUtime=6.27 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 10108 0 0 0 625 2 0 0 20 0 1 0 201061453 63000576 11463 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 15381 11463 986 2550 0 12336 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61524 KiB
Current children cumulated memory: 45852 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.19 4.16 5/259 1115741
/proc/meminfo: memFree=126119452/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=66664 memory=51456 CPUtime=12.66 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 12963 0 0 0 1262 4 0 0 20 0 1 0 201061453 68263936 12864 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 16666 12864 986 2550 0 13621 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 66664 KiB
Current children cumulated memory: 51456 KiB

[startup+25.5002 s]
/proc/loadavg: 4.26 4.19 4.17 5/259 1115743
/proc/meminfo: memFree=126109560/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=92804 memory=75020 CPUtime=25.43 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 14274 0 0 0 2539 4 0 0 20 0 1 0 201061453 95031296 18755 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 23201 18755 986 2550 0 20156 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 92804 KiB
Current children cumulated memory: 75020 KiB

[startup+51.1055 s]
/proc/loadavg: 4.23 4.19 4.17 5/258 1115748
/proc/meminfo: memFree=126044624/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=123944 memory=109576 CPUtime=50.97 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 16359 0 0 0 5092 5 0 0 20 0 1 0 201061453 126918656 27394 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 30986 27394 986 2550 0 27941 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 123944 KiB
Current children cumulated memory: 109576 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.18 4.16 5/258 1115758
/proc/meminfo: memFree=125931960/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=166600 memory=151392 CPUtime=102.05 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 19283 0 0 0 10196 9 0 0 20 0 1 0 201061453 170598400 37848 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 41650 37848 986 2550 0 38605 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 166600 KiB
Current children cumulated memory: 151392 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/258 1115769
/proc/meminfo: memFree=125908864/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=185568 memory=171548 CPUtime=161.89 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 23051 0 0 0 16175 14 0 0 20 0 1 0 201061453 190021632 42887 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 46392 42887 986 2550 0 43347 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 185568 KiB
Current children cumulated memory: 171548 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.14 4.15 5/257 1116161
/proc/meminfo: memFree=125899612/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=155204 memory=132512 CPUtime=221.75 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 24728 0 0 0 22157 18 0 0 20 0 1 0 201061453 158928896 33128 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 38801 33128 986 2550 0 35756 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 155204 KiB
Current children cumulated memory: 132512 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/256 1116172
/proc/meminfo: memFree=125867856/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=155204 memory=134392 CPUtime=281.6 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 30792 0 0 0 28129 31 0 0 20 0 1 0 201061453 158928896 33598 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 38801 33598 986 2550 0 35756 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 155204 KiB
Current children cumulated memory: 134392 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.16 4.16 5/256 1116183
/proc/meminfo: memFree=125808860/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=160100 memory=144792 CPUtime=341.46 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 36197 0 0 0 34104 42 0 0 20 0 1 0 201061453 163942400 36198 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 40025 36198 986 2550 0 36980 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 160100 KiB
Current children cumulated memory: 144792 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/258 1116365
/proc/meminfo: memFree=125786504/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=163440 memory=147584 CPUtime=401.32 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 47088 0 0 0 40073 59 0 0 20 0 1 0 201061453 167362560 36896 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 40860 36896 986 2550 0 37815 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 163440 KiB
Current children cumulated memory: 147584 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 4.11 4.14 5/260 1116433
/proc/meminfo: memFree=125758808/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=198740 memory=158028 CPUtime=461.17 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 60251 0 0 0 46043 74 0 0 20 0 1 0 201061453 203509760 39507 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 49685 39507 986 2550 0 46640 0

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

Current children cumulated memory: 278968 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/255 1117447
/proc/meminfo: memFree=125154500/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=319460 memory=273288 CPUtime=2854.93 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 175312 0 0 0 285080 413 0 0 20 0 1 0 201061453 327127040 68322 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 79865 68322 986 2550 0 76820 0
Current children cumulated CPU time: 2854.93 s
Current children cumulated vsize: 319460 KiB
Current children cumulated memory: 273288 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/258 1117463
/proc/meminfo: memFree=125137692/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=319824 memory=290780 CPUtime=2914.78 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 175746 0 0 0 291062 416 0 0 20 0 1 0 201061453 327499776 72695 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 79956 72695 986 2550 0 76911 0
Current children cumulated CPU time: 2914.78 s
Current children cumulated vsize: 319824 KiB
Current children cumulated memory: 290780 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/258 1117473
/proc/meminfo: memFree=125073712/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=321340 memory=290084 CPUtime=2974.63 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 177515 0 0 0 297037 426 0 0 20 0 1 0 201061453 329052160 72521 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 80335 72521 986 2550 0 77290 0
Current children cumulated CPU time: 2974.63 s
Current children cumulated vsize: 321340 KiB
Current children cumulated memory: 290084 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/258 1117484
/proc/meminfo: memFree=125110724/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=322520 memory=277872 CPUtime=3034.49 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 180246 0 0 0 303007 442 0 0 20 0 1 0 201061453 330260480 69468 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 80630 69468 986 2550 0 77585 0
Current children cumulated CPU time: 3034.49 s
Current children cumulated vsize: 322520 KiB
Current children cumulated memory: 277872 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.15 4.12 5/258 1117495
/proc/meminfo: memFree=125111340/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=322712 memory=293192 CPUtime=3094.34 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 180634 0 0 0 308989 445 0 0 20 0 1 0 201061453 330457088 73298 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 80678 73298 986 2550 0 77633 0
Current children cumulated CPU time: 3094.34 s
Current children cumulated vsize: 322712 KiB
Current children cumulated memory: 293192 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/258 1117506
/proc/meminfo: memFree=125113204/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=322900 memory=287316 CPUtime=3154.19 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 181454 0 0 0 314968 451 0 0 20 0 1 0 201061453 330649600 71829 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 80725 71829 986 2550 0 77680 0
Current children cumulated CPU time: 3154.19 s
Current children cumulated vsize: 322900 KiB
Current children cumulated memory: 287316 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/256 1117517
/proc/meminfo: memFree=125026776/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=323420 memory=303096 CPUtime=3214.05 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 182161 0 0 0 320951 454 0 0 20 0 1 0 201061453 331182080 75774 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 80855 75774 986 2550 0 77810 0
Current children cumulated CPU time: 3214.05 s
Current children cumulated vsize: 323420 KiB
Current children cumulated memory: 303096 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/251 1117603
/proc/meminfo: memFree=126549800/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=323900 memory=294204 CPUtime=3273.9 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 183226 0 0 0 326931 459 0 0 20 0 1 0 201061453 331673600 73551 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 80975 73551 986 2550 0 77930 0
Current children cumulated CPU time: 3273.9 s
Current children cumulated vsize: 323900 KiB
Current children cumulated memory: 294204 KiB

[startup+3342.3 s]
/proc/loadavg: 3.81 4.06 4.08 4/249 1117662
/proc/meminfo: memFree=126610880/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=324880 memory=286784 CPUtime=3333.76 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 184899 0 0 0 332911 465 0 0 20 0 1 0 201061453 332677120 71696 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 81220 71696 986 2550 0 78175 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 324880 KiB
Current children cumulated memory: 286784 KiB

[startup+3402.3 s]
/proc/loadavg: 3.44 3.91 4.03 4/249 1117672
/proc/meminfo: memFree=126526460/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=327928 memory=291508 CPUtime=3393.6 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 189950 0 0 0 338879 481 0 0 20 0 1 0 201061453 335798272 72877 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 81982 72877 986 2550 0 78937 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 327928 KiB
Current children cumulated memory: 291508 KiB

[startup+3462.3 s]
/proc/loadavg: 3.27 3.77 3.97 4/249 1117682
/proc/meminfo: memFree=126446116/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=330944 memory=299412 CPUtime=3453.46 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 197525 0 0 0 344840 506 0 0 20 0 1 0 201061453 338886656 74853 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 82736 74853 986 2550 0 79691 0
Current children cumulated CPU time: 3453.46 s
Current children cumulated vsize: 330944 KiB
Current children cumulated memory: 299412 KiB

[startup+3522.3 s]
/proc/loadavg: 3.24 3.66 3.92 4/250 1117698
/proc/meminfo: memFree=126384716/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=331364 memory=293652 CPUtime=3513.26 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 202031 0 0 0 350805 521 0 0 20 0 1 0 201061453 339316736 73413 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 82841 73413 986 2550 0 79796 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 331364 KiB
Current children cumulated memory: 293652 KiB

[startup+3582.3 s]
/proc/loadavg: 3.15 3.55 3.87 4/250 1117708
/proc/meminfo: memFree=126307688/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=331532 memory=306004 CPUtime=3573.07 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 203045 0 0 0 356783 524 0 0 20 0 1 0 201061453 339488768 76501 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 82883 76501 986 2550 0 79838 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 331532 KiB
Current children cumulated memory: 306004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 3.17 3.52 3.84 4/250 1117712
/proc/meminfo: memFree=126270152/131524600 swapFree=131071996/131071996
[pid=1115739] ppid=1115736 vsize=331912 memory=296036 CPUtime=3600.08 cores=5,7
/proc/1115739/stat : 1115739 (CASHWMaxSAT-Dis) R 1115736 1115739 1113290 0 -1 4194304 204086 0 0 0 359481 527 0 0 20 0 1 0 201061453 339877888 74009 134679101440 4194304 14636349 140724628277600 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 53645312 140724628280289 140724628280405 140724628280405 140724628287422 0
/proc/1115739/statm: 82978 74009 986 2550 0 79933 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 331912 KiB
Current children cumulated memory: 296036 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.82 s, system=5.28146 s

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

Child status: 0

Real time (s): 3609.4
CPU time (s): 3600.1
CPU user time (s): 3594.82
CPU system time (s): 5.28146
CPU usage (%): 99.7423
Max. virtual memory (cumulated for all children) (KiB): 543528
Max. memory (cumulated for all children) (KiB): 440080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.82
system time used= 5.28146
maximum resident set size= 440080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204086
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= 38
involuntary context switches= 4189


# summary of solver processes directly reported to runsolver:
#   pid: 1115739
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3594.82
#   total CPU system time (s): 5.28146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.44245 second user time and 16.8834 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-20 17:22:27
IDJOB=4454120
IDBENCH=176057
IDSOLVER=3076
FILE ID=nodeC030/4454120-1721488933
RUNJOBID= nodeC030-1721485009-1113303
SLURM_JOB_ID= 7545778
Free space on /tmp= 890040 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454120-1721488933/watcher-4454120-1721488933 -o /tmp/evaluation-result-4454120-1721488933/solver-4454120-1721488933 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721485009-1113303 --watchdog 3760  CASHWMaxSAT-DisjCom-SP HOME/instance-4454120-1721488933.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= ea45ea8fc9874a86ca315aec231afca1
RANDOM SEED=117169125

nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3656.586
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3665.058
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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.643
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3600.351
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3656.671
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3661.021
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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.819
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3665.828
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126164776 kB
MemAvailable:   128828736 kB
Buffers:          555572 kB
Cached:          2928376 kB
SwapCached:            0 kB
Active:          1247700 kB
Inactive:        3437852 kB
Active(anon):       1564 kB
Inactive(anon):  1245952 kB
Active(file):    1246136 kB
Inactive(file):  2191900 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             13624 kB
Writeback:             0 kB
AnonPages:       1198068 kB
Mapped:           119668 kB
Shmem:             45912 kB
KReclaimable:     131496 kB
Slab:             249796 kB
SReclaimable:     131496 kB
SUnreclaim:       118300 kB
KernelStack:        4172 kB
PageTables:        11444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1653008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            75264 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1058816 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      262868 kB
DirectMap2M:    23627776 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890040 MiB
End job on nodeC030 at 2024-07-20 18:22:36