Trace number 4442717

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.11 3608.46

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb
MD5SUM6537247428469e6459e4298d22ed7785
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 benchmark47.5905
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8550
Total number of constraints401945
Number of constraints which are clauses401945
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint90
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 91
Number of bits of the biggest sum of numbers7
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/3608.40	c Program interrupted by user.
3600.05/3608.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (60502 MiB free)
  memory of node 1: 64473 MiB (60753 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442717-1721293937/watcher-4442717-1721293937 -o /tmp/evaluation-result-4442717-1721293937/solver-4442717-1721293937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721293766-954774 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=921832146 HOME/instance-4442717-1721293937.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=956711, runsolver pid=956708
Current StackSize limit: 8192 KiB


[startup+0.100086 s]*
/proc/loadavg: 3.96 2.49 1.70 5/259 956712
/proc/meminfo: memFree=124148448/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=38740 memory=21460 CPUtime=0.09 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 3794 0 0 0 9 0 0 0 20 0 1 0 181564304 39669760 5365 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 9685 5365 755 746 0 8749 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38740 KiB
Current children cumulated memory: 21460 KiB

[startup+0.205889 s]*
/proc/loadavg: 3.96 2.49 1.70 5/259 956712
/proc/meminfo: memFree=124139820/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=43344 memory=29800 CPUtime=0.2 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 5023 0 0 0 19 1 0 0 20 0 1 0 181564304 44384256 7450 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 10836 7450 755 746 0 9900 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43344 KiB
Current children cumulated memory: 29800 KiB

[startup+0.30584 s]*
/proc/loadavg: 3.96 2.49 1.70 5/259 956713
/proc/meminfo: memFree=124131412/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=47040 memory=38112 CPUtime=0.3 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 6040 0 0 0 29 1 0 0 20 0 1 0 181564304 48168960 9528 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 11760 9528 755 746 0 10824 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47040 KiB
Current children cumulated memory: 38112 KiB

[startup+0.700196 s]
/proc/loadavg: 3.96 2.49 1.70 5/259 956713
/proc/meminfo: memFree=124111348/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=148432 memory=127064 CPUtime=0.68 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 20458 0 0 0 64 4 0 0 20 0 1 0 181564304 151994368 31766 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 37108 31766 771 746 0 36172 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 148432 KiB
Current children cumulated memory: 127064 KiB

[startup+1.50022 s]
/proc/loadavg: 3.96 2.49 1.70 5/259 956714
/proc/meminfo: memFree=124037216/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=148432 memory=137304 CPUtime=1.48 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 20467 0 0 0 144 4 0 0 20 0 1 0 181564304 151994368 34326 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 37108 34326 771 746 0 36172 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 148432 KiB
Current children cumulated memory: 137304 KiB

[startup+3.10596 s]
/proc/loadavg: 3.96 2.49 1.70 5/259 956714
/proc/meminfo: memFree=124015936/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=188328 memory=154568 CPUtime=3.09 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 21154 0 0 0 303 6 0 0 20 0 1 0 181564304 192847872 38642 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 47082 38642 835 746 0 46146 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 188328 KiB
Current children cumulated memory: 154568 KiB

[startup+6.30016 s]
/proc/loadavg: 3.96 2.51 1.71 5/259 956714
/proc/meminfo: memFree=123993572/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=207068 memory=173252 CPUtime=6.27 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 23724 0 0 0 621 6 0 0 20 0 1 0 181564304 212037632 43313 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 51767 43313 835 746 0 50831 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 207068 KiB
Current children cumulated memory: 173252 KiB

[startup+12.7002 s]
/proc/loadavg: 3.97 2.54 1.72 5/259 956716
/proc/meminfo: memFree=123975680/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=212604 memory=192992 CPUtime=12.66 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 24682 0 0 0 1259 7 0 0 20 0 1 0 181564304 217706496 48248 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 53151 48248 835 746 0 52215 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 212604 KiB
Current children cumulated memory: 192992 KiB

[startup+25.5002 s]
/proc/loadavg: 3.97 2.59 1.75 5/258 956717
/proc/meminfo: memFree=123952284/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=214916 memory=195292 CPUtime=25.43 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 25347 0 0 0 2536 7 0 0 20 0 1 0 181564304 220073984 48823 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 53729 48823 835 746 0 52793 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 214916 KiB
Current children cumulated memory: 195292 KiB

[startup+51.1057 s]
/proc/loadavg: 4.04 2.74 1.83 5/258 956722
/proc/meminfo: memFree=123918048/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=224520 memory=211228 CPUtime=50.96 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 27376 0 0 0 5088 8 0 0 20 0 1 0 181564304 229908480 52807 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 56130 52807 835 746 0 55194 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 224520 KiB
Current children cumulated memory: 211228 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 2.95 1.95 5/258 956730
/proc/meminfo: memFree=123878292/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=239480 memory=232764 CPUtime=102 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 30373 0 0 0 10192 8 0 0 20 0 1 0 181564304 245227520 58191 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 59870 58191 835 746 0 58934 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 239480 KiB
Current children cumulated memory: 232764 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 3.16 2.08 5/257 956740
/proc/meminfo: memFree=123808608/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=330064 memory=267796 CPUtime=161.83 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 34747 0 0 0 16172 11 0 0 20 0 1 0 181564304 337985536 66949 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 82516 66949 835 746 0 81580 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 330064 KiB
Current children cumulated memory: 267796 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.34 2.22 5/254 956752
/proc/meminfo: memFree=123759720/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=359004 memory=295840 CPUtime=221.66 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 38265 0 0 0 22154 12 0 0 20 0 1 0 181564304 367620096 73960 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 89751 73960 835 746 0 88815 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 359004 KiB
Current children cumulated memory: 295840 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.48 2.34 5/254 956763
/proc/meminfo: memFree=123674240/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=376952 memory=367160 CPUtime=281.49 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 40742 0 0 0 28135 14 0 0 20 0 1 0 181564304 385998848 91790 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 94238 91790 835 746 0 93302 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 376952 KiB
Current children cumulated memory: 367160 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.61 2.45 5/254 956773
/proc/meminfo: memFree=123642584/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=390452 memory=381396 CPUtime=341.32 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 43723 0 0 0 34118 14 0 0 20 0 1 0 181564304 399822848 95349 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 97613 95349 835 746 0 96677 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 390452 KiB
Current children cumulated memory: 381396 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 3.68 2.55 5/254 956785
/proc/meminfo: memFree=123616748/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=407344 memory=398940 CPUtime=401.19 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 46577 0 0 0 40104 15 0 0 20 0 1 0 181564304 417120256 99735 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 101836 99735 835 746 0 100900 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 407344 KiB
Current children cumulated memory: 398940 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 3.79 2.66 5/254 956795
/proc/meminfo: memFree=123591780/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=418428 memory=410024 CPUtime=461.05 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 48489 0 0 0 46090 15 0 0 20 0 1 0 181564304 428470272 102506 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 104607 102506 835 746 0 103671 0

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

Current children cumulated memory: 1201588 KiB

[startup+2862.3 s]
/proc/loadavg: 4.37 4.15 4.03 5/259 958500
/proc/meminfo: memFree=122229560/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=1558844 memory=1201632 CPUtime=2855.7 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 119476 0 0 0 285513 57 0 0 20 0 1 0 181564304 1596256256 300408 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 389711 300408 835 746 0 388775 0
Current children cumulated CPU time: 2855.7 s
Current children cumulated vsize: 1558844 KiB
Current children cumulated memory: 1201632 KiB

[startup+2922.3 s]
/proc/loadavg: 4.70 4.29 4.09 5/258 958525
/proc/meminfo: memFree=122180708/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=1573632 memory=1216548 CPUtime=2915.56 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 121192 0 0 0 291498 58 0 0 20 0 1 0 181564304 1611399168 304137 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 393408 304137 835 746 0 392472 0
Current children cumulated CPU time: 2915.56 s
Current children cumulated vsize: 1573632 KiB
Current children cumulated memory: 1216548 KiB

[startup+2982.3 s]
/proc/loadavg: 4.68 4.36 4.12 5/257 958535
/proc/meminfo: memFree=122172908/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=1579972 memory=1222772 CPUtime=2975.43 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 121651 0 0 0 297485 58 0 0 20 0 1 0 181564304 1617891328 305693 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 394993 305693 835 746 0 394057 0
Current children cumulated CPU time: 2975.43 s
Current children cumulated vsize: 1579972 KiB
Current children cumulated memory: 1222772 KiB

[startup+3042.3 s]
/proc/loadavg: 4.40 4.33 4.13 5/257 958546
/proc/meminfo: memFree=122112752/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=1607624 memory=1246548 CPUtime=3035.29 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 125990 0 0 0 303469 60 0 0 20 0 1 0 181564304 1646206976 311637 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 401906 311637 835 746 0 400970 0
Current children cumulated CPU time: 3035.29 s
Current children cumulated vsize: 1607624 KiB
Current children cumulated memory: 1246548 KiB

[startup+3102.3 s]
/proc/loadavg: 4.44 4.38 4.16 5/255 958557
/proc/meminfo: memFree=122109972/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=1607624 memory=1246548 CPUtime=3095.15 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 126377 0 0 0 309455 60 0 0 20 0 1 0 181564304 1646206976 311637 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 401906 311637 835 746 0 400970 0
Current children cumulated CPU time: 3095.15 s
Current children cumulated vsize: 1607624 KiB
Current children cumulated memory: 1246548 KiB

[startup+3162.3 s]
/proc/loadavg: 4.21 4.32 4.15 5/255 958567
/proc/meminfo: memFree=122029224/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=1619660 memory=1258680 CPUtime=3155.02 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 127701 0 0 0 315440 62 0 0 20 0 1 0 181564304 1658531840 314670 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 404915 314670 835 746 0 403979 0
Current children cumulated CPU time: 3155.02 s
Current children cumulated vsize: 1619660 KiB
Current children cumulated memory: 1258680 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.27 4.14 5/254 958578
/proc/meminfo: memFree=122005180/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=1619660 memory=1258680 CPUtime=3214.88 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 128242 0 0 0 321426 62 0 0 20 0 1 0 181564304 1658531840 314670 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 404915 314670 835 746 0 403979 0
Current children cumulated CPU time: 3214.88 s
Current children cumulated vsize: 1619660 KiB
Current children cumulated memory: 1258680 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.24 4.14 5/254 958588
/proc/meminfo: memFree=121965856/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=1642000 memory=1279864 CPUtime=3274.75 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 130995 0 0 0 327412 63 0 0 20 0 1 0 181564304 1681408000 319966 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 410500 319966 835 746 0 409564 0
Current children cumulated CPU time: 3274.75 s
Current children cumulated vsize: 1642000 KiB
Current children cumulated memory: 1279864 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.21 4.13 5/254 958599
/proc/meminfo: memFree=121855812/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=1659796 memory=1298052 CPUtime=3334.61 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 133420 0 0 0 333397 64 0 0 20 0 1 0 181564304 1699631104 324513 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 414949 324513 835 746 0 414013 0
Current children cumulated CPU time: 3334.61 s
Current children cumulated vsize: 1659796 KiB
Current children cumulated memory: 1298052 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.21 4.14 5/254 958609
/proc/meminfo: memFree=121826572/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=1669460 memory=1307888 CPUtime=3394.47 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 134810 0 0 0 339383 64 0 0 20 0 1 0 181564304 1709527040 326972 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 417365 326972 835 746 0 416429 0
Current children cumulated CPU time: 3394.47 s
Current children cumulated vsize: 1669460 KiB
Current children cumulated memory: 1307888 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.18 4.13 5/254 958711
/proc/meminfo: memFree=121914860/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=1669460 memory=1308060 CPUtime=3454.34 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 135255 0 0 0 345370 64 0 0 20 0 1 0 181564304 1709527040 327015 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 417365 327015 835 746 0 416429 0
Current children cumulated CPU time: 3454.34 s
Current children cumulated vsize: 1669460 KiB
Current children cumulated memory: 1308060 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/256 958772
/proc/meminfo: memFree=122077740/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=1678164 memory=1317056 CPUtime=3514.18 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 135881 0 0 0 351353 65 0 0 20 0 1 0 181564304 1718439936 329264 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 419541 329264 835 746 0 418605 0
Current children cumulated CPU time: 3514.18 s
Current children cumulated vsize: 1678164 KiB
Current children cumulated memory: 1317056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/256 958782
/proc/meminfo: memFree=121938960/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=1683036 memory=1322000 CPUtime=3574.02 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 136585 0 0 0 357337 65 0 0 20 0 1 0 181564304 1723428864 330500 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 420759 330500 835 746 0 419823 0
Current children cumulated CPU time: 3574.02 s
Current children cumulated vsize: 1683036 KiB
Current children cumulated memory: 1322000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.4 s]
/proc/loadavg: 4.15 4.16 4.13 5/256 958787
/proc/meminfo: memFree=121928796/131524596 swapFree=131071996/131071996
[pid=956711] ppid=956708 vsize=1683036 memory=1322212 CPUtime=3600.05 cores=4,6
/proc/956711/stat : 956711 (Exact_nosoplex) R 956708 956711 954763 0 -1 4194304 136918 0 0 0 359940 65 0 0 20 0 1 0 181564304 1723428864 330553 134679101440 4194304 7248369 140734898632288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7946728 8011032 23236608 140734898635692 140734898635870 140734898635870 140734898642886 0
/proc/956711/statm: 420759 330553 835 746 0 419823 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1683036 KiB
Current children cumulated memory: 1322212 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.45 s, system=0.65938 s

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

