Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCom-S 2024-07-10 | SAT (TO) | -33 | 3600.1 | 3612.8 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb |
| MD5SUM | 13e3cfc76a003558f082ab5832d2ffa8 |
| 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 | -35 |
| Best CPU time to get the best result obtained on this benchmark | 5.63628 |
| 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 | 595 |
| Total number of constraints | 27856 |
| Number of constraints which are clauses | 27856 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 595 |
| 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 | 595 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 595 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.10/0.11 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.10/0.11 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.10/0.11 o 0 0.10/0.11 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.10/0.13 c Starting SCIP solver (with time-limit = 1800s) ... 1793.58/1800.13 c SCIP timeout with lower and upper bounds: [-35, -33] 1793.58/1800.13 o -33 1793.58/1800.13 c Restarting SCIP solver (with time-limit = 2400s) ... 2391.31/2400.13 c SCIP timeout with lower and upper bounds: [-35, -33] 3600.08/3612.80 3600.08/3612.80 v -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 3600.08/3612.80 s SATISFIABLE
OK -33
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 (61555 MiB free)
memory of node 1: 64510 MiB (58405 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439951-1721198812/watcher-4439951-1721198812 -o /tmp/evaluation-result-4439951-1721198812/solver-4439951-1721198812 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721194640-886674 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439951-1721198812.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=888997, runsolver pid=888994
[startup+0.100101 s]*
/proc/loadavg: 4.15 4.12 4.06 5/241 888998
/proc/meminfo: memFree=122820976/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=41356 memory=23656 CPUtime=0.1 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 5233 0 0 0 10 0 0 0 20 0 1 0 172040402 42348544 5914 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 10339 5914 782 2417 0 7441 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41356 KiB
Current children cumulated memory: 23656 KiB
[startup+0.212952 s]*
/proc/loadavg: 4.15 4.12 4.06 5/241 888998
/proc/meminfo: memFree=122781496/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=80640 memory=70440 CPUtime=0.21 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 15655 0 0 0 19 2 0 0 20 0 1 0 172040402 82575360 17610 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 20160 17610 2350 2417 0 17262 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 80640 KiB
Current children cumulated memory: 70440 KiB
[startup+0.312742 s]*
/proc/loadavg: 4.15 4.12 4.06 5/241 888998
/proc/meminfo: memFree=122768588/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=90392 memory=80208 CPUtime=0.31 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 18089 0 0 0 29 2 0 0 20 0 1 0 172040402 92561408 20052 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 22598 20052 2350 2417 0 19700 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 90392 KiB
Current children cumulated memory: 80208 KiB
[startup+0.700322 s]
/proc/loadavg: 4.15 4.12 4.06 5/241 888998
/proc/meminfo: memFree=122723204/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=164004 memory=147208 CPUtime=0.68 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 28949 0 0 0 64 4 0 0 20 0 1 0 172040402 167940096 36802 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 41001 36802 2446 2417 0 38103 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 164004 KiB
Current children cumulated memory: 147208 KiB
[startup+1.50035 s]
/proc/loadavg: 4.15 4.12 4.06 5/241 888998
/proc/meminfo: memFree=122697752/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=180228 memory=156748 CPUtime=1.48 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 31274 0 0 0 144 4 0 0 20 0 1 0 172040402 184553472 39187 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 45057 39187 2526 2417 0 42159 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180228 KiB
Current children cumulated memory: 156748 KiB
[startup+3.1125 s]
/proc/loadavg: 4.15 4.12 4.06 5/241 888998
/proc/meminfo: memFree=122690508/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=186500 memory=158328 CPUtime=3.1 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 31675 0 0 0 305 5 0 0 20 0 1 0 172040402 190976000 39582 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 46625 39582 2526 2417 0 43727 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 186500 KiB
Current children cumulated memory: 158328 KiB
[startup+6.30032 s]
/proc/loadavg: 4.14 4.12 4.06 5/241 888998
/proc/meminfo: memFree=122687024/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=217264 memory=162812 CPUtime=6.27 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 32775 0 0 0 622 5 0 0 20 0 1 0 172040402 222478336 40703 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 54316 40703 2526 2417 0 51418 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 217264 KiB
Current children cumulated memory: 162812 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.11 4.06 5/241 889000
/proc/meminfo: memFree=122647392/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=269244 memory=201336 CPUtime=12.64 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 41883 0 0 0 1258 6 0 0 20 0 1 0 172040402 275705856 50334 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 67311 50334 2542 2417 0 64413 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 269244 KiB
Current children cumulated memory: 201336 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.11 4.06 5/241 889001
/proc/meminfo: memFree=122538148/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=300816 memory=232472 CPUtime=25.4 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 49680 0 0 0 2532 8 0 0 20 0 1 0 172040402 308035584 58118 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 75204 58118 2542 2417 0 72306 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 300816 KiB
Current children cumulated memory: 232472 KiB
[startup+51.1124 s]
/proc/loadavg: 4.13 4.11 4.06 5/241 889006
/proc/meminfo: memFree=122519148/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=316804 memory=244280 CPUtime=50.92 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 52151 0 0 0 5083 9 0 0 20 0 1 0 172040402 324407296 61070 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 79201 61070 2542 2417 0 76303 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 316804 KiB
Current children cumulated memory: 244280 KiB
[startup+102.3 s]
/proc/loadavg: 4.56 4.22 4.10 5/241 889014
/proc/meminfo: memFree=122465348/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=389396 memory=278740 CPUtime=101.93 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 65217 0 0 0 10182 11 0 0 20 0 1 0 172040402 398741504 69685 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 97349 69685 2542 2417 0 94451 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 389396 KiB
Current children cumulated memory: 278740 KiB
[startup+162.3 s]
/proc/loadavg: 4.60 4.32 4.14 5/241 889025
/proc/meminfo: memFree=122348528/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=499000 memory=376284 CPUtime=161.73 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 89168 0 0 0 16158 15 0 0 20 0 1 0 172040402 510976000 94071 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 124750 94071 2542 2417 0 121852 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 499000 KiB
Current children cumulated memory: 376284 KiB
[startup+222.3 s]
/proc/loadavg: 4.33 4.29 4.14 5/242 889038
/proc/meminfo: memFree=122300076/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=530572 memory=408144 CPUtime=221.53 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 93054 0 0 0 22137 16 0 0 20 0 1 0 172040402 543305728 102036 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 132643 102036 2542 2417 0 129745 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 530572 KiB
Current children cumulated memory: 408144 KiB
[startup+282.3 s]
/proc/loadavg: 4.23 4.26 4.14 5/242 889048
/proc/meminfo: memFree=122227940/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=596440 memory=472160 CPUtime=281.31 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 105800 0 0 0 28113 18 0 0 20 0 1 0 172040402 610754560 118040 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 149110 118040 2794 2417 0 146212 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 596440 KiB
Current children cumulated memory: 472160 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.23 4.13 5/242 889059
/proc/meminfo: memFree=122140016/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=631580 memory=501692 CPUtime=341.1 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 112184 0 0 0 34091 19 0 0 20 0 1 0 172040402 646737920 125423 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 157895 125423 2794 2417 0 154997 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 631580 KiB
Current children cumulated memory: 501692 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.23 4.14 5/242 889069
/proc/meminfo: memFree=122091428/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=631580 memory=509648 CPUtime=400.88 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 112673 0 0 0 40069 19 0 0 20 0 1 0 172040402 646737920 127412 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 157895 127412 2794 2417 0 154997 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 631580 KiB
Current children cumulated memory: 509648 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.20 4.13 5/242 889080
/proc/meminfo: memFree=122044304/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=663912 memory=538156 CPUtime=460.68 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 116239 0 0 0 46048 20 0 0 20 0 1 0 172040402 679845888 134539 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
################
# More data... #
################
Current children cumulated memory: 849776 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.29 4.20 5/245 890693
/proc/meminfo: memFree=122166028/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=862780 memory=849776 CPUtime=2852.04 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 261591 0 0 0 285148 56 0 0 20 0 1 0 172040402 883486720 212444 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 215695 212444 2794 2417 0 212797 0
Current children cumulated CPU time: 2852.04 s
Current children cumulated vsize: 862780 KiB
Current children cumulated memory: 849776 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.25 4.19 5/245 890704
/proc/meminfo: memFree=122172592/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=862780 memory=849776 CPUtime=2911.85 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 261711 0 0 0 291129 56 0 0 20 0 1 0 172040402 883486720 212444 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 215695 212444 2794 2417 0 212797 0
Current children cumulated CPU time: 2911.85 s
Current children cumulated vsize: 862780 KiB
Current children cumulated memory: 849776 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.23 4.18 5/241 890714
/proc/meminfo: memFree=122172104/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=862780 memory=849776 CPUtime=2971.66 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 261867 0 0 0 297110 56 0 0 20 0 1 0 172040402 883486720 212444 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 215695 212444 2794 2417 0 212797 0
Current children cumulated CPU time: 2971.66 s
Current children cumulated vsize: 862780 KiB
Current children cumulated memory: 849776 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.19 4.17 5/241 890862
/proc/meminfo: memFree=123549156/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=862780 memory=849776 CPUtime=3031.48 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 262005 0 0 0 303092 56 0 0 20 0 1 0 172040402 883486720 212444 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 215695 212444 2794 2417 0 212797 0
Current children cumulated CPU time: 3031.48 s
Current children cumulated vsize: 862780 KiB
Current children cumulated memory: 849776 KiB
[startup+3102.3 s]
/proc/loadavg: 4.23 4.21 4.18 5/241 890872
/proc/meminfo: memFree=121860264/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=862780 memory=849776 CPUtime=3091.29 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 262134 0 0 0 309073 56 0 0 20 0 1 0 172040402 883486720 212444 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 215695 212444 2794 2417 0 212797 0
Current children cumulated CPU time: 3091.29 s
Current children cumulated vsize: 862780 KiB
Current children cumulated memory: 849776 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/241 890883
/proc/meminfo: memFree=121856940/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=862780 memory=849776 CPUtime=3151.1 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 262246 0 0 0 315054 56 0 0 20 0 1 0 172040402 883486720 212444 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 215695 212444 2794 2417 0 212797 0
Current children cumulated CPU time: 3151.1 s
Current children cumulated vsize: 862780 KiB
Current children cumulated memory: 849776 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.18 5/243 890897
/proc/meminfo: memFree=119671948/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=862780 memory=849792 CPUtime=3210.9 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 262378 0 0 0 321034 56 0 0 20 0 1 0 172040402 883486720 212448 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 215695 212448 2794 2417 0 212797 0
Current children cumulated CPU time: 3210.9 s
Current children cumulated vsize: 862780 KiB
Current children cumulated memory: 849792 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/243 890907
/proc/meminfo: memFree=111240132/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=862780 memory=849792 CPUtime=3270.71 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 262507 0 0 0 327015 56 0 0 20 0 1 0 172040402 883486720 212448 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 215695 212448 2794 2417 0 212797 0
Current children cumulated CPU time: 3270.71 s
Current children cumulated vsize: 862780 KiB
Current children cumulated memory: 849792 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/244 890920
/proc/meminfo: memFree=109999276/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=862780 memory=849792 CPUtime=3330.51 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 262635 0 0 0 332995 56 0 0 20 0 1 0 172040402 883486720 212448 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 215695 212448 2794 2417 0 212797 0
Current children cumulated CPU time: 3330.51 s
Current children cumulated vsize: 862780 KiB
Current children cumulated memory: 849792 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.17 4.18 5/244 890930
/proc/meminfo: memFree=110795288/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=862780 memory=849792 CPUtime=3390.3 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 262765 0 0 0 338974 56 0 0 20 0 1 0 172040402 883486720 212448 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 215695 212448 2794 2417 0 212797 0
Current children cumulated CPU time: 3390.3 s
Current children cumulated vsize: 862780 KiB
Current children cumulated memory: 849792 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/244 890941
/proc/meminfo: memFree=110785132/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=862780 memory=849792 CPUtime=3450.09 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 262912 0 0 0 344953 56 0 0 20 0 1 0 172040402 883486720 212448 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 215695 212448 2794 2417 0 212797 0
Current children cumulated CPU time: 3450.09 s
Current children cumulated vsize: 862780 KiB
Current children cumulated memory: 849792 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/244 890952
/proc/meminfo: memFree=110776236/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=862780 memory=849888 CPUtime=3509.88 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 263042 0 0 0 350932 56 0 0 20 0 1 0 172040402 883486720 212472 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 215695 212472 2794 2417 0 212797 0
Current children cumulated CPU time: 3509.88 s
Current children cumulated vsize: 862780 KiB
Current children cumulated memory: 849888 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.16 4.17 5/242 890962
/proc/meminfo: memFree=110764328/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=862780 memory=850616 CPUtime=3569.68 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 263189 0 0 0 356912 56 0 0 20 0 1 0 172040402 883486720 212654 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 215695 212654 2794 2417 0 212797 0
Current children cumulated CPU time: 3569.68 s
Current children cumulated vsize: 862780 KiB
Current children cumulated memory: 850616 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 4.12 4.14 4.16 5/241 890967
/proc/meminfo: memFree=110758244/131655788 swapFree=131071996/131071996
[pid=888997] ppid=888994 vsize=862780 memory=850616 CPUtime=3600.08 cores=0,2
/proc/888997/stat : 888997 (CASHWMaxSAT-Dis) R 888994 888997 886664 0 -1 4194304 263262 0 0 0 359952 56 0 0 20 0 1 0 172040402 883486720 212654 134679101440 4194304 14093885 140720847544080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 54153216 140720847545316 140720847545431 140720847545431 140720847552447 0
/proc/888997/statm: 215695 212654 2794 2417 0 212797 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 862780 KiB
Current children cumulated memory: 850616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.8 s]
# the end of solver process 888997 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.53 s, system=0.567065 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3612.8
CPU time (s): 3600.1
CPU user time (s): 3599.53
CPU system time (s): 0.567065
CPU usage (%): 99.6483
Max. virtual memory (cumulated for all children) (KiB): 1297040
Max. memory (cumulated for all children) (KiB): 1249868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.53
system time used= 0.567065
maximum resident set size= 1249868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263263
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= 88
involuntary context switches= 25290
# summary of solver processes directly reported to runsolver:
# pid: 888997
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.53
# total CPU system time (s): 0.567065
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9605 second user time and 32.1732 second system time
The end
Begin job on nodeC010 at 2024-07-17 08:47:03 IDJOB=4439951 IDBENCH=146690 IDSOLVER=3077 FILE ID=nodeC010/4439951-1721198812 RUNJOBID= nodeC010-1721194640-886674 SLURM_JOB_ID= 7508878 Free space on /tmp= 723740 MiB SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439951-1721198812/watcher-4439951-1721198812 -o /tmp/evaluation-result-4439951-1721198812/solver-4439951-1721198812 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721194640-886674 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439951-1721198812.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 13e3cfc76a003558f082ab5832d2ffa8 RANDOM SEED=1483504701 nodeC010.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 : 3589.507 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.51 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 : 3603.657 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.31 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.174 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.51 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.311 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.31 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 : 3664.027 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.51 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 : 3599.218 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.31 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.430 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.51 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.339 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 122840236 kB MemAvailable: 127319476 kB Buffers: 445364 kB Cached: 4819656 kB SwapCached: 0 kB Active: 828720 kB Inactive: 7328220 kB Active(anon): 1456 kB Inactive(anon): 2927836 kB Active(file): 827264 kB Inactive(file): 4400384 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 13332 kB Writeback: 0 kB AnonPages: 2890824 kB Mapped: 135536 kB Shmem: 37704 kB KReclaimable: 183244 kB Slab: 292132 kB SReclaimable: 183244 kB SUnreclaim: 108888 kB KernelStack: 3868 kB PageTables: 15396 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 3829836 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 54752 kB HardwareCorrupted: 0 kB AnonHugePages: 1626112 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: 234312 kB DirectMap2M: 29030400 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 723724 MiB End job on nodeC010 at 2024-07-17 09:47:16