Trace number 4498247

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.07 3611.9

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_200_25_3.opb
MD5SUM0e3f4750eb43f9a80589255f732043c0
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark3589.57
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint46
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6216
Sum of products size (including duplicates)12432
Number of different products6216
Sum of products size12432

Quality of the solution as a function of time


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

Solver Data 

0.32/0.38	o 19
0.32/0.38	o 18
0.32/0.39	o 17
0.32/0.40	o 16
0.41/0.50	o 15
0.88/0.98	o 14
44.88/45.05	o 13
816.61/819.04	o 12

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=39351, runsolver pid=39346
Current StackSize limit: 8192 KiB


[startup+0.1001 s]*
/proc/loadavg: 6.81 7.86 6.99 4/250 39360
/proc/meminfo: memFree=130050996/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=46720 memory=22448 CPUtime=0.1 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 5579 0 0 0 8 2 0 0 20 0 1 0 42686989 47841280 5612 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 11680 5612 1024 1200 0 10160 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46720 KiB
Current children cumulated memory: 22448 KiB

[startup+0.213884 s]*
/proc/loadavg: 6.81 7.86 6.99 4/248 39365
/proc/meminfo: memFree=130043688/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=48728 memory=25136 CPUtime=0.22 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 6103 0 0 0 19 3 0 0 20 0 1 0 42686989 49897472 6284 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 12182 6284 1184 1200 0 10662 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 48728 KiB
Current children cumulated memory: 25136 KiB

[startup+0.313728 s]*
/proc/loadavg: 6.81 7.86 6.99 4/248 39368
/proc/meminfo: memFree=130024536/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=62976 memory=38724 CPUtime=0.32 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 10083 0 0 0 27 5 0 0 20 0 1 0 42686989 64487424 9681 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 15744 9681 1184 1200 0 14224 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 62976 KiB
Current children cumulated memory: 38724 KiB

[startup+0.700282 s]
/proc/loadavg: 6.81 7.86 6.99 4/248 39368
/proc/meminfo: memFree=130021512/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=64876 memory=42728 CPUtime=0.68 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 10511 0 0 0 63 5 0 0 20 0 1 0 42686989 66433024 10682 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 16219 10682 1248 1200 0 14699 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64876 KiB
Current children cumulated memory: 42728 KiB

[startup+1.50033 s]
/proc/loadavg: 6.66 7.81 6.98 4/248 39368
/proc/meminfo: memFree=130016728/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=68220 memory=47676 CPUtime=1.48 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 11240 0 0 0 142 6 0 0 20 0 1 0 42686989 69857280 11919 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 17055 11919 1248 1200 0 15535 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68220 KiB
Current children cumulated memory: 47676 KiB

[startup+3.11277 s]
/proc/loadavg: 6.66 7.81 6.98 5/252 39405
/proc/meminfo: memFree=129972212/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=75280 memory=60032 CPUtime=3.09 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 12800 0 0 0 302 7 0 0 20 0 1 0 42686989 77086720 15008 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 18820 15008 1248 1200 0 17300 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 75280 KiB
Current children cumulated memory: 60032 KiB

[startup+6.3003 s]
/proc/loadavg: 6.45 7.75 6.96 5/252 39405
/proc/meminfo: memFree=129929960/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=85944 memory=74732 CPUtime=6.27 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 15442 0 0 0 618 9 0 0 20 0 1 0 42686989 88006656 18683 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 21486 18683 1280 1200 0 19966 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 85944 KiB
Current children cumulated memory: 74732 KiB

[startup+12.7003 s]
/proc/loadavg: 6.25 7.69 6.94 5/252 39405
/proc/meminfo: memFree=129825204/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=105520 memory=84500 CPUtime=12.65 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 17601 0 0 0 1254 11 0 0 20 0 1 0 42686989 108052480 21125 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 26380 21125 1280 1200 0 24860 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 105520 KiB
Current children cumulated memory: 84500 KiB

[startup+25.5004 s]
/proc/loadavg: 5.91 7.56 6.91 5/252 39405
/proc/meminfo: memFree=129775904/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=116268 memory=100268 CPUtime=25.41 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 20025 0 0 0 2529 12 0 0 20 0 1 0 42686989 119058432 25067 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 29067 25067 1280 1200 0 27547 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 116268 KiB
Current children cumulated memory: 100268 KiB

[startup+51.1128 s]
/proc/loadavg: 5.22 7.24 6.82 5/252 39406
/proc/meminfo: memFree=129716904/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=130680 memory=112812 CPUtime=50.96 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 23196 0 0 0 5078 18 0 0 20 0 1 0 42686989 133816320 28203 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 32670 28203 1280 1200 0 31150 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 130680 KiB
Current children cumulated memory: 112812 KiB

[startup+102.3 s]
/proc/loadavg: 4.58 6.75 6.68 5/252 39407
/proc/meminfo: memFree=129622696/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=148132 memory=133324 CPUtime=102.01 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 27309 0 0 0 10173 28 0 0 20 0 1 0 42686989 151687168 33331 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 37033 33331 1280 1200 0 35513 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 148132 KiB
Current children cumulated memory: 133324 KiB

