Trace number 4450147

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
Exact_no_SoPlex 2024-07-05? (TO) 3600.1 3609.6

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
MD5SUMc7ad59296e2e055fc86df3342558d493
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 variables4329
Total number of constraints10136
Number of constraints which are clauses4785
Number of constraints which are cardinality constraints (but not clauses)5351
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.08/3609.60	c Program interrupted by user.
3600.08/3609.60	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 (62576 MiB free)
  memory of node 1: 64473 MiB (62159 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450147-1721406737/watcher-4450147-1721406737 -o /tmp/evaluation-result-4450147-1721406737/solver-4450147-1721406737 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721403124-1020752 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=2131059221 HOME/instance-4450147-1721406737.opb 

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1023004, runsolver pid=1023001

[startup+0.100166 s]*
/proc/loadavg: 3.13 3.09 3.03 4/253 1023005
/proc/meminfo: memFree=127719792/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=33304 memory=11892 CPUtime=0.09 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 2323 0 0 0 9 0 0 0 20 0 1 0 192837487 34103296 2973 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 8326 2973 771 746 0 7390 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33304 KiB
Current children cumulated memory: 11892 KiB

[startup+0.205472 s]*
/proc/loadavg: 3.13 3.09 3.03 4/253 1023005
/proc/meminfo: memFree=127719456/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=33304 memory=11892 CPUtime=0.2 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 2338 0 0 0 20 0 0 0 20 0 1 0 192837487 34103296 2973 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 8326 2973 771 746 0 7390 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33304 KiB
Current children cumulated memory: 11892 KiB

[startup+0.304817 s]*
/proc/loadavg: 3.13 3.09 3.03 4/253 1023005
/proc/meminfo: memFree=127719456/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=33304 memory=11892 CPUtime=0.3 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 2353 0 0 0 30 0 0 0 20 0 1 0 192837487 34103296 2973 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 8326 2973 771 746 0 7390 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 33304 KiB
Current children cumulated memory: 11892 KiB

[startup+0.700148 s]
/proc/loadavg: 3.13 3.09 3.03 4/253 1023005
/proc/meminfo: memFree=127716764/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=33532 memory=14640 CPUtime=0.69 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 2464 0 0 0 69 0 0 0 20 0 1 0 192837487 34336768 3660 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 8383 3660 835 746 0 7447 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33532 KiB
Current children cumulated memory: 14640 KiB

[startup+1.50016 s]
/proc/loadavg: 3.12 3.09 3.03 4/253 1023005
/proc/meminfo: memFree=127716728/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=33804 memory=17184 CPUtime=1.49 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 2541 0 0 0 149 0 0 0 20 0 1 0 192837487 34615296 4296 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 8451 4296 835 746 0 7515 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33804 KiB
Current children cumulated memory: 17184 KiB

[startup+3.10501 s]
/proc/loadavg: 3.12 3.09 3.03 4/253 1023005
/proc/meminfo: memFree=127711004/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=34612 memory=19908 CPUtime=3.08 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 2925 0 0 0 308 0 0 0 20 0 1 0 192837487 35442688 4977 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 8653 4977 835 746 0 7717 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 34612 KiB
Current children cumulated memory: 19908 KiB

[startup+6.30015 s]
/proc/loadavg: 3.11 3.09 3.03 4/253 1023005
/proc/meminfo: memFree=127710052/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=34952 memory=20252 CPUtime=6.27 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 3326 0 0 0 627 0 0 0 20 0 1 0 192837487 35790848 5063 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 8738 5063 835 746 0 7802 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 34952 KiB
Current children cumulated memory: 20252 KiB

[startup+12.7002 s]
/proc/loadavg: 3.10 3.09 3.03 4/253 1023006
/proc/meminfo: memFree=127708468/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=35452 memory=20768 CPUtime=12.64 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 3975 0 0 0 1264 0 0 0 20 0 1 0 192837487 36302848 5192 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 8863 5192 835 746 0 7927 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 35452 KiB
Current children cumulated memory: 20768 KiB

[startup+25.5002 s]
/proc/loadavg: 3.09 3.08 3.03 4/253 1023008
/proc/meminfo: memFree=127703676/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=36152 memory=23520 CPUtime=25.4 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 5188 0 0 0 2540 0 0 0 20 0 1 0 192837487 37019648 5880 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 9038 5880 835 746 0 8102 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 36152 KiB
Current children cumulated memory: 23520 KiB

[startup+51.1055 s]
/proc/loadavg: 3.12 3.09 3.03 4/253 1023012
/proc/meminfo: memFree=127698636/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=37244 memory=24780 CPUtime=50.93 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 7519 0 0 0 5093 0 0 0 20 0 1 0 192837487 38137856 6195 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 9311 6195 835 746 0 8375 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 37244 KiB
Current children cumulated memory: 24780 KiB

[startup+102.3 s]
/proc/loadavg: 3.11 3.09 3.03 4/251 1023022
/proc/meminfo: memFree=127693104/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=38624 memory=26032 CPUtime=102 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 11786 0 0 0 10199 1 0 0 20 0 1 0 192837487 39550976 6508 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 9656 6508 835 746 0 8720 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 38624 KiB
Current children cumulated memory: 26032 KiB

[startup+162.3 s]
/proc/loadavg: 3.04 3.07 3.02 5/248 1023033
/proc/meminfo: memFree=127687308/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=39900 memory=27188 CPUtime=161.85 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 16424 0 0 0 16183 2 0 0 20 0 1 0 192837487 40857600 6797 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 9975 6797 835 746 0 9039 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 39900 KiB
Current children cumulated memory: 27188 KiB

[startup+222.3 s]
/proc/loadavg: 3.19 3.11 3.04 5/248 1023043
/proc/meminfo: memFree=127682124/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=40664 memory=30132 CPUtime=221.7 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 20856 0 0 0 22167 3 0 0 20 0 1 0 192837487 41639936 7533 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 10166 7533 835 746 0 9230 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 40664 KiB
Current children cumulated memory: 30132 KiB

[startup+282.3 s]
/proc/loadavg: 3.12 3.10 3.04 4/248 1023053
/proc/meminfo: memFree=127678804/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=41128 memory=30596 CPUtime=281.56 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 25108 0 0 0 28151 5 0 0 20 0 1 0 192837487 42115072 7649 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 10282 7649 835 746 0 9346 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 41128 KiB
Current children cumulated memory: 30596 KiB

[startup+342.3 s]
/proc/loadavg: 3.08 3.09 3.04 4/247 1023064
/proc/meminfo: memFree=127675316/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=41648 memory=31100 CPUtime=341.4 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 29296 0 0 0 34134 6 0 0 20 0 1 0 192837487 42647552 7775 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 10412 7775 835 746 0 9476 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 41648 KiB
Current children cumulated memory: 31100 KiB

[startup+402.3 s]
/proc/loadavg: 3.40 3.17 3.06 4/247 1023074
/proc/meminfo: memFree=127672380/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=42592 memory=32048 CPUtime=401.25 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 33519 0 0 0 40119 6 0 0 20 0 1 0 192837487 43614208 8012 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 10648 8012 835 746 0 9712 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 42592 KiB
Current children cumulated memory: 32048 KiB

[startup+462.3 s]
/proc/loadavg: 3.23 3.17 3.07 4/249 1023088
/proc/meminfo: memFree=127670112/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=42784 memory=32240 CPUtime=461.1 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 37834 0 0 0 46103 7 0 0 20 0 1 0 192837487 43810816 8060 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 10696 8060 835 746 0 9760 0

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

Current children cumulated memory: 42232 KiB

[startup+2862.3 s]
/proc/loadavg: 3.09 3.10 3.12 4/250 1024092
/proc/meminfo: memFree=127605888/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=50844 memory=42336 CPUtime=2854.71 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 200983 0 0 0 285436 35 0 0 20 0 1 0 192837487 52064256 10584 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 12711 10584 835 746 0 11775 0
Current children cumulated CPU time: 2854.71 s
Current children cumulated vsize: 50844 KiB
Current children cumulated memory: 42336 KiB

[startup+2922.3 s]
/proc/loadavg: 3.15 3.11 3.12 4/250 1024103
/proc/meminfo: memFree=127604208/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=51000 memory=42504 CPUtime=2914.57 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 205108 0 0 0 291421 36 0 0 20 0 1 0 192837487 52224000 10626 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 12750 10626 835 746 0 11814 0
Current children cumulated CPU time: 2914.57 s
Current children cumulated vsize: 51000 KiB
Current children cumulated memory: 42504 KiB

[startup+2982.3 s]
/proc/loadavg: 3.08 3.10 3.11 5/250 1024113
/proc/meminfo: memFree=127602996/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=51128 memory=42632 CPUtime=2974.42 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 209134 0 0 0 297405 37 0 0 20 0 1 0 192837487 52355072 10658 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 12782 10658 835 746 0 11846 0
Current children cumulated CPU time: 2974.42 s
Current children cumulated vsize: 51128 KiB
Current children cumulated memory: 42632 KiB

[startup+3042.3 s]
/proc/loadavg: 3.07 3.09 3.11 4/249 1024123
/proc/meminfo: memFree=127601996/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=51184 memory=42668 CPUtime=3034.27 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 213239 0 0 0 303389 38 0 0 20 0 1 0 192837487 52412416 10667 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 12796 10667 835 746 0 11860 0
Current children cumulated CPU time: 3034.27 s
Current children cumulated vsize: 51184 KiB
Current children cumulated memory: 42668 KiB

[startup+3102.3 s]
/proc/loadavg: 3.13 3.10 3.11 5/249 1024134
/proc/meminfo: memFree=127600708/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=51356 memory=42844 CPUtime=3094.12 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 216980 0 0 0 309373 39 0 0 20 0 1 0 192837487 52588544 10711 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 12839 10711 835 746 0 11903 0
Current children cumulated CPU time: 3094.12 s
Current children cumulated vsize: 51356 KiB
Current children cumulated memory: 42844 KiB

[startup+3162.3 s]
/proc/loadavg: 3.10 3.10 3.10 4/251 1024529
/proc/meminfo: memFree=127598676/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=51480 memory=43116 CPUtime=3153.95 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 220593 0 0 0 315356 39 0 0 20 0 1 0 192837487 52715520 10779 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 12870 10779 835 746 0 11934 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 51480 KiB
Current children cumulated memory: 43116 KiB

[startup+3222.3 s]
/proc/loadavg: 3.12 3.09 3.10 4/249 1024539
/proc/meminfo: memFree=127597732/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=51940 memory=43432 CPUtime=3213.8 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 224107 0 0 0 321340 40 0 0 20 0 1 0 192837487 53186560 10858 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 12985 10858 835 746 0 12049 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 51940 KiB
Current children cumulated memory: 43432 KiB

[startup+3282.3 s]
/proc/loadavg: 3.10 3.09 3.09 4/249 1024549
/proc/meminfo: memFree=127596632/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=52216 memory=43720 CPUtime=3273.64 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 227817 0 0 0 327324 40 0 0 20 0 1 0 192837487 53469184 10930 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 13054 10930 835 746 0 12118 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 52216 KiB
Current children cumulated memory: 43720 KiB

[startup+3342.3 s]
/proc/loadavg: 3.16 3.10 3.09 6/251 1024730
/proc/meminfo: memFree=127594776/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=52408 memory=43912 CPUtime=3333.48 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 231632 0 0 0 333307 41 0 0 20 0 1 0 192837487 53665792 10978 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 13102 10978 835 746 0 12166 0
Current children cumulated CPU time: 3333.48 s
Current children cumulated vsize: 52408 KiB
Current children cumulated memory: 43912 KiB

[startup+3402.3 s]
/proc/loadavg: 3.09 3.10 3.09 4/251 1024741
/proc/meminfo: memFree=127593900/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=52728 memory=44232 CPUtime=3393.32 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 235130 0 0 0 339291 41 0 0 20 0 1 0 192837487 53993472 11058 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 13182 11058 835 746 0 12246 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 52728 KiB
Current children cumulated memory: 44232 KiB

[startup+3462.3 s]
/proc/loadavg: 3.35 3.16 3.11 5/251 1024807
/proc/meminfo: memFree=127592484/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=53040 memory=44544 CPUtime=3453.17 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 238827 0 0 0 345275 42 0 0 20 0 1 0 192837487 54312960 11136 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 13260 11136 835 746 0 12324 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 53040 KiB
Current children cumulated memory: 44544 KiB

[startup+3522.3 s]
/proc/loadavg: 3.23 3.17 3.11 4/250 1024819
/proc/meminfo: memFree=127591832/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=53336 memory=44836 CPUtime=3513.01 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 242325 0 0 0 351258 43 0 0 20 0 1 0 192837487 54616064 11209 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 13334 11209 835 746 0 12398 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 53336 KiB
Current children cumulated memory: 44836 KiB

[startup+3582.3 s]
/proc/loadavg: 3.18 3.17 3.11 5/250 1024829
/proc/meminfo: memFree=127590736/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=53564 memory=45064 CPUtime=3572.85 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 246108 0 0 0 357242 43 0 0 20 0 1 0 192837487 54849536 11266 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 13391 11266 835 746 0 12455 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 53564 KiB
Current children cumulated memory: 45064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 2.75 3.07 3.08 2/236 1024895
/proc/meminfo: memFree=127682456/131524600 swapFree=131071996/131071996
[pid=1023004] ppid=1023001 vsize=53576 memory=45064 CPUtime=3600.08 cores=1,3
/proc/1023004/stat : 1023004 (Exact_nosoplex) R 1023001 1023004 1018839 0 -1 4194304 248012 0 0 0 359965 43 0 0 20 0 1 0 192837487 54861824 11266 134679101440 4194304 7248369 140732165977312 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 13840384 140732165981098 140732165981277 140732165981277 140732165988294 0
/proc/1023004/statm: 13394 11266 835 746 0 12458 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 53576 KiB
Current children cumulated memory: 45064 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.66 s, system=0.439956 s

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

Child status: 0

Real time (s): 3609.6
CPU time (s): 3600.1
CPU user time (s): 3599.66
CPU system time (s): 0.439956
CPU usage (%): 99.7367
Max. virtual memory (cumulated for all children) (KiB): 53892
Max. memory (cumulated for all children) (KiB): 45252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.66
system time used= 0.439956
maximum resident set size= 45332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248030
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= 17
involuntary context switches= 5048


# summary of solver processes directly reported to runsolver:
#   pid: 1023004
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.66
#   total CPU system time (s): 0.439956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47342 second user time and 13.3023 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-19 18:32:29
IDJOB=4450147
IDBENCH=160408
IDSOLVER=3061
FILE ID=nodeC021/4450147-1721406737
RUNJOBID= nodeC021-1721403124-1020752
SLURM_JOB_ID= 7545443
Free space on /tmp= 890072 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450147-1721406737/watcher-4450147-1721406737 -o /tmp/evaluation-result-4450147-1721406737/solver-4450147-1721406737 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721403124-1020752 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=2131059221 HOME/instance-4450147-1721406737.opb

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

MD5SUM BENCH= c7ad59296e2e055fc86df3342558d493
RANDOM SEED=2131059221

nodeC021.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		: 3683.483
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.42
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		: 3659.517
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.23
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		: 3635.639
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.42
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		: 3657.188
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.23
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		: 3638.164
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.42
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.295
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.23
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		: 3618.061
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.42
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		: 3600.101
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127729380 kB
MemAvailable:   129654204 kB
Buffers:          535520 kB
Cached:          2217280 kB
SwapCached:            0 kB
Active:          1056568 kB
Inactive:        2090248 kB
Active(anon):       1520 kB
Inactive(anon):   438436 kB
Active(file):    1055048 kB
Inactive(file):  1651812 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5456 kB
Writeback:             0 kB
AnonPages:        393096 kB
Mapped:           113368 kB
Shmem:             45912 kB
KReclaimable:     115576 kB
Slab:             230572 kB
SReclaimable:     115576 kB
SUnreclaim:       114996 kB
KernelStack:        4112 kB
PageTables:         9772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     810600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            71456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 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:      260820 kB
DirectMap2M:    25726976 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC021 at 2024-07-19 19:32:39