Trace number 4462010

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) 3600.14 3607.67

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i4_pp_80_merged.opb
MD5SUM4616ac8a16a5f48e16aff56bf369874b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark344
Best CPU time to get the best result obtained on this benchmark2.97819
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables113616
Total number of constraints113617
Number of constraints which are clauses97461
Number of constraints which are cardinality constraints (but not clauses)1444
Number of constraints which are nor clauses,nor cardinality constraints14712
Minimum length of a constraint1
Maximum length of a constraint1444
Number of terms in the objective function 1444
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 1444
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 344
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1788
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.06/3607.60	c Program interrupted by user.
3600.06/3607.60	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (61724 MiB free)
  memory of node 1: 64473 MiB (61256 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462010-1722204309/watcher-4462010-1722204309 -o /tmp/evaluation-result-4462010-1722204309/solver-4462010-1722204309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722204305-373121 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=260534927 HOME/instance-4462010-1722204309.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
solver pid=373228, runsolver pid=373225
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 0.40 0.16 0.11 6/245 373231
/proc/meminfo: memFree=125843004/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=118968 memory=97136 CPUtime=0.1 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 13947 0 0 0 7 3 0 0 20 0 1 0 56420778 121823232 24284 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 29742 24284 755 746 0 28806 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 118968 KiB
Current children cumulated memory: 97136 KiB

[startup+0.213202 s]*
/proc/loadavg: 0.40 0.16 0.11 4/243 373231
/proc/meminfo: memFree=125950632/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=147500 memory=128228 CPUtime=0.21 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 21193 0 0 0 16 5 0 0 20 0 1 0 56420778 151040000 32057 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 36875 32057 755 746 0 35939 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 147500 KiB
Current children cumulated memory: 128228 KiB

[startup+0.312743 s]*
/proc/loadavg: 0.40 0.16 0.11 5/242 373235
/proc/meminfo: memFree=125949508/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=149072 memory=129620 CPUtime=0.31 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 21587 0 0 0 26 5 0 0 20 0 1 0 56420778 152649728 32405 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 37268 32405 755 746 0 36332 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 149072 KiB
Current children cumulated memory: 129620 KiB

[startup+0.700322 s]
/proc/loadavg: 0.40 0.16 0.11 5/240 373239
/proc/meminfo: memFree=125938540/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=162904 memory=149708 CPUtime=0.68 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 25148 0 0 0 62 6 0 0 20 0 1 0 56420778 166813696 37427 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 40726 37427 755 746 0 39790 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 162904 KiB
Current children cumulated memory: 149708 KiB

[startup+1.50033 s]
/proc/loadavg: 0.40 0.16 0.11 5/243 373245
/proc/meminfo: memFree=125920688/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=182440 memory=170968 CPUtime=1.48 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 30734 0 0 0 141 7 0 0 20 0 1 0 56420778 186818560 42742 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 45610 42742 835 746 0 44674 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 182440 KiB
Current children cumulated memory: 170968 KiB

[startup+3.11236 s]
/proc/loadavg: 0.40 0.16 0.11 4/238 373262
/proc/meminfo: memFree=125862964/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=193868 memory=186600 CPUtime=3.09 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 33646 0 0 0 301 8 0 0 20 0 1 0 56420778 198520832 46650 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 48467 46650 835 746 0 47531 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 193868 KiB
Current children cumulated memory: 186600 KiB

[startup+6.30031 s]
/proc/loadavg: 0.69 0.22 0.13 3/232 373293
/proc/meminfo: memFree=126063204/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=253288 memory=223080 CPUtime=6.27 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 44267 0 0 0 617 10 0 0 20 0 1 0 56420778 259366912 55770 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 63322 55770 835 746 0 62386 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 253288 KiB
Current children cumulated memory: 223080 KiB

[startup+12.7003 s]
/proc/loadavg: 0.88 0.27 0.15 3/231 373294
/proc/meminfo: memFree=125857136/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=300508 memory=265636 CPUtime=12.65 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 51249 0 0 0 1252 13 0 0 20 0 1 0 56420778 307720192 66409 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 75127 66409 835 746 0 74191 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 300508 KiB
Current children cumulated memory: 265636 KiB

[startup+25.5003 s]
/proc/loadavg: 1.05 0.33 0.17 3/230 373296
/proc/meminfo: memFree=125369716/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=361760 memory=307864 CPUtime=25.42 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 57184 0 0 0 2527 15 0 0 20 0 1 0 56420778 370442240 76966 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 90440 76966 835 746 0 89504 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 361760 KiB
Current children cumulated memory: 307864 KiB

[startup+51.112 s]
/proc/loadavg: 1.43 0.49 0.23 3/228 373301
/proc/meminfo: memFree=124631180/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=488040 memory=412800 CPUtime=50.98 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 71879 0 0 0 5077 21 0 0 20 0 1 0 56420778 499752960 103200 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 122010 103200 835 746 0 121074 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 488040 KiB
Current children cumulated memory: 412800 KiB

[startup+102.3 s]
/proc/loadavg: 1.86 0.75 0.33 3/228 373311
/proc/meminfo: memFree=123515476/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=710984 memory=595136 CPUtime=102.05 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 97268 0 0 0 10174 31 0 0 20 0 1 0 56420778 728047616 148784 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 177746 148784 835 746 0 176810 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 710984 KiB
Current children cumulated memory: 595136 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 1.00 0.45 3/231 373337
/proc/meminfo: memFree=123235548/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1077164 memory=824580 CPUtime=161.87 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 129594 0 0 0 16143 44 0 0 20 0 1 0 56420778 1103015936 206145 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 269291 206145 835 746 0 268355 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1077164 KiB
Current children cumulated memory: 824580 KiB

[startup+222.3 s]
/proc/loadavg: 2.04 1.20 0.55 3/232 373572
/proc/meminfo: memFree=123101732/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1145704 memory=939460 CPUtime=221.68 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 145665 0 0 0 22118 50 0 0 20 0 1 0 56420778 1173200896 234865 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 286426 234865 835 746 0 285490 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1145704 KiB
Current children cumulated memory: 939460 KiB

[startup+282.3 s]
/proc/loadavg: 2.72 1.56 0.72 3/232 373582
/proc/meminfo: memFree=122973976/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1233568 memory=1026984 CPUtime=281.49 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 167656 0 0 0 28093 56 0 0 20 0 1 0 56420778 1263173632 256746 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 308392 256746 835 746 0 307456 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 1233568 KiB
Current children cumulated memory: 1026984 KiB

[startup+342.3 s]
/proc/loadavg: 2.05 1.60 0.79 2/225 373913
/proc/meminfo: memFree=125804924/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1234500 memory=1028188 CPUtime=341.3 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 168209 0 0 0 34073 57 0 0 20 0 1 0 56420778 1264128000 257047 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 308625 257047 835 746 0 307689 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 1234500 KiB
Current children cumulated memory: 1028188 KiB

[startup+402.3 s]
/proc/loadavg: 1.49 1.52 0.82 2/225 373924
/proc/meminfo: memFree=125763660/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1256172 memory=1069364 CPUtime=401.16 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 175315 0 0 0 40056 60 0 0 20 0 1 0 56420778 1286320128 267341 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 314043 267341 835 746 0 313107 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 1256172 KiB
Current children cumulated memory: 1069364 KiB

[startup+462.3 s]
/proc/loadavg: 1.24 1.44 0.84 2/223 373934
/proc/meminfo: memFree=125760892/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1258596 memory=1071912 CPUtime=461.02 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 176126 0 0 0 46042 60 0 0 20 0 1 0 56420778 1288802304 267978 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 314649 267978 835 746 0 313713 0

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

Current children cumulated memory: 1425660 KiB

[startup+2862.3 s]
/proc/loadavg: 1.13 1.10 1.04 2/223 374980
/proc/meminfo: memFree=125389132/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1606304 memory=1431456 CPUtime=2856.25 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 270853 0 0 0 285543 82 0 0 20 0 1 0 56420778 1644855296 357864 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 401576 357864 835 746 0 400640 0
Current children cumulated CPU time: 2856.25 s
Current children cumulated vsize: 1606304 KiB
Current children cumulated memory: 1431456 KiB

[startup+2922.3 s]
/proc/loadavg: 1.10 1.09 1.04 2/223 374990
/proc/meminfo: memFree=125378832/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1616556 memory=1441524 CPUtime=2916.13 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 273925 0 0 0 291530 83 0 0 20 0 1 0 56420778 1655353344 360381 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 404139 360381 835 746 0 403203 0
Current children cumulated CPU time: 2916.13 s
Current children cumulated vsize: 1616556 KiB
Current children cumulated memory: 1441524 KiB

[startup+2982.3 s]
/proc/loadavg: 1.14 1.10 1.05 2/223 375000
/proc/meminfo: memFree=125366296/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1631328 memory=1453596 CPUtime=2976.01 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 277540 0 0 0 297517 84 0 0 20 0 1 0 56420778 1670479872 363399 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 407832 363399 835 746 0 406896 0
Current children cumulated CPU time: 2976.01 s
Current children cumulated vsize: 1631328 KiB
Current children cumulated memory: 1453596 KiB

[startup+3042.3 s]
/proc/loadavg: 1.11 1.10 1.05 2/224 375394
/proc/meminfo: memFree=125343472/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1652576 memory=1475564 CPUtime=3035.88 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 282735 0 0 0 303503 85 0 0 20 0 1 0 56420778 1692237824 368891 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 413144 368891 835 746 0 412208 0
Current children cumulated CPU time: 3035.88 s
Current children cumulated vsize: 1652576 KiB
Current children cumulated memory: 1475564 KiB

[startup+3102.3 s]
/proc/loadavg: 1.08 1.09 1.05 2/221 375404
/proc/meminfo: memFree=125332160/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1652576 memory=1486904 CPUtime=3095.76 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 283297 0 0 0 309491 85 0 0 20 0 1 0 56420778 1692237824 371726 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 413144 371726 835 746 0 412208 0
Current children cumulated CPU time: 3095.76 s
Current children cumulated vsize: 1652576 KiB
Current children cumulated memory: 1486904 KiB

[startup+3162.3 s]
/proc/loadavg: 1.13 1.10 1.06 2/221 375414
/proc/meminfo: memFree=125315336/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1661616 memory=1503540 CPUtime=3155.64 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 285861 0 0 0 315478 86 0 0 20 0 1 0 56420778 1701494784 375885 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 415404 375885 835 746 0 414468 0
Current children cumulated CPU time: 3155.64 s
Current children cumulated vsize: 1661616 KiB
Current children cumulated memory: 1503540 KiB

[startup+3222.3 s]
/proc/loadavg: 1.09 1.10 1.06 2/223 375595
/proc/meminfo: memFree=125308120/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1668244 memory=1509744 CPUtime=3215.52 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 287918 0 0 0 321466 86 0 0 20 0 1 0 56420778 1708281856 377436 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 417061 377436 835 746 0 416125 0
Current children cumulated CPU time: 3215.52 s
Current children cumulated vsize: 1668244 KiB
Current children cumulated memory: 1509744 KiB

[startup+3282.3 s]
/proc/loadavg: 1.15 1.11 1.06 2/223 375605
/proc/meminfo: memFree=125281956/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1699056 memory=1535784 CPUtime=3275.4 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 295103 0 0 0 327452 88 0 0 20 0 1 0 56420778 1739833344 383946 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 424764 383946 835 746 0 423828 0
Current children cumulated CPU time: 3275.4 s
Current children cumulated vsize: 1699056 KiB
Current children cumulated memory: 1535784 KiB

[startup+3342.3 s]
/proc/loadavg: 1.12 1.10 1.06 2/223 375618
/proc/meminfo: memFree=125277416/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1703756 memory=1540288 CPUtime=3335.28 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 296802 0 0 0 333440 88 0 0 20 0 1 0 56420778 1744646144 385072 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 425939 385072 835 746 0 425003 0
Current children cumulated CPU time: 3335.28 s
Current children cumulated vsize: 1703756 KiB
Current children cumulated memory: 1540288 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.09 1.06 2/223 375642
/proc/meminfo: memFree=125267164/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1715896 memory=1550312 CPUtime=3395.16 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 299982 0 0 0 339427 89 0 0 20 0 1 0 56420778 1757077504 387578 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 428974 387578 835 746 0 428038 0
Current children cumulated CPU time: 3395.16 s
Current children cumulated vsize: 1715896 KiB
Current children cumulated memory: 1550312 KiB

[startup+3462.3 s]
/proc/loadavg: 1.13 1.10 1.07 2/223 375653
/proc/meminfo: memFree=125248176/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1737172 memory=1569240 CPUtime=3455.05 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 305253 0 0 0 345414 91 0 0 20 0 1 0 56420778 1778864128 392310 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 434293 392310 835 746 0 433357 0
Current children cumulated CPU time: 3455.05 s
Current children cumulated vsize: 1737172 KiB
Current children cumulated memory: 1569240 KiB

[startup+3522.3 s]
/proc/loadavg: 1.10 1.10 1.07 2/221 375663
/proc/meminfo: memFree=125247812/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1737172 memory=1569240 CPUtime=3514.93 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 305764 0 0 0 351402 91 0 0 20 0 1 0 56420778 1778864128 392310 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 434293 392310 835 746 0 433357 0
Current children cumulated CPU time: 3514.93 s
Current children cumulated vsize: 1737172 KiB
Current children cumulated memory: 1569240 KiB

[startup+3582.3 s]
/proc/loadavg: 1.15 1.11 1.07 2/221 375673
/proc/meminfo: memFree=125246464/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1738920 memory=1570148 CPUtime=3574.81 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 306633 0 0 0 357390 91 0 0 20 0 1 0 56420778 1780654080 392537 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 434730 392537 835 746 0 433794 0
Current children cumulated CPU time: 3574.81 s
Current children cumulated vsize: 1738920 KiB
Current children cumulated memory: 1570148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.6 s]
/proc/loadavg: 1.10 1.10 1.07 2/221 375677
/proc/meminfo: memFree=125241984/131655788 swapFree=131058856/131071996
[pid=373228] ppid=373225 vsize=1743400 memory=1574752 CPUtime=3600.06 cores=1,3
/proc/373228/stat : 373228 (Exact_nosoplex) R 373225 373228 373109 0 -1 4194304 308012 0 0 0 359915 91 0 0 20 0 1 0 56420778 1785241600 393688 134679101440 4194304 7248369 140722245275456 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7946728 8011032 43237376 140722245284780 140722245284958 140722245284958 140722245291974 0
/proc/373228/statm: 435850 393688 835 746 0 434914 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1743400 KiB
Current children cumulated memory: 1574752 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.21 s, system=0.926321 s

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

