Trace number 4451497

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 3610.02

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l055-r054-n1.opb
MD5SUMf0e9fb7942cf170d68fd4efe40bdbadd
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 benchmark126.71
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2991
Total number of constraints6388
Number of constraints which are clauses5391
Number of constraints which are cardinality constraints (but not clauses)997
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.09/3610.01	c Program interrupted by user.
3600.09/3610.01	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: 64096 MiB (60030 MiB free)
  memory of node 1: 64473 MiB (60347 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451497-1721426944/watcher-4451497-1721426944 -o /tmp/evaluation-result-4451497-1721426944/solver-4451497-1721426944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721425938-1052179 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=2112852010 HOME/instance-4451497-1721426944.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=1053961, runsolver pid=1053958

[startup+0.100091 s]*
/proc/loadavg: 4.05 4.03 3.70 5/244 1053962
/proc/meminfo: memFree=123261392/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=30220 memory=8852 CPUtime=0.1 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 1519 0 0 0 10 0 0 0 20 0 1 0 194850187 30945280 2213 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 7555 2213 819 746 0 6619 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30220 KiB
Current children cumulated memory: 8852 KiB

[startup+0.212803 s]*
/proc/loadavg: 4.05 4.03 3.70 5/244 1053962
/proc/meminfo: memFree=123260888/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=30440 memory=9344 CPUtime=0.22 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 1605 0 0 0 22 0 0 0 20 0 1 0 194850187 31170560 2336 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 7610 2336 835 746 0 6674 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 30440 KiB
Current children cumulated memory: 9344 KiB

[startup+0.312167 s]*
/proc/loadavg: 4.05 4.03 3.70 6/244 1053962
/proc/meminfo: memFree=123260412/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=30440 memory=9604 CPUtime=0.32 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 1702 0 0 0 32 0 0 0 20 0 1 0 194850187 31170560 2401 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 7610 2401 835 746 0 6674 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 30440 KiB
Current children cumulated memory: 9604 KiB

[startup+0.700281 s]
/proc/loadavg: 4.05 4.03 3.70 5/244 1053962
/proc/meminfo: memFree=123257544/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=30704 memory=11912 CPUtime=0.69 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 1772 0 0 0 69 0 0 0 20 0 1 0 194850187 31440896 2978 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 7676 2978 835 746 0 6740 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30704 KiB
Current children cumulated memory: 11912 KiB

[startup+1.50027 s]
/proc/loadavg: 4.05 4.03 3.70 5/244 1053962
/proc/meminfo: memFree=123255328/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=31328 memory=14732 CPUtime=1.49 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 2032 0 0 0 149 0 0 0 20 0 1 0 194850187 32079872 3683 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 7832 3683 835 746 0 6896 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31328 KiB
Current children cumulated memory: 14732 KiB

[startup+3.11344 s]
/proc/loadavg: 4.05 4.03 3.70 5/244 1053962
/proc/meminfo: memFree=123254312/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=31624 memory=15064 CPUtime=3.09 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 2324 0 0 0 309 0 0 0 20 0 1 0 194850187 32382976 3766 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 7906 3766 835 746 0 6970 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 31624 KiB
Current children cumulated memory: 15064 KiB

[startup+6.30021 s]
/proc/loadavg: 4.05 4.03 3.70 5/244 1053964
/proc/meminfo: memFree=123253176/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=32052 memory=15504 CPUtime=6.27 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 2850 0 0 0 627 0 0 0 20 0 1 0 194850187 32821248 3876 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 8013 3876 835 746 0 7077 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32052 KiB
Current children cumulated memory: 15504 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.02 3.70 5/244 1053964
/proc/meminfo: memFree=123252608/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=32552 memory=16004 CPUtime=12.66 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 3796 0 0 0 1266 0 0 0 20 0 1 0 194850187 33333248 4001 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 8138 4001 835 746 0 7202 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 32552 KiB
Current children cumulated memory: 16004 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.04 3.71 5/244 1053965
/proc/meminfo: memFree=123251440/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=33072 memory=16528 CPUtime=25.42 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 5352 0 0 0 2542 0 0 0 20 0 1 0 194850187 33865728 4132 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 8268 4132 835 746 0 7332 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 33072 KiB
Current children cumulated memory: 16528 KiB

[startup+51.1127 s]
/proc/loadavg: 4.07 4.04 3.72 5/246 1054260
/proc/meminfo: memFree=123305660/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=33952 memory=17368 CPUtime=50.97 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 8505 0 0 0 5096 1 0 0 20 0 1 0 194850187 34766848 4342 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 8488 4342 835 746 0 7552 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 33952 KiB
Current children cumulated memory: 17368 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.04 3.74 5/246 1054270
/proc/meminfo: memFree=123304120/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=34948 memory=18368 CPUtime=102.02 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 14224 0 0 0 10200 2 0 0 20 0 1 0 194850187 35786752 4592 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 8737 4592 835 746 0 7801 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 34948 KiB
Current children cumulated memory: 18368 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.06 3.77 5/246 1054280
/proc/meminfo: memFree=123299516/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=35836 memory=19256 CPUtime=161.87 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 20855 0 0 0 16183 4 0 0 20 0 1 0 194850187 36696064 4814 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 8959 4814 835 746 0 8023 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 35836 KiB
Current children cumulated memory: 19256 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.07 3.80 5/244 1054290
/proc/meminfo: memFree=123295544/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=36332 memory=19756 CPUtime=221.71 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 27377 0 0 0 22165 6 0 0 20 0 1 0 194850187 37203968 4939 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 9083 4939 835 746 0 8147 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 36332 KiB
Current children cumulated memory: 19756 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.08 3.82 5/243 1054300
/proc/meminfo: memFree=123290236/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=37240 memory=20668 CPUtime=281.56 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 33507 0 0 0 28149 7 0 0 20 0 1 0 194850187 38133760 5167 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 9310 5167 835 746 0 8374 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 37240 KiB
Current children cumulated memory: 20668 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.08 3.84 5/243 1054312
/proc/meminfo: memFree=123287304/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=37608 memory=21088 CPUtime=341.41 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 39920 0 0 0 34132 9 0 0 20 0 1 0 194850187 38510592 5272 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 9402 5272 835 746 0 8466 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 37608 KiB
Current children cumulated memory: 21088 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.08 3.86 5/241 1054324
/proc/meminfo: memFree=123283596/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=38088 memory=21568 CPUtime=401.26 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 46459 0 0 0 40116 10 0 0 20 0 1 0 194850187 39002112 5392 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 9522 5392 835 746 0 8586 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 38088 KiB
Current children cumulated memory: 21568 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.10 3.88 5/241 1054334
/proc/meminfo: memFree=123280992/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=38636 memory=22116 CPUtime=461.12 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 53026 0 0 0 46101 11 0 0 20 0 1 0 194850187 39563264 5529 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 9659 5529 835 746 0 8723 0

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

Current children cumulated memory: 30192 KiB

[startup+2862.3 s]
/proc/loadavg: 4.61 4.32 4.17 5/243 1056173
/proc/meminfo: memFree=123284792/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=46944 memory=30432 CPUtime=2854.63 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 286483 0 0 0 285404 59 0 0 20 0 1 0 194850187 48070656 7608 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 11736 7608 835 746 0 10800 0
Current children cumulated CPU time: 2854.63 s
Current children cumulated vsize: 46944 KiB
Current children cumulated memory: 30432 KiB

[startup+2922.3 s]
/proc/loadavg: 4.29 4.28 4.16 5/243 1056183
/proc/meminfo: memFree=123281848/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=47048 memory=30536 CPUtime=2914.44 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 291663 0 0 0 291384 60 0 0 20 0 1 0 194850187 48177152 7634 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 11762 7634 835 746 0 10826 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 47048 KiB
Current children cumulated memory: 30536 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.24 4.15 5/245 1056363
/proc/meminfo: memFree=123278764/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=47060 memory=30548 CPUtime=2974.26 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 297414 0 0 0 297365 61 0 0 20 0 1 0 194850187 48189440 7637 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 11765 7637 835 746 0 10829 0
Current children cumulated CPU time: 2974.26 s
Current children cumulated vsize: 47060 KiB
Current children cumulated memory: 30548 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.21 4.15 5/245 1056374
/proc/meminfo: memFree=123273460/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=47140 memory=30628 CPUtime=3034.09 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 303304 0 0 0 303346 63 0 0 20 0 1 0 194850187 48271360 7657 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 11785 7657 835 746 0 10849 0
Current children cumulated CPU time: 3034.09 s
Current children cumulated vsize: 47140 KiB
Current children cumulated memory: 30628 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.18 4.14 5/243 1056386
/proc/meminfo: memFree=123270344/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=47204 memory=30692 CPUtime=3093.9 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 309049 0 0 0 309327 63 0 0 20 0 1 0 194850187 48336896 7673 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 11801 7673 835 746 0 10865 0
Current children cumulated CPU time: 3093.9 s
Current children cumulated vsize: 47204 KiB
Current children cumulated memory: 30692 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.16 4.14 5/243 1056409
/proc/meminfo: memFree=123267712/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=47340 memory=30828 CPUtime=3153.73 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 314513 0 0 0 315308 65 0 0 20 0 1 0 194850187 48476160 7707 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 11835 7707 835 746 0 10899 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 47340 KiB
Current children cumulated memory: 30828 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/243 1056420
/proc/meminfo: memFree=123263464/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=47380 memory=30868 CPUtime=3213.55 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 320447 0 0 0 321288 67 0 0 20 0 1 0 194850187 48517120 7717 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 11845 7717 835 746 0 10909 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 47380 KiB
Current children cumulated memory: 30868 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.13 4.13 5/242 1056430
/proc/meminfo: memFree=123259800/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=47404 memory=30892 CPUtime=3273.36 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 326279 0 0 0 327269 67 0 0 20 0 1 0 194850187 48541696 7723 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 11851 7723 835 746 0 10915 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 47404 KiB
Current children cumulated memory: 30892 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.15 4.13 5/242 1056441
/proc/meminfo: memFree=123257368/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=47516 memory=31004 CPUtime=3333.18 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 331939 0 0 0 333249 69 0 0 20 0 1 0 194850187 48656384 7751 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 11879 7751 835 746 0 10943 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 47516 KiB
Current children cumulated memory: 31004 KiB

[startup+3402.3 s]
/proc/loadavg: 4.73 4.31 4.19 5/242 1056453
/proc/meminfo: memFree=123254808/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=47716 memory=31204 CPUtime=3393 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 336993 0 0 0 339230 70 0 0 20 0 1 0 194850187 48861184 7801 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 11929 7801 835 746 0 10993 0
Current children cumulated CPU time: 3393 s
Current children cumulated vsize: 47716 KiB
Current children cumulated memory: 31204 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.28 4.18 5/242 1056463
/proc/meminfo: memFree=123253032/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=48004 memory=31492 CPUtime=3452.82 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 342038 0 0 0 345211 71 0 0 20 0 1 0 194850187 49156096 7873 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 12001 7873 835 746 0 11065 0
Current children cumulated CPU time: 3452.82 s
Current children cumulated vsize: 48004 KiB
Current children cumulated memory: 31492 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.24 4.18 5/242 1056473
/proc/meminfo: memFree=123251140/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=48200 memory=31688 CPUtime=3512.64 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 347164 0 0 0 351191 73 0 0 20 0 1 0 194850187 49356800 7922 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 12050 7922 835 746 0 11114 0
Current children cumulated CPU time: 3512.64 s
Current children cumulated vsize: 48200 KiB
Current children cumulated memory: 31688 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.21 4.17 5/242 1056483
/proc/meminfo: memFree=123240636/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=48224 memory=31712 CPUtime=3572.46 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 352778 0 0 0 357172 74 0 0 20 0 1 0 194850187 49381376 7928 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 12056 7928 835 746 0 11120 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 48224 KiB
Current children cumulated memory: 31712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.13 4.21 4.17 5/242 1056490
/proc/meminfo: memFree=123240208/131655788 swapFree=131071996/131071996
[pid=1053961] ppid=1053958 vsize=48248 memory=31736 CPUtime=3600.09 cores=5,7
/proc/1053961/stat : 1053961 (Exact_nosoplex) R 1053958 1053961 1052166 0 -1 4194304 355425 0 0 0 359934 75 0 0 20 0 1 0 194850187 49405952 7934 134679101440 4194304 7248369 140726982552624 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 15564800 140726982554538 140726982554717 140726982554717 140726982561734 0
/proc/1053961/statm: 12062 7934 835 746 0 11126 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 48248 KiB
Current children cumulated memory: 31736 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.34 s, system=0.756549 s

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

Child status: 0

Real time (s): 3610.02
CPU time (s): 3600.1
CPU user time (s): 3599.34
CPU system time (s): 0.756549
CPU usage (%): 99.7253
Max. virtual memory (cumulated for all children) (KiB): 48748
Max. memory (cumulated for all children) (KiB): 31964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.34
system time used= 0.756549
maximum resident set size= 31996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355427
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= 12
involuntary context switches= 4551


# summary of solver processes directly reported to runsolver:
#   pid: 1053961
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.34
#   total CPU system time (s): 0.756549

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0985 second user time and 32.3195 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-20 00:09:16
IDJOB=4451497
IDBENCH=162562
IDSOLVER=3061
FILE ID=nodeC004/4451497-1721426944
RUNJOBID= nodeC004-1721425938-1052179
SLURM_JOB_ID= 7545617
Free space on /tmp= 723768 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l055-r054-n1.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-4451497-1721426944/watcher-4451497-1721426944 -o /tmp/evaluation-result-4451497-1721426944/solver-4451497-1721426944 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721425938-1052179 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=2112852010 HOME/instance-4451497-1721426944.opb

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

MD5SUM BENCH= f0e9fb7942cf170d68fd4efe40bdbadd
RANDOM SEED=2112852010

nodeC004.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	: 0xb00001f
cpu MHz		: 3676.123
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 3647.874
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.506
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 1197.369
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 3676.421
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 3492.173
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.504
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 1197.310
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123267136 kB
MemAvailable:   129648164 kB
Buffers:          551488 kB
Cached:          6597952 kB
SwapCached:            0 kB
Active:          1244220 kB
Inactive:        6417744 kB
Active(anon):       3352 kB
Inactive(anon):   554732 kB
Active(file):    1240868 kB
Inactive(file):  5863012 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4772 kB
Writeback:             0 kB
AnonPages:        509676 kB
Mapped:           117348 kB
Shmem:             45892 kB
KReclaimable:     234696 kB
Slab:             354168 kB
SReclaimable:     234696 kB
SUnreclaim:       119472 kB
KernelStack:        3952 kB
PageTables:        10252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1081596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61088 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 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:      248648 kB
DirectMap2M:    29016064 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC004 at 2024-07-20 01:09:26