Trace number 4497532

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.08 3613.12

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
MD5SUMf8bb64a53a6bd967b0f0fe9129c8144f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark307.657
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14352
Total number of constraints53247
Number of constraints which are clauses53237
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints9
Minimum length of a constraint1
Maximum length of a constraint1036
Number of terms in the objective function 1036
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1036
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1068
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.89/0.93	o 32
16.05/16.17	o 31
39.56/39.71	o 30
39.76/39.96	o 29
40.35/40.58	o 28
40.55/40.77	o 27
40.75/40.92	o 26
41.05/41.29	o 25
41.55/41.74	o 24
1369.12/1373.32	o 23
1372.51/1376.74	o 22

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497532-1751393934/watcher-4497532-1751393934 -o /tmp/evaluation-result-4497532-1751393934/solver-4497532-1751393934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751385139-54166 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1554652477 --ls=0 --inp-dombreaklim=0 HOME/instance-4497532-1751393934.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=56392, runsolver pid=56389

[startup+0.10007 s]*
/proc/loadavg: 4.16 4.24 4.18 5/251 56393
/proc/meminfo: memFree=128908240/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=45392 memory=21760 CPUtime=0.1 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 5172 0 0 0 9 1 0 0 20 0 1 0 55072754 46481408 5440 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 11348 5440 1024 1200 0 9828 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45392 KiB
Current children cumulated memory: 21760 KiB

[startup+0.21307 s]*
/proc/loadavg: 4.16 4.24 4.18 5/251 56393
/proc/meminfo: memFree=128900680/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=55152 memory=33084 CPUtime=0.21 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 7636 0 0 0 19 2 0 0 20 0 1 0 55072754 56475648 8271 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 13788 8271 1024 1200 0 12268 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 55152 KiB
Current children cumulated memory: 33084 KiB

[startup+0.313092 s]*
/proc/loadavg: 4.16 4.24 4.18 5/251 56393
/proc/meminfo: memFree=128893120/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=64008 memory=40900 CPUtime=0.31 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 9447 0 0 0 28 3 0 0 20 0 1 0 55072754 65544192 10225 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 16002 10225 1024 1200 0 14482 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 64008 KiB
Current children cumulated memory: 40900 KiB

[startup+0.700312 s]
/proc/loadavg: 4.16 4.24 4.18 5/251 56393
/proc/meminfo: memFree=128877244/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=103452 memory=80456 CPUtime=0.68 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 19274 0 0 0 62 6 0 0 20 0 1 0 55072754 105934848 20114 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 25863 20114 1184 1200 0 24343 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 103452 KiB
Current children cumulated memory: 80456 KiB

[startup+1.50031 s]
/proc/loadavg: 4.16 4.24 4.18 5/251 56393
/proc/meminfo: memFree=128851412/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=111488 memory=88664 CPUtime=1.48 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 21079 0 0 0 141 7 0 0 20 0 1 0 55072754 114163712 22166 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 27872 22166 1248 1200 0 26352 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 111488 KiB
Current children cumulated memory: 88664 KiB

[startup+3.11258 s]
/proc/loadavg: 4.15 4.23 4.18 5/251 56393
/proc/meminfo: memFree=128839584/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=115468 memory=96584 CPUtime=3.09 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 22059 0 0 0 301 8 0 0 20 0 1 0 55072754 118239232 24146 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 28867 24146 1248 1200 0 27347 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 115468 KiB
Current children cumulated memory: 96584 KiB

[startup+6.30029 s]
/proc/loadavg: 4.15 4.23 4.18 5/251 56393
/proc/meminfo: memFree=128815668/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=125312 memory=113540 CPUtime=6.27 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 24756 0 0 0 618 9 0 0 20 0 1 0 55072754 128319488 28385 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 31328 28385 1248 1200 0 29808 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 125312 KiB
Current children cumulated memory: 113540 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.23 4.18 5/251 56393
/proc/meminfo: memFree=128764976/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=175236 memory=143016 CPUtime=12.64 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 28672 0 0 0 1252 12 0 0 20 0 1 0 55072754 179441664 35754 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 43809 35754 1248 1200 0 42289 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 175236 KiB
Current children cumulated memory: 143016 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.23 4.18 5/251 56393
/proc/meminfo: memFree=128715524/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=239700 memory=187888 CPUtime=25.4 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 34184 0 0 0 2525 15 0 0 20 0 1 0 55072754 245452800 46972 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 59925 46972 1248 1200 0 58405 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 239700 KiB
Current children cumulated memory: 187888 KiB