Child status: 0

Real time (s): 3607.67
CPU time (s): 3600.14
CPU user time (s): 3599.21
CPU system time (s): 0.926321
CPU usage (%): 99.7913
Max. virtual memory (cumulated for all children) (KiB): 1743400
Max. memory (cumulated for all children) (KiB): 1574752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.21
system time used= 0.926321
maximum resident set size= 1574752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308021
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= 118
involuntary context switches= 3199


# summary of solver processes directly reported to runsolver:
#   pid: 373228
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3599.21
#   total CPU system time (s): 0.926321

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5624 second user time and 32.8478 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-29 00:05:09
IDJOB=4462010
IDBENCH=178875
IDSOLVER=3061
FILE ID=nodeC009/4462010-1722204309
RUNJOBID= nodeC009-1722204305-373121
SLURM_JOB_ID= 8248644
Free space on /tmp= 723724 MiB

SOLVER NAME= Exact_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x1/Init-x1-i4_pp_80_merged.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-4462010-1722204309/watcher-4462010-1722204309 -o /tmp/evaluation-result-4462010-1722204309/solver-4462010-1722204309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722204305-373121 --watchdog 3760  HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=260534927 HOME/instance-4462010-1722204309.opb

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

MD5SUM BENCH= 4616ac8a16a5f48e16aff56bf369874b
RANDOM SEED=260534927

nodeC009.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		: 3491.981
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	: 6983.96
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		: 2310.514
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.36
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.433
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	: 6983.96
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.263
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.36
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		: 3491.981
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	: 6983.96
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		: 3497.876
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.36
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.396
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	: 6983.96
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.351
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125932680 kB
MemAvailable:   129082176 kB
Buffers:          412396 kB
Cached:          3506056 kB
SwapCached:         4924 kB
Active:          1995796 kB
Inactive:        3045432 kB
Active(anon):       1616 kB
Inactive(anon):  1174660 kB
Active(file):    1994180 kB
Inactive(file):  1870772 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:             65504 kB
Writeback:             0 kB
AnonPages:       1117264 kB
Mapped:           103600 kB
Shmem:             53492 kB
KReclaimable:     249484 kB
Slab:             362312 kB
SReclaimable:     249484 kB
SUnreclaim:       112828 kB
KernelStack:        3952 kB
PageTables:        11540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1397300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:    487424 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:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC009 at 2024-07-29 01:05:17