Trace number 4454058

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-DisjCad-SP 2024-07-10? (TO) 3600.06 3610.01

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-17arraycomm_teq_tvars_greater.opb
MD5SUMf1682e2a822653fd3d36487be5c3a09b
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.177878
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1768
Total number of constraints936
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 constraints936
Minimum length of a constraint2
Maximum length of a constraint68
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 8589934592
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 34359738367
Number of bits of the biggest sum of numbers35
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.05/3610.00	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 (62523 MiB free)
  memory of node 1: 64473 MiB (63196 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454058-1721491526/watcher-4454058-1721491526 -o /tmp/evaluation-result-4454058-1721491526/solver-4454058-1721491526 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721491063-1060952 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4454058-1721491526.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB

solver pid=1061650, runsolver pid=1061647

[startup+0.100589 s]*
/proc/loadavg: 4.09 4.07 4.07 5/254 1061651
/proc/meminfo: memFree=128731348/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=24952 memory=10616 CPUtime=0.09 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 2217 0 0 0 9 0 0 0 20 0 1 0 201319647 25550848 2654 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 6238 2654 1146 2726 0 2986 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24952 KiB
Current children cumulated memory: 10616 KiB

[startup+0.205525 s]*
/proc/loadavg: 4.09 4.07 4.07 5/254 1061651
/proc/meminfo: memFree=128730004/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=26268 memory=11936 CPUtime=0.2 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 2528 0 0 0 20 0 0 0 20 0 1 0 201319647 26898432 2984 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 6567 2984 1146 2726 0 3315 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26268 KiB
Current children cumulated memory: 11936 KiB

[startup+0.305504 s]*
/proc/loadavg: 4.09 4.07 4.07 5/254 1061651
/proc/meminfo: memFree=128729852/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=26416 memory=11868 CPUtime=0.3 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 2717 0 0 0 30 0 0 0 20 0 1 0 201319647 27049984 2967 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 6604 2967 1146 2726 0 3352 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26416 KiB
Current children cumulated memory: 11868 KiB

[startup+0.700232 s]
/proc/loadavg: 4.09 4.07 4.07 5/254 1061651
/proc/meminfo: memFree=128729344/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=26620 memory=12308 CPUtime=0.68 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 4028 0 0 0 68 0 0 0 20 0 1 0 201319647 27258880 3077 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 6655 3077 1146 2726 0 3403 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26620 KiB
Current children cumulated memory: 12308 KiB

[startup+1.50023 s]
/proc/loadavg: 4.09 4.07 4.07 5/254 1061651
/proc/meminfo: memFree=128728200/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=30072 memory=15536 CPUtime=1.48 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 5761 0 0 0 148 0 0 0 20 0 1 0 201319647 30793728 3884 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 7518 3884 1146 2726 0 4266 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30072 KiB
Current children cumulated memory: 15536 KiB

[startup+3.10533 s]
/proc/loadavg: 4.09 4.07 4.07 5/254 1061651
/proc/meminfo: memFree=128723136/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=32968 memory=18664 CPUtime=3.08 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 10034 0 0 0 307 1 0 0 20 0 1 0 201319647 33759232 4666 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 8242 4666 1146 2726 0 4990 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 32968 KiB
Current children cumulated memory: 18664 KiB

[startup+6.30023 s]
/proc/loadavg: 4.09 4.07 4.07 5/254 1061652
/proc/meminfo: memFree=128716744/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=39676 memory=25348 CPUtime=6.27 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 13387 0 0 0 625 2 0 0 20 0 1 0 201319647 40628224 6337 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 9919 6337 1146 2726 0 6667 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39676 KiB
Current children cumulated memory: 25348 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.07 4.07 5/254 1061652
/proc/meminfo: memFree=128688932/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=42232 memory=27860 CPUtime=12.65 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 20481 0 0 0 1261 4 0 0 20 0 1 0 201319647 43245568 6965 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 10558 6965 1146 2726 0 7306 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 42232 KiB
Current children cumulated memory: 27860 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.06 4.07 5/254 1061655
/proc/meminfo: memFree=128676556/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=52928 memory=38716 CPUtime=25.42 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 24709 0 0 0 2537 5 0 0 20 0 1 0 201319647 54198272 9679 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 13232 9679 1146 2726 0 9980 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 52928 KiB
Current children cumulated memory: 38716 KiB

[startup+51.1055 s]
/proc/loadavg: 4.04 4.06 4.07 5/254 1061658
/proc/meminfo: memFree=128657216/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=59596 memory=43912 CPUtime=50.94 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 33192 0 0 0 5086 8 0 0 20 0 1 0 201319647 61026304 10978 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 14899 10978 1146 2726 0 11647 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 59596 KiB
Current children cumulated memory: 43912 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.08 4.08 5/255 1061668
/proc/meminfo: memFree=128613068/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=79768 memory=65624 CPUtime=101.99 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 45732 0 0 0 10184 15 0 0 20 0 1 0 201319647 81682432 16406 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 19942 16406 1146 2726 0 16690 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 79768 KiB
Current children cumulated memory: 65624 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.09 4.08 5/255 1061679
/proc/meminfo: memFree=128580608/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=104376 memory=90408 CPUtime=161.82 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 53570 0 0 0 16162 20 0 0 20 0 1 0 201319647 106881024 22602 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 26094 22602 1146 2726 0 22842 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 104376 KiB
Current children cumulated memory: 90408 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/255 1061735
/proc/meminfo: memFree=128589008/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=135000 memory=120960 CPUtime=221.64 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 55176 0 0 0 22144 20 0 0 20 0 1 0 201319647 138240000 30240 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 33750 30240 1146 2726 0 30498 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 135000 KiB
Current children cumulated memory: 120960 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.08 4.08 5/257 1061749
/proc/meminfo: memFree=128549864/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=140644 memory=126460 CPUtime=281.49 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 56110 0 0 0 28128 21 0 0 20 0 1 0 201319647 144019456 31615 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 35161 31615 1146 2726 0 31909 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 140644 KiB
Current children cumulated memory: 126460 KiB

[startup+342.3 s]
/proc/loadavg: 4.43 4.16 4.11 5/257 1061760
/proc/meminfo: memFree=128493976/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=133216 memory=118832 CPUtime=341.33 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 58657 0 0 0 34111 22 0 0 20 0 1 0 201319647 136413184 29708 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 33304 29708 1146 2726 0 30052 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 133216 KiB
Current children cumulated memory: 118832 KiB

[startup+402.3 s]
/proc/loadavg: 4.30 4.18 4.12 5/256 1061770
/proc/meminfo: memFree=128488520/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=122820 memory=106080 CPUtime=401.17 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 66790 0 0 0 40090 27 0 0 20 0 1 0 201319647 125767680 26520 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 30705 26520 1146 2726 0 27453 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 122820 KiB
Current children cumulated memory: 106080 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/256 1061781
/proc/meminfo: memFree=128507788/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=124700 memory=110620 CPUtime=460.99 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 70936 0 0 0 46070 29 0 0 20 0 1 0 201319647 127692800 27655 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 31175 27655 1146 2726 0 27923 0

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

Current children cumulated memory: 229632 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/256 1062830
/proc/meminfo: memFree=127914024/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=248896 memory=232860 CPUtime=2854.27 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 163709 0 0 0 285261 166 0 0 20 0 1 0 201319647 254869504 58215 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 62224 58215 1146 2726 0 58972 0
Current children cumulated CPU time: 2854.27 s
Current children cumulated vsize: 248896 KiB
Current children cumulated memory: 232860 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/256 1062841
/proc/meminfo: memFree=127901240/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=249196 memory=233600 CPUtime=2914.12 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 164923 0 0 0 291243 169 0 0 20 0 1 0 201319647 255176704 58400 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 62299 58400 1146 2726 0 59047 0
Current children cumulated CPU time: 2914.12 s
Current children cumulated vsize: 249196 KiB
Current children cumulated memory: 233600 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 1062851
/proc/meminfo: memFree=127881792/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=249668 memory=235460 CPUtime=2973.95 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 165892 0 0 0 297225 170 0 0 20 0 1 0 201319647 255660032 58865 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 62417 58865 1146 2726 0 59165 0
Current children cumulated CPU time: 2973.95 s
Current children cumulated vsize: 249668 KiB
Current children cumulated memory: 235460 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 1063245
/proc/meminfo: memFree=127874224/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=253688 memory=236096 CPUtime=3033.79 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 166793 0 0 0 303208 171 0 0 20 0 1 0 201319647 259776512 59024 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 63422 59024 1146 2726 0 60170 0
Current children cumulated CPU time: 3033.79 s
Current children cumulated vsize: 253688 KiB
Current children cumulated memory: 236096 KiB

[startup+3102.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/256 1063256
/proc/meminfo: memFree=127886628/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=255128 memory=237432 CPUtime=3093.64 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 168112 0 0 0 309190 174 0 0 20 0 1 0 201319647 261251072 59358 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 63782 59358 1146 2726 0 60530 0
Current children cumulated CPU time: 3093.64 s
Current children cumulated vsize: 255128 KiB
Current children cumulated memory: 237432 KiB

[startup+3162.3 s]
/proc/loadavg: 3.77 4.02 4.06 4/251 1063468
/proc/meminfo: memFree=128294224/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=257596 memory=241560 CPUtime=3153.47 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 169782 0 0 0 315171 176 0 0 20 0 1 0 201319647 263778304 60390 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 64399 60390 1146 2726 0 61147 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 257596 KiB
Current children cumulated memory: 241560 KiB

[startup+3222.3 s]
/proc/loadavg: 3.33 3.85 4.00 4/251 1063478
/proc/meminfo: memFree=128280936/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=258112 memory=242728 CPUtime=3213.31 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 170854 0 0 0 321153 178 0 0 20 0 1 0 201319647 264306688 60682 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 64528 60682 1146 2726 0 61276 0
Current children cumulated CPU time: 3213.31 s
Current children cumulated vsize: 258112 KiB
Current children cumulated memory: 242728 KiB

[startup+3282.3 s]
/proc/loadavg: 3.16 3.70 3.94 4/252 1063491
/proc/meminfo: memFree=128255952/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=258676 memory=243420 CPUtime=3273.16 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 171592 0 0 0 327135 181 0 0 20 0 1 0 201319647 264884224 60855 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 64669 60855 1146 2726 0 61417 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 258676 KiB
Current children cumulated memory: 243420 KiB

[startup+3342.3 s]
/proc/loadavg: 3.18 3.61 3.89 4/250 1063513
/proc/meminfo: memFree=128251372/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=258876 memory=244172 CPUtime=3333 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 173124 0 0 0 333117 183 0 0 20 0 1 0 201319647 265089024 61043 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 64719 61043 1146 2726 0 61467 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 258876 KiB
Current children cumulated memory: 244172 KiB

[startup+3402.3 s]
/proc/loadavg: 2.62 3.38 3.79 3/243 1063553
/proc/meminfo: memFree=128561620/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=261288 memory=245332 CPUtime=3392.85 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 174388 0 0 0 339099 186 0 0 20 0 1 0 201319647 267558912 61333 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 65322 61333 1146 2726 0 62070 0
Current children cumulated CPU time: 3392.85 s
Current children cumulated vsize: 261288 KiB
Current children cumulated memory: 245332 KiB

[startup+3462.3 s]
/proc/loadavg: 2.34 3.16 3.69 3/242 1063564
/proc/meminfo: memFree=128558340/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=262928 memory=247000 CPUtime=3452.7 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 175524 0 0 0 345082 188 0 0 20 0 1 0 201319647 269238272 61750 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 65732 61750 1146 2726 0 62480 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 262928 KiB
Current children cumulated memory: 247000 KiB

[startup+3522.3 s]
/proc/loadavg: 2.12 2.94 3.58 3/242 1063575
/proc/meminfo: memFree=128555624/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=263344 memory=248716 CPUtime=3512.55 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 176589 0 0 0 351065 190 0 0 20 0 1 0 201319647 269664256 62179 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 65836 62179 1146 2726 0 62584 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 263344 KiB
Current children cumulated memory: 248716 KiB

[startup+3582.3 s]
/proc/loadavg: 2.16 2.80 3.49 3/240 1063586
/proc/meminfo: memFree=128552252/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=265536 memory=249740 CPUtime=3572.41 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 177933 0 0 0 357048 193 0 0 20 0 1 0 201319647 271908864 62435 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 66384 62435 1146 2726 0 63132 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 265536 KiB
Current children cumulated memory: 249740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 2.10 2.74 3.45 3/240 1063592
/proc/meminfo: memFree=128551308/131524600 swapFree=131071996/131071996
[pid=1061650] ppid=1061647 vsize=265536 memory=249740 CPUtime=3600.05 cores=1,3
/proc/1061650/stat : 1061650 (CASHWMaxSAT-Dis) R 1061647 1061650 1060940 0 -1 4194304 177933 0 0 0 359812 193 0 0 20 0 1 0 201319647 271908864 62435 134679101440 4194304 15356333 140733067963456 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42975232 140733067969505 140733067969621 140733067969621 140733067976638 0
/proc/1061650/statm: 66384 62435 1146 2726 0 63132 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 265536 KiB
Current children cumulated memory: 249740 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.12 s, system=1.93355 s

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

Child status: 0

Real time (s): 3610.01
CPU time (s): 3600.06
CPU user time (s): 3598.12
CPU system time (s): 1.93355
CPU usage (%): 99.7244
Max. virtual memory (cumulated for all children) (KiB): 324636
Max. memory (cumulated for all children) (KiB): 308764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.12
system time used= 1.93355
maximum resident set size= 308764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177933
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= 35
involuntary context switches= 1829


# summary of solver processes directly reported to runsolver:
#   pid: 1061650
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3598.12
#   total CPU system time (s): 1.93355

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96936 second user time and 17.5689 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-20 18:05:38
IDJOB=4454058
IDBENCH=176039
IDSOLVER=3074
FILE ID=nodeC028/4454058-1721491526
RUNJOBID= nodeC028-1721491063-1060952
SLURM_JOB_ID= 7545787
Free space on /tmp= 890024 MiB

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

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

MD5SUM BENCH= f1682e2a822653fd3d36487be5c3a09b
RANDOM SEED=2016004396

nodeC028.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		: 3657.815
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.56
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		: 3664.779
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.59
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.950
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.56
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		: 3661.828
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.59
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		: 3657.878
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.56
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		: 3664.983
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.59
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.872
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.56
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		: 3623.736
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128738304 kB
MemAvailable:   129412924 kB
Buffers:          562828 kB
Cached:           960272 kB
SwapCached:            0 kB
Active:          1122356 kB
Inactive:        1064724 kB
Active(anon):       1560 kB
Inactive(anon):   708324 kB
Active(file):    1120796 kB
Inactive(file):   356400 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14380 kB
Writeback:            12 kB
AnonPages:        651420 kB
Mapped:           121580 kB
Shmem:             45912 kB
KReclaimable:      74492 kB
Slab:             182276 kB
SReclaimable:      74492 kB
SUnreclaim:       107784 kB
KernelStack:        4060 kB
PageTables:        10988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1196540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            66336 kB
HardwareCorrupted:     0 kB
AnonHugePages:    442368 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:      197332 kB
DirectMap2M:    20547584 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890040 MiB
End job on nodeC028 at 2024-07-20 19:05:49