[startup+51.1129 s]
/proc/loadavg: 4.12 4.21 4.18 5/251 56393
/proc/meminfo: memFree=128698576/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=255576 memory=221244 CPUtime=50.94 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 37911 0 0 0 5076 18 0 0 20 0 1 0 55072754 261709824 55311 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 63894 55311 1248 1200 0 62374 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 255576 KiB
Current children cumulated memory: 221244 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.19 4.17 5/251 56395
/proc/meminfo: memFree=128661424/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=268604 memory=233276 CPUtime=101.96 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 40998 0 0 0 10174 22 0 0 20 0 1 0 55072754 275050496 58319 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 67151 58319 1248 1200 0 65631 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 268604 KiB
Current children cumulated memory: 233276 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/251 56397
/proc/meminfo: memFree=128631780/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=276988 memory=241212 CPUtime=161.77 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 43033 0 0 0 16150 27 0 0 20 0 1 0 55072754 283635712 60303 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 69247 60303 1248 1200 0 67727 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 276988 KiB
Current children cumulated memory: 241212 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/251 56399
/proc/meminfo: memFree=128617588/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=280604 memory=244924 CPUtime=221.59 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 43999 0 0 0 22127 32 0 0 20 0 1 0 55072754 287338496 61231 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 70151 61231 1248 1200 0 68631 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 280604 KiB
Current children cumulated memory: 244924 KiB

[startup+282.3 s]
/proc/loadavg: 4.72 4.31 4.21 5/250 56404
/proc/meminfo: memFree=128460176/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=293692 memory=265672 CPUtime=281.4 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 47175 0 0 0 28104 36 0 0 20 0 1 0 55072754 300740608 66418 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 73423 66418 1248 1200 0 71903 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 293692 KiB
Current children cumulated memory: 265672 KiB

[startup+342.3 s]
/proc/loadavg: 4.37 4.30 4.21 5/252 56408
/proc/meminfo: memFree=128465252/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=297896 memory=269768 CPUtime=341.21 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 48226 0 0 0 34077 44 0 0 20 0 1 0 55072754 305045504 67442 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 74474 67442 1248 1200 0 72954 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 297896 KiB
Current children cumulated memory: 269768 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.25 4.20 5/252 56410
/proc/meminfo: memFree=128469284/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=298796 memory=270792 CPUtime=401.03 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 48513 0 0 0 40055 48 0 0 20 0 1 0 55072754 305967104 67698 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 74699 67698 1248 1200 0 73179 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 298796 KiB
Current children cumulated memory: 270792 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.24 4.20 5/252 56416
/proc/meminfo: memFree=128453372/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=299880 memory=272072 CPUtime=460.85 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 48831 0 0 0 46031 54 0 0 20 0 1 0 55072754 307077120 68018 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 74970 68018 1248 1200 0 73450 0

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

[startup+3162.3 s]
/proc/loadavg: 1.08 1.57 2.67 2/233 56650
/proc/meminfo: memFree=129510104/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=568380 memory=539088 CPUtime=3152.63 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 91840 0 0 0 315014 249 0 0 20 0 1 0 55072754 582021120 134772 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 142095 134772 1248 1200 0 140575 0
Current children cumulated CPU time: 3152.63 s
Current children cumulated vsize: 568380 KiB
Current children cumulated memory: 539088 KiB

[startup+3222.3 s]
/proc/loadavg: 1.08 1.48 2.56 2/233 56652
/proc/meminfo: memFree=129517120/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=568380 memory=539088 CPUtime=3212.45 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 92062 0 0 0 320992 253 0 0 20 0 1 0 55072754 582021120 134772 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 142095 134772 1248 1200 0 140575 0
Current children cumulated CPU time: 3212.45 s
Current children cumulated vsize: 568380 KiB
Current children cumulated memory: 539088 KiB

