Trace number 4485522

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Exact_no_db_no_ls 2025-06-19? (TO) 3602.1 3612.83

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
MD5SUM9634c234ec2c2f6b5ee1ba365a629db0
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1073
Best CPU time to get the best result obtained on this benchmark72001.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21705
Total number of constraints4285
Number of constraints which are clauses4284
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint15760
Number of terms in the objective function 21705
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 37465
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 37465
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.29/0.39	o 1619
0.79/0.83	o 1618
47.05/47.28	o 1617
52.64/52.88	o 1616
70.90/71.12	o 1615

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: 63665 MiB (61732 MiB free)
  memory of node 1: 64507 MiB (63837 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485522-1751314254/watcher-4485522-1751314254 -o /tmp/evaluation-result-4485522-1751314254/solver-4485522-1751314254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751314254-46815 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=393632130 --ls=0 --inp-dombreaklim=0 HOME/instance-4485522-1751314254.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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=46862, runsolver pid=46850

[startup+0.100067 s]*
/proc/loadavg: 2.77 3.82 4.00 6/265 46872
/proc/meminfo: memFree=128428668/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=73164 memory=49288 CPUtime=0.09 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 11206 0 0 0 8 1 0 0 20 0 1 0 47103246 74919936 12322 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 18291 12322 1024 1200 0 16771 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73164 KiB
Current children cumulated memory: 49288 KiB

[startup+0.205463 s]*
/proc/loadavg: 2.77 3.82 4.00 6/265 46872
/proc/meminfo: memFree=128348972/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=95400 memory=71952 CPUtime=0.2 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 18059 0 0 0 18 2 0 0 20 0 1 0 47103246 97689600 17988 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 23850 17988 1184 1200 0 22330 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 95400 KiB
Current children cumulated memory: 71952 KiB

[startup+0.305472 s]*
/proc/loadavg: 2.77 3.82 4.00 6/265 46872
/proc/meminfo: memFree=128320908/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=102640 memory=82284 CPUtime=0.29 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 20900 0 0 0 27 2 0 0 20 0 1 0 47103246 105103360 20571 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 25660 20571 1184 1200 0 24140 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 102640 KiB
Current children cumulated memory: 82284 KiB

[startup+0.700185 s]
/proc/loadavg: 2.77 3.82 4.00 6/265 46872
/proc/meminfo: memFree=128266572/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=119400 memory=101868 CPUtime=0.68 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 24608 0 0 0 65 3 0 0 20 0 1 0 47103246 122265600 25467 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 29850 25467 1216 1200 0 28330 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 119400 KiB
Current children cumulated memory: 101868 KiB

[startup+1.50018 s]
/proc/loadavg: 2.77 3.82 4.00 5/261 46880
/proc/meminfo: memFree=128249132/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=170248 memory=158580 CPUtime=1.48 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 34414 0 0 0 143 5 0 0 20 0 1 0 47103246 174333952 39645 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 42562 39645 1216 1200 0 41042 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 170248 KiB
Current children cumulated memory: 158580 KiB

[startup+3.10518 s]
/proc/loadavg: 2.78 3.81 3.99 6/265 46917
/proc/meminfo: memFree=127650296/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=288708 memory=253324 CPUtime=3.08 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 49755 0 0 0 298 10 0 0 20 0 1 0 47103246 295636992 63331 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 72177 63331 1216 1200 0 70657 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 288708 KiB
Current children cumulated memory: 253324 KiB

[startup+6.30018 s]
/proc/loadavg: 2.78 3.81 3.99 6/266 46918
/proc/meminfo: memFree=127057320/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=599540 memory=528560 CPUtime=6.27 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 99307 0 0 0 606 21 0 0 20 0 1 0 47103246 613928960 132140 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 149885 132140 1216 1200 0 148365 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 599540 KiB
Current children cumulated memory: 528560 KiB

[startup+12.7002 s]
/proc/loadavg: 2.97 3.82 3.99 6/266 46918
/proc/meminfo: memFree=126424848/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=768324 memory=732084 CPUtime=12.65 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 121414 0 0 0 1235 30 0 0 20 0 1 0 47103246 786763776 183021 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 192081 183021 1248 1200 0 190561 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 768324 KiB
Current children cumulated memory: 732084 KiB

[startup+25.5002 s]
/proc/loadavg: 3.13 3.82 4.00 6/266 46918
/proc/meminfo: memFree=125838520/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=1340984 memory=1036872 CPUtime=25.41 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 179010 0 0 0 2497 44 0 0 20 0 1 0 47103246 1373167616 259218 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 335246 259218 1248 1200 0 333726 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1340984 KiB
Current children cumulated memory: 1036872 KiB

[startup+51.1053 s]
/proc/loadavg: 3.49 3.85 4.00 6/266 46919
/proc/meminfo: memFree=125507204/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=1365328 memory=1080044 CPUtime=50.95 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 184687 0 0 0 5048 47 0 0 20 0 1 0 47103246 1398095872 270011 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 341332 270011 1248 1200 0 339812 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1365328 KiB
Current children cumulated memory: 1080044 KiB

[startup+102.3 s]
/proc/loadavg: 3.85 3.90 4.00 6/266 46921
/proc/meminfo: memFree=123834220/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=2508500 memory=1885080 CPUtime=102 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 334592 0 0 0 10111 89 0 0 20 0 1 0 47103246 2568704000 471270 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 627125 471270 1248 1200 0 625605 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2508500 KiB
Current children cumulated memory: 1885080 KiB

[startup+162.3 s]
/proc/loadavg: 3.99 3.93 4.00 6/266 46923
/proc/meminfo: memFree=123077576/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=2757788 memory=2459508 CPUtime=161.81 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 416867 0 0 0 16066 115 0 0 20 0 1 0 47103246 2823974912 614877 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 689447 614877 1248 1200 0 687927 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2757788 KiB
Current children cumulated memory: 2459508 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 3.96 4.00 6/266 46926
/proc/meminfo: memFree=122949868/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=2760932 memory=2462708 CPUtime=221.62 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 417793 0 0 0 22042 120 0 0 20 0 1 0 47103246 2827194368 615677 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 690233 615677 1248 1200 0 688713 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 2760932 KiB
Current children cumulated memory: 2462708 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 3.99 4.00 6/266 46930
/proc/meminfo: memFree=122660824/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=2806260 memory=2543092 CPUtime=281.43 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 438420 0 0 0 28009 134 0 0 20 0 1 0 47103246 2873610240 635773 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 701565 635773 1248 1200 0 700045 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 2806260 KiB
Current children cumulated memory: 2543092 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.02 4.01 6/265 46937
/proc/meminfo: memFree=122616440/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=2806404 memory=2543092 CPUtime=341.24 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 438755 0 0 0 33987 137 0 0 20 0 1 0 47103246 2873757696 635773 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 701601 635773 1248 1200 0 700081 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 2806404 KiB
Current children cumulated memory: 2543092 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.03 4.01 6/265 46939
/proc/meminfo: memFree=122527716/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=2836464 memory=2595840 CPUtime=401.04 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 449438 0 0 0 39964 140 0 0 20 0 1 0 47103246 2904539136 648960 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 709116 648960 1248 1200 0 707596 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 2836464 KiB
Current children cumulated memory: 2595840 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.04 4.01 6/265 46941
/proc/meminfo: memFree=122538012/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=2836856 memory=2596224 CPUtime=460.84 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 449565 0 0 0 45944 140 0 0 20 0 1 0 47103246 2904940544 649056 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0

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

[startup+3102.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/264 47080
/proc/meminfo: memFree=119189480/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=5346468 memory=4126940 CPUtime=3092.96 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 775605 0 0 0 308893 403 0 0 20 0 1 0 47103246 5474783232 1031735 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 1336617 1031735 1248 1200 0 1335097 0
Current children cumulated CPU time: 3092.96 s
Current children cumulated vsize: 5346468 KiB
Current children cumulated memory: 4126940 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/264 47083
/proc/meminfo: memFree=119140592/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=5346468 memory=4164956 CPUtime=3152.79 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 777720 0 0 0 314875 404 0 0 20 0 1 0 47103246 5474783232 1041239 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 1336617 1041239 1248 1200 0 1335097 0
Current children cumulated CPU time: 3152.79 s
Current children cumulated vsize: 5346468 KiB
Current children cumulated memory: 4164956 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/264 47085
/proc/meminfo: memFree=119030616/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=5384644 memory=4266160 CPUtime=3212.63 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 783678 0 0 0 320857 406 0 0 20 0 1 0 47103246 5513875456 1066540 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 1346161 1066540 1248 1200 0 1344641 0
Current children cumulated CPU time: 3212.63 s
Current children cumulated vsize: 5384644 KiB
Current children cumulated memory: 4266160 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/265 47090
/proc/meminfo: memFree=118979336/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=5384644 memory=4312368 CPUtime=3272.47 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 784763 0 0 0 326832 415 0 0 20 0 1 0 47103246 5513875456 1078092 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 1346161 1078092 1248 1200 0 1344641 0
Current children cumulated CPU time: 3272.47 s
Current children cumulated vsize: 5384644 KiB
Current children cumulated memory: 4312368 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/265 47097
/proc/meminfo: memFree=118935272/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=5384644 memory=4358704 CPUtime=3332.3 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 786693 0 0 0 332814 416 0 0 20 0 1 0 47103246 5513875456 1089676 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 1346161 1089676 1248 1200 0 1344641 0
Current children cumulated CPU time: 3332.3 s
Current children cumulated vsize: 5384644 KiB
Current children cumulated memory: 4358704 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/265 47099
/proc/meminfo: memFree=118897340/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=5384644 memory=4405040 CPUtime=3392.14 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 788480 0 0 0 338793 421 0 0 20 0 1 0 47103246 5513875456 1101260 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 1346161 1101260 1248 1200 0 1344641 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 5384644 KiB
Current children cumulated memory: 4405040 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/265 47102
/proc/meminfo: memFree=118838840/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=5386344 memory=4452144 CPUtime=3451.97 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 789975 0 0 0 344766 431 0 0 20 0 1 0 47103246 5515616256 1113036 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 1346586 1113036 1248 1200 0 1345066 0
Current children cumulated CPU time: 3451.97 s
Current children cumulated vsize: 5386344 KiB
Current children cumulated memory: 4452144 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/265 47104
/proc/meminfo: memFree=118790396/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=5386344 memory=4498480 CPUtime=3511.81 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 791248 0 0 0 350750 431 0 0 20 0 1 0 47103246 5515616256 1124620 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 1346586 1124620 1248 1200 0 1345066 0
Current children cumulated CPU time: 3511.81 s
Current children cumulated vsize: 5386344 KiB
Current children cumulated memory: 4498480 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/264 47106
/proc/meminfo: memFree=118744996/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=5386344 memory=4537008 CPUtime=3571.64 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 793154 0 0 0 356732 432 0 0 20 0 1 0 47103246 5515616256 1134252 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 1346586 1134252 1248 1200 0 1345066 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 5386344 KiB
Current children cumulated memory: 4537008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.14 4.10 4.09 5/260 47116
/proc/meminfo: memFree=119042148/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=5386344 memory=4560432 CPUtime=3600.06 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 793651 0 0 0 359573 433 0 0 20 0 1 0 47103246 5515616256 1140108 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 1346586 1140108 1248 1200 0 1345066 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5386344 KiB
Current children cumulated memory: 4560432 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+3612.83 s]
# the end of solver process 46862 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3597.73 s, system=4.3696 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3611.2 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 47167
/proc/meminfo: memFree=122114564/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=5386344 memory=4560432 CPUtime=3600.46 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 793652 0 0 0 359613 433 0 0 20 0 1 0 47103246 5515616256 1140108 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 1346586 1140108 1248 1200 0 1345066 0
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 5386344 KiB
Current children cumulated memory: 4560432 KiB

[startup+3612 s]*
/proc/loadavg: 4.14 4.10 4.09 5/264 47198
/proc/meminfo: memFree=121837352/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=5386344 memory=4560432 CPUtime=3601.26 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 793658 0 0 0 359693 433 0 0 20 0 1 0 47103246 5515616256 1140108 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 1346586 1140108 1248 1200 0 1345066 0
Current children cumulated CPU time: 3601.26 s
Current children cumulated vsize: 5386344 KiB
Current children cumulated memory: 4560432 KiB

[startup+3612.4 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 47198
/proc/meminfo: memFree=121837352/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=5386344 memory=4560432 CPUtime=3601.66 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 793660 0 0 0 359733 433 0 0 20 0 1 0 47103246 5515616256 1140108 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 1346586 1140108 1248 1200 0 1345066 0
Current children cumulated CPU time: 3601.66 s
Current children cumulated vsize: 5386344 KiB
Current children cumulated memory: 4560432 KiB

[startup+3612.8 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 47198
/proc/meminfo: memFree=121837352/131250000 swapFree=33010684/33010684
[pid=46862] ppid=46850 vsize=5386344 memory=4560432 CPUtime=3602.06 cores=1,3
/proc/46862/stat : 46862 (Exact) R 46850 46862 46803 0 -1 4194304 793780 0 0 0 359773 433 0 0 20 0 1 0 47103246 5515616256 1140108 18446744073709551615 4198400 9112445 140722915865888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 25100288 140722915875113 140722915875309 140722915875309 140722915880911 0
/proc/46862/statm: 1346586 1140108 1248 1200 0 1345066 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 5386344 KiB
Current children cumulated memory: 4560432 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3612.83
CPU time (s): 3602.1
CPU user time (s): 3597.73
CPU system time (s): 4.3696
CPU usage (%): 99.703
Max. virtual memory (cumulated for all children) (KiB): 5386344
Max. memory (cumulated for all children) (KiB): 4560432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.73
system time used= 4.3696
maximum resident set size= 4560432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 793780
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= 244
involuntary context switches= 6767


# summary of solver processes directly reported to runsolver:
#   pid: 46862
#   total CPU time (s): 3602.1
#   total CPU user time (s): 3597.73
#   total CPU system time (s): 4.3696

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77436 second user time and 15.4201 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-06-30 22:10:54
IDJOB=4485522
IDBENCH=146800
IDSOLVER=3318
FILE ID=nodeC018/4485522-1751314254
RUNJOBID= nodeC018-1751314254-46815
SLURM_JOB_ID= 9594326
Free space on /tmp= 432924 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4284-1064.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-4485522-1751314254/watcher-4485522-1751314254 -o /tmp/evaluation-result-4485522-1751314254/solver-4485522-1751314254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751314254-46815 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=393632130 --ls=0 --inp-dombreaklim=0 HOME/instance-4485522-1751314254.opb

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

MD5SUM BENCH= 9634c234ec2c2f6b5ee1ba365a629db0
RANDOM SEED=393632130

nodeC018 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	: 0xb00002a
cpu MHz		: 3603.161
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 pti ibrs ibpb stibp 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	: 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		: 3601.375
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 pti ibrs ibpb stibp 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	: 6999.66
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		: 3599.819
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 pti ibrs ibpb stibp 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	: 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		: 3599.825
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 pti ibrs ibpb stibp 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	: 6999.66
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		: 3599.863
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 pti ibrs ibpb stibp 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	: 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		: 3600.605
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 pti ibrs ibpb stibp 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	: 6999.66
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		: 3599.845
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 pti ibrs ibpb stibp 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	: 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		: 3599.918
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 pti ibrs ibpb stibp 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	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128587712 kB
MemAvailable:   129742316 kB
Buffers:            3280 kB
Cached:          1955912 kB
SwapCached:            0 kB
Active:           334812 kB
Inactive:        1698136 kB
Active(anon):      91832 kB
Inactive(anon):        0 kB
Active(file):     242980 kB
Inactive(file):  1698136 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             37260 kB
Writeback:             0 kB
AnonPages:         76808 kB
Mapped:           103140 kB
Shmem:             18076 kB
KReclaimable:     105056 kB
Slab:             193016 kB
SReclaimable:     105056 kB
SUnreclaim:        87960 kB
KernelStack:        4124 kB
PageTables:         2376 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     340512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432868 MiB
End job on nodeC018 at 2025-06-30 23:11:07