Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCad-S 2025-06-01 | SAT (TO) | -33 | 3600.05 | 3611.2 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb |
| MD5SUM | 42524e858f098b79daaad844b6e2f59d |
| 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 | 16.6529 |
| 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 | 27842 |
| Number of constraints which are clauses | 27842 |
| 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 cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 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.95/1800.13 c SCIP timeout with lower and upper bounds: [-35, -33] 1793.95/1800.13 o -33 1793.95/1800.13 c Restarting SCIP solver (with time-limit = 2400s) ... 2392.15/2400.13 c SCIP timeout with lower and upper bounds: [-35, -33] 3600.04/3611.20 3600.04/3611.20 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.04/3611.20 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: 63665 MiB (61593 MiB free)
memory of node 1: 64507 MiB (63378 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485111-1751297357/watcher-4485111-1751297357 -o /tmp/evaluation-result-4485111-1751297357/solver-4485111-1751297357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751290134-45271 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4485111-1751297357.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=46033, runsolver pid=46022
[startup+0.100063 s]*
/proc/loadavg: 4.12 4.15 4.11 6/265 46034
/proc/meminfo: memFree=127939908/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=38616 memory=24192 CPUtime=0.1 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 5316 0 0 0 9 1 0 0 20 0 1 0 45413655 39542784 6048 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 9654 6048 896 2593 0 6547 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38616 KiB
Current children cumulated memory: 24192 KiB
[startup+0.20564 s]*
/proc/loadavg: 4.12 4.15 4.11 6/265 46034
/proc/meminfo: memFree=127857428/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=77896 memory=67584 CPUtime=0.2 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 14669 0 0 0 18 2 0 0 20 0 1 0 45413655 79765504 16896 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 19474 16896 2496 2593 0 16367 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77896 KiB
Current children cumulated memory: 67584 KiB
[startup+0.3056 s]*
/proc/loadavg: 4.12 4.15 4.11 6/265 46034
/proc/meminfo: memFree=127825676/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=87584 memory=77036 CPUtime=0.3 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 18293 0 0 0 27 3 0 0 20 0 1 0 45413655 89686016 19259 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 21896 19259 2528 2593 0 18789 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 87584 KiB
Current children cumulated memory: 77036 KiB
[startup+0.700175 s]
/proc/loadavg: 4.12 4.15 4.11 6/265 46034
/proc/meminfo: memFree=127623320/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=159548 memory=141668 CPUtime=0.69 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 31090 0 0 0 64 5 0 0 20 0 1 0 45413655 163377152 35417 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 39887 35417 2624 2593 0 36780 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 159548 KiB
Current children cumulated memory: 141668 KiB
[startup+1.50017 s]
/proc/loadavg: 4.12 4.15 4.11 6/265 46034
/proc/meminfo: memFree=127475080/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=177348 memory=152804 CPUtime=1.48 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 33909 0 0 0 143 5 0 0 20 0 1 0 45413655 181604352 38201 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 44337 38201 2624 2593 0 41230 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 177348 KiB
Current children cumulated memory: 152804 KiB
[startup+3.10475 s]
/proc/loadavg: 4.12 4.15 4.11 6/265 46079
/proc/meminfo: memFree=128594680/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=183228 memory=155712 CPUtime=3.08 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 34116 0 0 0 303 5 0 0 20 0 1 0 45413655 187625472 38928 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 45807 38928 2624 2593 0 42700 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 183228 KiB
Current children cumulated memory: 155712 KiB
[startup+6.3001 s]
/proc/loadavg: 4.11 4.14 4.11 6/265 46079
/proc/meminfo: memFree=128495516/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=266244 memory=200624 CPUtime=6.26 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 45117 0 0 0 619 7 0 0 20 0 1 0 45413655 272633856 50156 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 66561 50156 2624 2593 0 63454 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 266244 KiB
Current children cumulated memory: 200624 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.16 4.11 6/265 46079
/proc/meminfo: memFree=128423192/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=266664 memory=203056 CPUtime=12.64 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 45724 0 0 0 1257 7 0 0 20 0 1 0 45413655 273063936 50764 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 66666 50764 2624 2593 0 63559 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 266664 KiB
Current children cumulated memory: 203056 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.17 4.12 6/265 46079
/proc/meminfo: memFree=128399008/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=267000 memory=203568 CPUtime=25.39 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 45880 0 0 0 2532 7 0 0 20 0 1 0 45413655 273408000 50892 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 66750 50892 2624 2593 0 63643 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 267000 KiB
Current children cumulated memory: 203568 KiB
[startup+51.1048 s]
/proc/loadavg: 4.14 4.15 4.11 6/265 46081
/proc/meminfo: memFree=128303064/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=313824 memory=237376 CPUtime=50.9 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 59243 0 0 0 5081 9 0 0 20 0 1 0 45413655 321355776 59344 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 78456 59344 2624 2593 0 75349 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 313824 KiB
Current children cumulated memory: 237376 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.11 6/265 46082
/proc/meminfo: memFree=128018620/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=380360 memory=298752 CPUtime=101.93 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 73751 0 0 0 10181 12 0 0 20 0 1 0 45413655 389488640 74688 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 95090 74688 2624 2593 0 91983 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 380360 KiB
Current children cumulated memory: 298752 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.11 6/264 46084
/proc/meminfo: memFree=127776748/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=434836 memory=339028 CPUtime=161.73 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 86123 0 0 0 16159 14 0 0 20 0 1 0 45413655 445272064 84757 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 108709 84757 2624 2593 0 105602 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 434836 KiB
Current children cumulated memory: 339028 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.10 6/264 46086
/proc/meminfo: memFree=127631792/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=509388 memory=395160 CPUtime=221.51 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 99920 0 0 0 22135 16 0 0 20 0 1 0 45413655 521613312 98790 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 127347 98790 2880 2593 0 124240 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 509388 KiB
Current children cumulated memory: 395160 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.14 4.10 6/264 46088
/proc/meminfo: memFree=127448608/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=517388 memory=406560 CPUtime=281.28 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 113455 0 0 0 28111 17 0 0 20 0 1 0 45413655 529805312 101640 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 129347 101640 2880 2593 0 126240 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 517388 KiB
Current children cumulated memory: 406560 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.10 6/264 46091
/proc/meminfo: memFree=127298708/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=544692 memory=431296 CPUtime=341.08 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 118551 0 0 0 34090 18 0 0 20 0 1 0 45413655 557764608 107824 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 136173 107824 2880 2593 0 133066 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 544692 KiB
Current children cumulated memory: 431296 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/264 46094
/proc/meminfo: memFree=127247176/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=574484 memory=451920 CPUtime=400.85 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 126084 0 0 0 40067 18 0 0 20 0 1 0 45413655 588271616 112980 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 143621 112980 2880 2593 0 140514 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 574484 KiB
Current children cumulated memory: 451920 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/265 46097
/proc/meminfo: memFree=127170272/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=604412 memory=486128 CPUtime=460.64 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 132836 0 0 0 46044 20 0 0 20 0 1 0 45413655 618917888 121532 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 151103 121532 2880 2593 0 147996 0
Current children cumulated CPU time: 460.64 s
################
# More data... #
################
Current children cumulated memory: 617356 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 46273
/proc/meminfo: memFree=110044532/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=636484 memory=619532 CPUtime=2853.16 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 251796 0 0 0 285269 47 0 0 20 0 1 0 45413655 651759616 154883 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 159121 154883 2944 2593 0 156014 0
Current children cumulated CPU time: 2853.16 s
Current children cumulated vsize: 636484 KiB
Current children cumulated memory: 619532 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/264 46275
/proc/meminfo: memFree=110045940/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=636484 memory=619532 CPUtime=2912.99 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 251809 0 0 0 291252 47 0 0 20 0 1 0 45413655 651759616 154883 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 159121 154883 2944 2593 0 156014 0
Current children cumulated CPU time: 2912.99 s
Current children cumulated vsize: 636484 KiB
Current children cumulated memory: 619532 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 46277
/proc/meminfo: memFree=110018196/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=636484 memory=619532 CPUtime=2972.83 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 251873 0 0 0 297236 47 0 0 20 0 1 0 45413655 651759616 154883 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 159121 154883 2944 2593 0 156014 0
Current children cumulated CPU time: 2972.83 s
Current children cumulated vsize: 636484 KiB
Current children cumulated memory: 619532 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 46287
/proc/meminfo: memFree=109973272/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=636484 memory=619532 CPUtime=3032.67 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 251928 0 0 0 303220 47 0 0 20 0 1 0 45413655 651759616 154883 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 159121 154883 2944 2593 0 156014 0
Current children cumulated CPU time: 3032.67 s
Current children cumulated vsize: 636484 KiB
Current children cumulated memory: 619532 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/265 46289
/proc/meminfo: memFree=109982504/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=636484 memory=619532 CPUtime=3092.51 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 251968 0 0 0 309204 47 0 0 20 0 1 0 45413655 651759616 154883 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 159121 154883 2944 2593 0 156014 0
Current children cumulated CPU time: 3092.51 s
Current children cumulated vsize: 636484 KiB
Current children cumulated memory: 619532 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 46291
/proc/meminfo: memFree=109631676/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=636484 memory=619532 CPUtime=3152.34 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 252027 0 0 0 315187 47 0 0 20 0 1 0 45413655 651759616 154883 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 159121 154883 2944 2593 0 156014 0
Current children cumulated CPU time: 3152.34 s
Current children cumulated vsize: 636484 KiB
Current children cumulated memory: 619532 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 46293
/proc/meminfo: memFree=109932416/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=636484 memory=619532 CPUtime=3212.17 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 252055 0 0 0 321170 47 0 0 20 0 1 0 45413655 651759616 154883 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 159121 154883 2944 2593 0 156014 0
Current children cumulated CPU time: 3212.17 s
Current children cumulated vsize: 636484 KiB
Current children cumulated memory: 619532 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 46295
/proc/meminfo: memFree=110045476/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=636484 memory=621580 CPUtime=3272.01 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 252134 0 0 0 327154 47 0 0 20 0 1 0 45413655 651759616 155395 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 159121 155395 2944 2593 0 156014 0
Current children cumulated CPU time: 3272.01 s
Current children cumulated vsize: 636484 KiB
Current children cumulated memory: 621580 KiB
[startup+3342.3 s]
/proc/loadavg: 4.51 4.22 4.13 5/264 46298
/proc/meminfo: memFree=110034436/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=636484 memory=621580 CPUtime=3331.85 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 252177 0 0 0 333138 47 0 0 20 0 1 0 45413655 651759616 155395 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 159121 155395 2944 2593 0 156014 0
Current children cumulated CPU time: 3331.85 s
Current children cumulated vsize: 636484 KiB
Current children cumulated memory: 621580 KiB
[startup+3402.3 s]
/proc/loadavg: 4.56 4.27 4.15 5/263 46300
/proc/meminfo: memFree=110089068/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=636484 memory=623688 CPUtime=3391.69 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 252228 0 0 0 339122 47 0 0 20 0 1 0 45413655 651759616 155922 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 159121 155922 2944 2593 0 156014 0
Current children cumulated CPU time: 3391.69 s
Current children cumulated vsize: 636484 KiB
Current children cumulated memory: 623688 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.23 4.14 5/265 46304
/proc/meminfo: memFree=107933864/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=636484 memory=623688 CPUtime=3451.54 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 252307 0 0 0 345106 48 0 0 20 0 1 0 45413655 651759616 155922 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 159121 155922 2944 2593 0 156014 0
Current children cumulated CPU time: 3451.54 s
Current children cumulated vsize: 636484 KiB
Current children cumulated memory: 623688 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.22 4.14 5/265 46306
/proc/meminfo: memFree=110013832/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=636484 memory=623688 CPUtime=3511.38 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 252337 0 0 0 351090 48 0 0 20 0 1 0 45413655 651759616 155922 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 159121 155922 2944 2593 0 156014 0
Current children cumulated CPU time: 3511.38 s
Current children cumulated vsize: 636484 KiB
Current children cumulated memory: 623688 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.21 4.14 5/265 46308
/proc/meminfo: memFree=110013664/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=636484 memory=623688 CPUtime=3571.22 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 252424 0 0 0 357074 48 0 0 20 0 1 0 45413655 651759616 155922 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 159121 155922 2944 2593 0 156014 0
Current children cumulated CPU time: 3571.22 s
Current children cumulated vsize: 636484 KiB
Current children cumulated memory: 623688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.18 4.20 4.14 4/263 46308
/proc/meminfo: memFree=110490928/131249996 swapFree=33010684/33010684
[pid=46033] ppid=46022 vsize=636484 memory=623688 CPUtime=3600.04 cores=1,3
/proc/46033/stat : 46033 (CASHWMaxSAT-Dis) R 46022 46033 45252 0 -1 4194304 252424 0 0 0 359956 48 0 0 20 0 1 0 45413655 651759616 155922 18446744073709551615 4198400 14817773 140733550396688 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 48844800 140733550405994 140733550406109 140733550406109 140733550411711 0
/proc/46033/statm: 159121 155922 2944 2593 0 156014 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 636484 KiB
Current children cumulated memory: 623688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.2 s]
# the end of solver process 46033 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.56 s, system=0.484488 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.2
CPU time (s): 3600.05
CPU user time (s): 3599.56
CPU system time (s): 0.484488
CPU usage (%): 99.6911
Max. virtual memory (cumulated for all children) (KiB): 1294504
Max. memory (cumulated for all children) (KiB): 1199716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.56
system time used= 0.484488
maximum resident set size= 1199716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252425
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= 52
involuntary context switches= 2232
# summary of solver processes directly reported to runsolver:
# pid: 46033
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.56
# total CPU system time (s): 0.484488
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04862 second user time and 15.1674 second system time
The end
Begin job on nodeC024 at 2025-06-30 17:29:17 IDJOB=4485111 IDBENCH=146694 IDSOLVER=3322 FILE ID=nodeC024/4485111-1751297357 RUNJOBID= nodeC024-1751290134-45271 SLURM_JOB_ID= 9594239 Free space on /tmp= 433044 MiB SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485111-1751297357/watcher-4485111-1751297357 -o /tmp/evaluation-result-4485111-1751297357/solver-4485111-1751297357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751290134-45271 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4485111-1751297357.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 42524e858f098b79daaad844b6e2f59d RANDOM SEED=642759830 nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3599.727 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3596.592 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3642.765 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.688 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3600.236 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.568 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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.738 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.675 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 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 127972960 kB MemAvailable: 128297176 kB Buffers: 3280 kB Cached: 1130252 kB SwapCached: 0 kB Active: 1736588 kB Inactive: 874748 kB Active(anon): 1495868 kB Inactive(anon): 0 kB Active(file): 240720 kB Inactive(file): 874748 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 43100 kB Writeback: 24 kB AnonPages: 1480400 kB Mapped: 115268 kB Shmem: 18064 kB KReclaimable: 95572 kB Slab: 182704 kB SReclaimable: 95572 kB SUnreclaim: 87132 kB KernelStack: 4220 kB PageTables: 5736 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 2052432 kB VmallocTotal: 34359738367 kB VmallocUsed: 150472 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 1093632 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432996 MiB End job on nodeC024 at 2025-06-30 18:29:29