Child status: 0

Real time (s): 3608.46
CPU time (s): 3600.11
CPU user time (s): 3599.45
CPU system time (s): 0.65938
CPU usage (%): 99.7687
Max. virtual memory (cumulated for all children) (KiB): 1899620
Max. memory (cumulated for all children) (KiB): 1471876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.45
system time used= 0.65938
maximum resident set size= 1506692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136965
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= 77
involuntary context switches= 2093


# summary of solver processes directly reported to runsolver:
#   pid: 956711
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.45
#   total CPU system time (s): 0.65938

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96945 second user time and 17.6131 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-18 11:12:30
IDJOB=4442717
IDBENCH=147844
IDSOLVER=3061
FILE ID=nodeC034/4442717-1721293937
RUNJOBID= nodeC034-1721293766-954774
SLURM_JOB_ID= 7542598
Free space on /tmp= 890056 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-95-90.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-4442717-1721293937/watcher-4442717-1721293937 -o /tmp/evaluation-result-4442717-1721293937/solver-4442717-1721293937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721293766-954774 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=921832146 HOME/instance-4442717-1721293937.opb

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

MD5SUM BENCH= 6537247428469e6459e4298d22ed7785
RANDOM SEED=921832146

nodeC034.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		: 3663.270
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.99
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		: 3687.715
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.58
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		: 3608.478
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.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        124167036 kB
MemAvailable:   129319868 kB
Buffers:          474644 kB
Cached:          5453556 kB
SwapCached:            0 kB
Active:           971276 kB
Inactive:        5639984 kB
Active(anon):       1508 kB
Inactive(anon):   719264 kB
Active(file):     969768 kB
Inactive(file):  4920720 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14856 kB
Writeback:             0 kB
AnonPages:        682852 kB
Mapped:           116360 kB
Shmem:             37720 kB
KReclaimable:     204336 kB
Slab:             330356 kB
SReclaimable:     204336 kB
SUnreclaim:       126020 kB
KernelStack:        4192 kB
PageTables:        10436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    1113128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69312 kB
HardwareCorrupted:     0 kB
AnonHugePages:    350208 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:      307924 kB
DirectMap2M:    41408512 kB
DirectMap1G:    94371840 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC034 at 2024-07-18 12:12:39