[startup+3282.3 s]
/proc/loadavg: 1.13 1.42 2.47 2/232 56654
/proc/meminfo: memFree=129516368/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=568380 memory=539088 CPUtime=3272.26 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 92082 0 0 0 326969 257 0 0 20 0 1 0 55072754 582021120 134772 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 142095 134772 1248 1200 0 140575 0
Current children cumulated CPU time: 3272.26 s
Current children cumulated vsize: 568380 KiB
Current children cumulated memory: 539088 KiB

[startup+3342.3 s]
/proc/loadavg: 1.16 1.38 2.39 2/233 56659
/proc/meminfo: memFree=129518412/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=568380 memory=539088 CPUtime=3332.09 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 92218 0 0 0 332947 262 0 0 20 0 1 0 55072754 582021120 134772 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 142095 134772 1248 1200 0 140575 0
Current children cumulated CPU time: 3332.09 s
Current children cumulated vsize: 568380 KiB
Current children cumulated memory: 539088 KiB

[startup+3402.3 s]
/proc/loadavg: 1.06 1.30 2.30 2/232 56661
/proc/meminfo: memFree=129517408/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=568380 memory=539088 CPUtime=3391.9 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 92331 0 0 0 338923 267 0 0 20 0 1 0 55072754 582021120 134772 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 142095 134772 1248 1200 0 140575 0
Current children cumulated CPU time: 3391.9 s
Current children cumulated vsize: 568380 KiB
Current children cumulated memory: 539088 KiB

[startup+3462.3 s]
/proc/loadavg: 1.14 1.28 2.22 2/232 56664
/proc/meminfo: memFree=129517912/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=568380 memory=539088 CPUtime=3451.72 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 92456 0 0 0 344899 273 0 0 20 0 1 0 55072754 582021120 134772 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 142095 134772 1248 1200 0 140575 0
Current children cumulated CPU time: 3451.72 s
Current children cumulated vsize: 568380 KiB
Current children cumulated memory: 539088 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.24 2.15 2/232 56669
/proc/meminfo: memFree=129518416/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=568380 memory=539088 CPUtime=3511.54 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 92553 0 0 0 350875 279 0 0 20 0 1 0 55072754 582021120 134772 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 142095 134772 1248 1200 0 140575 0
Current children cumulated CPU time: 3511.54 s
Current children cumulated vsize: 568380 KiB
Current children cumulated memory: 539088 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.21 2.08 2/233 56672
/proc/meminfo: memFree=129518896/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=568380 memory=539088 CPUtime=3571.35 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 92554 0 0 0 356852 283 0 0 20 0 1 0 55072754 582021120 134772 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 142095 134772 1248 1200 0 140575 0
Current children cumulated CPU time: 3571.35 s
Current children cumulated vsize: 568380 KiB
Current children cumulated memory: 539088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 1.05 1.19 2.05 2/233 56673
/proc/meminfo: memFree=129511084/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=576532 memory=543952 CPUtime=3600.08 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 93816 0 0 0 359721 287 0 0 20 0 1 0 55072754 590368768 135988 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 144133 135988 1248 1200 0 142613 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 576532 KiB
Current children cumulated memory: 543952 KiB

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.2 s, system=2.88179 s

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

[startup+3611.2 s]
/proc/loadavg: 1.05 1.19 2.05 2/233 56673
/proc/meminfo: memFree=129511084/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=576532 memory=543952 CPUtime=3600.17 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 93816 0 0 0 359730 287 0 0 20 0 1 0 55072754 590368768 135988 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 144133 135988 1248 1200 0 142613 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 576532 KiB
Current children cumulated memory: 543952 KiB

[startup+3612 s]*
/proc/loadavg: 1.05 1.19 2.05 2/233 56673
/proc/meminfo: memFree=129511084/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=576532 memory=543952 CPUtime=3600.97 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 93817 0 0 0 359810 287 0 0 20 0 1 0 55072754 590368768 135988 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 144133 135988 1248 1200 0 142613 0
Current children cumulated CPU time: 3600.97 s
Current children cumulated vsize: 576532 KiB
Current children cumulated memory: 543952 KiB

