Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-S 2024-07-10 | SAT (TO) | 5 | 3600.05 | 3609.02 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=9.opb |
| MD5SUM | 5bbd9c37a994af6c8eea19ef18cfb445 |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 3558.01 |
| 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 | 427 |
| Total number of constraints | 17423 |
| Number of constraints which are clauses | 17409 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 14 |
| 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 | 14 |
| 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 | 16 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.09 o 14 0.00/0.09 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.10 c Starting SCIP solver (with time-limit = 1800s) ... 1794.80/1800.10 c SCIP timeout with lower and upper bounds: [0, 5] 1794.80/1800.10 o 5 3600.04/3609.01 3600.04/3609.01 v x92 -x93 -x94 -x95 x96 x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 x105 -x106 -x120 -x134 -x148 -x162 -x176 -x190 -x204 -x218 -x232 -x246 -x260 -x274 -x288 -x107 -x121 -x135 -x149 -x163 -x177 -x191 -x205 -x219 -x233 -x247 x261 -x275 -x289 -x108 -x122 -x136 -x150 -x164 -x178 -x192 -x206 -x220 -x234 x248 -x262 -x276 -x290 -x109 -x123 -x137 -x151 -x165 -x179 -x193 -x207 x221 -x235 -x249 -x263 -x277 -x291 -x110 -x124 -x138 -x152 -x166 -x180 -x194 -x208 -x222 -x236 -x250 -x264 -x278 -x292 -x111 -x125 -x139 -x153 -x167 -x181 -x195 -x209 -x223 -x237 -x251 -x265 -x279 -x293 -x112 -x126 -x140 -x154 -x168 -x182 x196 -x210 -x224 -x238 -x252 -x266 -x280 -x294 -x113 -x127 -x141 -x155 -x169 x183 -x197 -x211 -x225 -x239 -x253 -x267 -x281 -x295 x114 -x128 -x142 -x156 -x170 -x184 -x198 -x212 -x226 -x240 -x254 -x268 -x282 -x296 -x115 -x129 -x143 x157 -x171 -x185 -x199 -x213 -x227 -x241 -x255 -x269 -x283 -x297 -x116 -x130 x144 -x158 -x172 -x186 -x200 -x214 -x228 -x242 -x256 -x270 -x284 -x298 -x117 -x131 -x145 -x159 -x173 -x187 -x201 -x215 -x229 -x243 -x257 -x271 -x285 -x299 -x118 x132 -x146 -x160 -x174 -x188 -x202 -x216 -x230 -x244 -x258 -x272 -x286 -x300 -x119 -x133 -x147 -x161 -x175 -x189 -x203 -x217 -x231 -x245 -x259 -x273 -x287 -x301 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 -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 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 3600.04/3609.01 s SATISFIABLE
OK 5
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: 64059 MiB (59789 MiB free)
memory of node 1: 64510 MiB (59592 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449809-1721401320/watcher-4449809-1721401320 -o /tmp/evaluation-result-4449809-1721401320/solver-4449809-1721401320 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721399515-1015925 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4449809-1721401320.opb -total-t=3600 -no-par -v0
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1016979, runsolver pid=1016976
[startup+0.100101 s]*
/proc/loadavg: 4.26 4.39 3.76 5/243 1016980
/proc/meminfo: memFree=122225644/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=48064 memory=39656 CPUtime=0.1 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 7758 0 0 0 9 1 0 0 20 0 1 0 192290713 49217536 9914 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 12016 9914 2446 2594 0 8909 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48064 KiB
Current children cumulated memory: 39656 KiB
[startup+0.212876 s]*
/proc/loadavg: 4.26 4.39 3.76 5/243 1016980
/proc/meminfo: memFree=122201080/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=64896 memory=55200 CPUtime=0.22 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 13010 0 0 0 20 2 0 0 20 0 1 0 192290713 66453504 13800 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 16224 13800 2526 2594 0 13117 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 64896 KiB
Current children cumulated memory: 55200 KiB
[startup+0.312761 s]*
/proc/loadavg: 4.26 4.39 3.76 6/243 1016980
/proc/meminfo: memFree=122188180/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=97536 memory=83980 CPUtime=0.31 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 17685 0 0 0 29 2 0 0 20 0 1 0 192290713 99876864 20995 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 24384 20995 2558 2594 0 21277 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 97536 KiB
Current children cumulated memory: 83980 KiB
[startup+0.700322 s]
/proc/loadavg: 4.26 4.39 3.76 5/243 1016980
/proc/meminfo: memFree=122129256/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=140564 memory=127228 CPUtime=0.69 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 26476 0 0 0 65 4 0 0 20 0 1 0 192290713 143937536 31807 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 35141 31807 2654 2594 0 32034 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 140564 KiB
Current children cumulated memory: 127228 KiB
[startup+1.50027 s]
/proc/loadavg: 4.26 4.39 3.76 5/243 1016980
/proc/meminfo: memFree=122127048/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=148032 memory=130720 CPUtime=1.48 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 27283 0 0 0 144 4 0 0 20 0 1 0 192290713 151584768 32680 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 37008 32680 2670 2594 0 33901 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 148032 KiB
Current children cumulated memory: 130720 KiB
[startup+3.11261 s]
/proc/loadavg: 4.24 4.39 3.76 5/243 1016980
/proc/meminfo: memFree=122121524/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=158704 memory=134416 CPUtime=3.09 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 28218 0 0 0 305 4 0 0 20 0 1 0 192290713 162512896 33604 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 39676 33604 2670 2594 0 36569 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 158704 KiB
Current children cumulated memory: 134416 KiB
[startup+6.30032 s]
/proc/loadavg: 4.24 4.39 3.76 6/243 1016980
/proc/meminfo: memFree=122096388/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=193876 memory=159472 CPUtime=6.27 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 35971 0 0 0 622 5 0 0 20 0 1 0 192290713 198529024 39868 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 48469 39868 2670 2594 0 45362 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 193876 KiB
Current children cumulated memory: 159472 KiB
[startup+12.7003 s]
/proc/loadavg: 4.22 4.38 3.76 5/243 1016982
/proc/meminfo: memFree=122094540/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=208192 memory=167012 CPUtime=12.65 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 38190 0 0 0 1260 5 0 0 20 0 1 0 192290713 213188608 41753 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 52048 41753 2670 2594 0 48941 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 208192 KiB
Current children cumulated memory: 167012 KiB
[startup+25.5004 s]
/proc/loadavg: 4.17 4.36 3.76 5/243 1016985
/proc/meminfo: memFree=122052540/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=244400 memory=201828 CPUtime=25.42 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 47121 0 0 0 2535 7 0 0 20 0 1 0 192290713 250265600 50457 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 61100 50457 2670 2594 0 57993 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 244400 KiB
Current children cumulated memory: 201828 KiB
[startup+51.1126 s]
/proc/loadavg: 4.18 4.35 3.78 5/243 1016990
/proc/meminfo: memFree=122001600/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=280544 memory=233936 CPUtime=50.97 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 56427 0 0 0 5088 9 0 0 20 0 1 0 192290713 287277056 58484 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 70136 58484 2670 2594 0 67029 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 280544 KiB
Current children cumulated memory: 233936 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.29 3.79 5/242 1016998
/proc/meminfo: memFree=121930696/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=341944 memory=291568 CPUtime=101.99 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 69401 0 0 0 10187 12 0 0 20 0 1 0 192290713 350150656 72892 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 85486 72892 2670 2594 0 82379 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 341944 KiB
Current children cumulated memory: 291568 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.25 3.81 6/242 1017010
/proc/meminfo: memFree=121879260/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=380828 memory=333304 CPUtime=161.8 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 80834 0 0 0 16165 15 0 0 20 0 1 0 192290713 389967872 83326 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 95207 83326 2670 2594 0 92100 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 380828 KiB
Current children cumulated memory: 333304 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.23 3.84 5/241 1017021
/proc/meminfo: memFree=121764344/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=417056 memory=368076 CPUtime=221.61 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 93662 0 0 0 22143 18 0 0 20 0 1 0 192290713 427065344 92019 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 104264 92019 2670 2594 0 101157 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 417056 KiB
Current children cumulated memory: 368076 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.20 3.85 5/241 1017031
/proc/meminfo: memFree=121703936/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=471472 memory=421808 CPUtime=281.43 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 104579 0 0 0 28124 19 0 0 20 0 1 0 192290713 482787328 105452 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 117868 105452 2670 2594 0 114761 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 471472 KiB
Current children cumulated memory: 421808 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.20 3.88 5/241 1017041
/proc/meminfo: memFree=121633392/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=529616 memory=476612 CPUtime=341.27 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 116368 0 0 0 34105 22 0 0 20 0 1 0 192290713 542326784 119153 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 132404 119153 2670 2594 0 129297 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 529616 KiB
Current children cumulated memory: 476612 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.17 3.89 5/241 1017051
/proc/meminfo: memFree=121571420/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=576272 memory=538276 CPUtime=401.07 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 124160 0 0 0 40083 24 0 0 20 0 1 0 192290713 590102528 134569 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 144068 134569 2670 2594 0 140961 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 576272 KiB
Current children cumulated memory: 538276 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.18 3.92 5/241 1017063
/proc/meminfo: memFree=121508324/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=618500 memory=600608 CPUtime=460.89 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 136014 0 0 0 46063 26 0 0 20 0 1 0 192290713 633344000 150152 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 154625 150152 2670 2594 0 151518 0
################
# More data... #
################
Current children cumulated memory: 862236 KiB
[startup+2862.3 s]
/proc/loadavg: 1.11 1.20 2.04 2/221 1018208
/proc/meminfo: memFree=123982300/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=869020 memory=862236 CPUtime=2854.87 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 311105 0 0 0 285415 72 0 0 20 0 1 0 192290713 889876480 215559 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 217255 215559 2718 2594 0 214148 0
Current children cumulated CPU time: 2854.87 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 862236 KiB
[startup+2922.3 s]
/proc/loadavg: 1.08 1.18 1.98 2/224 1018223
/proc/meminfo: memFree=123981844/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=869020 memory=862236 CPUtime=2914.75 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 311237 0 0 0 291403 72 0 0 20 0 1 0 192290713 889876480 215559 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 217255 215559 2718 2594 0 214148 0
Current children cumulated CPU time: 2914.75 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 862236 KiB
[startup+2982.3 s]
/proc/loadavg: 1.08 1.16 1.92 2/224 1018233
/proc/meminfo: memFree=123981672/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=869020 memory=862236 CPUtime=2974.63 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 311373 0 0 0 297391 72 0 0 20 0 1 0 192290713 889876480 215559 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 217255 215559 2718 2594 0 214148 0
Current children cumulated CPU time: 2974.63 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 862236 KiB
[startup+3042.3 s]
/proc/loadavg: 1.07 1.14 1.87 2/224 1018244
/proc/meminfo: memFree=123981340/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=869020 memory=862236 CPUtime=3034.5 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 311490 0 0 0 303378 72 0 0 20 0 1 0 192290713 889876480 215559 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 217255 215559 2718 2594 0 214148 0
Current children cumulated CPU time: 3034.5 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 862236 KiB
[startup+3102.3 s]
/proc/loadavg: 1.13 1.15 1.82 2/224 1018254
/proc/meminfo: memFree=123981056/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=869020 memory=862236 CPUtime=3094.38 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 311618 0 0 0 309366 72 0 0 20 0 1 0 192290713 889876480 215559 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 217255 215559 2718 2594 0 214148 0
Current children cumulated CPU time: 3094.38 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 862236 KiB
[startup+3162.3 s]
/proc/loadavg: 1.05 1.12 1.77 2/223 1018265
/proc/meminfo: memFree=123980852/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=869020 memory=862236 CPUtime=3154.26 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 311766 0 0 0 315354 72 0 0 20 0 1 0 192290713 889876480 215559 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 217255 215559 2718 2594 0 214148 0
Current children cumulated CPU time: 3154.26 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 862236 KiB
[startup+3222.3 s]
/proc/loadavg: 1.85 1.33 1.80 2/225 1018660
/proc/meminfo: memFree=123979984/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=869020 memory=862236 CPUtime=3214.14 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 311904 0 0 0 321342 72 0 0 20 0 1 0 192290713 889876480 215559 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 217255 215559 2718 2594 0 214148 0
Current children cumulated CPU time: 3214.14 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 862236 KiB
[startup+3282.3 s]
/proc/loadavg: 1.37 1.28 1.75 2/222 1018670
/proc/meminfo: memFree=123980152/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=869020 memory=862236 CPUtime=3274.01 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 312020 0 0 0 327329 72 0 0 20 0 1 0 192290713 889876480 215559 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 217255 215559 2718 2594 0 214148 0
Current children cumulated CPU time: 3274.01 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 862236 KiB
[startup+3342.3 s]
/proc/loadavg: 1.18 1.24 1.71 2/222 1018680
/proc/meminfo: memFree=123979952/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=869020 memory=862236 CPUtime=3333.89 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 312114 0 0 0 333317 72 0 0 20 0 1 0 192290713 889876480 215559 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 217255 215559 2718 2594 0 214148 0
Current children cumulated CPU time: 3333.89 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 862236 KiB
[startup+3402.3 s]
/proc/loadavg: 1.21 1.23 1.67 2/224 1018860
/proc/meminfo: memFree=123979324/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=869020 memory=862236 CPUtime=3393.76 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 312252 0 0 0 339304 72 0 0 20 0 1 0 192290713 889876480 215559 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 217255 215559 2718 2594 0 214148 0
Current children cumulated CPU time: 3393.76 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 862236 KiB
[startup+3462.3 s]
/proc/loadavg: 1.13 1.20 1.63 2/225 1018872
/proc/meminfo: memFree=123979188/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=869020 memory=862236 CPUtime=3453.64 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 312360 0 0 0 345292 72 0 0 20 0 1 0 192290713 889876480 215559 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 217255 215559 2718 2594 0 214148 0
Current children cumulated CPU time: 3453.64 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 862236 KiB
[startup+3522.3 s]
/proc/loadavg: 1.49 1.29 1.64 2/227 1018886
/proc/meminfo: memFree=123978992/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=869020 memory=862236 CPUtime=3513.51 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 312490 0 0 0 351279 72 0 0 20 0 1 0 192290713 889876480 215559 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 217255 215559 2718 2594 0 214148 0
Current children cumulated CPU time: 3513.51 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 862236 KiB
[startup+3582.3 s]
/proc/loadavg: 1.54 1.34 1.63 2/225 1018908
/proc/meminfo: memFree=123978364/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=869020 memory=862236 CPUtime=3573.38 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 312602 0 0 0 357266 72 0 0 20 0 1 0 192290713 889876480 215559 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 217255 215559 2718 2594 0 214148 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 862236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 1.46 1.34 1.62 2/225 1018914
/proc/meminfo: memFree=123978324/131655788 swapFree=131071996/131071996
[pid=1016979] ppid=1016976 vsize=869020 memory=862236 CPUtime=3600.04 cores=4,6
/proc/1016979/stat : 1016979 (CASHWMaxSAT-Dis) R 1016976 1016979 1015914 0 -1 4194304 312625 0 0 0 359932 72 0 0 20 0 1 0 192290713 889876480 215559 134679101440 4194304 14817773 140729224187120 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 27365376 140729224188899 140729224189014 140729224189014 140729224196031 0
/proc/1016979/statm: 217255 215559 2718 2594 0 214148 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 869020 KiB
Current children cumulated memory: 862236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.02 s]
# the end of solver process 1016979 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.33 s, system=0.727118 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.02
CPU time (s): 3600.05
CPU user time (s): 3599.33
CPU system time (s): 0.727118
CPU usage (%): 99.7516
Max. virtual memory (cumulated for all children) (KiB): 1633900
Max. memory (cumulated for all children) (KiB): 1600304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.33
system time used= 0.727118
maximum resident set size= 1600304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312626
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= 99
involuntary context switches= 2374
# summary of solver processes directly reported to runsolver:
# pid: 1016979
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.33
# total CPU system time (s): 0.727118
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0247 second user time and 33.1508 second system time
The end
Begin job on nodeC006 at 2024-07-19 17:02:12 IDJOB=4449809 IDBENCH=176142 IDSOLVER=3075 FILE ID=nodeC006/4449809-1721401320 RUNJOBID= nodeC006-1721399515-1015925 SLURM_JOB_ID= 7545435 Free space on /tmp= 723728 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=9.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449809-1721401320/watcher-4449809-1721401320 -o /tmp/evaluation-result-4449809-1721401320/solver-4449809-1721401320 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721399515-1015925 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4449809-1721401320.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5bbd9c37a994af6c8eea19ef18cfb445 RANDOM SEED=976194533 nodeC006.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 : 3659.956 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.94 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 : 3656.115 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.26 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.425 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.94 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.400 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.26 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 : 3491.991 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.94 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 : 3653.920 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.26 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.248 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.94 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.371 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.26 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 122247488 kB MemAvailable: 127304456 kB Buffers: 540492 kB Cached: 5302976 kB SwapCached: 0 kB Active: 1029640 kB Inactive: 7685760 kB Active(anon): 1468 kB Inactive(anon): 2916392 kB Active(file): 1028172 kB Inactive(file): 4769368 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 14288 kB Writeback: 32 kB AnonPages: 2871956 kB Mapped: 140068 kB Shmem: 45896 kB KReclaimable: 198916 kB Slab: 314156 kB SReclaimable: 198916 kB SUnreclaim: 115240 kB KernelStack: 3920 kB PageTables: 14608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 3763196 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60768 kB HardwareCorrupted: 0 kB AnonHugePages: 2058240 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: 316232 kB DirectMap2M: 40482816 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 723764 MiB End job on nodeC006 at 2024-07-19 18:02:21