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) | -33 | 3600.03 | 3610.61 |
| 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.16 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.10/0.16 o 0 0.10/0.16 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.10/0.18 c Starting SCIP solver (with time-limit = 1800s) ... 1794.61/1800.18 c SCIP timeout with lower and upper bounds: [-35, -33] 1794.90/1800.40 o -33 3600.01/3610.60 3600.01/3610.60 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.01/3610.60 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: 64096 MiB (59249 MiB free)
memory of node 1: 64473 MiB (61007 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438742-1721198375/watcher-4438742-1721198375 -o /tmp/evaluation-result-4438742-1721198375/solver-4438742-1721198375 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721194640-890944 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438742-1721198375.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=893089, runsolver pid=893086
[startup+0.100102 s]*
/proc/loadavg: 4.23 4.32 4.13 5/244 893090
/proc/meminfo: memFree=123127472/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=37232 memory=22620 CPUtime=0.1 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 6229 0 0 0 10 0 0 0 20 0 1 0 171996272 38125568 5655 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 9308 5655 1034 2726 0 6056 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37232 KiB
Current children cumulated memory: 22620 KiB
[startup+0.212856 s]*
/proc/loadavg: 4.23 4.32 4.13 6/244 893090
/proc/meminfo: memFree=123081944/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=84024 memory=73704 CPUtime=0.22 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 17496 0 0 0 20 2 0 0 20 0 1 0 171996272 86040576 18426 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 21006 18426 2618 2726 0 17754 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 84024 KiB
Current children cumulated memory: 73704 KiB
[startup+0.313039 s]*
/proc/loadavg: 4.23 4.32 4.13 6/244 893090
/proc/meminfo: memFree=123062316/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=101940 memory=91128 CPUtime=0.31 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 21889 0 0 0 29 2 0 0 20 0 1 0 171996272 104386560 22782 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 25485 22782 2618 2726 0 22233 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 101940 KiB
Current children cumulated memory: 91128 KiB
[startup+0.700335 s]
/proc/loadavg: 4.23 4.32 4.13 5/244 893090
/proc/meminfo: memFree=123031604/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=174308 memory=157880 CPUtime=0.69 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 34352 0 0 0 65 4 0 0 20 0 1 0 171996272 178491392 39470 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 43577 39470 2746 2726 0 40325 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 174308 KiB
Current children cumulated memory: 157880 KiB
[startup+1.50033 s]
/proc/loadavg: 4.23 4.32 4.13 5/244 893090
/proc/meminfo: memFree=122990120/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=191828 memory=168764 CPUtime=1.49 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 37054 0 0 0 144 5 0 0 20 0 1 0 171996272 196431872 42191 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 47957 42191 2762 2726 0 44705 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 191828 KiB
Current children cumulated memory: 168764 KiB
[startup+3.11266 s]
/proc/loadavg: 4.21 4.32 4.13 5/244 893090
/proc/meminfo: memFree=122983288/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=198100 memory=170612 CPUtime=3.1 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 37482 0 0 0 305 5 0 0 20 0 1 0 171996272 202854400 42653 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 49525 42653 2762 2726 0 46273 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 198100 KiB
Current children cumulated memory: 170612 KiB
[startup+6.30031 s]
/proc/loadavg: 4.21 4.32 4.13 5/244 893091
/proc/meminfo: memFree=122979928/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=226044 memory=174572 CPUtime=6.27 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 38503 0 0 0 622 5 0 0 20 0 1 0 171996272 231469056 43643 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 56511 43643 2762 2726 0 53259 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 226044 KiB
Current children cumulated memory: 174572 KiB
[startup+12.7003 s]
/proc/loadavg: 4.25 4.32 4.13 5/244 893091
/proc/meminfo: memFree=122940296/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=281460 memory=212336 CPUtime=12.65 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 48108 0 0 0 1258 7 0 0 20 0 1 0 171996272 288215040 53084 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 70365 53084 2778 2726 0 67113 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 281460 KiB
Current children cumulated memory: 212336 KiB
[startup+25.5004 s]
/proc/loadavg: 4.22 4.31 4.13 5/244 893094
/proc/meminfo: memFree=122899776/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=312412 memory=239916 CPUtime=25.42 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 56690 0 0 0 2533 9 0 0 20 0 1 0 171996272 319909888 59979 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 78103 59979 2778 2726 0 74851 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 312412 KiB
Current children cumulated memory: 239916 KiB
[startup+51.1126 s]
/proc/loadavg: 4.44 4.35 4.15 5/244 893097
/proc/meminfo: memFree=122830808/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=328892 memory=250992 CPUtime=50.95 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 61065 0 0 0 5085 10 0 0 20 0 1 0 171996272 336785408 62748 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 82223 62748 2778 2726 0 78971 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 328892 KiB
Current children cumulated memory: 250992 KiB
[startup+102.3 s]
/proc/loadavg: 4.83 4.48 4.21 5/246 893110
/proc/meminfo: memFree=122748164/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=404500 memory=297080 CPUtime=101.99 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 72114 0 0 0 10187 12 0 0 20 0 1 0 171996272 414208000 74270 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 101125 74270 2778 2726 0 97873 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 404500 KiB
Current children cumulated memory: 297080 KiB
[startup+162.3 s]
/proc/loadavg: 4.35 4.40 4.20 5/244 893121
/proc/meminfo: memFree=122624052/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=504424 memory=379680 CPUtime=161.81 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 94119 0 0 0 16165 16 0 0 20 0 1 0 171996272 516530176 94920 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 126106 94920 2778 2726 0 122854 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 504424 KiB
Current children cumulated memory: 379680 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.34 4.18 5/244 893131
/proc/meminfo: memFree=122589756/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=542444 memory=410700 CPUtime=221.63 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 99386 0 0 0 22146 17 0 0 20 0 1 0 171996272 555462656 102675 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 135611 102675 2778 2726 0 132359 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 542444 KiB
Current children cumulated memory: 410700 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.29 4.18 5/244 893141
/proc/meminfo: memFree=122449396/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=585700 memory=453940 CPUtime=281.44 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 108884 0 0 0 28125 19 0 0 20 0 1 0 171996272 599756800 113485 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 146425 113485 3063 2726 0 143173 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 585700 KiB
Current children cumulated memory: 453940 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.25 4.17 5/244 893152
/proc/meminfo: memFree=122382348/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=631200 memory=489200 CPUtime=341.26 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 116617 0 0 0 34105 21 0 0 20 0 1 0 171996272 646348800 122300 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 157800 122300 3063 2726 0 154548 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 631200 KiB
Current children cumulated memory: 489200 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.24 4.17 5/241 893163
/proc/meminfo: memFree=122286440/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=636376 memory=505924 CPUtime=401.08 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 120125 0 0 0 40086 22 0 0 20 0 1 0 171996272 651649024 126481 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 159094 126481 3063 2726 0 155842 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 636376 KiB
Current children cumulated memory: 505924 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.20 4.16 5/241 893173
/proc/meminfo: memFree=122199036/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=669660 memory=535344 CPUtime=460.9 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 125086 0 0 0 46067 23 0 0 20 0 1 0 171996272 685731840 133836 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 167415 133836 3063 2726 0 164163 0
################
# More data... #
################
Current children cumulated memory: 701884 KiB
[startup+2862.3 s]
/proc/loadavg: 4.36 4.17 4.11 5/244 894605
/proc/meminfo: memFree=122239148/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=723436 memory=701884 CPUtime=2853.8 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 234111 0 0 0 285330 50 0 0 20 0 1 0 171996272 740798464 175471 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 180859 175471 3111 2726 0 177607 0
Current children cumulated CPU time: 2853.8 s
Current children cumulated vsize: 723436 KiB
Current children cumulated memory: 701884 KiB
[startup+2922.3 s]
/proc/loadavg: 4.58 4.29 4.16 5/243 894615
/proc/meminfo: memFree=122186816/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=723436 memory=701884 CPUtime=2913.64 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 234209 0 0 0 291314 50 0 0 20 0 1 0 171996272 740798464 175471 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 180859 175471 3111 2726 0 177607 0
Current children cumulated CPU time: 2913.64 s
Current children cumulated vsize: 723436 KiB
Current children cumulated memory: 701884 KiB
[startup+2982.3 s]
/proc/loadavg: 4.31 4.26 4.16 5/243 894795
/proc/meminfo: memFree=122164624/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=723436 memory=705980 CPUtime=2973.48 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 234312 0 0 0 297298 50 0 0 20 0 1 0 171996272 740798464 176495 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 180859 176495 3111 2726 0 177607 0
Current children cumulated CPU time: 2973.48 s
Current children cumulated vsize: 723436 KiB
Current children cumulated memory: 705980 KiB
[startup+3042.3 s]
/proc/loadavg: 4.24 4.24 4.16 5/243 894805
/proc/meminfo: memFree=122243036/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=723436 memory=705980 CPUtime=3033.31 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 234415 0 0 0 303281 50 0 0 20 0 1 0 171996272 740798464 176495 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 180859 176495 3111 2726 0 177607 0
Current children cumulated CPU time: 3033.31 s
Current children cumulated vsize: 723436 KiB
Current children cumulated memory: 705980 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.21 4.15 5/243 894872
/proc/meminfo: memFree=122274716/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=723436 memory=705980 CPUtime=3093.13 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 234515 0 0 0 309263 50 0 0 20 0 1 0 171996272 740798464 176495 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 180859 176495 3111 2726 0 177607 0
Current children cumulated CPU time: 3093.13 s
Current children cumulated vsize: 723436 KiB
Current children cumulated memory: 705980 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.19 4.14 5/243 894883
/proc/meminfo: memFree=122274524/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=723436 memory=705980 CPUtime=3152.96 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 234605 0 0 0 315246 50 0 0 20 0 1 0 171996272 740798464 176495 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 180859 176495 3111 2726 0 177607 0
Current children cumulated CPU time: 3152.96 s
Current children cumulated vsize: 723436 KiB
Current children cumulated memory: 705980 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.17 4.14 5/243 894893
/proc/meminfo: memFree=122274176/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=723436 memory=705980 CPUtime=3212.79 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 234696 0 0 0 321229 50 0 0 20 0 1 0 171996272 740798464 176495 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 180859 176495 3111 2726 0 177607 0
Current children cumulated CPU time: 3212.79 s
Current children cumulated vsize: 723436 KiB
Current children cumulated memory: 705980 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.15 4.13 5/243 894903
/proc/meminfo: memFree=122273928/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=723436 memory=705980 CPUtime=3272.61 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 234779 0 0 0 327211 50 0 0 20 0 1 0 171996272 740798464 176495 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 180859 176495 3111 2726 0 177607 0
Current children cumulated CPU time: 3272.61 s
Current children cumulated vsize: 723436 KiB
Current children cumulated memory: 705980 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.13 4.13 5/243 894914
/proc/meminfo: memFree=122272800/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=723436 memory=705980 CPUtime=3332.45 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 234882 0 0 0 333195 50 0 0 20 0 1 0 171996272 740798464 176495 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 180859 176495 3111 2726 0 177607 0
Current children cumulated CPU time: 3332.45 s
Current children cumulated vsize: 723436 KiB
Current children cumulated memory: 705980 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/241 894925
/proc/meminfo: memFree=122270488/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=723436 memory=705980 CPUtime=3392.28 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 234978 0 0 0 339178 50 0 0 20 0 1 0 171996272 740798464 176495 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 180859 176495 3111 2726 0 177607 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 723436 KiB
Current children cumulated memory: 705980 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/241 894935
/proc/meminfo: memFree=122270180/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=723436 memory=705980 CPUtime=3452.12 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 235074 0 0 0 345162 50 0 0 20 0 1 0 171996272 740798464 176495 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 180859 176495 3111 2726 0 177607 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 723436 KiB
Current children cumulated memory: 705980 KiB
[startup+3522.3 s]
/proc/loadavg: 4.00 4.09 4.10 5/241 895036
/proc/meminfo: memFree=121974732/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=723436 memory=705980 CPUtime=3511.95 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 235185 0 0 0 351145 50 0 0 20 0 1 0 171996272 740798464 176495 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 180859 176495 3111 2726 0 177607 0
Current children cumulated CPU time: 3511.95 s
Current children cumulated vsize: 723436 KiB
Current children cumulated memory: 705980 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/241 895047
/proc/meminfo: memFree=121919228/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=723436 memory=705980 CPUtime=3571.79 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 235278 0 0 0 357129 50 0 0 20 0 1 0 171996272 740798464 176495 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 180859 176495 3111 2726 0 177607 0
Current children cumulated CPU time: 3571.79 s
Current children cumulated vsize: 723436 KiB
Current children cumulated memory: 705980 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.06 4.09 4.10 5/241 895052
/proc/meminfo: memFree=121927700/131655788 swapFree=131071996/131071996
[pid=893089] ppid=893086 vsize=723436 memory=705980 CPUtime=3600.01 cores=1,3
/proc/893089/stat : 893089 (CASHWMaxSAT-Dis) R 893086 893089 890932 0 -1 4194304 235330 0 0 0 359951 50 0 0 20 0 1 0 171996272 740798464 176495 134679101440 4194304 15356333 140729146142080 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 52232192 140729146147810 140729146147926 140729146147926 140729146154942 0
/proc/893089/statm: 180859 176495 3111 2726 0 177607 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 723436 KiB
Current children cumulated memory: 705980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.61 s]
# the end of solver process 893089 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.52 s, system=0.514563 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.61
CPU time (s): 3600.03
CPU user time (s): 3599.52
CPU system time (s): 0.514563
CPU usage (%): 99.7072
Max. virtual memory (cumulated for all children) (KiB): 1110176
Max. memory (cumulated for all children) (KiB): 1052896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.52
system time used= 0.514563
maximum resident set size= 1052896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235330
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= 66
involuntary context switches= 1616
# summary of solver processes directly reported to runsolver:
# pid: 893089
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.52
# total CPU system time (s): 0.514563
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3586 second user time and 34.0099 second system time
The end
Begin job on nodeC005 at 2024-07-17 08:39:47 IDJOB=4438742 IDBENCH=146690 IDSOLVER=3074 FILE ID=nodeC005/4438742-1721198375 RUNJOBID= nodeC005-1721194640-890944 SLURM_JOB_ID= 7508873 Free space on /tmp= 723736 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-SP 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-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438742-1721198375/watcher-4438742-1721198375 -o /tmp/evaluation-result-4438742-1721198375/solver-4438742-1721198375 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721194640-890944 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438742-1721198375.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 13e3cfc76a003558f082ab5832d2ffa8 RANDOM SEED=173653429 nodeC005.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3624.037 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.790 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.199 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.177 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3664.095 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3660.343 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.379 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.360 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123144080 kB MemAvailable: 128229972 kB Buffers: 428400 kB Cached: 5435848 kB SwapCached: 0 kB Active: 865668 kB Inactive: 6967440 kB Active(anon): 3464 kB Inactive(anon): 2003132 kB Active(file): 862204 kB Inactive(file): 4964308 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 14932 kB Writeback: 0 kB AnonPages: 1965952 kB Mapped: 140016 kB Shmem: 37704 kB KReclaimable: 199156 kB Slab: 313068 kB SReclaimable: 199156 kB SUnreclaim: 113912 kB KernelStack: 3932 kB PageTables: 13488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2564032 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 55168 kB HardwareCorrupted: 0 kB AnonHugePages: 1193984 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 285512 kB DirectMap2M: 36319232 kB DirectMap1G: 99614720 kB Free space on /tmp at the end= 723720 MiB End job on nodeC005 at 2024-07-17 09:39:57