[startup+162.3 s]
/proc/loadavg: 4.26 6.26 6.51 5/252 39409
/proc/meminfo: memFree=129546108/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=183648 memory=154064 CPUtime=161.82 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 30617 0 0 0 16143 39 0 0 20 0 1 0 42686989 188055552 38516 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 45912 38516 1280 1200 0 44392 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 183648 KiB
Current children cumulated memory: 154064 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 5.86 6.36 5/252 39411
/proc/meminfo: memFree=129514080/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=194404 memory=170576 CPUtime=221.63 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 32893 0 0 0 22113 50 0 0 20 0 1 0 42686989 199069696 42644 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 48601 42644 1280 1200 0 47081 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 194404 KiB
Current children cumulated memory: 170576 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 5.54 6.21 5/251 39413
/proc/meminfo: memFree=129461212/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=205104 memory=179152 CPUtime=281.48 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 35117 0 0 0 28086 62 0 0 20 0 1 0 42686989 210026496 44788 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 51276 44788 1280 1200 0 49756 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 205104 KiB
Current children cumulated memory: 179152 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 5.29 6.08 5/250 39415
/proc/meminfo: memFree=129412280/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=216676 memory=193180 CPUtime=341.33 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 37682 0 0 0 34058 75 0 0 20 0 1 0 42686989 221876224 48295 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 54169 48295 1280 1200 0 52649 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 216676 KiB
Current children cumulated memory: 193180 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 5.06 5.95 5/250 39428
/proc/meminfo: memFree=129386716/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=226056 memory=205800 CPUtime=401.16 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 39818 0 0 0 40033 83 0 0 20 0 1 0 42686989 231481344 51450 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 56514 51450 1280 1200 0 54994 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 226056 KiB
Current children cumulated memory: 205800 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.88 5.83 5/251 39431
/proc/meminfo: memFree=129375428/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=232812 memory=212072 CPUtime=461 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 41434 0 0 0 46006 94 0 0 20 0 1 0 42686989 238399488 53018 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 58203 53018 1280 1200 0 56683 0

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

[startup+3102.3 s]
/proc/loadavg: 4.13 4.16 4.28 5/251 39565
/proc/meminfo: memFree=128925308/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=367036 memory=330248 CPUtime=3093.77 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 64676 0 0 0 308883 494 0 0 20 0 1 0 42686989 375844864 82562 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 91759 82562 1280 1200 0 90239 0
Current children cumulated CPU time: 3093.77 s
Current children cumulated vsize: 367036 KiB
Current children cumulated memory: 330248 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.27 5/251 39567
/proc/meminfo: memFree=128932900/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=367036 memory=330248 CPUtime=3153.62 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 64677 0 0 0 314855 507 0 0 20 0 1 0 42686989 375844864 82562 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 91759 82562 1280 1200 0 90239 0
Current children cumulated CPU time: 3153.62 s
Current children cumulated vsize: 367036 KiB
Current children cumulated memory: 330248 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.26 5/251 39569
/proc/meminfo: memFree=128921212/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=367264 memory=330376 CPUtime=3213.47 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 64732 0 0 0 320832 515 0 0 20 0 1 0 42686989 376078336 82594 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 91816 82594 1280 1200 0 90296 0
Current children cumulated CPU time: 3213.47 s
Current children cumulated vsize: 367264 KiB
Current children cumulated memory: 330376 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.25 5/251 39571
/proc/meminfo: memFree=128921008/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=367460 memory=330504 CPUtime=3273.32 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 64762 0 0 0 326808 524 0 0 20 0 1 0 42686989 376279040 82626 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 91865 82626 1280 1200 0 90345 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 367460 KiB
Current children cumulated memory: 330504 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.24 5/250 39573
/proc/meminfo: memFree=128906744/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=367792 memory=330760 CPUtime=3333.16 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 64844 0 0 0 332782 534 0 0 20 0 1 0 42686989 376619008 82690 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 91948 82690 1280 1200 0 90428 0
Current children cumulated CPU time: 3333.16 s
Current children cumulated vsize: 367792 KiB
Current children cumulated memory: 330760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.14 4.24 5/250 39575
/proc/meminfo: memFree=128907724/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=367792 memory=331016 CPUtime=3393.01 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 65043 0 0 0 338757 544 0 0 20 0 1 0 42686989 376619008 82754 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 91948 82754 1280 1200 0 90428 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 367792 KiB
Current children cumulated memory: 331016 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.22 5/250 39577
/proc/meminfo: memFree=128903772/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=368268 memory=331400 CPUtime=3452.86 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 65144 0 0 0 344736 550 0 0 20 0 1 0 42686989 377106432 82850 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 92067 82850 1280 1200 0 90547 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 368268 KiB
Current children cumulated memory: 331400 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.22 5/250 39579
/proc/meminfo: memFree=128905300/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=368640 memory=331656 CPUtime=3512.7 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 65347 0 0 0 350711 559 0 0 20 0 1 0 42686989 377487360 82914 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 92160 82914 1280 1200 0 90640 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 368640 KiB
Current children cumulated memory: 331656 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.20 5/250 39581
/proc/meminfo: memFree=128893672/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=369168 memory=332296 CPUtime=3572.54 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 65501 0 0 0 356688 566 0 0 20 0 1 0 42686989 378028032 83074 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 92292 83074 1280 1200 0 90772 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 369168 KiB
Current children cumulated memory: 332296 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.07 4.11 4.20 5/251 39589
/proc/meminfo: memFree=128894184/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=369168 memory=332296 CPUtime=3600.06 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 65514 0 0 0 359436 570 0 0 20 0 1 0 42686989 378028032 83074 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 92292 83074 1280 1200 0 90772 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 369168 KiB
Current children cumulated memory: 332296 KiB

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3596.35 s, system=5.72682 s

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

