Trace number 4447966

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 2024-07-05UNSAT 697.705 699.627

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb
MD5SUM1a042d5fcb76a110c048c575a59fde0e
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 benchmark23.1617
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables801
Total number of constraints1118
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)1116
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 

697.67/699.62	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: 64059 MiB (62720 MiB free)
  memory of node 1: 64510 MiB (61369 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447966-1721359308/watcher-4447966-1721359308 -o /tmp/evaluation-result-4447966-1721359308/solver-4447966-1721359308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721359317-986108 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=722409557 HOME/instance-4447966-1721359308.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=986398, runsolver pid=986395
Current StackSize limit: 8192 KiB


[startup+0.100097 s]*
/proc/loadavg: 1.11 1.18 1.31 7/241 986408
/proc/meminfo: memFree=127065324/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=29352 memory=7748 CPUtime=0.1 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 1009 0 0 0 9 1 0 0 20 0 1 0 188087450 30056448 1937 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 7338 1937 1140 1005 0 6101 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29352 KiB
Current children cumulated memory: 7748 KiB

[startup+0.212802 s]*
/proc/loadavg: 1.11 1.18 1.31 5/242 986413
/proc/meminfo: memFree=127063820/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=29880 memory=9068 CPUtime=0.21 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 1337 0 0 0 20 1 0 0 20 0 1 0 188087450 30597120 2267 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 7470 2267 1140 1005 0 6233 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29880 KiB
Current children cumulated memory: 9068 KiB

[startup+0.312928 s]*
/proc/loadavg: 1.11 1.18 1.31 5/240 986435
/proc/meminfo: memFree=127067504/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=30676 memory=12168 CPUtime=0.31 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 1576 0 0 0 30 1 0 0 20 0 1 0 188087450 31412224 3042 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 7669 3042 1140 1005 0 6432 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30676 KiB
Current children cumulated memory: 12168 KiB

[startup+0.700263 s]
/proc/loadavg: 1.11 1.18 1.31 5/245 986445
/proc/meminfo: memFree=127058168/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=30812 memory=12432 CPUtime=0.68 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 1628 0 0 0 67 1 0 0 20 0 1 0 188087450 31551488 3108 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 7703 3108 1140 1005 0 6466 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30812 KiB
Current children cumulated memory: 12432 KiB

[startup+1.50028 s]
/proc/loadavg: 1.11 1.18 1.31 5/245 986445
/proc/meminfo: memFree=127050236/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=33680 memory=19160 CPUtime=1.49 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 2323 0 0 0 147 2 0 0 20 0 1 0 188087450 34488320 4790 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 8420 4790 1140 1005 0 7183 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33680 KiB
Current children cumulated memory: 19160 KiB

[startup+3.11302 s]
/proc/loadavg: 1.42 1.24 1.33 5/245 986537
/proc/meminfo: memFree=127031084/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=40952 memory=33920 CPUtime=3.09 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 3927 0 0 0 306 3 0 0 20 0 1 0 188087450 41934848 8480 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 10238 8480 1140 1005 0 9001 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40952 KiB
Current children cumulated memory: 33920 KiB

[startup+6.30027 s]
/proc/loadavg: 1.42 1.24 1.33 5/245 986539
/proc/meminfo: memFree=126993964/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=62484 memory=49928 CPUtime=6.27 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 6655 0 0 0 623 4 0 0 20 0 1 0 188087450 63983616 12482 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 15621 12482 1140 1005 0 14384 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 62484 KiB
Current children cumulated memory: 49928 KiB

[startup+12.7003 s]
/proc/loadavg: 1.82 1.33 1.36 5/245 986539
/proc/meminfo: memFree=126957276/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=95248 memory=66812 CPUtime=12.65 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 8767 0 0 0 1259 6 0 0 20 0 1 0 188087450 97533952 16703 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 23812 16703 1140 1005 0 22575 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 95248 KiB
Current children cumulated memory: 66812 KiB

[startup+25.5003 s]
/proc/loadavg: 2.15 1.42 1.39 5/245 986542
/proc/meminfo: memFree=126913892/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=96472 memory=83956 CPUtime=25.43 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 9483 0 0 0 2533 10 0 0 20 0 1 0 188087450 98787328 20989 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 24118 20989 1140 1005 0 22881 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 96472 KiB
Current children cumulated memory: 83956 KiB

[startup+51.1132 s]
/proc/loadavg: 2.87 1.65 1.47 5/245 986547
/proc/meminfo: memFree=126871192/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=144564 memory=100812 CPUtime=50.97 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 11621 0 0 0 5083 14 0 0 20 0 1 0 188087450 148033536 25203 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 36141 25203 1140 1005 0 34904 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 144564 KiB
Current children cumulated memory: 100812 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 2.06 1.62 5/245 986555
/proc/meminfo: memFree=126830240/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=147892 memory=110700 CPUtime=102.04 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 12626 0 0 0 10183 21 0 0 20 0 1 0 188087450 151441408 27675 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 36973 27675 1140 1005 0 35736 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 147892 KiB
Current children cumulated memory: 110700 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.43 1.78 5/245 986565
/proc/meminfo: memFree=126805852/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=158880 memory=124908 CPUtime=161.9 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 14753 0 0 0 16160 30 0 0 20 0 1 0 188087450 162693120 31227 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 39720 31227 1140 1005 0 38483 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 158880 KiB
Current children cumulated memory: 124908 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.75 1.93 5/243 986958
/proc/meminfo: memFree=126793864/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=161720 memory=129472 CPUtime=221.75 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 15419 0 0 0 22136 39 0 0 20 0 1 0 188087450 165601280 32368 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 40430 32368 1140 1005 0 39193 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 161720 KiB
Current children cumulated memory: 129472 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 3.01 2.07 5/243 986969
/proc/meminfo: memFree=126781620/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=162428 memory=137600 CPUtime=281.6 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 15664 0 0 0 28113 47 0 0 20 0 1 0 188087450 166326272 34400 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 40607 34400 1140 1005 0 39370 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 162428 KiB
Current children cumulated memory: 137600 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.22 2.21 5/243 986979
/proc/meminfo: memFree=126773404/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=162428 memory=141824 CPUtime=341.44 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 15748 0 0 0 34087 57 0 0 20 0 1 0 188087450 166326272 35456 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 40607 35456 1140 1005 0 39370 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 162428 KiB
Current children cumulated memory: 141824 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.38 2.33 5/246 987160
/proc/meminfo: memFree=126760788/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=163068 memory=144272 CPUtime=401.26 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 15955 0 0 0 40062 64 0 0 20 0 1 0 188087450 166981632 36068 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 40767 36068 1140 1005 0 39530 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 163068 KiB
Current children cumulated memory: 144272 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.51 2.44 5/246 987171
/proc/meminfo: memFree=126756932/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=163516 memory=147164 CPUtime=461.08 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 16170 0 0 0 46035 73 0 0 20 0 1 0 188087450 167440384 36791 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 40879 36791 1140 1005 0 39642 0
Current children cumulated CPU time: 461.08 s
Current children cumulated vsize: 163516 KiB
Current children cumulated memory: 147164 KiB

[startup+522.3 s]
/proc/loadavg: 4.19 3.65 2.56 5/246 987239
/proc/meminfo: memFree=126752912/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=163516 memory=147164 CPUtime=520.9 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 16243 0 0 0 52008 82 0 0 20 0 1 0 188087450 167440384 36791 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 40879 36791 1140 1005 0 39642 0
Current children cumulated CPU time: 520.9 s
Current children cumulated vsize: 163516 KiB
Current children cumulated memory: 147164 KiB

[startup+582.3 s]
/proc/loadavg: 4.13 3.73 2.65 5/246 987249
/proc/meminfo: memFree=126737372/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=163900 memory=149472 CPUtime=580.72 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 16393 0 0 0 57982 90 0 0 20 0 1 0 188087450 167833600 37368 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 40975 37368 1140 1005 0 39738 0
Current children cumulated CPU time: 580.72 s
Current children cumulated vsize: 163900 KiB
Current children cumulated memory: 149472 KiB

[startup+642.3 s]
/proc/loadavg: 4.14 3.81 2.75 5/246 987260
/proc/meminfo: memFree=126730728/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=172528 memory=154988 CPUtime=640.54 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 17826 0 0 0 63935 119 0 0 20 0 1 0 188087450 176668672 38747 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 43132 38747 1140 1005 0 41895 0
Current children cumulated CPU time: 640.54 s
Current children cumulated vsize: 172528 KiB
Current children cumulated memory: 154988 KiB

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

# cumulated CPU time of all completed processes:  user=696.279 s, system=1.42564 s

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

[startup+665.6 s]
/proc/loadavg: 4.16 3.84 2.78 5/246 987265
/proc/meminfo: memFree=126729312/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=172528 memory=154988 CPUtime=663.77 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 17826 0 0 0 66249 128 0 0 20 0 1 0 188087450 176668672 38747 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 43132 38747 1140 1005 0 41895 0
Current children cumulated CPU time: 663.77 s
Current children cumulated vsize: 172528 KiB
Current children cumulated memory: 154988 KiB

[startup+678.4 s]
/proc/loadavg: 4.13 3.85 2.80 5/246 987267
/proc/meminfo: memFree=126729160/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=172528 memory=154988 CPUtime=676.53 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 17826 0 0 0 67520 133 0 0 20 0 1 0 188087450 176668672 38747 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 43132 38747 1140 1005 0 41895 0
Current children cumulated CPU time: 676.53 s
Current children cumulated vsize: 172528 KiB
Current children cumulated memory: 154988 KiB

[startup+691.2 s]
/proc/loadavg: 4.11 3.85 2.82 5/246 987268
/proc/meminfo: memFree=126728900/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=172528 memory=154988 CPUtime=689.29 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 17855 0 0 0 68791 138 0 0 20 0 1 0 188087450 176668672 38747 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 43132 38747 1140 1005 0 41895 0
Current children cumulated CPU time: 689.29 s
Current children cumulated vsize: 172528 KiB
Current children cumulated memory: 154988 KiB

[startup+694.4 s]
/proc/loadavg: 4.18 3.87 2.83 5/246 987268
/proc/meminfo: memFree=126728900/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=172528 memory=154988 CPUtime=692.48 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 17855 0 0 0 69109 139 0 0 20 0 1 0 188087450 176668672 38747 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 43132 38747 1140 1005 0 41895 0
Current children cumulated CPU time: 692.48 s
Current children cumulated vsize: 172528 KiB
Current children cumulated memory: 154988 KiB

[startup+697.6 s]
/proc/loadavg: 4.16 3.88 2.84 5/246 987270
/proc/meminfo: memFree=126728536/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=172528 memory=155308 CPUtime=695.67 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 17857 0 0 0 69427 140 0 0 20 0 1 0 188087450 176668672 38827 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 43132 38827 1140 1005 0 41895 0
Current children cumulated CPU time: 695.67 s
Current children cumulated vsize: 172528 KiB
Current children cumulated memory: 155308 KiB

[startup+698.4 s]
/proc/loadavg: 4.16 3.88 2.84 5/246 987270
/proc/meminfo: memFree=126728560/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=172528 memory=155308 CPUtime=696.47 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 17857 0 0 0 69506 141 0 0 20 0 1 0 188087450 176668672 38827 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 43132 38827 1140 1005 0 41895 0
Current children cumulated CPU time: 696.47 s
Current children cumulated vsize: 172528 KiB
Current children cumulated memory: 155308 KiB

[startup+699.2 s]
/proc/loadavg: 4.16 3.88 2.84 5/246 987270
/proc/meminfo: memFree=126728560/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=172528 memory=155308 CPUtime=697.27 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 17857 0 0 0 69585 142 0 0 20 0 1 0 188087450 176668672 38827 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 43132 38827 1140 1005 0 41895 0
Current children cumulated CPU time: 697.27 s
Current children cumulated vsize: 172528 KiB
Current children cumulated memory: 155308 KiB

[startup+699.6 s]
/proc/loadavg: 4.16 3.88 2.84 5/246 987270
/proc/meminfo: memFree=126728560/131655788 swapFree=131071996/131071996
[pid=986398] ppid=986395 vsize=172528 memory=155308 CPUtime=697.67 cores=1,3
/proc/986398/stat : 986398 (Exact) R 986395 986398 978001 0 -1 4194304 17857 0 0 0 69625 142 0 0 20 0 1 0 188087450 176668672 38827 134679101440 4194304 8309489 140734983287248 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 30380032 140734983291838 140734983292007 140734983292007 140734983299023 0
/proc/986398/statm: 43132 38827 1140 1005 0 41895 0
Current children cumulated CPU time: 697.67 s
Current children cumulated vsize: 172528 KiB
Current children cumulated memory: 155308 KiB

Child status: 20

Real time (s): 699.627
CPU time (s): 697.705
CPU user time (s): 696.279
CPU system time (s): 1.42564
CPU usage (%): 99.7253
Max. virtual memory (cumulated for all children) (KiB): 172528
Max. memory (cumulated for all children) (KiB): 155308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 696.279
system time used= 1.42564
maximum resident set size= 155308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17859
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= 20
involuntary context switches= 445


# summary of solver processes directly reported to runsolver:
#   pid: 986398
#   total CPU time (s): 697.705
#   total CPU user time (s): 696.279
#   total CPU system time (s): 1.42564

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.53457 second user time and 6.80051 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-19 05:22:00
IDJOB=4447966
IDBENCH=160354
IDSOLVER=3060
FILE ID=nodeC007/4447966-1721359308
RUNJOBID= nodeC007-1721359317-986108
SLURM_JOB_ID= 7542747
Free space on /tmp= 723764 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447966-1721359308/watcher-4447966-1721359308 -o /tmp/evaluation-result-4447966-1721359308/solver-4447966-1721359308 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721359317-986108 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=722409557 HOME/instance-4447966-1721359308.opb

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

MD5SUM BENCH= 1a042d5fcb76a110c048c575a59fde0e
RANDOM SEED=722409557

nodeC007.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.628
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.25
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		: 1197.138
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.30
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.325
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.25
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.134
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.30
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		: 1795.694
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.25
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		: 3653.578
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.30
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.140
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.25
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.168
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127063320 kB
MemAvailable:   129905748 kB
Buffers:          518456 kB
Cached:          3153988 kB
SwapCached:            0 kB
Active:          1065956 kB
Inactive:        2962840 kB
Active(anon):       1452 kB
Inactive(anon):   392276 kB
Active(file):    1064504 kB
Inactive(file):  2570564 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             24440 kB
Writeback:             4 kB
AnonPages:        356108 kB
Mapped:           120112 kB
Shmem:             37704 kB
KReclaimable:      94784 kB
Slab:             196656 kB
SReclaimable:      94784 kB
SUnreclaim:       101872 kB
KernelStack:        4000 kB
PageTables:        10184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     692056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58976 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC007 at 2024-07-19 05:33:40