Trace number 4451097

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
LS-MabS 2024-07-10? 3600.01 3610.19

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
MD5SUM6d6cd561f3b9d650ea4fe5a812bf9deb
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 benchmark53.2646
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1401
Total number of constraints701
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)701
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
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

0.00/0.04	c Filename:instance-4451097-1721419331.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.04	c Not use presolve
3599.93/3610.17	c Use LS-small
3599.93/3610.17	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: 63931 MiB (60820 MiB free)
  memory of node 1: 64510 MiB (62964 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451097-1721419331/watcher-4451097-1721419331 -o /tmp/evaluation-result-4451097-1721419331/solver-4451097-1721419331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721412127-1039667 --watchdog 3760 ./LS-MabS -f HOME/instance-4451097-1721419331.opb -t 3600 -s 2076453994 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1043713, runsolver pid=1043710

[startup+0.100427 s]*
/proc/loadavg: 4.10 4.09 4.09 5/257 1043714
/proc/meminfo: memFree=126733400/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=41636 memory=31708 CPUtime=0.09 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 6698 0 0 0 8 1 0 0 20 0 1 0 194097259 42635264 7927 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 10409 7927 2461 2403 0 7519 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41636 KiB
Current children cumulated memory: 31708 KiB

[startup+0.205877 s]*
/proc/loadavg: 4.10 4.09 4.09 5/257 1043714
/proc/meminfo: memFree=126730232/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=43776 memory=34344 CPUtime=0.2 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 7329 0 0 0 19 1 0 0 20 0 1 0 194097259 44826624 8586 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 10944 8586 2461 2403 0 8054 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43776 KiB
Current children cumulated memory: 34344 KiB

[startup+0.305827 s]*
/proc/loadavg: 4.10 4.09 4.09 5/257 1043714
/proc/meminfo: memFree=126730092/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=43776 memory=34344 CPUtime=0.3 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 7329 0 0 0 29 1 0 0 20 0 1 0 194097259 44826624 8586 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 10944 8586 2461 2403 0 8054 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43776 KiB
Current children cumulated memory: 34344 KiB

[startup+0.700231 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1043714
/proc/meminfo: memFree=126722224/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=44896 memory=35928 CPUtime=0.68 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 7752 0 0 0 67 1 0 0 20 0 1 0 194097259 45973504 8982 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 11224 8982 2461 2403 0 8334 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44896 KiB
Current children cumulated memory: 35928 KiB

[startup+1.50021 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1043714
/proc/meminfo: memFree=126718836/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=46196 memory=37248 CPUtime=1.48 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 8085 0 0 0 147 1 0 0 20 0 1 0 194097259 47304704 9312 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 11549 9312 2461 2403 0 8659 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46196 KiB
Current children cumulated memory: 37248 KiB

[startup+3.10567 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1043714
/proc/meminfo: memFree=126707428/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=48844 memory=40036 CPUtime=3.08 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 9749 0 0 0 307 1 0 0 20 0 1 0 194097259 50016256 10009 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 12211 10009 2461 2403 0 9321 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 48844 KiB
Current children cumulated memory: 40036 KiB

[startup+6.30018 s]
/proc/loadavg: 4.08 4.08 4.09 5/257 1043760
/proc/meminfo: memFree=126937052/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=54876 memory=46204 CPUtime=6.26 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 12198 0 0 0 625 1 0 0 20 0 1 0 194097259 56193024 11551 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 13719 11551 2461 2403 0 10829 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 54876 KiB
Current children cumulated memory: 46204 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 1043762
/proc/meminfo: memFree=126899208/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=61164 memory=52012 CPUtime=12.64 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 13665 0 0 0 1262 2 0 0 20 0 1 0 194097259 62631936 13003 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 15291 13003 2461 2403 0 12401 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 61164 KiB
Current children cumulated memory: 52012 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 1043763
/proc/meminfo: memFree=126852532/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=88828 memory=80520 CPUtime=25.38 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 21561 0 0 0 2535 3 0 0 20 0 1 0 194097259 90959872 20130 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 22207 20130 2461 2403 0 19317 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 88828 KiB
Current children cumulated memory: 80520 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 1043768
/proc/meminfo: memFree=126813760/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=100764 memory=92636 CPUtime=50.88 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 24955 0 0 0 5085 3 0 0 20 0 1 0 194097259 103182336 23159 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 25191 23159 2461 2403 0 22301 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 100764 KiB
Current children cumulated memory: 92636 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 1043777
/proc/meminfo: memFree=126688460/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=162604 memory=152916 CPUtime=101.87 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 40423 0 0 0 10181 6 0 0 20 0 1 0 194097259 166506496 38229 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 40651 38229 2461 2403 0 37761 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 162604 KiB
Current children cumulated memory: 152916 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1043790
/proc/meminfo: memFree=126559788/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=227468 memory=218876 CPUtime=161.63 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 57321 0 0 0 16152 11 0 0 20 0 1 0 194097259 232927232 54719 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 56867 54719 2461 2403 0 53977 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 227468 KiB
Current children cumulated memory: 218876 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/255 1043800
/proc/meminfo: memFree=126427224/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=293204 memory=280804 CPUtime=221.37 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 73011 0 0 0 22124 13 0 0 20 0 1 0 194097259 300240896 70201 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 73301 70201 2461 2403 0 70411 0
Current children cumulated CPU time: 221.37 s
Current children cumulated vsize: 293204 KiB
Current children cumulated memory: 280804 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 1043810
/proc/meminfo: memFree=126301444/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=355612 memory=344344 CPUtime=281.13 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 88834 0 0 0 28097 16 0 0 20 0 1 0 194097259 364146688 86086 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 88903 86086 2461 2403 0 86013 0
Current children cumulated CPU time: 281.13 s
Current children cumulated vsize: 355612 KiB
Current children cumulated memory: 344344 KiB

[startup+342.3 s]
/proc/loadavg: 4.43 4.17 4.12 5/255 1043821
/proc/meminfo: memFree=126174628/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=420160 memory=409156 CPUtime=340.9 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 105302 0 0 0 34071 19 0 0 20 0 1 0 194097259 430243840 102289 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 105040 102289 2461 2403 0 102150 0
Current children cumulated CPU time: 340.9 s
Current children cumulated vsize: 420160 KiB
Current children cumulated memory: 409156 KiB

[startup+402.3 s]
/proc/loadavg: 4.28 4.17 4.12 5/255 1043831
/proc/meminfo: memFree=126056756/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=475320 memory=463688 CPUtime=400.67 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 120380 0 0 0 40046 21 0 0 20 0 1 0 194097259 486727680 115922 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 118830 115922 2461 2403 0 115940 0
Current children cumulated CPU time: 400.67 s
Current children cumulated vsize: 475320 KiB
Current children cumulated memory: 463688 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/254 1043841
/proc/meminfo: memFree=125944652/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=529680 memory=519472 CPUtime=460.44 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 134501 0 0 0 46021 23 0 0 20 0 1 0 194097259 542392320 129868 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 132420 129868 2461 2403 0 129530 0

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

/proc/loadavg: 4.15 4.11 4.09 5/256 1045346
/proc/meminfo: memFree=125212884/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3272.68 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 286790 40478 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/256 1045357
/proc/meminfo: memFree=125212576/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3332.58 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 291138 42120 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3332.58 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 1045536
/proc/meminfo: memFree=125212396/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3392.48 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 295480 43768 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1045546
/proc/meminfo: memFree=125212028/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3452.37 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 299820 45417 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/257 1045571
/proc/meminfo: memFree=125211516/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3512.28 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 304191 47037 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3512.28 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 1045581
/proc/meminfo: memFree=125211412/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3572.18 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 308532 48686 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3572.18 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

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

# cumulated CPU time of all completed processes:  user=3105.55 s, system=494.459 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.11 4.09 5/256 1045581
/proc/meminfo: memFree=125211404/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3573.88 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 308659 48729 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3573.88 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 1045583
/proc/meminfo: memFree=125211356/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3586.65 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 309590 49075 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3586.65 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

[startup+3603.2 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 1045584
/proc/meminfo: memFree=125211352/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3593.04 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 310050 49254 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3593.04 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

[startup+3606.4 s]
/proc/loadavg: 4.10 4.10 4.09 4/249 1045615
/proc/meminfo: memFree=125293116/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3596.23 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 310280 49343 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3596.23 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

[startup+3608 s]*
/proc/loadavg: 4.01 4.08 4.08 3/242 1045648
/proc/meminfo: memFree=126212268/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3597.83 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 310398 49385 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3597.83 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

[startup+3608.8 s]
/proc/loadavg: 4.01 4.08 4.08 3/242 1045648
/proc/meminfo: memFree=126212268/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3598.62 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 310453 49409 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3598.62 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

[startup+3609.6 s]
/proc/loadavg: 4.01 4.08 4.08 3/242 1045648
/proc/meminfo: memFree=126212752/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3599.43 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 310513 49430 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3599.43 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

[startup+3610 s]*
/proc/loadavg: 4.01 4.08 4.08 3/242 1045648
/proc/meminfo: memFree=126212744/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3599.83 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 310542 49441 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3599.83 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

[startup+3610.1 s]
/proc/loadavg: 4.01 4.08 4.08 3/242 1045648
/proc/meminfo: memFree=126212744/131524600 swapFree=131071996/131071996
[pid=1043713] ppid=1043710 vsize=857160 memory=850148 CPUtime=3599.93 cores=1,3
/proc/1043713/stat : 1043713 (LS-MabS) R 1043710 1043713 1039655 0 -1 4194304 284005 0 0 0 310549 49444 0 0 20 0 1 0 194097259 877731840 212537 134679101440 4194304 14036057 140720520302688 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 37998592 140720520307743 140720520307845 140720520307845 140720520314862 0
/proc/1043713/statm: 214290 212537 2461 2403 0 211400 0
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 857160 KiB
Current children cumulated memory: 850148 KiB

Child status: 0

Real time (s): 3610.19
CPU time (s): 3600.01
CPU user time (s): 3105.55
CPU system time (s): 494.459
CPU usage (%): 99.7181
Max. virtual memory (cumulated for all children) (KiB): 1085660
Max. memory (cumulated for all children) (KiB): 1071320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3105.55
system time used= 494.459
maximum resident set size= 1071320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284009
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= 231
involuntary context switches= 3713


# summary of solver processes directly reported to runsolver:
#   pid: 1043713
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3105.55
#   total CPU system time (s): 494.459

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04323 second user time and 15.2233 second system time

The end

Launcher Data

Begin job on nodeC022 at 2024-07-19 22:02:24
IDJOB=4451097
IDBENCH=162352
IDSOLVER=3048
FILE ID=nodeC022/4451097-1721419331
RUNJOBID= nodeC022-1721412127-1039667
SLURM_JOB_ID= 7545481
Free space on /tmp= 890044 MiB

SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451097-1721419331/watcher-4451097-1721419331 -o /tmp/evaluation-result-4451097-1721419331/solver-4451097-1721419331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721412127-1039667 --watchdog 3760  ./LS-MabS -f HOME/instance-4451097-1721419331.opb -t 3600 -s 2076453994 

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

MD5SUM BENCH= 6d6cd561f3b9d650ea4fe5a812bf9deb
RANDOM SEED=2076453994

nodeC022.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		: 3668.980
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.66
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		: 3666.415
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	: 7006.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126756192 kB
MemAvailable:   129351016 kB
Buffers:          521596 kB
Cached:          2898236 kB
SwapCached:            0 kB
Active:          1220468 kB
Inactive:        2894260 kB
Active(anon):       1572 kB
Inactive(anon):   739232 kB
Active(file):    1218896 kB
Inactive(file):  2155028 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             39168 kB
Writeback:             0 kB
AnonPages:        693972 kB
Mapped:           138548 kB
Shmem:             45912 kB
KReclaimable:     121092 kB
Slab:             237384 kB
SReclaimable:     121092 kB
SUnreclaim:       116292 kB
KernelStack:        4140 kB
PageTables:        10732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1186740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70560 kB
HardwareCorrupted:     0 kB
AnonHugePages:    583680 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      260820 kB
DirectMap2M:    28872704 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC022 at 2024-07-19 23:02:34