Trace number 4433740

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Exact_no_SoPlex 2024-07-05? (TO) 3602.21 3614.66

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
MD5SUMa7d39c8a0eed618aa14a4423c4fae159
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark126
Best CPU time to get the best result obtained on this benchmark1995.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables175232
Total number of constraints2994
Number of constraints which are clauses1368
Number of constraints which are cardinality constraints (but not clauses)1368
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1369
Number of terms in the objective function 128
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 482918
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1101202
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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 (60360 MiB free)
  memory of node 1: 64473 MiB (63036 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433740-1721163141/watcher-4433740-1721163141 -o /tmp/evaluation-result-4433740-1721163141/solver-4433740-1721163141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721159495-874402 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=399030271 HOME/instance-4433740-1721163141.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=876732, runsolver pid=876729

[startup+0.100858 s]*
/proc/loadavg: 4.16 4.13 4.09 5/258 876733
/proc/meminfo: memFree=126203112/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=161688 memory=141768 CPUtime=0.09 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 13886 0 0 0 6 3 0 0 20 0 1 0 168484956 165568512 35442 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 40422 35442 771 746 0 39486 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 161688 KiB
Current children cumulated memory: 141768 KiB

[startup+0.205483 s]*
/proc/loadavg: 4.16 4.13 4.09 5/258 876733
/proc/meminfo: memFree=126166104/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=195568 memory=175824 CPUtime=0.2 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 22388 0 0 0 15 5 0 0 20 0 1 0 168484956 200261632 43956 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 48892 43956 771 746 0 47956 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 195568 KiB
Current children cumulated memory: 175824 KiB

[startup+0.305458 s]*
/proc/loadavg: 4.16 4.13 4.09 5/258 876733
/proc/meminfo: memFree=126256384/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=198612 memory=180960 CPUtime=0.29 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 24140 0 0 0 24 5 0 0 20 0 1 0 168484956 203378688 45240 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 49653 45240 771 746 0 48717 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 198612 KiB
Current children cumulated memory: 180960 KiB

[startup+0.700232 s]
/proc/loadavg: 4.16 4.13 4.09 5/258 876733
/proc/meminfo: memFree=126164996/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=284984 memory=279644 CPUtime=0.68 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 46206 0 0 0 60 8 0 0 20 0 1 0 168484956 291823616 69911 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 71246 69911 787 746 0 70310 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 284984 KiB
Current children cumulated memory: 279644 KiB

[startup+1.50023 s]
/proc/loadavg: 4.16 4.13 4.09 5/258 876733
/proc/meminfo: memFree=125960476/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=471092 memory=427424 CPUtime=1.48 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 68761 0 0 0 134 14 0 0 20 0 1 0 168484956 482398208 106856 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 117773 106856 787 746 0 116837 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 471092 KiB
Current children cumulated memory: 427424 KiB

[startup+3.10539 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 876733
/proc/meminfo: memFree=125229376/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=756900 memory=719400 CPUtime=3.08 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 107159 0 0 0 283 25 0 0 20 0 1 0 168484956 775065600 179850 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 189225 179850 787 746 0 188289 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 756900 KiB
Current children cumulated memory: 719400 KiB

[startup+6.30021 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 876733
/proc/meminfo: memFree=124216812/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=1323016 memory=1307980 CPUtime=6.27 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 200223 0 0 0 578 49 0 0 20 0 1 0 168484956 1354768384 326995 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 330754 326995 787 746 0 329818 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1323016 KiB
Current children cumulated memory: 1307980 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.09 5/258 876735
/proc/meminfo: memFree=123030252/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=2721336 memory=2349844 CPUtime=12.65 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 373863 0 0 0 1167 98 0 0 20 0 1 0 168484956 2786648064 587461 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 680334 587461 787 746 0 679398 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2721336 KiB
Current children cumulated memory: 2349844 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.14 4.10 5/258 876828
/proc/meminfo: memFree=122389892/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=2866632 memory=2558856 CPUtime=25.42 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 405655 0 0 0 2436 106 0 0 20 0 1 0 168484956 2935431168 639714 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 716658 639714 835 746 0 715722 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2866632 KiB
Current children cumulated memory: 2558856 KiB

[startup+51.1054 s]
/proc/loadavg: 4.19 4.14 4.10 5/258 876833
/proc/meminfo: memFree=121081120/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=3039848 memory=2931236 CPUtime=50.92 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 448724 0 0 0 4974 118 0 0 20 0 1 0 168484956 3112804352 732809 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 759962 732809 835 746 0 759026 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 3039848 KiB
Current children cumulated memory: 2931236 KiB

[startup+102.3 s]
/proc/loadavg: 4.35 4.20 4.12 5/258 876844
/proc/meminfo: memFree=120138112/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=4013380 memory=3456800 CPUtime=101.93 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 522793 0 0 0 10036 157 0 0 20 0 1 0 168484956 4109701120 864200 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1003345 864200 835 746 0 1002409 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 4013380 KiB
Current children cumulated memory: 3456800 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.19 4.12 5/258 877240
/proc/meminfo: memFree=119313884/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=4209268 memory=3645472 CPUtime=161.73 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 561112 0 0 0 15996 177 0 0 20 0 1 0 168484956 4310290432 911368 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1052317 911368 835 746 0 1051381 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 4209268 KiB
Current children cumulated memory: 3645472 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/256 877250
/proc/meminfo: memFree=118826400/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=4370612 memory=3798216 CPUtime=221.51 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 595596 0 0 0 21963 188 0 0 20 0 1 0 168484956 4475506688 949554 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1092653 949554 835 746 0 1091717 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 4370612 KiB
Current children cumulated memory: 3798216 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/256 877260
/proc/meminfo: memFree=118282952/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=4551716 memory=3961380 CPUtime=281.3 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 631957 0 0 0 27929 201 0 0 20 0 1 0 168484956 4660957184 990345 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1137929 990345 835 746 0 1136993 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 4551716 KiB
Current children cumulated memory: 3961380 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/259 877443
/proc/meminfo: memFree=117785984/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=4680552 memory=4074724 CPUtime=341.1 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 660668 0 0 0 33902 208 0 0 20 0 1 0 168484956 4792885248 1018681 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1170138 1018681 835 746 0 1169202 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 4680552 KiB
Current children cumulated memory: 4074724 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/259 877453
/proc/meminfo: memFree=117510468/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=4756944 memory=4143776 CPUtime=400.9 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 674146 0 0 0 39874 216 0 0 20 0 1 0 168484956 4871110656 1035944 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1189236 1035944 835 746 0 1188300 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 4756944 KiB
Current children cumulated memory: 4143776 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/261 877467
/proc/meminfo: memFree=117238872/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=4780172 memory=4167284 CPUtime=460.69 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 679649 0 0 0 45841 228 0 0 20 0 1 0 168484956 4894896128 1041821 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1195043 1041821 835 746 0 1194107 0

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

[startup+3162.3 s]
/proc/loadavg: 4.19 4.31 4.19 5/257 878586
/proc/meminfo: memFree=110487484/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=7342984 memory=6935160 CPUtime=3151.41 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 1236388 0 0 0 314614 527 0 0 20 0 1 0 168484956 7519215616 1733790 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1835746 1733790 851 746 0 1834810 0
Current children cumulated CPU time: 3151.41 s
Current children cumulated vsize: 7342984 KiB
Current children cumulated memory: 6935160 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.26 4.18 5/254 878596
/proc/meminfo: memFree=110339940/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=7377804 memory=6969944 CPUtime=3211.2 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 1238232 0 0 0 320591 529 0 0 20 0 1 0 168484956 7554871296 1742486 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1844451 1742486 851 746 0 1843515 0
Current children cumulated CPU time: 3211.2 s
Current children cumulated vsize: 7377804 KiB
Current children cumulated memory: 6969944 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.24 4.18 5/254 878606
/proc/meminfo: memFree=110321388/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=7342984 memory=6936924 CPUtime=3270.99 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 1241218 0 0 0 326564 535 0 0 20 0 1 0 168484956 7519215616 1734231 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1835746 1734231 851 746 0 1834810 0
Current children cumulated CPU time: 3270.99 s
Current children cumulated vsize: 7342984 KiB
Current children cumulated memory: 6936924 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.25 4.19 6/254 878617
/proc/meminfo: memFree=110421936/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=7375936 memory=6969896 CPUtime=3330.77 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 1246212 0 0 0 332535 542 0 0 20 0 1 0 168484956 7552958464 1742474 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1843984 1742474 851 746 0 1843048 0
Current children cumulated CPU time: 3330.77 s
Current children cumulated vsize: 7375936 KiB
Current children cumulated memory: 6969896 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.26 4.19 5/254 878627
/proc/meminfo: memFree=110337120/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=7455596 memory=7037724 CPUtime=3390.57 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 1259390 0 0 0 338506 551 0 0 20 0 1 0 168484956 7634530304 1759431 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1863899 1759431 851 746 0 1862963 0
Current children cumulated CPU time: 3390.57 s
Current children cumulated vsize: 7455596 KiB
Current children cumulated memory: 7037724 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.22 4.18 5/257 878642
/proc/meminfo: memFree=110297664/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=7458896 memory=7042012 CPUtime=3450.37 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 1262874 0 0 0 344480 557 0 0 20 0 1 0 168484956 7637909504 1760503 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1864724 1760503 851 746 0 1863788 0
Current children cumulated CPU time: 3450.37 s
Current children cumulated vsize: 7458896 KiB
Current children cumulated memory: 7042012 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.20 4.17 5/257 878653
/proc/meminfo: memFree=110261300/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=7458896 memory=7042012 CPUtime=3510.16 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 1266088 0 0 0 350453 563 0 0 20 0 1 0 168484956 7637909504 1760503 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1864724 1760503 851 746 0 1863788 0
Current children cumulated CPU time: 3510.16 s
Current children cumulated vsize: 7458896 KiB
Current children cumulated memory: 7042012 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.17 4.17 5/257 878802
/proc/meminfo: memFree=112545756/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=7458896 memory=7042012 CPUtime=3569.95 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 1266608 0 0 0 356430 565 0 0 20 0 1 0 168484956 7637909504 1760503 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1864724 1760503 851 746 0 1863788 0
Current children cumulated CPU time: 3569.95 s
Current children cumulated vsize: 7458896 KiB
Current children cumulated memory: 7042012 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 4.04 4.15 4.16 4/250 879161
/proc/meminfo: memFree=119122776/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=7458896 memory=7042160 CPUtime=3600.05 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 1267338 0 0 0 359439 566 0 0 20 0 1 0 168484956 7637909504 1760540 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1864724 1760540 851 746 0 1863788 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 7458896 KiB
Current children cumulated memory: 7042160 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3614.66 s]
# the end of solver process 876732 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3596.34 s, system=5.87288 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3612.8 s]
/proc/loadavg: 4.04 4.15 4.16 4/250 879161
/proc/meminfo: memFree=119122776/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=7458896 memory=7042160 CPUtime=3600.35 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 1267341 0 0 0 359469 566 0 0 20 0 1 0 168484956 7637909504 1760540 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1864724 1760540 851 746 0 1863788 0
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 7458896 KiB
Current children cumulated memory: 7042160 KiB

[startup+3613.6 s]
/proc/loadavg: 4.04 4.15 4.16 4/250 879161
/proc/meminfo: memFree=119122748/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=7529268 memory=7112532 CPUtime=3601.14 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 1268617 0 0 0 359546 568 0 0 20 0 1 0 168484956 7709970432 1778133 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1882317 1778133 851 746 0 1881381 0
Current children cumulated CPU time: 3601.14 s
Current children cumulated vsize: 7529268 KiB
Current children cumulated memory: 7112532 KiB

[startup+3614 s]*
/proc/loadavg: 3.96 4.14 4.16 4/250 879161
/proc/meminfo: memFree=118980192/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=7598900 memory=7182164 CPUtime=3601.55 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 1269197 0 0 0 359584 571 0 0 20 0 1 0 168484956 7781273600 1795541 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1899725 1795541 851 746 0 1898789 0
Current children cumulated CPU time: 3601.55 s
Current children cumulated vsize: 7598900 KiB
Current children cumulated memory: 7182164 KiB

[startup+3614.4 s]
/proc/loadavg: 3.96 4.14 4.16 4/250 879161
/proc/meminfo: memFree=118980192/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=7598900 memory=7182164 CPUtime=3601.94 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 1269230 0 0 0 359623 571 0 0 20 0 1 0 168484956 7781273600 1795541 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1899725 1795541 851 746 0 1898789 0
Current children cumulated CPU time: 3601.94 s
Current children cumulated vsize: 7598900 KiB
Current children cumulated memory: 7182164 KiB

[startup+3614.5 s]
/proc/loadavg: 3.96 4.14 4.16 4/250 879161
/proc/meminfo: memFree=118980192/131524600 swapFree=131071996/131071996
[pid=876732] ppid=876729 vsize=7598900 memory=7182164 CPUtime=3602.04 cores=1,3
/proc/876732/stat : 876732 (Exact_nosoplex) R 876729 876732 874390 0 -1 4194304 1269232 0 0 0 359633 571 0 0 20 0 1 0 168484956 7781273600 1795541 134679101440 4194304 7248369 140723014476768 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 38256640 140723014480813 140723014480991 140723014480991 140723014488006 0
/proc/876732/statm: 1899725 1795541 851 746 0 1898789 0
Current children cumulated CPU time: 3602.04 s
Current children cumulated vsize: 7598900 KiB
Current children cumulated memory: 7182164 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3614.66
CPU time (s): 3602.21
CPU user time (s): 3596.34
CPU system time (s): 5.87288
CPU usage (%): 99.6555
Max. virtual memory (cumulated for all children) (KiB): 7668536
Max. memory (cumulated for all children) (KiB): 7223128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.34
system time used= 5.87288
maximum resident set size= 7251800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1269232
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= 2
involuntary context switches= 4196


# summary of solver processes directly reported to runsolver:
#   pid: 876732
#   total CPU time (s): 3602.21
#   total CPU user time (s): 3596.34
#   total CPU system time (s): 5.87288

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48704 second user time and 16.4834 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-16 22:52:34
IDJOB=4433740
IDBENCH=158606
IDSOLVER=3061
FILE ID=nodeC035/4433740-1721163141
RUNJOBID= nodeC035-1721159495-874402
SLURM_JOB_ID= 7505772
Free space on /tmp= 890036 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.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-4433740-1721163141/watcher-4433740-1721163141 -o /tmp/evaluation-result-4433740-1721163141/solver-4433740-1721163141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721159495-874402 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=399030271 HOME/instance-4433740-1721163141.opb

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

MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=399030271

nodeC035.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		: 3671.096
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.65
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		: 3684.547
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126443256 kB
MemAvailable:   127181972 kB
Buffers:          411772 kB
Cached:          1163876 kB
SwapCached:            0 kB
Active:           749468 kB
Inactive:        3727680 kB
Active(anon):       1560 kB
Inactive(anon):  2938016 kB
Active(file):     747908 kB
Inactive(file):   789664 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             32520 kB
Writeback:             0 kB
AnonPages:       2901928 kB
Mapped:           114872 kB
Shmem:             37724 kB
KReclaimable:      81936 kB
Slab:             187484 kB
SReclaimable:      81936 kB
SUnreclaim:       105548 kB
KernelStack:        4156 kB
PageTables:        14984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3666616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64928 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1564672 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:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890036 MiB
End job on nodeC035 at 2024-07-16 23:52:48