0.00/0.01 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.01 c Do: 140736653814648 140736653814656
0.00/0.01 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.01 c Starting SCIP solver (with time-limit = 1800s) ...
1794.70/1800.01 c SCIP timeout with lower and upper bounds: [-243192, 0]
1794.70/1800.01 o 0
1796.79/1802.16 c Do: 140736653814648 140736653814656
1804.97/1810.33 c Do: 140736653814648 140736653814656
1874.31/1879.87 c Do: 140736653814648 140736653814656
2072.04/2078.00 c Do: 140736653814648 140736653814656
2088.49/2094.57 c Do: 140736653814648 140736653814656
2089.09/2095.11 c Do: 140736653814648 140736653814656
2089.09/2095.14 c Do: 140736653814648 140736653814656
2089.09/2095.14 c Do: 140736653814648 140736653814656
2089.09/2095.14 c Do: 140736653814648 140736653814656
2089.09/2095.15 s OPTIMUM FOUND
2089.09/2095.15 v -x601 -x621 -x602 -x622 -x603 -x623 -x604 -x624 -x605 -x625 -x606 -x626 -x607 -x627 x608 x628 x609 x629 -x610 -x630 x611 x631 x612 x632 x613 x633 x614 x634 -x615 -x635 -x616 -x636 x617 x637 -x618 -x638 -x619 -x639 -x620 -x640 -x21 -x1 -x11 -x401 -x121 -x501 -x31 -x2 -x22 -x12 -x411 -x221 -x402 -x131 -x122 -x511 -x311 -x502 -x41 -x3 -x32 -x23 x13 -x421 -x230 -x412 -x222 -x403 -x141 -x132 -x123 -x521 -x320 -x512 -x312 -x503 -x51 -x4 -x42 -x33 -x24 x14 -x431 -x239 -x422 -x231 -x413 -x223 -x404 -x151 -x142 -x133 -x124 -x531 -x329 -x522 -x321 -x513 -x313 -x504 -x61 -x5 -x52 -x43 -x34 -x25 x15 -x441 -x248 -x432 -x240 -x423 -x232 -x414 -x224 -x405 -x161 -x152 -x143 -x134 -x125 -x541 -x338 -x532 -x330 -x523 -x322 -x514 -x314 -x505 -x71 x6 -x62 -x53 -x44 -x35 -x26 x16 -x451 -x257 -x442 -x249 -x433 -x241 -x424 -x233 -x415 -x225 -x406 -x171 -x162 -x153 -x144 -x135 -x126 -x551 -x347 -x542 -x339 -x533 -x331 -x524 -x323 -x515 -x315 -x506 -x81 -x7 -x72 -x63 -x54 -x45 -x36 -x27 x17 -x461 -x266 -x452 -x258 -x443 -x250 -x434 -x242 -x425 -x234 -x416 -x226 -x407 -x181 -x172 -x163 -x154 -x145 -x136 -x127 -x561 -x356 -x552 -x348 -x543 -x340 -x534 -x332 -x525 -x324 -x516 -x316 -x507 -x91 x8 -x82 x73 -x64 -x55 -x46 -x37 -x28 x18 -x471 -x275 -x462 -x267 x453 -x259 x444 -x251 x435 -x243 x426 -x235 x417 -x227 x408 -x191 -x182 -x173 -x164 -x155 x146 -x137 -x128 -x571 -x365 -x562 -x357 -x553 -x349 -x544 -x341 -x535 -x333 x526 -x325 x517 -x317 x508 -x101 -x9 -x92 -x83 x74 -x65 -x56 -x47 -x38 -x29 x19 -x481 -x284 -x472 -x276 -x463 -x268 x454 -x260 x445 -x252 x436 -x244 x427 -x236 x418 -x228 x409 -x201 -x192 -x183 -x174 -x165 x156 -x147 -x138 -x129 -x581 -x374 -x572 -x366 -x563 -x358 -x554 -x350 -x545 -x342 x536 -x334 x527 -x326 x518 -x318 x509 -x111 -x10 -x102 x93 -x84 x75 -x66 -x57 -x48 -x39 -x30 -x20 -x491 -x293 -x482 -x285 x473 -x277 x464 x269 -x455 -x261 -x446 -x253 -x437 -x245 -x428 -x237 -x419 -x229 -x410 -x211 -x202 -x193 -x184 -x175 x166 -x157 x148 -x139 -x130 -x591 -x383 -x582 -x375 -x573 -x367 -x564 -x359 -x555 -x351 x546 -x343 x537 x335 -x528 -x327 -x519 -x319 -x510 -x112 -x103 x94 -x85 x76 -x67 -x58 -x49 -x40 -x302 -x492 -x294 -x483 -x286 x474 x278 -x465 -x270 x456 -x262 x447 -x254 x438 -x246 x429 -x238 x420 -x212 -x203 -x194 -x185 x176 -x167 x158 -x149 -x140 -x392 -x592 -x384 -x583 -x376 -x574 -x368 -x565 -x360 x556 -x352 x547 x344 x538 -x336 x529 -x328 x520 -x113 -x104 x95 -x86 x77 -x68 -x59 -x50 -x303 -x493 -x295 -x484 x287 -x475 -x279 -x466 -x271 x457 -x263 x448 -x255 x439 -x247 x430 -x213 -x204 -x195 x186 -x177 x168 -x159 -x150 -x393 -x593 -x385 -x584 -x377 -x575 -x369 x566 -x361 x557 x353 x548 -x345 x539 -x337 x530 -x114 -x105 x96 -x87 x78 -x69 -x60 -x304 -x494 -x296 x485 x288 -x476 -x280 -x467 -x272 x458 -x264 x449 -x256 x440 -x214 -x205 x196 -x187 x178 -x169 -x160 -x394 -x594 -x386 -x585 -x378 x576 -x370 x567 x362 x558 -x354 x549 -x346 x540 -x115 -x106 x97 -x88 x79 -x70 -x305 -x495 -x297 x486 x289 -x477 -x281 -x468 -x273 x459 -x265 x450 -x215 x206 -x197 x188 -x179 -x170 -x395 -x595 -x387 x586 -x379 x577 x371 x568 -x363 x559 -x355 x550 -x116 -x107 x98 -x89 -x80 -x306 -x496 -x298 x487 x290 -x478 -x282 -x469 -x274 -x460 -x216 -x207 x198 -x189 -x180 -x396 -x596 -x388 -x587 x380 -x578 -x372 -x569 -x364 -x560 -x117 -x108 x99 -x90 -x307 -x497 -x299 x488 x291 -x479 -x283 -x470 -x217 x208 -x199 -x190 -x397 -x597 x389 -x588 -x381 -x579 -x373 -x570 -x118 -x109 -x100 -x308 -x498 -x300 x489 -x292 x480 -x218 -x209 -x200 -x398 x598 -x390 x589 -x382 x580 -x119 -x110 -x309 -x499 -x301 -x490 -x219 -x210 -x399 -x599 -x391 -x590 -x120 -x310 -x500 -x220 -x400 -x600
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (49099 MiB free)
memory of node 1: 64510 MiB (57752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458237-1721879569/watcher-4458237-1721879569 -o /tmp/evaluation-result-4458237-1721879569/solver-4458237-1721879569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721875958-211408 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4458237-1721879569.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=213458, runsolver pid=213455
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.08 4.12 4.13 5/257 213459
/proc/meminfo: memFree=109393876/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=44280 memory=35452 CPUtime=0.1 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 6486 0 0 0 9 1 0 0 20 0 1 0 24481054 45342720 8863 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 11070 8863 2654 2594 0 7963 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44280 KiB
Current children cumulated memory: 35452 KiB
[startup+0.205636 s]*
/proc/loadavg: 4.08 4.12 4.13 7/257 213459
/proc/meminfo: memFree=109387068/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=48856 memory=39936 CPUtime=0.2 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 8078 0 0 0 19 1 0 0 20 0 1 0 24481054 50028544 9984 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 12214 9984 2654 2594 0 9107 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48856 KiB
Current children cumulated memory: 39936 KiB
[startup+0.305747 s]*
/proc/loadavg: 4.08 4.12 4.13 5/257 213459
/proc/meminfo: memFree=109382732/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=53920 memory=44688 CPUtime=0.3 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 9252 0 0 0 29 1 0 0 20 0 1 0 24481054 55214080 11172 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 13480 11172 2654 2594 0 10373 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53920 KiB
Current children cumulated memory: 44688 KiB
[startup+0.700243 s]
/proc/loadavg: 4.08 4.12 4.13 5/257 213459
/proc/meminfo: memFree=109370300/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=75388 memory=62640 CPUtime=0.68 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 13794 0 0 0 67 1 0 0 20 0 1 0 24481054 77197312 15660 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 18847 15660 2654 2594 0 15740 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 75388 KiB
Current children cumulated memory: 62640 KiB
[startup+1.50016 s]
/proc/loadavg: 4.08 4.12 4.13 5/257 213459
/proc/meminfo: memFree=109363916/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=79444 memory=66156 CPUtime=1.49 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 14727 0 0 0 147 2 0 0 20 0 1 0 24481054 81350656 16539 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 19861 16539 2654 2594 0 16754 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79444 KiB
Current children cumulated memory: 66156 KiB
[startup+3.1054 s]
/proc/loadavg: 4.08 4.12 4.13 4/255 213460
/proc/meminfo: memFree=109978136/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=89424 memory=74864 CPUtime=3.09 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 16968 0 0 0 307 2 0 0 20 0 1 0 24481054 91570176 18716 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 22356 18716 2654 2594 0 19249 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 89424 KiB
Current children cumulated memory: 74864 KiB
[startup+6.30021 s]
/proc/loadavg: 4.16 4.13 4.14 5/257 213506
/proc/meminfo: memFree=109920128/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=96020 memory=81984 CPUtime=6.27 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 18745 0 0 0 625 2 0 0 20 0 1 0 24481054 98324480 20496 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 24005 20496 2654 2594 0 20898 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 96020 KiB
Current children cumulated memory: 81984 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.14 5/257 213509
/proc/meminfo: memFree=110055416/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=118440 memory=103976 CPUtime=12.65 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 25457 0 0 0 1261 4 0 0 20 0 1 0 24481054 121282560 25994 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 29610 25994 2654 2594 0 26503 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 118440 KiB
Current children cumulated memory: 103976 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.13 5/257 213557
/proc/meminfo: memFree=110388976/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=144628 memory=131860 CPUtime=25.42 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 33171 0 0 0 2537 5 0 0 20 0 1 0 24481054 148099072 32965 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 36157 32965 2654 2594 0 33050 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 144628 KiB
Current children cumulated memory: 131860 KiB
[startup+51.1055 s]
/proc/loadavg: 4.07 4.11 4.13 5/257 213560
/proc/meminfo: memFree=110324084/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=167816 memory=155016 CPUtime=50.94 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 40121 0 0 0 5086 8 0 0 20 0 1 0 24481054 171843584 38754 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 41954 38754 2654 2594 0 38847 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 167816 KiB
Current children cumulated memory: 155016 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/257 213570
/proc/meminfo: memFree=110250792/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=179848 memory=168192 CPUtime=101.98 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 43851 0 0 0 10186 12 0 0 20 0 1 0 24481054 184164352 42048 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 44962 42048 2922 2594 0 41855 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 179848 KiB
Current children cumulated memory: 168192 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.12 5/259 213964
/proc/meminfo: memFree=110163756/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=194200 memory=185576 CPUtime=161.78 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 47439 0 0 0 16164 14 0 0 20 0 1 0 24481054 198860800 46394 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 48550 46394 2922 2594 0 45443 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 194200 KiB
Current children cumulated memory: 185576 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.12 5/257 213975
/proc/meminfo: memFree=110079364/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=208468 memory=201080 CPUtime=221.6 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 51589 0 0 0 22145 15 0 0 20 0 1 0 24481054 213471232 50270 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 52117 50270 2922 2594 0 49010 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 208468 KiB
Current children cumulated memory: 201080 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.09 4.11 5/256 213985
/proc/meminfo: memFree=109993612/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=224068 memory=216872 CPUtime=281.43 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 57245 0 0 0 28127 16 0 0 20 0 1 0 24481054 229445632 54218 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 56017 54218 2922 2594 0 52910 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 224068 KiB
Current children cumulated memory: 216872 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/256 213996
/proc/meminfo: memFree=109918456/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=241188 memory=230652 CPUtime=341.25 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 66044 0 0 0 34107 18 0 0 20 0 1 0 24481054 246976512 57663 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 60297 57663 2922 2594 0 57190 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 241188 KiB
Current children cumulated memory: 230652 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/259 214177
/proc/meminfo: memFree=109885980/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=247820 memory=239152 CPUtime=401.07 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 69377 0 0 0 40089 18 0 0 20 0 1 0 24481054 253767680 59788 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 61955 59788 2922 2594 0 58848 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 247820 KiB
Current children cumulated memory: 239152 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/261 214191
/proc/meminfo: memFree=109847920/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=253904 memory=245008 CPUtime=460.89 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 73638 0 0 0 46071 18 0 0 20 0 1 0 24481054 259997696 61252 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 63476 61252 2922 2594 0 60369 0
################
# More data... #
################
/proc/loadavg: 4.10 4.12 4.09 5/256 214424
/proc/meminfo: memFree=108741820/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=340588 memory=332976 CPUtime=1657.38 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 129569 0 0 0 165709 29 0 0 20 0 1 0 24481054 348762112 83244 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 85147 83244 2922 2594 0 82040 0
Current children cumulated CPU time: 1657.38 s
Current children cumulated vsize: 340588 KiB
Current children cumulated memory: 332976 KiB
[startup+1722.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 214435
/proc/meminfo: memFree=108682900/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=345756 memory=338164 CPUtime=1717.22 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 133923 0 0 0 171692 30 0 0 20 0 1 0 24481054 354054144 84541 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 86439 84541 2922 2594 0 83332 0
Current children cumulated CPU time: 1717.22 s
Current children cumulated vsize: 345756 KiB
Current children cumulated memory: 338164 KiB
[startup+1782.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/256 214446
/proc/meminfo: memFree=108605116/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=352828 memory=343924 CPUtime=1777.05 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 135540 0 0 0 177675 30 0 0 20 0 1 0 24481054 361295872 85981 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 88207 85981 2922 2594 0 85100 0
Current children cumulated CPU time: 1777.05 s
Current children cumulated vsize: 352828 KiB
Current children cumulated memory: 343924 KiB
[startup+1842.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 214456
/proc/meminfo: memFree=109316112/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=260964 memory=253856 CPUtime=1836.89 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 135657 0 0 0 183659 30 0 0 20 0 1 0 24481054 267227136 63464 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 65241 63464 2922 2594 0 62134 0
Current children cumulated CPU time: 1836.89 s
Current children cumulated vsize: 260964 KiB
Current children cumulated memory: 253856 KiB
[startup+1902.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/256 214467
/proc/meminfo: memFree=109312164/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=260964 memory=254112 CPUtime=1896.75 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 135725 0 0 0 189645 30 0 0 20 0 1 0 24481054 267227136 63528 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 65241 63528 2986 2594 0 62134 0
Current children cumulated CPU time: 1896.75 s
Current children cumulated vsize: 260964 KiB
Current children cumulated memory: 254112 KiB
[startup+1962.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/257 214861
/proc/meminfo: memFree=109295364/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=260964 memory=254112 CPUtime=1956.6 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 135769 0 0 0 195630 30 0 0 20 0 1 0 24481054 267227136 63528 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 65241 63528 2986 2594 0 62134 0
Current children cumulated CPU time: 1956.6 s
Current children cumulated vsize: 260964 KiB
Current children cumulated memory: 254112 KiB
[startup+2022.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/257 214872
/proc/meminfo: memFree=109294188/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=260964 memory=254112 CPUtime=2016.46 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 135806 0 0 0 201616 30 0 0 20 0 1 0 24481054 267227136 63528 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 65241 63528 2986 2594 0 62134 0
Current children cumulated CPU time: 2016.46 s
Current children cumulated vsize: 260964 KiB
Current children cumulated memory: 254112 KiB
[startup+2082.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 214882
/proc/meminfo: memFree=109291744/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=260964 memory=254112 CPUtime=2076.32 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 135841 0 0 0 207601 31 0 0 20 0 1 0 24481054 267227136 63528 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 65241 63528 2986 2594 0 62134 0
Current children cumulated CPU time: 2076.32 s
Current children cumulated vsize: 260964 KiB
Current children cumulated memory: 254112 KiB
[startup+2095.15 s]
# the end of solver process 213458 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2088.83 s, system=0.313079 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2086.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 214882
/proc/meminfo: memFree=109291588/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=260964 memory=254112 CPUtime=2080.41 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 135841 0 0 0 208010 31 0 0 20 0 1 0 24481054 267227136 63528 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 65241 63528 2986 2594 0 62134 0
Current children cumulated CPU time: 2080.41 s
Current children cumulated vsize: 260964 KiB
Current children cumulated memory: 254112 KiB
[startup+2089.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 214882
/proc/meminfo: memFree=109291632/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=260964 memory=254112 CPUtime=2083.6 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 135841 0 0 0 208329 31 0 0 20 0 1 0 24481054 267227136 63528 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 65241 63528 2986 2594 0 62134 0
Current children cumulated CPU time: 2083.6 s
Current children cumulated vsize: 260964 KiB
Current children cumulated memory: 254112 KiB
[startup+2092.8 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 214883
/proc/meminfo: memFree=109291580/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=260964 memory=254112 CPUtime=2086.79 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 135843 0 0 0 208648 31 0 0 20 0 1 0 24481054 267227136 63528 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 65241 63528 2986 2594 0 62134 0
Current children cumulated CPU time: 2086.79 s
Current children cumulated vsize: 260964 KiB
Current children cumulated memory: 254112 KiB
[startup+2094.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 214883
/proc/meminfo: memFree=109291492/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=260964 memory=254112 CPUtime=2088.39 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 135843 0 0 0 208808 31 0 0 20 0 1 0 24481054 267227136 63528 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 65241 63528 2986 2594 0 62134 0
Current children cumulated CPU time: 2088.39 s
Current children cumulated vsize: 260964 KiB
Current children cumulated memory: 254112 KiB
[startup+2094.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 214883
/proc/meminfo: memFree=109291492/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=260964 memory=254112 CPUtime=2088.79 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 135843 0 0 0 208848 31 0 0 20 0 1 0 24481054 267227136 63528 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 65241 63528 2986 2594 0 62134 0
Current children cumulated CPU time: 2088.79 s
Current children cumulated vsize: 260964 KiB
Current children cumulated memory: 254112 KiB
[startup+2095 s]*
/proc/loadavg: 4.10 4.11 4.09 5/257 214883
/proc/meminfo: memFree=109291460/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=260964 memory=254112 CPUtime=2088.99 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 135843 0 0 0 208868 31 0 0 20 0 1 0 24481054 267227136 63528 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 65241 63528 2986 2594 0 62134 0
Current children cumulated CPU time: 2088.99 s
Current children cumulated vsize: 260964 KiB
Current children cumulated memory: 254112 KiB
[startup+2095.11 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 214883
/proc/meminfo: memFree=109291460/131524600 swapFree=131054736/131071996
[pid=213458] ppid=213455 vsize=260964 memory=254112 CPUtime=2089.09 cores=5,7
/proc/213458/stat : 213458 (CASHWMaxSAT-Dis) R 213455 213458 211395 0 -1 4194304 135843 0 0 0 208878 31 0 0 20 0 1 0 24481054 267227136 63528 134679101440 4194304 14817773 140736653817056 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54042624 140736653820901 140736653821016 140736653821016 140736653828031 0
/proc/213458/statm: 65241 63528 2986 2594 0 62134 0
Current children cumulated CPU time: 2089.09 s
Current children cumulated vsize: 260964 KiB
Current children cumulated memory: 254112 KiB
Child status: 30
Real time (s): 2095.15
CPU time (s): 2089.15
CPU user time (s): 2088.83
CPU system time (s): 0.313079
CPU usage (%): 99.7133
Max. virtual memory (cumulated for all children) (KiB): 352828
Max. memory (cumulated for all children) (KiB): 344060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2088.83
system time used= 0.313079
maximum resident set size= 344060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135843
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= 91
involuntary context switches= 1625
# summary of solver processes directly reported to runsolver:
# pid: 213458
# total CPU time (s): 2089.15
# total CPU user time (s): 2088.83
# total CPU system time (s): 0.313079
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.44591 second user time and 10.1543 second system time
The end
Begin job on nodeC034 at 2024-07-25 05:52:49
IDJOB=4458237
IDBENCH=177184
IDSOLVER=3075
FILE ID=nodeC034/4458237-1721879569
RUNJOBID= nodeC034-1721875958-211408
SLURM_JOB_ID= 8089245
Free space on /tmp= 890044 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458237-1721879569/watcher-4458237-1721879569 -o /tmp/evaluation-result-4458237-1721879569/solver-4458237-1721879569 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721875958-211408 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4458237-1721879569.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 04cf70665d2adff71755d5c35c939249
RANDOM SEED=2038339492
nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.760
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3668.255
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.84
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 : 3600.012
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3618.108
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.84
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 : 3668.808
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3666.977
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.84
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 : 3600.155
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
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 : 3668.671
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 109416964 kB
MemAvailable: 128254588 kB
Buffers: 290564 kB
Cached: 19306080 kB
SwapCached: 112 kB
Active: 1692408 kB
Inactive: 19699188 kB
Active(anon): 1920 kB
Inactive(anon): 1835656 kB
Active(file): 1690488 kB
Inactive(file): 17863532 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131054736 kB
Dirty: 27868 kB
Writeback: 0 kB
AnonPages: 1793980 kB
Mapped: 126792 kB
Shmem: 42580 kB
KReclaimable: 246504 kB
Slab: 361488 kB
SReclaimable: 246504 kB
SUnreclaim: 114984 kB
KernelStack: 4172 kB
PageTables: 13252 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2419432 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 14048 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1595392 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: 357076 kB
DirectMap2M: 48699392 kB
DirectMap1G: 87031808 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC034 at 2024-07-25 06:27:44