Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-SP 2024-07-10 | SAT (TO) | 2 | 3600.01 | 3611.2 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=13-t=11.opb |
| MD5SUM | 9b5c30834c5e817deb28aeb7d8484ce1 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 403 |
| Total number of constraints | 13065 |
| Number of constraints which are clauses | 13052 |
| Number of constraints which are cardinality constraints (but not clauses) | 13 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 14 |
| Number of terms in the objective function | 13 |
| 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 | 13 |
| 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 | 15 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.21/0.25 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.21/0.25 o 13 0.21/0.25 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.21/0.28 c Starting SCIP solver (with time-limit = 1800s) ... 1794.30/1800.28 c SCIP timeout with lower and upper bounds: [0, 2] 1794.49/1800.43 o 2 3600.00/3611.20 3600.00/3611.20 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 x90 -x91 -x92 -x105 -x118 -x131 -x144 -x157 -x170 -x183 -x196 -x209 -x222 x235 -x248 -x93 x106 -x119 -x132 -x145 -x158 -x171 -x184 -x197 -x210 -x223 -x236 -x249 -x94 -x107 -x120 -x133 x146 -x159 -x172 -x185 -x198 -x211 -x224 -x237 -x250 -x95 -x108 x121 -x134 -x147 -x160 -x173 -x186 -x199 -x212 -x225 -x238 -x251 -x96 -x109 -x122 x135 -x148 -x161 -x174 -x187 -x200 -x213 -x226 -x239 -x252 -x97 -x110 -x123 -x136 -x149 -x162 -x175 -x188 x201 -x214 -x227 -x240 -x253 -x98 -x111 -x124 -x137 -x150 -x163 -x176 -x189 -x202 -x215 x228 -x241 -x254 -x99 -x112 -x125 -x138 -x151 -x164 -x177 -x190 -x203 x216 -x229 -x242 -x255 -x100 -x113 -x126 -x139 -x152 -x165 x178 -x191 -x204 -x217 -x230 -x243 -x256 -x101 -x114 -x127 -x140 -x153 -x166 -x179 x192 -x205 -x218 -x231 -x244 -x257 -x102 -x115 -x128 -x141 -x154 -x167 -x180 -x193 -x206 -x219 -x232 -x245 -x258 -x103 -x116 -x129 -x142 -x155 -x168 -x181 -x194 -x207 -x220 -x233 -x246 -x259 -x104 -x117 -x130 -x143 -x156 -x169 -x182 -x195 -x208 -x221 -x234 -x247 x260 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 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 3600.00/3611.20 s SATISFIABLE
OK 2
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 (59751 MiB free)
memory of node 1: 64473 MiB (61719 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449843-1721403112/watcher-4449843-1721403112 -o /tmp/evaluation-result-4449843-1721403112/solver-4449843-1721403112 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721403123-1022345 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4449843-1721403112.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1022379, runsolver pid=1022375
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 1.09 1.09 1.09 5/244 1022405
/proc/meminfo: memFree=124359268/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=28188 memory=13100 CPUtime=0.11 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 2855 0 0 0 10 1 0 0 20 0 1 0 192469942 28864512 3275 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 7047 3275 1034 2726 0 3795 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28188 KiB
Current children cumulated memory: 13100 KiB
[startup+0.214072 s]*
/proc/loadavg: 1.09 1.09 1.09 5/244 1022405
/proc/meminfo: memFree=124335864/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=34832 memory=19700 CPUtime=0.21 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 4513 0 0 0 20 1 0 0 20 0 1 0 192469942 35667968 4925 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 8708 4925 1034 2726 0 5456 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34832 KiB
Current children cumulated memory: 19700 KiB
[startup+0.31347 s]*
/proc/loadavg: 1.09 1.09 1.09 5/244 1022405
/proc/meminfo: memFree=124282700/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=56676 memory=46316 CPUtime=0.31 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 9711 0 0 0 28 3 0 0 20 0 1 0 192469942 58036224 11579 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 14169 11579 2570 2726 0 10917 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 56676 KiB
Current children cumulated memory: 46316 KiB
[startup+0.700357 s]
/proc/loadavg: 1.41 1.15 1.11 5/244 1022405
/proc/meminfo: memFree=124267884/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=115892 memory=99220 CPUtime=0.68 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 17847 0 0 0 62 6 0 0 20 0 1 0 192469942 118673408 24805 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 28973 24805 2666 2726 0 25721 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115892 KiB
Current children cumulated memory: 99220 KiB
[startup+1.50037 s]
/proc/loadavg: 1.41 1.15 1.11 5/244 1022405
/proc/meminfo: memFree=124160696/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=140888 memory=121416 CPUtime=1.48 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 23744 0 0 0 140 8 0 0 20 0 1 0 192469942 144269312 30354 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 35222 30354 2778 2726 0 31970 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 140888 KiB
Current children cumulated memory: 121416 KiB
[startup+3.11293 s]
/proc/loadavg: 1.41 1.15 1.11 5/244 1022405
/proc/meminfo: memFree=123819300/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=160080 memory=131448 CPUtime=3.09 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 26270 0 0 0 300 9 0 0 20 0 1 0 192469942 163921920 32862 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 40020 32862 2778 2726 0 36768 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 160080 KiB
Current children cumulated memory: 131448 KiB
[startup+6.3003 s]
/proc/loadavg: 1.62 1.20 1.13 5/244 1022405
/proc/meminfo: memFree=123780268/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=183940 memory=152568 CPUtime=6.26 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 31567 0 0 0 617 9 0 0 20 0 1 0 192469942 188354560 38142 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 45985 38142 2778 2726 0 42733 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 183940 KiB
Current children cumulated memory: 152568 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 1.25 1.14 5/244 1022407
/proc/meminfo: memFree=123733584/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=208376 memory=174044 CPUtime=12.64 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 38697 0 0 0 1253 11 0 0 20 0 1 0 192469942 213377024 43511 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 52094 43511 2778 2726 0 48842 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 208376 KiB
Current children cumulated memory: 174044 KiB
[startup+25.5003 s]
/proc/loadavg: 2.22 1.35 1.18 5/244 1022408
/proc/meminfo: memFree=123601340/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=233824 memory=194244 CPUtime=25.38 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 45542 0 0 0 2525 13 0 0 20 0 1 0 192469942 239435776 48561 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 58456 48561 2778 2726 0 55204 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 233824 KiB
Current children cumulated memory: 194244 KiB
[startup+51.1133 s]
/proc/loadavg: 2.93 1.61 1.27 5/244 1022414
/proc/meminfo: memFree=123487968/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=264116 memory=218144 CPUtime=50.88 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 51584 0 0 0 5071 17 0 0 20 0 1 0 192469942 270454784 54536 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 66029 54536 2778 2726 0 62777 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 264116 KiB
Current children cumulated memory: 218144 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 1.99 1.42 5/243 1022423
/proc/meminfo: memFree=123330136/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=311532 memory=261412 CPUtime=101.85 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 61412 0 0 0 10164 21 0 0 20 0 1 0 192469942 319008768 65353 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 77883 65353 2778 2726 0 74631 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 311532 KiB
Current children cumulated memory: 261412 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.38 1.59 5/243 1022434
/proc/meminfo: memFree=123142344/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=350384 memory=298916 CPUtime=161.62 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 68318 0 0 0 16139 23 0 0 20 0 1 0 192469942 358793216 74729 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 87596 74729 2778 2726 0 84344 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 350384 KiB
Current children cumulated memory: 298916 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 2.72 1.76 5/242 1022536
/proc/meminfo: memFree=123093112/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=387848 memory=368080 CPUtime=221.41 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 76756 0 0 0 22116 25 0 0 20 0 1 0 192469942 397156352 92020 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 96962 92020 2778 2726 0 93710 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 387848 KiB
Current children cumulated memory: 368080 KiB
[startup+282.3 s]
/proc/loadavg: 4.33 3.02 1.92 5/241 1022548
/proc/meminfo: memFree=122955180/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=438460 memory=420056 CPUtime=281.19 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 85592 0 0 0 28092 27 0 0 20 0 1 0 192469942 448983040 105014 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 109615 105014 2778 2726 0 106363 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 438460 KiB
Current children cumulated memory: 420056 KiB
[startup+342.3 s]
/proc/loadavg: 4.60 3.35 2.11 5/241 1022558
/proc/meminfo: memFree=122836788/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=469444 memory=444652 CPUtime=341 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 87973 0 0 0 34072 28 0 0 20 0 1 0 192469942 480710656 111163 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 117361 111163 2778 2726 0 114109 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 469444 KiB
Current children cumulated memory: 444652 KiB
[startup+402.3 s]
/proc/loadavg: 4.34 3.50 2.24 5/241 1022568
/proc/meminfo: memFree=122692260/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=516440 memory=493764 CPUtime=400.82 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 99473 0 0 0 40051 31 0 0 20 0 1 0 192469942 528834560 123441 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 129110 123441 2778 2726 0 125858 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 516440 KiB
Current children cumulated memory: 493764 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 3.63 2.36 5/241 1022579
/proc/meminfo: memFree=122587932/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=538088 memory=519616 CPUtime=460.63 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 100945 0 0 0 46031 32 0 0 20 0 1 0 192469942 551002112 129904 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 134522 129904 2778 2726 0 131270 0
################
# More data... #
################
Current children cumulated memory: 492548 KiB
[startup+2862.3 s]
/proc/loadavg: 4.75 4.26 4.07 5/244 1023583
/proc/meminfo: memFree=122081348/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=500412 memory=492548 CPUtime=2853.46 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 186918 0 0 0 285276 70 0 0 20 0 1 0 192469942 512421888 123137 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 125103 123137 2826 2726 0 121851 0
Current children cumulated CPU time: 2853.46 s
Current children cumulated vsize: 500412 KiB
Current children cumulated memory: 492548 KiB
[startup+2922.3 s]
/proc/loadavg: 4.50 4.28 4.09 5/246 1023735
/proc/meminfo: memFree=123203672/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=500884 memory=493016 CPUtime=2913.3 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 188094 0 0 0 291258 72 0 0 20 0 1 0 192469942 512905216 123254 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 125221 123254 2826 2726 0 121969 0
Current children cumulated CPU time: 2913.3 s
Current children cumulated vsize: 500884 KiB
Current children cumulated memory: 493016 KiB
[startup+2982.3 s]
/proc/loadavg: 4.25 4.25 4.09 5/246 1023745
/proc/meminfo: memFree=123186368/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=502088 memory=493968 CPUtime=2973.13 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 188486 0 0 0 297241 72 0 0 20 0 1 0 192469942 514138112 123492 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 125522 123492 2826 2726 0 122270 0
Current children cumulated CPU time: 2973.13 s
Current children cumulated vsize: 502088 KiB
Current children cumulated memory: 493968 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.23 4.09 5/246 1023756
/proc/meminfo: memFree=123176904/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=502088 memory=494224 CPUtime=3032.94 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 189059 0 0 0 303222 72 0 0 20 0 1 0 192469942 514138112 123556 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 125522 123556 2826 2726 0 122270 0
Current children cumulated CPU time: 3032.94 s
Current children cumulated vsize: 502088 KiB
Current children cumulated memory: 494224 KiB
[startup+3102.3 s]
/proc/loadavg: 4.41 4.27 4.11 5/246 1023766
/proc/meminfo: memFree=123173664/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=502088 memory=494224 CPUtime=3092.75 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 189716 0 0 0 309202 73 0 0 20 0 1 0 192469942 514138112 123556 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 125522 123556 2826 2726 0 122270 0
Current children cumulated CPU time: 3092.75 s
Current children cumulated vsize: 502088 KiB
Current children cumulated memory: 494224 KiB
[startup+3162.3 s]
/proc/loadavg: 4.54 4.35 4.15 5/246 1023777
/proc/meminfo: memFree=123156076/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=504528 memory=496664 CPUtime=3152.55 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 191016 0 0 0 315182 73 0 0 20 0 1 0 192469942 516636672 124166 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 126132 124166 2826 2726 0 122880 0
Current children cumulated CPU time: 3152.55 s
Current children cumulated vsize: 504528 KiB
Current children cumulated memory: 496664 KiB
[startup+3222.3 s]
/proc/loadavg: 4.33 4.32 4.15 5/243 1024169
/proc/meminfo: memFree=123122760/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=539080 memory=531212 CPUtime=3212.36 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 192125 0 0 0 321161 75 0 0 20 0 1 0 192469942 552017920 132803 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 134770 132803 2826 2726 0 131518 0
Current children cumulated CPU time: 3212.36 s
Current children cumulated vsize: 539080 KiB
Current children cumulated memory: 531212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.27 4.15 5/242 1024180
/proc/meminfo: memFree=123147936/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=504528 memory=496664 CPUtime=3272.17 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 193409 0 0 0 327140 77 0 0 20 0 1 0 192469942 516636672 124166 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 126132 124166 2826 2726 0 122880 0
Current children cumulated CPU time: 3272.17 s
Current children cumulated vsize: 504528 KiB
Current children cumulated memory: 496664 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.25 4.15 5/242 1024190
/proc/meminfo: memFree=123155300/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=504528 memory=496664 CPUtime=3331.98 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 194708 0 0 0 333119 79 0 0 20 0 1 0 192469942 516636672 124166 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 126132 124166 2826 2726 0 122880 0
Current children cumulated CPU time: 3331.98 s
Current children cumulated vsize: 504528 KiB
Current children cumulated memory: 496664 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.22 4.14 5/244 1024370
/proc/meminfo: memFree=123125100/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=538604 memory=530692 CPUtime=3391.78 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 196222 0 0 0 339097 81 0 0 20 0 1 0 192469942 551530496 132673 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 134651 132673 2826 2726 0 131399 0
Current children cumulated CPU time: 3391.78 s
Current children cumulated vsize: 538604 KiB
Current children cumulated memory: 530692 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.21 4.14 5/244 1024426
/proc/meminfo: memFree=123592204/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=539408 memory=531476 CPUtime=3451.58 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 198026 0 0 0 345075 83 0 0 20 0 1 0 192469942 552353792 132869 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 134852 132869 2826 2726 0 131600 0
Current children cumulated CPU time: 3451.58 s
Current children cumulated vsize: 539408 KiB
Current children cumulated memory: 531476 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.18 4.14 5/246 1024494
/proc/meminfo: memFree=123600128/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=540476 memory=532444 CPUtime=3511.39 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 199850 0 0 0 351053 86 0 0 20 0 1 0 192469942 553447424 133111 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 135119 133111 2826 2726 0 131867 0
Current children cumulated CPU time: 3511.39 s
Current children cumulated vsize: 540476 KiB
Current children cumulated memory: 532444 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/245 1024504
/proc/meminfo: memFree=123567476/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=544264 memory=536356 CPUtime=3571.19 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 201839 0 0 0 357030 89 0 0 20 0 1 0 192469942 557326336 134089 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 136066 134089 2826 2726 0 132814 0
Current children cumulated CPU time: 3571.19 s
Current children cumulated vsize: 544264 KiB
Current children cumulated memory: 536356 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.06 4.15 4.12 5/245 1024510
/proc/meminfo: memFree=123632252/131655788 swapFree=131071996/131071996
[pid=1022379] ppid=1022375 vsize=504528 memory=496664 CPUtime=3600 cores=5,7
/proc/1022379/stat : 1022379 (CASHWMaxSAT-Dis) R 1022375 1022379 1020457 0 -1 4194304 201954 0 0 0 359911 89 0 0 20 0 1 0 192469942 516636672 124166 134679101440 4194304 15356333 140720879617200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 44240896 140720879625185 140720879625301 140720879625301 140720879632318 0
/proc/1022379/statm: 126132 124166 2826 2726 0 122880 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 504528 KiB
Current children cumulated memory: 496664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.2 s]
# the end of solver process 1022379 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.12 s, system=0.898717 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.2
CPU time (s): 3600.01
CPU user time (s): 3599.12
CPU system time (s): 0.898717
CPU usage (%): 99.6902
Max. virtual memory (cumulated for all children) (KiB): 1408812
Max. memory (cumulated for all children) (KiB): 1351692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 0.898717
maximum resident set size= 1351692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201954
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= 1992
# summary of solver processes directly reported to runsolver:
# pid: 1022379
# total CPU time (s): 3600.01
# total CPU user time (s): 3599.12
# total CPU system time (s): 0.898717
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4151 second user time and 34.0523 second system time
The end
Begin job on nodeC005 at 2024-07-19 17:32:03 IDJOB=4449843 IDBENCH=176148 IDSOLVER=3074 FILE ID=nodeC005/4449843-1721403112 RUNJOBID= nodeC005-1721403123-1022345 SLURM_JOB_ID= 7545434 Free space on /tmp= 723780 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=13-t=11.opb COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449843-1721403112/watcher-4449843-1721403112 -o /tmp/evaluation-result-4449843-1721403112/solver-4449843-1721403112 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721403123-1022345 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4449843-1721403112.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9b5c30834c5e817deb28aeb7d8484ce1 RANDOM SEED=1585193454 nodeC005.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 : 1197.184 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.53 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.179 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.35 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.179 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.53 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.183 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.35 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.183 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.53 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 : 3425.770 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.35 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.183 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.53 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.178 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.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124387340 kB MemAvailable: 129852656 kB Buffers: 523124 kB Cached: 5724360 kB SwapCached: 0 kB Active: 1105052 kB Inactive: 5466896 kB Active(anon): 3352 kB Inactive(anon): 367000 kB Active(file): 1101700 kB Inactive(file): 5099896 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 59280 kB Writeback: 12 kB AnonPages: 323656 kB Mapped: 107924 kB Shmem: 45896 kB KReclaimable: 207840 kB Slab: 326456 kB SReclaimable: 207840 kB SUnreclaim: 118616 kB KernelStack: 3616 kB PageTables: 10572 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 612748 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60832 kB HardwareCorrupted: 0 kB AnonHugePages: 200704 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: 285512 kB DirectMap2M: 36319232 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 723724 MiB End job on nodeC005 at 2024-07-19 18:32:15