0.00/0.07 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.07 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.08 c Starting SCIP solver (with time-limit = 1800s) ...
1793.72/1800.08 c SCIP timeout with lower and upper bounds: [48, 64]
1793.82/1800.18 o 64
3600.03/3612.40
3600.03/3612.40 v -x361 x362 -x363 -x364 x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 x396 x397 x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 x417 -x418 -x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 x433 x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 x463 -x464 -x465 -x466 x467 -x468 x469 -x470 -x471 -x472 x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 x501 x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 x533 -x534 -x535 -x536 x537 -x538 -x539 x540 -x2 -x38 x74 -x110 -x146 -x182 -x218 -x254 -x290 -x326 -x3 -x39 -x75 -x111 x147 -x183 -x219 -x255 -x291 -x327 -x4 -x40 -x76 -x112 -x148 x184 -x220 -x256 -x292 -x328 -x5 -x41 -x77 -x113 -x149 -x185 x221 -x257 -x293 -x329 -x6 x42 -x78 -x114 -x150 -x186 -x222 -x258 -x294 -x330 x7 -x43 -x79 -x115 -x151 -x187 -x223 -x259 -x295 -x331 -x9 -x45 -x81 -x117 -x153 -x189 -x225 -x261 -x297 x333 -x10 -x46 -x82 x118 -x154 -x190 -x226 -x262 -x298 -x334 -x11 -x47 -x83 -x119 x155 -x191 -x227 -x263 -x299 -x335 -x12 -x48 -x84 -x120 -x156 x192 -x228 -x264 -x300 -x336 -x13 -x49 -x85 -x121 -x157 -x193 -x229 x265 -x301 -x337 -x14 x50 -x86 -x122 -x158 -x194 -x230 -x266 -x302 -x338 x16 -x52 -x88 -x124 -x160 -x196 -x232 -x268 -x304 -x340 -x17 -x53 -x89 -x125 -x161 x197 -x233 -x269 -x305 -x341 -x18 -x54 -x90 -x126 -x162 -x198 x234 -x270 -x306 -x342 -x19 -x55 -x91 -x127 -x163 -x199 -x235 -x271 x307 -x343 -x20 -x56 -x92 -x128 -x164 -x200 x236 -x272 -x308 -x344 -x21 -x57 x93 -x129 -x165 -x201 -x237 -x273 -x309 -x345 -x23 x59 -x95 -x131 -x167 -x203 -x239 -x275 -x311 -x347 -x24 -x60 -x96 -x132 -x168 -x204 -x240 x276 -x312 -x348 -x25 -x61 -x97 x133 -x169 -x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 -x206 -x242 x278 -x314 -x350 -x27 -x63 -x99 -x135 -x171 -x207 -x243 -x279 x315 -x351 -x28 -x64 -x100 -x136 -x172 -x208 -x244 -x280 -x316 x352 x30 -x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 -x31 -x67 -x103 -x139 -x175 -x211 -x247 -x283 -x319 x355 -x32 -x68 -x104 -x140 -x176 -x212 -x248 -x284 x320 -x356 -x33 -x69 -x105 x141 -x177 -x213 -x249 -x285 -x321 -x357 -x34 -x70 -x106 -x142 x178 -x214 -x250 -x286 -x322 -x358 -x35 -x71 x107 -x143 -x179 -x215 -x251 -x287 -x323 -x359 -x8 x44 x80 -x116 -x152 -x188 x224 x260 x296 -x332 -x15 -x51 x87 x123 x159 -x195 -x231 -x267 x303 x339 x22 -x58 -x94 x130 x166 x202 -x238 -x274 -x310 x346 -x29 x65 x101 -x137 x173 x209 x245 -x281 -x317 -x353 x36 x72 -x108 -x144 -x180 x216 x252 x288 -x324 -x360 x1 -x37 -x73 x109 -x145 -x181 -x217 x253 x289 x325
3600.03/3612.40 s SATISFIABLE
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 (59744 MiB free)
memory of node 1: 64510 MiB (59734 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438659-1721207316/watcher-4438659-1721207316 -o /tmp/evaluation-result-4438659-1721207316/solver-4438659-1721207316 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721207325-923712 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438659-1721207316.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=923822, runsolver pid=923819
[startup+0.100437 s]*
/proc/loadavg: 1.11 1.10 1.42 5/255 923823
/proc/meminfo: memFree=122285840/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=46256 memory=36072 CPUtime=0.09 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 7003 0 0 0 9 0 0 0 20 0 1 0 172896937 47366144 9018 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 11564 9018 2618 2726 0 8312 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46256 KiB
Current children cumulated memory: 36072 KiB
[startup+0.205585 s]*
/proc/loadavg: 1.11 1.10 1.42 5/255 923823
/proc/meminfo: memFree=122234504/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=63788 memory=53352 CPUtime=0.2 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 11524 0 0 0 19 1 0 0 20 0 1 0 172896937 65318912 13338 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 15947 13338 2682 2726 0 12695 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63788 KiB
Current children cumulated memory: 53352 KiB
[startup+0.305689 s]*
/proc/loadavg: 1.11 1.10 1.42 5/255 923823
/proc/meminfo: memFree=122212200/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=65568 memory=55164 CPUtime=0.3 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 11917 0 0 0 29 1 0 0 20 0 1 0 172896937 67141632 13791 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 16392 13791 2746 2726 0 13140 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 65568 KiB
Current children cumulated memory: 55164 KiB
[startup+0.700161 s]
/proc/loadavg: 1.11 1.10 1.42 5/255 923823
/proc/meminfo: memFree=122211660/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=65568 memory=55164 CPUtime=0.68 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 11936 0 0 0 67 1 0 0 20 0 1 0 172896937 67141632 13791 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 16392 13791 2746 2726 0 13140 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65568 KiB
Current children cumulated memory: 55164 KiB
[startup+1.50018 s]
/proc/loadavg: 1.11 1.10 1.42 5/255 923823
/proc/meminfo: memFree=122211660/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=89960 memory=77804 CPUtime=1.48 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 18340 0 0 0 146 2 0 0 20 0 1 0 172896937 92119040 19451 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 22490 19451 2762 2726 0 19238 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89960 KiB
Current children cumulated memory: 77804 KiB
[startup+3.10541 s]
/proc/loadavg: 1.43 1.16 1.44 5/255 923823
/proc/meminfo: memFree=122108732/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=126512 memory=104708 CPUtime=3.08 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 25080 0 0 0 305 3 0 0 20 0 1 0 172896937 129548288 26177 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 31628 26177 2762 2726 0 28376 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 126512 KiB
Current children cumulated memory: 104708 KiB
[startup+6.30017 s]
/proc/loadavg: 1.43 1.16 1.44 5/255 923823
/proc/meminfo: memFree=121615772/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=126648 memory=104972 CPUtime=6.26 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 25116 0 0 0 623 3 0 0 20 0 1 0 172896937 129687552 26243 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 31662 26243 2762 2726 0 28410 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 126648 KiB
Current children cumulated memory: 104972 KiB
[startup+12.7002 s]
/proc/loadavg: 1.82 1.26 1.47 5/255 923824
/proc/meminfo: memFree=121585420/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=147564 memory=126332 CPUtime=12.64 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 30616 0 0 0 1260 4 0 0 20 0 1 0 172896937 151105536 31583 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 36891 31583 2762 2726 0 33639 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 147564 KiB
Current children cumulated memory: 126332 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 1.35 1.49 5/255 923826
/proc/meminfo: memFree=121431876/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=174752 memory=154076 CPUtime=25.39 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 38221 0 0 0 2534 5 0 0 20 0 1 0 172896937 178946048 38519 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 43688 38519 2762 2726 0 40436 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 174752 KiB
Current children cumulated memory: 154076 KiB
[startup+51.1058 s]
/proc/loadavg: 2.84 1.58 1.57 5/255 923830
/proc/meminfo: memFree=121289832/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=204776 memory=180952 CPUtime=50.91 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 46642 0 0 0 5082 9 0 0 20 0 1 0 172896937 209690624 45238 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 51194 45238 2762 2726 0 47942 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 204776 KiB
Current children cumulated memory: 180952 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.02 1.72 5/258 923846
/proc/meminfo: memFree=121249300/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=241832 memory=216384 CPUtime=101.94 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 60243 0 0 0 10177 17 0 0 20 0 1 0 172896937 247635968 54096 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 60458 54096 2762 2726 0 57206 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 241832 KiB
Current children cumulated memory: 216384 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 2.48 1.90 5/259 923861
/proc/meminfo: memFree=121099932/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=252376 memory=222564 CPUtime=161.72 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 61851 0 0 0 16149 23 0 0 20 0 1 0 172896937 258433024 55641 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 63094 55641 2762 2726 0 59842 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 252376 KiB
Current children cumulated memory: 222564 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 2.77 2.04 5/259 923871
/proc/meminfo: memFree=120973736/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=269288 memory=238648 CPUtime=221.52 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 65844 0 0 0 22122 30 0 0 20 0 1 0 172896937 275750912 59662 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 67322 59662 2762 2726 0 64070 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 269288 KiB
Current children cumulated memory: 238648 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.03 2.17 5/259 923882
/proc/meminfo: memFree=120812044/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=270264 memory=240332 CPUtime=281.3 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 66247 0 0 0 28094 36 0 0 20 0 1 0 172896937 276750336 60083 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 67566 60083 2762 2726 0 64314 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 270264 KiB
Current children cumulated memory: 240332 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.23 2.30 5/259 923893
/proc/meminfo: memFree=120731596/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=274884 memory=245096 CPUtime=341.1 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 67175 0 0 0 34068 42 0 0 20 0 1 0 172896937 281481216 61274 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 68721 61274 3047 2726 0 65469 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 274884 KiB
Current children cumulated memory: 245096 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.39 2.41 5/256 923903
/proc/meminfo: memFree=120708212/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=274828 memory=246780 CPUtime=400.89 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 69027 0 0 0 40045 44 0 0 20 0 1 0 172896937 281423872 61695 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 68707 61695 3047 2726 0 65455 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 274828 KiB
Current children cumulated memory: 246780 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 3.54 2.53 5/255 923915
/proc/meminfo: memFree=120614480/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=280376 memory=251108 CPUtime=460.68 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 76958 0 0 0 46022 46 0 0 20 0 1 0 172896937 287105024 62777 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 70094 62777 3047 2726 0 66842 0
################
# More data... #
################
Current children cumulated memory: 377564 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.13 4.03 5/258 925369
/proc/meminfo: memFree=120639744/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=384412 memory=377564 CPUtime=2852.4 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 130446 0 0 0 285169 71 0 0 20 0 1 0 172896937 393637888 94391 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 96103 94391 3111 2726 0 92851 0
Current children cumulated CPU time: 2852.4 s
Current children cumulated vsize: 384412 KiB
Current children cumulated memory: 377564 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.12 4.03 5/258 925381
/proc/meminfo: memFree=120639092/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=384412 memory=377564 CPUtime=2912.21 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 130511 0 0 0 291149 72 0 0 20 0 1 0 172896937 393637888 94391 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 96103 94391 3111 2726 0 92851 0
Current children cumulated CPU time: 2912.21 s
Current children cumulated vsize: 384412 KiB
Current children cumulated memory: 377564 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.04 5/260 925561
/proc/meminfo: memFree=120635824/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=384412 memory=377564 CPUtime=2972 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 130598 0 0 0 297128 72 0 0 20 0 1 0 172896937 393637888 94391 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 96103 94391 3111 2726 0 92851 0
Current children cumulated CPU time: 2972 s
Current children cumulated vsize: 384412 KiB
Current children cumulated memory: 377564 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/260 925571
/proc/meminfo: memFree=120635640/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=384412 memory=377564 CPUtime=3031.8 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 130662 0 0 0 303108 72 0 0 20 0 1 0 172896937 393637888 94391 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 96103 94391 3111 2726 0 92851 0
Current children cumulated CPU time: 3031.8 s
Current children cumulated vsize: 384412 KiB
Current children cumulated memory: 377564 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.05 5/261 925586
/proc/meminfo: memFree=120634640/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=384412 memory=377564 CPUtime=3091.61 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 130749 0 0 0 309089 72 0 0 20 0 1 0 172896937 393637888 94391 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 96103 94391 3111 2726 0 92851 0
Current children cumulated CPU time: 3091.61 s
Current children cumulated vsize: 384412 KiB
Current children cumulated memory: 377564 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.13 4.05 5/258 925608
/proc/meminfo: memFree=120629448/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=384412 memory=377564 CPUtime=3151.41 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 130815 0 0 0 315069 72 0 0 20 0 1 0 172896937 393637888 94391 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 96103 94391 3111 2726 0 92851 0
Current children cumulated CPU time: 3151.41 s
Current children cumulated vsize: 384412 KiB
Current children cumulated memory: 377564 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.05 5/258 925618
/proc/meminfo: memFree=120628784/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=384412 memory=377564 CPUtime=3211.21 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 130871 0 0 0 321049 72 0 0 20 0 1 0 172896937 393637888 94391 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 96103 94391 3111 2726 0 92851 0
Current children cumulated CPU time: 3211.21 s
Current children cumulated vsize: 384412 KiB
Current children cumulated memory: 377564 KiB
[startup+3282.3 s]
/proc/loadavg: 4.38 4.18 4.07 5/258 925630
/proc/meminfo: memFree=120627728/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=384412 memory=377564 CPUtime=3271.01 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 130950 0 0 0 327029 72 0 0 20 0 1 0 172896937 393637888 94391 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 96103 94391 3111 2726 0 92851 0
Current children cumulated CPU time: 3271.01 s
Current children cumulated vsize: 384412 KiB
Current children cumulated memory: 377564 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.20 4.09 5/256 925641
/proc/meminfo: memFree=120626876/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=384412 memory=377564 CPUtime=3330.82 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 131019 0 0 0 333010 72 0 0 20 0 1 0 172896937 393637888 94391 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 96103 94391 3111 2726 0 92851 0
Current children cumulated CPU time: 3330.82 s
Current children cumulated vsize: 384412 KiB
Current children cumulated memory: 377564 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.19 4.09 5/256 925652
/proc/meminfo: memFree=120626120/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=384412 memory=377564 CPUtime=3390.62 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 131089 0 0 0 338990 72 0 0 20 0 1 0 172896937 393637888 94391 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 96103 94391 3111 2726 0 92851 0
Current children cumulated CPU time: 3390.62 s
Current children cumulated vsize: 384412 KiB
Current children cumulated memory: 377564 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.17 4.09 5/255 925663
/proc/meminfo: memFree=120625520/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=384412 memory=377564 CPUtime=3450.42 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 131148 0 0 0 344970 72 0 0 20 0 1 0 172896937 393637888 94391 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 96103 94391 3111 2726 0 92851 0
Current children cumulated CPU time: 3450.42 s
Current children cumulated vsize: 384412 KiB
Current children cumulated memory: 377564 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/256 925675
/proc/meminfo: memFree=120618440/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=384412 memory=377564 CPUtime=3510.22 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 131218 0 0 0 350950 72 0 0 20 0 1 0 172896937 393637888 94391 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 96103 94391 3111 2726 0 92851 0
Current children cumulated CPU time: 3510.22 s
Current children cumulated vsize: 384412 KiB
Current children cumulated memory: 377564 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/256 925685
/proc/meminfo: memFree=120617976/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=384412 memory=377564 CPUtime=3570.03 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 131300 0 0 0 356931 72 0 0 20 0 1 0 172896937 393637888 94391 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 96103 94391 3111 2726 0 92851 0
Current children cumulated CPU time: 3570.03 s
Current children cumulated vsize: 384412 KiB
Current children cumulated memory: 377564 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 4.13 4.15 4.09 5/256 925829
/proc/meminfo: memFree=123285252/131524600 swapFree=131071996/131071996
[pid=923822] ppid=923819 vsize=384412 memory=377564 CPUtime=3600.03 cores=0,2
/proc/923822/stat : 923822 (CASHWMaxSAT-Dis) R 923819 923822 923702 0 -1 4194304 131333 0 0 0 359931 72 0 0 20 0 1 0 172896937 393637888 94391 134679101440 4194304 15356333 140726010314224 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47509504 140726010319842 140726010319958 140726010319958 140726010326974 0
/proc/923822/statm: 96103 94391 3111 2726 0 92851 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 384412 KiB
Current children cumulated memory: 377564 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.4 s]
# the end of solver process 923822 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.31 s, system=0.730241 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3612.4
CPU time (s): 3600.04
CPU user time (s): 3599.31
CPU system time (s): 0.730241
CPU usage (%): 99.6579
Max. virtual memory (cumulated for all children) (KiB): 422104
Max. memory (cumulated for all children) (KiB): 381468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.31
system time used= 0.730241
maximum resident set size= 381468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131333
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= 37
involuntary context switches= 24672
# summary of solver processes directly reported to runsolver:
# pid: 923822
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.31
# total CPU system time (s): 0.730241
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.93558 second user time and 17.2879 second system time
The end
Begin job on nodeC025 at 2024-07-17 11:08:48
IDJOB=4438659
IDBENCH=147020
IDSOLVER=3074
FILE ID=nodeC025/4438659-1721207316
RUNJOBID= nodeC025-1721207325-923712
SLURM_JOB_ID= 7508916
Free space on /tmp= 889984 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.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-4438659-1721207316/watcher-4438659-1721207316 -o /tmp/evaluation-result-4438659-1721207316/solver-4438659-1721207316 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721207325-923712 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438659-1721207316.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=1999967795
nodeC025.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 : 3663.721
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.72
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 : 3684.526
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 : 7007.09
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 : 3667.742
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.72
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 : 3600.019
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 : 7007.09
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 : 3666.646
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.72
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 : 3684.639
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 : 7007.09
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.310
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.72
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.767
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 : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122353532 kB
MemAvailable: 128091856 kB
Buffers: 457460 kB
Cached: 6047288 kB
SwapCached: 0 kB
Active: 886248 kB
Inactive: 7526148 kB
Active(anon): 1544 kB
Inactive(anon): 1943528 kB
Active(file): 884704 kB
Inactive(file): 5582620 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 62720 kB
Writeback: 0 kB
AnonPages: 1905396 kB
Mapped: 136976 kB
Shmem: 37720 kB
KReclaimable: 221292 kB
Slab: 344460 kB
SReclaimable: 221292 kB
SUnreclaim: 123168 kB
KernelStack: 4144 kB
PageTables: 12964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2437592 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66176 kB
HardwareCorrupted: 0 kB
AnonHugePages: 468992 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: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC025 at 2024-07-17 12:09:01