[startup+3612.8 s]
/proc/loadavg: 1.05 1.19 2.05 2/233 56673
/proc/meminfo: memFree=129511084/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=576532 memory=543952 CPUtime=3601.76 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 93818 0 0 0 359889 287 0 0 20 0 1 0 55072754 590368768 135988 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 144133 135988 1248 1200 0 142613 0
Current children cumulated CPU time: 3601.76 s
Current children cumulated vsize: 576532 KiB
Current children cumulated memory: 543952 KiB

[startup+3613 s]*
/proc/loadavg: 1.05 1.19 2.05 2/233 56673
/proc/meminfo: memFree=129511084/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=576532 memory=543952 CPUtime=3601.97 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 93818 0 0 0 359910 287 0 0 20 0 1 0 55072754 590368768 135988 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 144133 135988 1248 1200 0 142613 0
Current children cumulated CPU time: 3601.97 s
Current children cumulated vsize: 576532 KiB
Current children cumulated memory: 543952 KiB

[startup+3613.11 s]
/proc/loadavg: 1.05 1.19 2.05 2/233 56673
/proc/meminfo: memFree=129511084/131382120 swapFree=33010416/33010684
[pid=56392] ppid=56389 vsize=576532 memory=543952 CPUtime=3602.07 cores=0,2
/proc/56392/stat : 56392 (Exact) R 56389 56392 54152 0 -1 4194304 93818 0 0 0 359920 287 0 0 20 0 1 0 55072754 590368768 135988 18446744073709551615 4198400 9112445 140732270841760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 17035264 140732270844200 140732270844397 140732270844397 140732270849999 0
/proc/56392/statm: 144133 135988 1248 1200 0 142613 0
Current children cumulated CPU time: 3602.07 s
Current children cumulated vsize: 576532 KiB
Current children cumulated memory: 543952 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.12
CPU time (s): 3602.08
CPU user time (s): 3599.2
CPU system time (s): 2.88179
CPU usage (%): 99.6947
Max. virtual memory (cumulated for all children) (KiB): 576532
Max. memory (cumulated for all children) (KiB): 543952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.2
system time used= 2.88179
maximum resident set size= 543952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93818
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= 122
involuntary context switches= 9120


# summary of solver processes directly reported to runsolver:
#   pid: 56392
#   total CPU time (s): 3602.08
#   total CPU user time (s): 3599.2
#   total CPU system time (s): 2.88179

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6269 second user time and 31.2398 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-01 20:18:54
IDJOB=4497532
IDBENCH=148188
IDSOLVER=3318
FILE ID=nodeC006/4497532-1751393934
RUNJOBID= nodeC006-1751385139-54166
SLURM_JOB_ID= 9598238
Free space on /tmp= 433032 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_9.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-4497532-1751393934/watcher-4497532-1751393934 -o /tmp/evaluation-result-4497532-1751393934/solver-4497532-1751393934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751385139-54166 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1554652477 --ls=0 --inp-dombreaklim=0 HOME/instance-4497532-1751393934.opb

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

MD5SUM BENCH= f8bb64a53a6bd967b0f0fe9129c8144f
RANDOM SEED=1554652477

nodeC006 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		: 1197.236
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.32
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		: 3691.198
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.32
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.140
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.32
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.692
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.32
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.535
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.32
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		: 3691.193
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.32
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.751
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.32
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.400
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128912472 kB
MemAvailable:   128794752 kB
Buffers:            2128 kB
Cached:           684264 kB
SwapCached:           12 kB
Active:          1472700 kB
Inactive:         358428 kB
Active(anon):    1151592 kB
Inactive(anon):    11092 kB
Active(file):     321108 kB
Inactive(file):   347336 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8936 kB
Writeback:             0 kB
AnonPages:       1147228 kB
Mapped:           118304 kB
Shmem:             17948 kB
KReclaimable:     106540 kB
Slab:             190064 kB
SReclaimable:     106540 kB
SUnreclaim:        83524 kB
KernelStack:        4048 kB
PageTables:         5288 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1655728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    626688 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC006 at 2025-07-01 21:19:07