Trace number 4513312

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_db_no_ls 2025-06-19UNSAT 1833.31 1838.5

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
MD5SUMa95ffdb987ab7b28268efdc4e16ef22d
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 benchmark57.2881
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1501
Total number of constraints751
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)751
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 

1833.20/1838.49	s UNSATISFIABLE

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: 63794 MiB (62862 MiB free)
  memory of node 1: 64507 MiB (63848 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4513312-1751214451/watcher-4513312-1751214451 -o /tmp/evaluation-result-4513312-1751214451/solver-4513312-1751214451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751207207-25904 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=653731298 --ls=0 --inp-dombreaklim=0 HOME/instance-4513312-1751214451.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=26824, runsolver pid=26821
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 4.12 4.09 4.10 5/252 26825
/proc/meminfo: memFree=129744368/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=33456 memory=11008 CPUtime=0.1 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 1673 0 0 0 9 1 0 0 20 0 1 0 37124805 34258944 2752 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 8364 2752 1280 1200 0 6844 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33456 KiB
Current children cumulated memory: 11008 KiB

[startup+0.213341 s]*
/proc/loadavg: 4.12 4.09 4.10 5/252 26825
/proc/meminfo: memFree=129740272/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=34380 memory=14348 CPUtime=0.22 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 2000 0 0 0 21 1 0 0 20 0 1 0 37124805 35205120 3587 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 8595 3587 1280 1200 0 7075 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 34380 KiB
Current children cumulated memory: 14348 KiB

[startup+0.313103 s]*
/proc/loadavg: 4.12 4.09 4.10 5/252 26825
/proc/meminfo: memFree=129736240/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=35040 memory=14988 CPUtime=0.31 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 2166 0 0 0 30 1 0 0 20 0 1 0 37124805 35880960 3747 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 8760 3747 1280 1200 0 7240 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35040 KiB
Current children cumulated memory: 14988 KiB

[startup+0.700308 s]
/proc/loadavg: 4.12 4.09 4.10 5/252 26825
/proc/meminfo: memFree=129736240/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=38520 memory=20440 CPUtime=0.68 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 3030 0 0 0 67 1 0 0 20 0 1 0 37124805 39444480 5110 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 9630 5110 1280 1200 0 8110 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38520 KiB
Current children cumulated memory: 20440 KiB

[startup+1.50026 s]
/proc/loadavg: 4.12 4.09 4.10 5/252 26825
/proc/meminfo: memFree=129728432/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=39684 memory=21592 CPUtime=1.48 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 3370 0 0 0 147 1 0 0 20 0 1 0 37124805 40636416 5398 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 9921 5398 1280 1200 0 8401 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39684 KiB
Current children cumulated memory: 21592 KiB

[startup+3.11282 s]
/proc/loadavg: 4.11 4.09 4.10 5/252 26825
/proc/meminfo: memFree=129728688/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=41184 memory=23128 CPUtime=3.09 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 3935 0 0 0 307 2 0 0 20 0 1 0 37124805 42172416 5782 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 10296 5782 1280 1200 0 8776 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 41184 KiB
Current children cumulated memory: 23128 KiB

[startup+6.30024 s]
/proc/loadavg: 4.11 4.09 4.10 5/252 26825
/proc/meminfo: memFree=129729192/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=43320 memory=25176 CPUtime=6.27 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 4571 0 0 0 624 3 0 0 20 0 1 0 37124805 44359680 6294 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 10830 6294 1280 1200 0 9310 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 43320 KiB
Current children cumulated memory: 25176 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/252 26826
/proc/meminfo: memFree=129729696/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=45652 memory=27480 CPUtime=12.65 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 5152 0 0 0 1260 5 0 0 20 0 1 0 37124805 46747648 6870 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 11413 6870 1280 1200 0 9893 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 45652 KiB
Current children cumulated memory: 27480 KiB

[startup+25.5003 s]
/proc/loadavg: 4.08 4.08 4.09 5/252 26871
/proc/meminfo: memFree=129795488/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=48212 memory=30040 CPUtime=25.4 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 5793 0 0 0 2531 9 0 0 20 0 1 0 37124805 49369088 7510 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 12053 7510 1280 1200 0 10533 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 48212 KiB
Current children cumulated memory: 30040 KiB

[startup+51.1129 s]
/proc/loadavg: 4.11 4.09 4.09 5/252 26871
/proc/meminfo: memFree=129775492/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=51608 memory=33368 CPUtime=50.94 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 6697 0 0 0 5076 18 0 0 20 0 1 0 37124805 52846592 8342 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 12902 8342 1280 1200 0 11382 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 51608 KiB
Current children cumulated memory: 33368 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.08 4.09 5/251 26873
/proc/meminfo: memFree=129694176/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=55656 memory=37484 CPUtime=101.96 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 7808 0 0 0 10162 34 0 0 20 0 1 0 37124805 56991744 9371 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 13914 9371 1280 1200 0 12394 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 55656 KiB
Current children cumulated memory: 37484 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/251 26875
/proc/meminfo: memFree=129612712/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=61024 memory=42692 CPUtime=161.76 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 10429 0 0 0 16122 54 0 0 20 0 1 0 37124805 62488576 10673 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 15256 10673 1280 1200 0 13736 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 61024 KiB
Current children cumulated memory: 42692 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/252 26880
/proc/meminfo: memFree=129589280/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=65692 memory=47396 CPUtime=221.57 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 12598 0 0 0 22084 73 0 0 20 0 1 0 37124805 67268608 11849 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 16423 11849 1280 1200 0 14903 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 65692 KiB
Current children cumulated memory: 47396 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/250 26882
/proc/meminfo: memFree=129534408/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=69136 memory=51112 CPUtime=281.4 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 16085 0 0 0 28050 90 0 0 20 0 1 0 37124805 70795264 12778 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 17284 12778 1280 1200 0 15764 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 69136 KiB
Current children cumulated memory: 51112 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/250 26884
/proc/meminfo: memFree=129514688/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=72860 memory=54836 CPUtime=341.24 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 20635 0 0 0 34015 109 0 0 20 0 1 0 37124805 74608640 13709 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 18215 13709 1280 1200 0 16695 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 72860 KiB
Current children cumulated memory: 54836 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 26889
/proc/meminfo: memFree=129470272/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=76380 memory=58384 CPUtime=401.08 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 30023 0 0 0 39978 130 0 0 20 0 1 0 37124805 78213120 14596 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 19095 14596 1280 1200 0 17575 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 76380 KiB
Current children cumulated memory: 58384 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/251 26891
/proc/meminfo: memFree=129471208/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=80160 memory=62164 CPUtime=460.92 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 40292 0 0 0 45941 151 0 0 20 0 1 0 37124805 82083840 15541 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 20040 15541 1280 1200 0 18520 0

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

/proc/loadavg: 4.12 4.15 4.14 5/251 27025
/proc/meminfo: memFree=129457372/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=236640 memory=191184 CPUtime=1418.22 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 77424 0 0 0 141403 419 0 0 20 0 1 0 37124805 242319360 47796 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 59160 47796 1280 1200 0 57640 0
Current children cumulated CPU time: 1418.22 s
Current children cumulated vsize: 236640 KiB
Current children cumulated memory: 191184 KiB

[startup+1482.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/251 27029
/proc/meminfo: memFree=129358792/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=237504 memory=198224 CPUtime=1478.04 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 77704 0 0 0 147370 434 0 0 20 0 1 0 37124805 243204096 49556 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 59376 49556 1280 1200 0 57856 0
Current children cumulated CPU time: 1478.04 s
Current children cumulated vsize: 237504 KiB
Current children cumulated memory: 198224 KiB

[startup+1542.3 s]
/proc/loadavg: 4.14 4.14 4.14 5/251 27030
/proc/meminfo: memFree=129349176/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=237696 memory=198480 CPUtime=1537.88 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 77777 0 0 0 153338 450 0 0 20 0 1 0 37124805 243400704 49620 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 59424 49620 1280 1200 0 57904 0
Current children cumulated CPU time: 1537.88 s
Current children cumulated vsize: 237696 KiB
Current children cumulated memory: 198480 KiB

[startup+1602.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/249 27032
/proc/meminfo: memFree=129329628/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=239424 memory=200144 CPUtime=1597.72 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 78209 0 0 0 159309 463 0 0 20 0 1 0 37124805 245170176 50036 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 59856 50036 1280 1200 0 58336 0
Current children cumulated CPU time: 1597.72 s
Current children cumulated vsize: 239424 KiB
Current children cumulated memory: 200144 KiB

[startup+1662.3 s]
/proc/loadavg: 4.16 4.13 4.13 5/250 27037
/proc/meminfo: memFree=129311004/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=240980 memory=201680 CPUtime=1657.57 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 78598 0 0 0 165280 477 0 0 20 0 1 0 37124805 246763520 50420 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 60245 50420 1280 1200 0 58725 0
Current children cumulated CPU time: 1657.57 s
Current children cumulated vsize: 240980 KiB
Current children cumulated memory: 201680 KiB

[startup+1722.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/250 27039
/proc/meminfo: memFree=129303916/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=241604 memory=202320 CPUtime=1717.42 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 78730 0 0 0 171250 492 0 0 20 0 1 0 37124805 247402496 50580 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 60401 50580 1280 1200 0 58881 0
Current children cumulated CPU time: 1717.42 s
Current children cumulated vsize: 241604 KiB
Current children cumulated memory: 202320 KiB

[startup+1782.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/250 27086
/proc/meminfo: memFree=129495996/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=242208 memory=202960 CPUtime=1777.25 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 78898 0 0 0 177214 511 0 0 20 0 1 0 37124805 248020992 50740 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 60552 50740 1280 1200 0 59032 0
Current children cumulated CPU time: 1777.25 s
Current children cumulated vsize: 242208 KiB
Current children cumulated memory: 202960 KiB

[startup+1838.5 s]
# the end of solver process 26824 was just reported to runsolver
# Child status: 20

# cumulated CPU time of all completed processes:  user=1828.03 s, system=5.27405 s

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

[startup+1792 s]*
/proc/loadavg: 4.08 4.11 4.12 5/250 27087
/proc/meminfo: memFree=129455768/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=242208 memory=202960 CPUtime=1786.93 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 78898 0 0 0 178179 514 0 0 20 0 1 0 37124805 248020992 50740 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 60552 50740 1280 1200 0 59032 0
Current children cumulated CPU time: 1786.93 s
Current children cumulated vsize: 242208 KiB
Current children cumulated memory: 202960 KiB

[startup+1817.6 s]
/proc/loadavg: 4.11 4.12 4.12 5/250 27087
/proc/meminfo: memFree=129455776/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=242372 memory=203088 CPUtime=1812.45 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 78922 0 0 0 180724 521 0 0 20 0 1 0 37124805 248188928 50772 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 60593 50772 1280 1200 0 59073 0
Current children cumulated CPU time: 1812.45 s
Current children cumulated vsize: 242372 KiB
Current children cumulated memory: 203088 KiB

[startup+1830.4 s]
/proc/loadavg: 4.09 4.11 4.11 5/250 27087
/proc/meminfo: memFree=129455808/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=242372 memory=203088 CPUtime=1825.22 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 78946 0 0 0 181998 524 0 0 20 0 1 0 37124805 248188928 50772 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 60593 50772 1280 1200 0 59073 0
Current children cumulated CPU time: 1825.22 s
Current children cumulated vsize: 242372 KiB
Current children cumulated memory: 203088 KiB

[startup+1833.6 s]
/proc/loadavg: 4.08 4.11 4.11 5/250 27088
/proc/meminfo: memFree=129456688/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=242372 memory=203088 CPUtime=1828.4 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 79010 0 0 0 182315 525 0 0 20 0 1 0 37124805 248188928 50772 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 60593 50772 1280 1200 0 59073 0
Current children cumulated CPU time: 1828.4 s
Current children cumulated vsize: 242372 KiB
Current children cumulated memory: 203088 KiB

[startup+1836.8 s]
/proc/loadavg: 4.08 4.11 4.11 5/250 27088
/proc/meminfo: memFree=129456440/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=242372 memory=203088 CPUtime=1831.61 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 79010 0 0 0 182634 527 0 0 20 0 1 0 37124805 248188928 50772 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 60593 50772 1280 1200 0 59073 0
Current children cumulated CPU time: 1831.61 s
Current children cumulated vsize: 242372 KiB
Current children cumulated memory: 203088 KiB

[startup+1837.6 s]
/proc/loadavg: 4.08 4.11 4.11 5/250 27088
/proc/meminfo: memFree=129456440/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=242372 memory=203088 CPUtime=1832.4 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 79010 0 0 0 182713 527 0 0 20 0 1 0 37124805 248188928 50772 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 60593 50772 1280 1200 0 59073 0
Current children cumulated CPU time: 1832.4 s
Current children cumulated vsize: 242372 KiB
Current children cumulated memory: 203088 KiB

[startup+1838 s]*
/proc/loadavg: 4.08 4.11 4.11 5/250 27088
/proc/meminfo: memFree=129456440/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=242372 memory=203088 CPUtime=1832.81 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 79010 0 0 0 182754 527 0 0 20 0 1 0 37124805 248188928 50772 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 60593 50772 1280 1200 0 59073 0
Current children cumulated CPU time: 1832.81 s
Current children cumulated vsize: 242372 KiB
Current children cumulated memory: 203088 KiB

[startup+1838.4 s]
/proc/loadavg: 4.08 4.11 4.11 5/250 27088
/proc/meminfo: memFree=129456440/131382112 swapFree=33010684/33010684
[pid=26824] ppid=26821 vsize=242372 memory=203088 CPUtime=1833.2 cores=5,7
/proc/26824/stat : 26824 (Exact) R 26821 26824 25891 0 -1 4194304 79010 0 0 0 182793 527 0 0 20 0 1 0 37124805 248188928 50772 18446744073709551615 4198400 9112445 140726980913040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 33091584 140726980917545 140726980917741 140726980917741 140726980923343 0
/proc/26824/statm: 60593 50772 1280 1200 0 59073 0
Current children cumulated CPU time: 1833.2 s
Current children cumulated vsize: 242372 KiB
Current children cumulated memory: 203088 KiB

Child status: 20

Real time (s): 1838.5
CPU time (s): 1833.31
CPU user time (s): 1828.03
CPU system time (s): 5.27405
CPU usage (%): 99.7175
Max. virtual memory (cumulated for all children) (KiB): 242372
Max. memory (cumulated for all children) (KiB): 203088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1828.03
system time used= 5.27405
maximum resident set size= 203088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79012
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= 63
involuntary context switches= 1774


# summary of solver processes directly reported to runsolver:
#   pid: 26824
#   total CPU time (s): 1833.31
#   total CPU user time (s): 1828.03
#   total CPU system time (s): 5.27405

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.87663 second user time and 16.7147 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-06-29 18:27:31
IDJOB=4513312
IDBENCH=162338
IDSOLVER=3318
FILE ID=nodeC012/4513312-1751214451
RUNJOBID= nodeC012-1751207207-25904
SLURM_JOB_ID= 9587634
Free space on /tmp= 433036 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4513312-1751214451/watcher-4513312-1751214451 -o /tmp/evaluation-result-4513312-1751214451/solver-4513312-1751214451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751207207-25904 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=653731298 --ls=0 --inp-dombreaklim=0 HOME/instance-4513312-1751214451.opb

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

MD5SUM BENCH= a95ffdb987ab7b28268efdc4e16ef22d
RANDOM SEED=653731298

nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3661.822
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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		: 3681.571
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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.448
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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.187
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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		: 3661.731
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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		: 1197.151
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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.567
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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.653
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 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129752428 kB
MemAvailable:   129508624 kB
Buffers:            3280 kB
Cached:           566960 kB
SwapCached:            0 kB
Active:           775476 kB
Inactive:         319040 kB
Active(anon):     542236 kB
Inactive(anon):        0 kB
Active(file):     233240 kB
Inactive(file):   319040 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7436 kB
Writeback:             0 kB
AnonPages:        525328 kB
Mapped:           117572 kB
Shmem:             17960 kB
KReclaimable:      86700 kB
Slab:             168672 kB
SReclaimable:      86700 kB
SUnreclaim:        81972 kB
KernelStack:        4076 kB
PageTables:         4036 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     905660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC012 at 2025-06-29 18:58:10