Trace number 4449747

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
LS-MabS 2024-07-10SAT6 3558 3569.2

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=5.opb
MD5SUM8d06570fa4bf547e139dcdd4309b0d0f
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 benchmark6
Best CPU time to get the best result obtained on this benchmark30.1142
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables242
Total number of constraints6358
Number of constraints which are clauses6347
Number of constraints which are cardinality constraints (but not clauses)11
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint12
Number of terms in the objective function 11
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 11
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 13
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Filename:instance-4449747-1722827517.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00	c Not use presolve
1772.23/1779.41	c Use LS-small
1772.23/1779.41	o 6
3557.91/3569.20	s SATISFIABLE
3557.91/3569.20	v -x1 -x2 x3 x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 -x21 x22 x23 -x24 x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 x35 x36 -x37 x38 -x39 x40 x41 -x42 x43 x44 x45 x46 x47 x48 x49 x50 -x51 x52 x53 x54 x55 x56 -x57 x58 x59 x60 -x61 x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 x239 -x240 -x241 -x242 
3557.91/3569.20	c Done 1772.25s

Verifier Data 

OK	6

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: 64096 MiB (62862 MiB free)
  memory of node 1: 64473 MiB (58344 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449747-1722827517/watcher-4449747-1722827517 -o /tmp/evaluation-result-4449747-1722827517/solver-4449747-1722827517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722827517-269722 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4449747-1722827517.opb -t 3558 -s 1270932681 

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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=269764, runsolver pid=269759

[startup+0.100497 s]*
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=124071636/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=35960 memory=26288 CPUtime=0.1 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 4476 0 0 0 9 1 0 0 20 0 1 0 49121854 36823040 6572 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 8990 6572 2301 2403 0 6100 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35960 KiB
Current children cumulated memory: 26288 KiB

[startup+0.214065 s]*
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=124005984/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=63164 memory=48316 CPUtime=0.22 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 8909 0 0 0 19 3 0 0 20 0 1 0 49121854 64679936 12079 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 15791 12079 2365 2403 0 12901 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 63164 KiB
Current children cumulated memory: 48316 KiB

[startup+0.313799 s]*
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=123964240/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=70332 memory=55376 CPUtime=0.31 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 10165 0 0 0 28 3 0 0 20 0 1 0 49121854 72019968 13844 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 17583 13844 2365 2403 0 14693 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 55376 KiB

[startup+0.700364 s]
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=123834796/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=90060 memory=73516 CPUtime=0.68 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 16474 0 0 0 63 5 0 0 20 0 1 0 49121854 92221440 18379 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 22515 18379 2461 2403 0 19625 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 90060 KiB
Current children cumulated memory: 73516 KiB

[startup+1.5004 s]
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=123734348/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=89808 memory=73832 CPUtime=1.48 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 16634 0 0 0 143 5 0 0 20 0 1 0 49121854 91963392 18458 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 22452 18458 2461 2403 0 19562 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89808 KiB
Current children cumulated memory: 73832 KiB

[startup+3.11279 s]
/proc/loadavg: 3.61 4.04 4.14 5/244 269785
/proc/meminfo: memFree=123513072/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=114500 memory=93896 CPUtime=3.09 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 21630 0 0 0 302 7 0 0 20 0 1 0 49121854 117248000 23474 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 28625 23474 2461 2403 0 25735 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 114500 KiB
Current children cumulated memory: 93896 KiB

[startup+6.30027 s]
/proc/loadavg: 3.64 4.04 4.14 5/245 269786
/proc/meminfo: memFree=123445808/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=122532 memory=101532 CPUtime=6.26 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 23545 0 0 0 619 7 0 0 20 0 1 0 49121854 125472768 25383 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 30633 25383 2461 2403 0 27743 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 122532 KiB
Current children cumulated memory: 101532 KiB

[startup+12.7003 s]
/proc/loadavg: 3.67 4.04 4.14 5/245 269788
/proc/meminfo: memFree=123388796/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=136644 memory=116800 CPUtime=12.64 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 29632 0 0 0 1256 8 0 0 20 0 1 0 49121854 139923456 29200 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 34161 29200 2461 2403 0 31271 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 136644 KiB
Current children cumulated memory: 116800 KiB

[startup+25.5004 s]
/proc/loadavg: 3.74 4.04 4.13 5/245 269790
/proc/meminfo: memFree=123227620/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=150032 memory=129944 CPUtime=25.39 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 47949 0 0 0 2527 12 0 0 20 0 1 0 49121854 153632768 32486 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 37508 32486 2461 2403 0 34618 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 150032 KiB
Current children cumulated memory: 129944 KiB

[startup+51.1129 s]
/proc/loadavg: 3.90 4.05 4.14 5/245 269795
/proc/meminfo: memFree=123098452/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=170084 memory=151792 CPUtime=50.87 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 65168 0 0 0 5072 15 0 0 20 0 1 0 49121854 174166016 37948 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 42521 37948 2461 2403 0 39631 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 170084 KiB
Current children cumulated memory: 151792 KiB

[startup+102.3 s]
/proc/loadavg: 4.03 4.06 4.13 5/245 269804
/proc/meminfo: memFree=122921888/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=244232 memory=219700 CPUtime=101.85 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 79482 0 0 0 10167 18 0 0 20 0 1 0 49121854 250093568 54925 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 61058 54925 2461 2403 0 58168 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 244232 KiB
Current children cumulated memory: 219700 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.06 4.13 5/245 269815
/proc/meminfo: memFree=122779136/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=317996 memory=290796 CPUtime=161.62 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 90858 0 0 0 16141 21 0 0 20 0 1 0 49121854 325627904 72699 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 79499 72699 2461 2403 0 76609 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 317996 KiB
Current children cumulated memory: 290796 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.09 4.13 5/245 269826
/proc/meminfo: memFree=122606100/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=399020 memory=360224 CPUtime=221.39 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 101960 0 0 0 22117 22 0 0 20 0 1 0 49121854 408596480 90056 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 99755 90056 2461 2403 0 96865 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 399020 KiB
Current children cumulated memory: 360224 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.09 4.13 5/242 269837
/proc/meminfo: memFree=122427916/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=456772 memory=431936 CPUtime=281.16 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 110954 0 0 0 28092 24 0 0 20 0 1 0 49121854 467734528 107984 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 114193 107984 2461 2403 0 111303 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 456772 KiB
Current children cumulated memory: 431936 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.10 4.13 5/241 269848
/proc/meminfo: memFree=122289676/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=530144 memory=490912 CPUtime=340.93 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 122352 0 0 0 34067 26 0 0 20 0 1 0 49121854 542867456 122728 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 132536 122728 2461 2403 0 129646 0
Current children cumulated CPU time: 340.93 s
Current children cumulated vsize: 530144 KiB
Current children cumulated memory: 490912 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/241 269860
/proc/meminfo: memFree=122134580/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=609672 memory=551960 CPUtime=400.69 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 131020 0 0 0 40040 29 0 0 20 0 1 0 49121854 624304128 137990 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 152418 137990 2461 2403 0 149528 0
Current children cumulated CPU time: 400.69 s
Current children cumulated vsize: 609672 KiB
Current children cumulated memory: 551960 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/241 269871
/proc/meminfo: memFree=121981484/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=637396 memory=614084 CPUtime=460.46 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 147616 0 0 0 46013 33 0 0 20 0 1 0 49121854 652693504 153521 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0

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

/proc/loadavg: 4.17 4.14 4.17 5/244 271571
/proc/meminfo: memFree=121651548/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3211.88 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299750 0 0 0 315673 5515 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3211.88 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/241 271581
/proc/meminfo: memFree=121650932/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3271.74 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299751 0 0 0 321431 5743 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3271.74 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/241 271592
/proc/meminfo: memFree=121650184/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3331.61 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299753 0 0 0 327197 5964 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3331.61 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.15 4.17 5/241 271603
/proc/meminfo: memFree=121649632/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3391.47 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299754 0 0 0 332951 6196 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3391.47 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/241 271614
/proc/meminfo: memFree=121648920/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3451.33 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299756 0 0 0 338718 6415 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3451.33 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 271629
/proc/meminfo: memFree=121648132/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3511.2 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299757 0 0 0 344478 6642 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3511.2 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

[startup+3569.2 s]
# the end of solver process 269764 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3489.83 s, system=68.174 s

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

[startup+3532.8 s]
/proc/loadavg: 4.14 4.14 4.17 5/244 271630
/proc/meminfo: memFree=121647964/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3521.68 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299758 0 0 0 345486 6682 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3521.68 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

[startup+3545.6 s]
/proc/loadavg: 4.12 4.13 4.16 5/244 271633
/proc/meminfo: memFree=121647904/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3534.45 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299758 0 0 0 346716 6729 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3534.45 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

[startup+3558.4 s]
/proc/loadavg: 4.09 4.12 4.16 5/244 271635
/proc/meminfo: memFree=121647856/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3547.22 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299758 0 0 0 347948 6774 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3547.22 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

[startup+3564.8 s]
/proc/loadavg: 4.09 4.12 4.16 5/244 271637
/proc/meminfo: memFree=121647724/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3553.6 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299758 0 0 0 348560 6800 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3553.6 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

[startup+3566.4 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 271637
/proc/meminfo: memFree=121647700/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3555.2 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299758 0 0 0 348713 6807 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3555.2 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

[startup+3568 s]*
/proc/loadavg: 4.08 4.12 4.16 5/244 271775
/proc/meminfo: memFree=123531236/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3556.81 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299758 0 0 0 348868 6813 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3556.81 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

[startup+3568.8 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 271775
/proc/meminfo: memFree=123531236/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3557.59 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299758 0 0 0 348944 6815 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3557.59 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

[startup+3569 s]*
/proc/loadavg: 4.08 4.12 4.16 5/244 271775
/proc/meminfo: memFree=123497188/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3557.8 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299758 0 0 0 348964 6816 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3557.8 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

[startup+3569.11 s]
/proc/loadavg: 4.08 4.12 4.16 5/244 271775
/proc/meminfo: memFree=123497188/131655788 swapFree=131071472/131071996
[pid=269764] ppid=269759 vsize=624932 memory=619004 CPUtime=3557.91 cores=0,2
/proc/269764/stat : 269764 (LS-MabS) R 269759 269764 269712 0 -1 4194304 299758 0 0 0 348974 6817 0 0 20 0 1 0 49121854 639930368 154751 134679101440 4194304 14036057 140728643561136 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 15946000 16022736 38912000 140728643564576 140728643564678 140728643564678 140728643571694 0
/proc/269764/statm: 156233 154751 2748 2403 0 153343 0
Current children cumulated CPU time: 3557.91 s
Current children cumulated vsize: 624932 KiB
Current children cumulated memory: 619004 KiB

Child status: 0

Real time (s): 3569.2
CPU time (s): 3558
CPU user time (s): 3489.83
CPU system time (s): 68.174
CPU usage (%): 99.6863
Max. virtual memory (cumulated for all children) (KiB): 2105724
Max. memory (cumulated for all children) (KiB): 1893924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3489.83
system time used= 68.174
maximum resident set size= 1893924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299772
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= 68
involuntary context switches= 21641


# summary of solver processes directly reported to runsolver:
#   pid: 269764
#   total CPU time (s): 3558
#   total CPU user time (s): 3489.83
#   total CPU system time (s): 68.174

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7108 second user time and 32.3038 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-08-05 05:11:57
IDJOB=4449747
IDBENCH=176105
IDSOLVER=3048
FILE ID=nodeC012/4449747-1722827517
RUNJOBID= nodeC012-1722827517-269722
SLURM_JOB_ID= 8258630
Free space on /tmp= 723784 MiB

SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-t=5.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449747-1722827517/watcher-4449747-1722827517 -o /tmp/evaluation-result-4449747-1722827517/solver-4449747-1722827517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722827517-269722 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4449747-1722827517.opb -t 3558 -s 1270932681

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

MD5SUM BENCH= 8d06570fa4bf547e139dcdd4309b0d0f
RANDOM SEED=1270932681

nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1203.139
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.70
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.219
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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.216
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.70
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.211
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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.212
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.70
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.212
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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.218
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.70
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.216
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124117456 kB
MemAvailable:   129997252 kB
Buffers:          315096 kB
Cached:          6396604 kB
SwapCached:           48 kB
Active:           537916 kB
Inactive:        6525440 kB
Active(anon):       1348 kB
Inactive(anon):   379488 kB
Active(file):     536568 kB
Inactive(file):  6145952 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             54576 kB
Writeback:             0 kB
AnonPages:        350572 kB
Mapped:            95912 kB
Shmem:             29440 kB
KReclaimable:      74948 kB
Slab:             159144 kB
SReclaimable:      74948 kB
SUnreclaim:        84196 kB
KernelStack:        3832 kB
PageTables:         8976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     781312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20096 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      269128 kB
DirectMap2M:    24801280 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723732 MiB
End job on nodeC012 at 2024-08-05 06:11:27