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) | 10396 | 3600.09 | 3612.2 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
| MD5SUM | 0aad002c81e214aa0b66948d5567e1f0 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 8691 |
| Best CPU time to get the best result obtained on this benchmark | 0.113538 |
| 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 | 548 |
| Total number of constraints | 166 |
| Number of constraints which are clauses | 40 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 126 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 143 |
| Number of terms in the objective function | 416 |
| Biggest coefficient in the objective function | 11000 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 96797 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 11000 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 96797 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.11 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.09/0.11 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.09/0.16 c Starting SCIP solver (with time-limit = 1800s) ... 1794.14/1800.17 c SCIP timeout with lower and upper bounds: [243, 29380] 1794.33/1800.30 o 29380 1895.00/1901.36 o 16574 1955.29/1961.81 o 13322 1982.60/1989.20 o 13310 1982.60/1989.29 o 13246 2052.07/2058.96 o 13016 2283.00/2290.63 o 10396 3600.08/3612.20 3600.08/3612.20 v -x1 -x2 x3 x4 -x5 -x8 -x10 -x11 -x12 -x13 x14 x15 -x16 -x19 -x21 -x22 -x23 x24 x25 -x26 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x38 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x49 -x51 -x52 -x53 -x54 -x55 -x58 -x60 -x61 x62 x63 -x64 -x66 -x67 x68 x69 -x70 -x72 -x73 -x74 x75 x76 -x77 -x79 -x80 -x81 x82 x83 -x84 -x87 -x89 -x90 -x91 -x92 x93 x94 -x95 -x98 -x100 -x101 -x102 x103 x104 -x105 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x117 -x119 -x120 x121 -x122 x123 x124 -x125 -x128 x130 -x131 -x132 -x133 -x134 -x137 -x139 -x140 x141 x142 -x143 -x145 x146 x147 x148 -x149 x151 -x152 -x153 x154 x155 -x156 -x158 -x159 -x160 x161 x162 x163 -x164 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 x176 -x179 -x180 x181 x182 x183 -x184 -x185 -x186 x187 x188 -x191 x192 x193 x194 x195 -x196 -x197 -x198 -x199 x200 x201 -x202 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 x215 x216 -x217 -x218 -x219 x220 x221 -x224 -x225 x226 x227 x228 -x229 -x230 -x231 -x232 -x233 -x236 -x237 x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 -x259 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x303 -x304 x305 -x306 x307 -x308 x309 -x310 -x311 -x312 x313 x314 -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 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x351 -x352 x353 x354 -x355 -x356 -x357 -x358 x359 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 x370 -x371 -x374 -x375 -x376 -x377 -x378 -x379 x380 x381 -x382 -x383 -x384 -x387 -x388 x389 x390 x391 -x392 -x393 -x394 -x395 -x396 -x399 -x400 -x401 x402 x403 -x404 -x405 -x406 x407 x408 -x409 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 x420 x421 -x422 -x425 -x426 -x427 x428 x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x441 -x442 -x443 x444 -x445 -x446 x447 -x449 -x450 x451 x452 x453 -x454 -x455 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x474 -x475 -x476 x477 x478 -x479 -x480 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x490 -x491 x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x6 x7 -x9 -x500 x17 -x18 -x20 x501 -x27 x28 -x502 -x36 -x37 -x39 -x503 -x47 x48 -x50 x504 -x56 -x57 -x59 -x505 -x65 -x506 -x71 -x507 -x78 -x508 x85 -x86 -x88 x509 -x96 x97 x99 x510 x106 -x107 x511 x115 -x116 -x118 x512 -x126 x127 -x129 x513 -x135 -x136 -x138 -x514 -x144 -x515 -x150 x516 -x157 -x517 -x165 x166 x518 -x177 x178 x519 -x189 x190 x520 -x203 x204 -x521 x522 -x222 x223 x523 x234 -x235 x524 -x247 x248 -x525 x260 -x261 x526 -x274 x275 x527 x287 -x288 x528 -x301 x302 x529 x315 x530 x531 x532 x341 x533 x350 x534 x360 -x535 -x372 -x373 -x536 -x385 x386 x537 -x397 x398 x538 x410 -x411 x539 -x423 x424 x540 -x541 x440 x542 x448 x543 -x456 -x544 -x464 -x545 x473 x546 x481 -x547 x489 x548 3600.08/3612.20 s SATISFIABLE
OK 10396
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: 63931 MiB (60638 MiB free)
memory of node 1: 64510 MiB (60396 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438609-1721206147/watcher-4438609-1721206147 -o /tmp/evaluation-result-4438609-1721206147/solver-4438609-1721206147 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721206158-914127 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438609-1721206147.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=914283, runsolver pid=914280
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 1.16 1.44 2.55 4/253 914298
/proc/meminfo: memFree=123930952/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=29108 memory=14640 CPUtime=0.09 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 3074 0 0 0 9 0 0 0 20 0 1 0 172784368 29806592 3660 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 7277 3660 1066 2726 0 4025 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29108 KiB
Current children cumulated memory: 14640 KiB
[startup+0.205731 s]*
/proc/loadavg: 1.16 1.44 2.55 4/250 914315
/proc/meminfo: memFree=123875936/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=106416 memory=95628 CPUtime=0.2 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 22236 0 0 0 17 3 0 0 20 0 1 0 172784368 108969984 23907 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 26604 23907 2522 2726 0 23352 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106416 KiB
Current children cumulated memory: 95628 KiB
[startup+0.305817 s]*
/proc/loadavg: 1.16 1.44 2.55 5/256 914330
/proc/meminfo: memFree=123828024/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=121848 memory=109716 CPUtime=0.29 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 25694 0 0 0 26 3 0 0 20 0 1 0 172784368 124772352 27429 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 30462 27429 2618 2726 0 27210 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 121848 KiB
Current children cumulated memory: 109716 KiB
[startup+0.700235 s]
/proc/loadavg: 1.16 1.44 2.55 5/256 914330
/proc/meminfo: memFree=123773068/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=166928 memory=152832 CPUtime=0.69 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 36462 0 0 0 64 5 0 0 20 0 1 0 172784368 170934272 38208 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 41732 38208 2650 2726 0 38480 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 166928 KiB
Current children cumulated memory: 152832 KiB
[startup+1.50024 s]
/proc/loadavg: 1.16 1.44 2.55 5/256 914330
/proc/meminfo: memFree=123756408/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=169376 memory=155736 CPUtime=1.49 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 37173 0 0 0 144 5 0 0 20 0 1 0 172784368 173441024 38934 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 42344 38934 2650 2726 0 39092 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 169376 KiB
Current children cumulated memory: 155736 KiB
[startup+3.10572 s]
/proc/loadavg: 1.39 1.48 2.56 5/256 914330
/proc/meminfo: memFree=123625832/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=174020 memory=160224 CPUtime=3.09 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 38308 0 0 0 304 5 0 0 20 0 1 0 172784368 178196480 40056 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 43505 40056 2650 2726 0 40253 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 174020 KiB
Current children cumulated memory: 160224 KiB
[startup+6.3002 s]
/proc/loadavg: 1.39 1.48 2.56 5/256 914330
/proc/meminfo: memFree=123556416/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=181060 memory=167880 CPUtime=6.27 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 40250 0 0 0 621 6 0 0 20 0 1 0 172784368 185405440 41970 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 45265 41970 2650 2726 0 42013 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 181060 KiB
Current children cumulated memory: 167880 KiB
[startup+12.7002 s]
/proc/loadavg: 1.79 1.57 2.58 5/256 914332
/proc/meminfo: memFree=123062744/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=186000 memory=172896 CPUtime=12.65 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 41464 0 0 0 1258 7 0 0 20 0 1 0 172784368 190464000 43224 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 46500 43224 2650 2726 0 43248 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 186000 KiB
Current children cumulated memory: 172896 KiB
[startup+25.5002 s]
/proc/loadavg: 2.21 1.66 2.60 5/256 914333
/proc/meminfo: memFree=122732028/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=347860 memory=319220 CPUtime=25.4 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 65558 0 0 0 2528 12 0 0 20 0 1 0 172784368 356208640 79805 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 86965 79805 2746 2726 0 83713 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 347860 KiB
Current children cumulated memory: 319220 KiB
[startup+51.1057 s]
/proc/loadavg: 2.88 1.87 2.64 5/256 914338
/proc/meminfo: memFree=122658000/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=348544 memory=320092 CPUtime=50.92 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 65864 0 0 0 5078 14 0 0 20 0 1 0 172784368 356909056 80023 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 87136 80023 2746 2726 0 83884 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 348544 KiB
Current children cumulated memory: 320092 KiB
[startup+102.3 s]
/proc/loadavg: 3.68 2.26 2.73 5/258 914396
/proc/meminfo: memFree=121659784/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=513408 memory=397560 CPUtime=101.93 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 82827 0 0 0 10175 18 0 0 20 0 1 0 172784368 525729792 99390 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 128352 99390 2762 2726 0 125100 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 513408 KiB
Current children cumulated memory: 397560 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 2.60 2.82 5/258 914406
/proc/meminfo: memFree=120416452/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=575112 memory=458140 CPUtime=161.72 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 102966 0 0 0 16150 22 0 0 20 0 1 0 172784368 588914688 114535 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 143778 114535 2762 2726 0 140526 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 575112 KiB
Current children cumulated memory: 458140 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.87 2.90 5/258 914418
/proc/meminfo: memFree=120383564/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=575112 memory=458140 CPUtime=221.51 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 102969 0 0 0 22129 22 0 0 20 0 1 0 172784368 588914688 114535 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 143778 114535 2762 2726 0 140526 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 575112 KiB
Current children cumulated memory: 458140 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.11 2.98 5/258 914428
/proc/meminfo: memFree=120267636/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=575112 memory=458140 CPUtime=281.32 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 102972 0 0 0 28109 23 0 0 20 0 1 0 172784368 588914688 114535 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 143778 114535 2762 2726 0 140526 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 575112 KiB
Current children cumulated memory: 458140 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 3.27 3.05 5/256 914438
/proc/meminfo: memFree=120360216/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=575112 memory=458140 CPUtime=341.11 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 102974 0 0 0 34088 23 0 0 20 0 1 0 172784368 588914688 114535 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 143778 114535 2762 2726 0 140526 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 575112 KiB
Current children cumulated memory: 458140 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.42 3.12 5/259 914836
/proc/meminfo: memFree=120353040/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=575112 memory=458372 CPUtime=400.9 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 103001 0 0 0 40067 23 0 0 20 0 1 0 172784368 588914688 114593 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 143778 114593 2762 2726 0 140526 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 575112 KiB
Current children cumulated memory: 458372 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.56 3.19 5/257 914846
/proc/meminfo: memFree=120283800/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=638420 memory=519560 CPUtime=460.69 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 118322 0 0 0 46043 26 0 0 20 0 1 0 172784368 653742080 129890 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 159605 129890 2762 2726 0 156353 0
################
# More data... #
################
Current children cumulated memory: 584656 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/255 916116
/proc/meminfo: memFree=120812460/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=725412 memory=584656 CPUtime=2852.78 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 163558 0 0 0 285235 43 0 0 20 0 1 0 172784368 742821888 146164 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 181353 146164 2826 2726 0 178101 0
Current children cumulated CPU time: 2852.78 s
Current children cumulated vsize: 725412 KiB
Current children cumulated memory: 584656 KiB
[startup+2922.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/255 916127
/proc/meminfo: memFree=120839348/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=725412 memory=584656 CPUtime=2912.57 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 163649 0 0 0 291214 43 0 0 20 0 1 0 172784368 742821888 146164 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 181353 146164 2826 2726 0 178101 0
Current children cumulated CPU time: 2912.57 s
Current children cumulated vsize: 725412 KiB
Current children cumulated memory: 584656 KiB
[startup+2982.3 s]
/proc/loadavg: 4.22 4.17 4.10 5/255 916137
/proc/meminfo: memFree=120805576/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=725412 memory=584656 CPUtime=2972.37 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 163716 0 0 0 297193 44 0 0 20 0 1 0 172784368 742821888 146164 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 181353 146164 2826 2726 0 178101 0
Current children cumulated CPU time: 2972.37 s
Current children cumulated vsize: 725412 KiB
Current children cumulated memory: 584656 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.17 4.10 5/255 916147
/proc/meminfo: memFree=120801564/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=725412 memory=584656 CPUtime=3032.16 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 163838 0 0 0 303172 44 0 0 20 0 1 0 172784368 742821888 146164 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 181353 146164 2826 2726 0 178101 0
Current children cumulated CPU time: 3032.16 s
Current children cumulated vsize: 725412 KiB
Current children cumulated memory: 584656 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/257 916162
/proc/meminfo: memFree=120826332/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=725412 memory=584656 CPUtime=3091.95 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 163926 0 0 0 309151 44 0 0 20 0 1 0 172784368 742821888 146164 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 181353 146164 2826 2726 0 178101 0
Current children cumulated CPU time: 3091.95 s
Current children cumulated vsize: 725412 KiB
Current children cumulated memory: 584656 KiB
[startup+3162.3 s]
/proc/loadavg: 4.24 4.17 4.10 5/256 916172
/proc/meminfo: memFree=120846168/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=725412 memory=584656 CPUtime=3151.74 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 164046 0 0 0 315130 44 0 0 20 0 1 0 172784368 742821888 146164 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 181353 146164 2826 2726 0 178101 0
Current children cumulated CPU time: 3151.74 s
Current children cumulated vsize: 725412 KiB
Current children cumulated memory: 584656 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.17 4.10 5/257 916184
/proc/meminfo: memFree=120874608/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=725412 memory=584656 CPUtime=3211.54 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 164097 0 0 0 321109 45 0 0 20 0 1 0 172784368 742821888 146164 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 181353 146164 2826 2726 0 178101 0
Current children cumulated CPU time: 3211.54 s
Current children cumulated vsize: 725412 KiB
Current children cumulated memory: 584656 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.15 4.10 5/257 916194
/proc/meminfo: memFree=120906440/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=725412 memory=584656 CPUtime=3271.33 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 164202 0 0 0 327088 45 0 0 20 0 1 0 172784368 742821888 146164 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 181353 146164 2826 2726 0 178101 0
Current children cumulated CPU time: 3271.33 s
Current children cumulated vsize: 725412 KiB
Current children cumulated memory: 584656 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/257 916206
/proc/meminfo: memFree=120868912/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=725412 memory=584656 CPUtime=3331.12 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 164256 0 0 0 333067 45 0 0 20 0 1 0 172784368 742821888 146164 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 181353 146164 2826 2726 0 178101 0
Current children cumulated CPU time: 3331.12 s
Current children cumulated vsize: 725412 KiB
Current children cumulated memory: 584656 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/255 916216
/proc/meminfo: memFree=120851724/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=725412 memory=598964 CPUtime=3390.89 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 164359 0 0 0 339044 45 0 0 20 0 1 0 172784368 742821888 149741 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 181353 149741 2826 2726 0 178101 0
Current children cumulated CPU time: 3390.89 s
Current children cumulated vsize: 725412 KiB
Current children cumulated memory: 598964 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/255 916226
/proc/meminfo: memFree=120712616/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=725412 memory=621728 CPUtime=3450.69 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 164402 0 0 0 345023 46 0 0 20 0 1 0 172784368 742821888 155432 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 181353 155432 2826 2726 0 178101 0
Current children cumulated CPU time: 3450.69 s
Current children cumulated vsize: 725412 KiB
Current children cumulated memory: 621728 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/254 916374
/proc/meminfo: memFree=121831396/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=725412 memory=630568 CPUtime=3510.48 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 164472 0 0 0 351002 46 0 0 20 0 1 0 172784368 742821888 157642 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 181353 157642 2826 2726 0 178101 0
Current children cumulated CPU time: 3510.48 s
Current children cumulated vsize: 725412 KiB
Current children cumulated memory: 630568 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/255 916385
/proc/meminfo: memFree=121817540/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=725412 memory=630568 CPUtime=3570.28 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 164631 0 0 0 356982 46 0 0 20 0 1 0 172784368 742821888 157642 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 181353 157642 2826 2726 0 178101 0
Current children cumulated CPU time: 3570.28 s
Current children cumulated vsize: 725412 KiB
Current children cumulated memory: 630568 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.06 4.12 4.09 5/255 916482
/proc/meminfo: memFree=122694148/131524600 swapFree=131071996/131071996
[pid=914283] ppid=914280 vsize=725412 memory=630568 CPUtime=3600.08 cores=0,2
/proc/914283/stat : 914283 (CASHWMaxSAT-Dis) R 914280 914283 914117 0 -1 4194304 164685 0 0 0 359962 46 0 0 20 0 1 0 172784368 742821888 157642 134679101440 4194304 15356333 140734751111824 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 49532928 140734751114210 140734751114326 140734751114326 140734751121342 0
/proc/914283/statm: 181353 157642 2826 2726 0 178101 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 725412 KiB
Current children cumulated memory: 630568 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.2 s]
# the end of solver process 914283 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.62 s, system=0.469334 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3612.2
CPU time (s): 3600.09
CPU user time (s): 3599.62
CPU system time (s): 0.469334
CPU usage (%): 99.6647
Max. virtual memory (cumulated for all children) (KiB): 843476
Max. memory (cumulated for all children) (KiB): 706400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.62
system time used= 0.469334
maximum resident set size= 706400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164685
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= 38
involuntary context switches= 25423
# summary of solver processes directly reported to runsolver:
# pid: 914283
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.62
# total CPU system time (s): 0.469334
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62927 second user time and 16.9603 second system time
The end
Begin job on nodeC033 at 2024-07-17 10:49:19 IDJOB=4438609 IDBENCH=146905 IDSOLVER=3074 FILE ID=nodeC033/4438609-1721206147 RUNJOBID= nodeC033-1721206158-914127 SLURM_JOB_ID= 7508907 Free space on /tmp= 890036 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.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-4438609-1721206147/watcher-4438609-1721206147 -o /tmp/evaluation-result-4438609-1721206147/solver-4438609-1721206147 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721206158-914127 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438609-1721206147.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0 RANDOM SEED=1451897552 nodeC033.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 : 0xb00002a cpu MHz : 3657.424 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.50 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 : 0xb00002a cpu MHz : 3681.106 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25 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 : 0xb00002a cpu MHz : 3665.354 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.50 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 : 0xb00002a cpu MHz : 3608.268 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25 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 : 0xb00002a cpu MHz : 3663.621 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.50 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 : 0xb00002a cpu MHz : 3683.697 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25 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 : 0xb00002a cpu MHz : 3599.949 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.50 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 : 0xb00002a cpu MHz : 3618.708 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123940440 kB MemAvailable: 129556508 kB Buffers: 469116 kB Cached: 5913280 kB SwapCached: 0 kB Active: 786056 kB Inactive: 6044840 kB Active(anon): 1500 kB Inactive(anon): 484492 kB Active(file): 784556 kB Inactive(file): 5560348 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 61548 kB Writeback: 0 kB AnonPages: 445668 kB Mapped: 119980 kB Shmem: 37716 kB KReclaimable: 221620 kB Slab: 343668 kB SReclaimable: 221620 kB SUnreclaim: 122048 kB KernelStack: 4176 kB PageTables: 9612 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 812396 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 64544 kB HardwareCorrupted: 0 kB AnonHugePages: 241664 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: 273108 kB DirectMap2M: 28860416 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890020 MiB End job on nodeC033 at 2024-07-17 11:49:31