[startup+3611.2 s]
/proc/loadavg: 4.07 4.11 4.20 5/249 39589
/proc/meminfo: memFree=129455576/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=369168 memory=332296 CPUtime=3601.37 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 65514 0 0 0 359565 572 0 0 20 0 1 0 42686989 378028032 83074 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 92292 83074 1280 1200 0 90772 0
Current children cumulated CPU time: 3601.37 s
Current children cumulated vsize: 369168 KiB
Current children cumulated memory: 332296 KiB

[startup+3611.6 s]
/proc/loadavg: 4.07 4.11 4.20 5/249 39589
/proc/meminfo: memFree=129455576/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=369168 memory=332296 CPUtime=3601.76 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 65514 0 0 0 359604 572 0 0 20 0 1 0 42686989 378028032 83074 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 92292 83074 1280 1200 0 90772 0
Current children cumulated CPU time: 3601.76 s
Current children cumulated vsize: 369168 KiB
Current children cumulated memory: 332296 KiB

[startup+3611.8 s]
/proc/loadavg: 4.07 4.11 4.20 5/249 39589
/proc/meminfo: memFree=129455576/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=369168 memory=332296 CPUtime=3601.96 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 65514 0 0 0 359624 572 0 0 20 0 1 0 42686989 378028032 83074 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 92292 83074 1280 1200 0 90772 0
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 369168 KiB
Current children cumulated memory: 332296 KiB

[startup+3611.9 s]
/proc/loadavg: 4.07 4.11 4.20 5/249 39589
/proc/meminfo: memFree=129455576/131382116 swapFree=33010684/33010684
[pid=39351] ppid=39346 vsize=369168 memory=332296 CPUtime=3602.06 cores=4,6
/proc/39351/stat : 39351 (Exact) R 39346 39351 38814 0 -1 4194304 65514 0 0 0 359634 572 0 0 20 0 1 0 42686989 378028032 83074 18446744073709551615 4198400 9112445 140726415180224 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 34430976 140726415182121 140726415182317 140726415182317 140726415187919 0
/proc/39351/statm: 92292 83074 1280 1200 0 90772 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 369168 KiB
Current children cumulated memory: 332296 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.9
CPU time (s): 3602.07
CPU user time (s): 3596.35
CPU system time (s): 5.72682
CPU usage (%): 99.7279
Max. virtual memory (cumulated for all children) (KiB): 369168
Max. memory (cumulated for all children) (KiB): 332296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.35
system time used= 5.72682
maximum resident set size= 337908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65514
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= 112
involuntary context switches= 2303


# summary of solver processes directly reported to runsolver:
#   pid: 39351
#   total CPU time (s): 3602.07
#   total CPU user time (s): 3596.35
#   total CPU system time (s): 5.72682

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4472 second user time and 35.4435 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-06-30 09:54:33
IDJOB=4498247
IDBENCH=148586
IDSOLVER=3318
FILE ID=nodeC011/4498247-1751270072
RUNJOBID= nodeC011-1751270072-39301
SLURM_JOB_ID= 9594178
Free space on /tmp= 433056 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_3.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-4498247-1751270072/watcher-4498247-1751270072 -o /tmp/evaluation-result-4498247-1751270072/solver-4498247-1751270072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751270072-39301 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=549366068 --ls=0 --inp-dombreaklim=0 HOME/instance-4498247-1751270072.opb

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

MD5SUM BENCH= 0e3f4750eb43f9a80589255f732043c0
RANDOM SEED=549366068

nodeC011 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		: 2294.836
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	: 6984.20
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.291
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	: 6984.20
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.349
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	: 6984.20
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.980
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	: 6984.20
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		: 1197.296
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.298
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	: 6984.20
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.294
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	: 6984.20
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.214
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        130066996 kB
MemAvailable:   129909436 kB
Buffers:            3280 kB
Cached:           651040 kB
SwapCached:            0 kB
Active:           370368 kB
Inactive:         352184 kB
Active(anon):      86192 kB
Inactive(anon):        0 kB
Active(file):     284176 kB
Inactive(file):   352184 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29448 kB
Writeback:             4 kB
AnonPages:         71316 kB
Mapped:           102476 kB
Shmem:             17960 kB
KReclaimable:      91028 kB
Slab:             171616 kB
SReclaimable:      91028 kB
SUnreclaim:        80588 kB
KernelStack:        3876 kB
PageTables:         2628 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     333724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC011 at 2025-06-30 10:54:45