0.00/0.02 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.00/0.02 c Do: 140729411765736 140729411765744
0.00/0.03 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.00/0.03 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.04 c Starting SCIP solver (with time-limit = 1800s) ...
1795.11/1800.04 c SCIP timeout with lower and upper bounds: [-68, 0]
1795.11/1800.04 o 0
3600.05/3609.50
3600.05/3609.50 v x359 x235 -x63 x6 -x341 x236 -x400 x363 -x340 x240 x7 -x399 x361 x239 x8 x401 -x342 -x237 -x144 x11 x434 -x362 x344 -x238 -x143 x9 -x417 -x366 x145 -x10 -x421 x345 x435 x358 x234 -x183 -x62 x3 -x337 x233 -x187 x5 x364 x336 -x321 -x244 x4 x12 x367 -x343 x402 -x365 x346 -x416 x410 -x420 x406 x146 -x405 -x387 x154 x27 x150 -x31 -x356 -x317 x252 -x247 x182 -x64 x360 -x256 x248 -x186 x2 x357 -x320 -x243 x20 x368 x338 x16 x407 x339 -x241 -x161 -x68 -x15 x409 -x165 -x418 -x383 -x350 -x151 x129 x422 -x153 -x403 -x386 -x302 x26 x149 x30 -x316 -x274 x251 -x245 x184 x65 -x17 x355 x278 -x255 -x188 x19 -x376 -x322 -x84 -x69 -x412 -x408 x372 x88 -x67 -x411 -x371 x353 -x242 -x190 -x160 -x125 x48 -x13 x354 -x191 -x164 -x152 -x419 -x382 -x349 -x325 -x298 x128 -x14 x423 x424 -x404 -x388 -x347 -x301 x28 -x425 x147 x32 -x373 -x318 -x273 x253 -x246 x185 x66 -x18 -x375 x277 -x257 x189 x70 -x352 -x323 x193 -x83 x44 -x351 -x192 x87 -x378 -x369 -x326 -x259 -x162 -x124 x47 -x413 -x324 -x260 -x166 -x22 -x414 -x384 -x370 -x297 x130 -x21 x415 x429 -x389 -x348 -x303 -x168 x29 -x169 x148 x33 -x374 -x314 -x275 x254 -x181 x78 -x319 x279 -x258 x180 -x156 -x74 x315 -x262 -x197 -x155 -x120 -x85 -x73 x43 -x327 -x261 x89 -x293 -x281 -x221 x163 -x126 -x112 x49 -x377 -x282 -x225 x167 x432 -x379 -x299 -x171 x131 -x91 x433 -x385 -x170 -x92 -x23 x428 x381 -x304 -x211 x132 -x52 -x24 x390 -x133 x25 x276 x250 -x200 -x80 x77 -x39 -x313 x280 x249 -x201 x335 -x284 x266 -x196 -x108 -x86 -x71 x45 x331 -x283 -x157 -x119 x90 -x431 -x330 -x220 -x194 x158 x121 -x111 -x94 -x72 x50 -x430 -x292 -x224 x159 x127 -x93 x294 -x207 x175 x123 -x53 x380 -x300 x134 -x51 x426 -x398 x296 -x210 -x36 x394 -x305 x37 -x332 x272 x269 -x198 x75 -x334 x271 x270 x79 -x38 x288 x265 -x107 x81 -x40 x82 x46 -x328 -x263 -x222 -x195 -x178 -x113 x98 x42 -x226 x179 x122 x54 -x395 -x329 -x206 x174 x142 -x35 -x397 x295 x138 -x34 -x427 -x312 x228 -x212 x172 x137 -x116 x393 x308 x229 -x333 x289 -x267 -x199 x105 x76 x291 -x216 x287 -x215 -x177 x109 x101 -x176 x102 -x41 -x285 -x264 -x223 -x204 -x139 x114 x97 x61 -x396 x227 -x141 x58 -x309 x231 -x208 -x117 -x95 x57 -x311 x230 -x115 x213 x173 -x135 -x391 x306 x290 -x268 x100 x104 x99 x103 x60 -x217 -x140 x110 x59 -x286 x218 x106 -x310 x219 -x203 x118 x232 -x202 -x96 x55 -x209 x205 -x136 x56 -x392 x307 x214 x1
3600.05/3609.50 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: 64059 MiB (61984 MiB free)
memory of node 1: 64510 MiB (63187 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439964-1721194629/watcher-4439964-1721194629 -o /tmp/evaluation-result-4439964-1721194629/solver-4439964-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721194641-881523 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439964-1721194629.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=881582, runsolver pid=881569
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 0.14 0.11 0.09 8/246 881588
/proc/meminfo: memFree=128138152/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=31396 memory=22740 CPUtime=0.1 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 3610 0 0 0 9 1 0 0 20 0 1 0 171619644 32149504 5685 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 7849 5685 2398 2417 0 4951 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31396 KiB
Current children cumulated memory: 22740 KiB
[startup+0.215161 s]*
/proc/loadavg: 0.14 0.11 0.09 5/246 881588
/proc/meminfo: memFree=128119660/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=32808 memory=24120 CPUtime=0.22 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 3933 0 0 0 21 1 0 0 20 0 1 0 171619644 33595392 6030 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 8202 6030 2414 2417 0 5304 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 32808 KiB
Current children cumulated memory: 24120 KiB
[startup+0.313993 s]*
/proc/loadavg: 0.14 0.11 0.09 6/246 881588
/proc/meminfo: memFree=128081764/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=50280 memory=38216 CPUtime=0.32 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 5471 0 0 0 30 2 0 0 20 0 1 0 171619644 51486720 9554 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 12570 9554 2414 2417 0 9672 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 50280 KiB
Current children cumulated memory: 38216 KiB
[startup+0.700308 s]
/proc/loadavg: 0.14 0.11 0.09 6/246 881588
/proc/meminfo: memFree=128026256/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=57248 memory=45496 CPUtime=0.68 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 7134 0 0 0 66 2 0 0 20 0 1 0 171619644 58621952 11374 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 14312 11374 2526 2417 0 11414 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57248 KiB
Current children cumulated memory: 45496 KiB
[startup+1.50038 s]
/proc/loadavg: 0.14 0.11 0.09 5/246 881588
/proc/meminfo: memFree=127837260/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=79996 memory=66660 CPUtime=1.48 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 12448 0 0 0 144 4 0 0 20 0 1 0 171619644 81915904 16665 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 19999 16665 2542 2417 0 17101 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79996 KiB
Current children cumulated memory: 66660 KiB
[startup+3.11416 s]
/proc/loadavg: 0.45 0.18 0.11 5/246 881590
/proc/meminfo: memFree=127427040/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=116892 memory=98596 CPUtime=3.09 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 20427 0 0 0 304 5 0 0 20 0 1 0 171619644 119697408 24649 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 29223 24649 2542 2417 0 26325 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 116892 KiB
Current children cumulated memory: 98596 KiB
[startup+6.30032 s]
/proc/loadavg: 0.45 0.18 0.11 8/246 881590
/proc/meminfo: memFree=127381896/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=124596 memory=104668 CPUtime=6.27 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 21954 0 0 0 621 6 0 0 20 0 1 0 171619644 127586304 26167 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 31149 26167 2542 2417 0 28251 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 124596 KiB
Current children cumulated memory: 104668 KiB
[startup+12.7004 s]
/proc/loadavg: 1.00 0.30 0.16 8/246 881590
/proc/meminfo: memFree=127014272/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=124596 memory=104668 CPUtime=12.66 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 21954 0 0 0 1260 6 0 0 20 0 1 0 171619644 127586304 26167 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 31149 26167 2542 2417 0 28251 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 124596 KiB
Current children cumulated memory: 104668 KiB
[startup+25.5004 s]
/proc/loadavg: 1.46 0.43 0.20 7/246 881593
/proc/meminfo: memFree=126936720/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=166504 memory=142148 CPUtime=25.42 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 31334 0 0 0 2535 7 0 0 20 0 1 0 171619644 170500096 35537 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 41626 35537 2542 2417 0 38728 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 166504 KiB
Current children cumulated memory: 142148 KiB
[startup+51.1138 s]
/proc/loadavg: 2.39 0.73 0.31 8/246 881596
/proc/meminfo: memFree=126891084/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=174720 memory=150056 CPUtime=50.97 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 33281 0 0 0 5089 8 0 0 20 0 1 0 171619644 178913280 37514 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 43680 37514 2542 2417 0 40782 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 174720 KiB
Current children cumulated memory: 150056 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.31 0.53 8/246 881604
/proc/meminfo: memFree=126943056/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=185760 memory=160860 CPUtime=102.01 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 35976 0 0 0 10191 10 0 0 20 0 1 0 171619644 190218240 40215 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 46440 40215 2542 2417 0 43542 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 185760 KiB
Current children cumulated memory: 160860 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 1.83 0.76 8/246 881615
/proc/meminfo: memFree=126840796/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=198820 memory=174868 CPUtime=161.86 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 39134 0 0 0 16170 16 0 0 20 0 1 0 171619644 203591680 43717 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 49705 43717 2794 2417 0 46807 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 198820 KiB
Current children cumulated memory: 174868 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.26 0.98 8/248 881629
/proc/meminfo: memFree=126803116/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=238036 memory=209760 CPUtime=221.69 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 45225 0 0 0 22152 17 0 0 20 0 1 0 171619644 243748864 52440 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 59509 52440 2794 2417 0 56611 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 238036 KiB
Current children cumulated memory: 209760 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.60 1.17 5/248 881639
/proc/meminfo: memFree=126764964/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=251916 memory=224468 CPUtime=281.54 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 47911 0 0 0 28136 18 0 0 20 0 1 0 171619644 257961984 56117 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 62979 56117 2794 2417 0 60081 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 251916 KiB
Current children cumulated memory: 224468 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 2.89 1.37 7/244 881650
/proc/meminfo: memFree=126749408/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=265532 memory=245812 CPUtime=341.34 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 49199 0 0 0 34116 18 0 0 20 0 1 0 171619644 271904768 61453 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 66383 61453 2794 2417 0 63485 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 265532 KiB
Current children cumulated memory: 245812 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.12 1.54 7/244 881661
/proc/meminfo: memFree=126716808/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=271756 memory=260900 CPUtime=401.16 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 50993 0 0 0 40097 19 0 0 20 0 1 0 171619644 278278144 65225 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 67939 65225 2794 2417 0 65041 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 271756 KiB
Current children cumulated memory: 260900 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.30 1.70 8/244 881672
/proc/meminfo: memFree=126629732/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=279968 memory=270340 CPUtime=461.01 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 52533 0 0 0 46082 19 0 0 20 0 1 0 171619644 286687232 67585 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 69992 67585 2794 2417 0 67094 0
################
# More data... #
################
Current children cumulated memory: 374268 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.02 7/243 883157
/proc/meminfo: memFree=126649560/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=380204 memory=374268 CPUtime=2914.61 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 92110 0 0 0 291431 30 0 0 20 0 1 0 171619644 389328896 93567 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 95051 93567 2794 2417 0 92153 0
Current children cumulated CPU time: 2914.61 s
Current children cumulated vsize: 380204 KiB
Current children cumulated memory: 374268 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.15 4.04 7/243 883167
/proc/meminfo: memFree=126634964/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=380204 memory=374268 CPUtime=2974.46 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 92211 0 0 0 297416 30 0 0 20 0 1 0 171619644 389328896 93567 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 95051 93567 2794 2417 0 92153 0
Current children cumulated CPU time: 2974.46 s
Current children cumulated vsize: 380204 KiB
Current children cumulated memory: 374268 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.15 4.04 7/243 883177
/proc/meminfo: memFree=126636456/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=380204 memory=374268 CPUtime=3034.31 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 92299 0 0 0 303401 30 0 0 20 0 1 0 171619644 389328896 93567 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 95051 93567 2794 2417 0 92153 0
Current children cumulated CPU time: 3034.31 s
Current children cumulated vsize: 380204 KiB
Current children cumulated memory: 374268 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.05 7/245 883357
/proc/meminfo: memFree=126586016/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=380204 memory=374268 CPUtime=3094.15 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 92414 0 0 0 309385 30 0 0 20 0 1 0 171619644 389328896 93567 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 95051 93567 2794 2417 0 92153 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 380204 KiB
Current children cumulated memory: 374268 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.05 7/245 883368
/proc/meminfo: memFree=126579788/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=380204 memory=374268 CPUtime=3154.01 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 92516 0 0 0 315370 31 0 0 20 0 1 0 171619644 389328896 93567 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 95051 93567 2794 2417 0 92153 0
Current children cumulated CPU time: 3154.01 s
Current children cumulated vsize: 380204 KiB
Current children cumulated memory: 374268 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.15 4.06 7/246 883436
/proc/meminfo: memFree=126575068/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=380204 memory=374268 CPUtime=3213.85 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 92608 0 0 0 321354 31 0 0 20 0 1 0 171619644 389328896 93567 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 95051 93567 2794 2417 0 92153 0
Current children cumulated CPU time: 3213.85 s
Current children cumulated vsize: 380204 KiB
Current children cumulated memory: 374268 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.06 7/246 883446
/proc/meminfo: memFree=126557112/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=380204 memory=374268 CPUtime=3273.7 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 92713 0 0 0 327339 31 0 0 20 0 1 0 171619644 389328896 93567 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 95051 93567 2794 2417 0 92153 0
Current children cumulated CPU time: 3273.7 s
Current children cumulated vsize: 380204 KiB
Current children cumulated memory: 374268 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.06 6/246 883457
/proc/meminfo: memFree=126549244/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=380204 memory=374268 CPUtime=3333.54 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 92804 0 0 0 333323 31 0 0 20 0 1 0 171619644 389328896 93567 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 95051 93567 2794 2417 0 92153 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 380204 KiB
Current children cumulated memory: 374268 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.16 4.08 6/245 883467
/proc/meminfo: memFree=126481712/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=380204 memory=374268 CPUtime=3393.39 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 92908 0 0 0 339308 31 0 0 20 0 1 0 171619644 389328896 93567 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 95051 93567 2794 2417 0 92153 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 380204 KiB
Current children cumulated memory: 374268 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.08 6/245 883478
/proc/meminfo: memFree=126462552/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=380204 memory=374268 CPUtime=3453.24 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 93000 0 0 0 345293 31 0 0 20 0 1 0 171619644 389328896 93567 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 95051 93567 2794 2417 0 92153 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 380204 KiB
Current children cumulated memory: 374268 KiB
[startup+3522.3 s]
/proc/loadavg: 4.43 4.21 4.10 7/242 883489
/proc/meminfo: memFree=126391032/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=380204 memory=374268 CPUtime=3513.08 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 93095 0 0 0 351277 31 0 0 20 0 1 0 171619644 389328896 93567 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 95051 93567 2794 2417 0 92153 0
Current children cumulated CPU time: 3513.08 s
Current children cumulated vsize: 380204 KiB
Current children cumulated memory: 374268 KiB
[startup+3582.3 s]
/proc/loadavg: 4.72 4.35 4.16 6/242 883499
/proc/meminfo: memFree=126355772/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=380204 memory=374268 CPUtime=3572.92 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 93205 0 0 0 357261 31 0 0 20 0 1 0 171619644 389328896 93567 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 95051 93567 2794 2417 0 92153 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 380204 KiB
Current children cumulated memory: 374268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.70 4.38 4.18 6/242 883505
/proc/meminfo: memFree=126585628/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=380204 memory=374268 CPUtime=3600.05 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 93267 0 0 0 359974 31 0 0 20 0 1 0 171619644 389328896 93567 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 95051 93567 2794 2417 0 92153 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 380204 KiB
Current children cumulated memory: 374268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 881582 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.75 s, system=0.314899 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.70 4.38 4.18 6/242 883505
/proc/meminfo: memFree=126585628/131655788 swapFree=131071996/131071996
[pid=881582] ppid=881569 vsize=380204 memory=374268 CPUtime=3600.05 cores=4,6
/proc/881582/stat : 881582 (CASHWMaxSAT-Dis) R 881569 881582 881512 0 -1 4194304 93267 0 0 0 359974 31 0 0 20 0 1 0 171619644 389328896 93567 134679101440 4194304 14093885 140729411768096 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 45006848 140729411773412 140729411773527 140729411773527 140729411780543 0
/proc/881582/statm: 95051 93567 2794 2417 0 92153 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 380204 KiB
Current children cumulated memory: 374268 KiB
Child status: 10
Real time (s): 3609.5
CPU time (s): 3600.06
CPU user time (s): 3599.75
CPU system time (s): 0.314899
CPU usage (%): 99.7384
Max. virtual memory (cumulated for all children) (KiB): 503960
Max. memory (cumulated for all children) (KiB): 483780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.75
system time used= 0.314899
maximum resident set size= 483780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93268
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= 80
involuntary context switches= 1850
# summary of solver processes directly reported to runsolver:
# pid: 881582
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.75
# total CPU system time (s): 0.314899
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.288 second user time and 40.589 second system time
The end
Begin job on nodeC007 at 2024-07-17 07:37:22
IDJOB=4439964
IDBENCH=146653
IDSOLVER=3077
FILE ID=nodeC007/4439964-1721194629
RUNJOBID= nodeC007-1721194641-881523
SLURM_JOB_ID= 7508875
Free space on /tmp= 723780 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439964-1721194629/watcher-4439964-1721194629 -o /tmp/evaluation-result-4439964-1721194629/solver-4439964-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721194641-881523 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439964-1721194629.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7fa9d6bae1eb6fc87d1fc158a8928861
RANDOM SEED=346687897
nodeC007.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 : 1197.135
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.25
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 : 1197.162
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.30
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.147
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.25
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.138
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.30
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 : 1197.141
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.25
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 : 1197.142
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.30
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.149
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.25
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.143
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128177584 kB
MemAvailable: 129924636 kB
Buffers: 431624 kB
Cached: 2139928 kB
SwapCached: 0 kB
Active: 807116 kB
Inactive: 2100472 kB
Active(anon): 1404 kB
Inactive(anon): 373304 kB
Active(file): 805712 kB
Inactive(file): 1727168 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 53328 kB
Writeback: 0 kB
AnonPages: 336484 kB
Mapped: 104416 kB
Shmem: 37704 kB
KReclaimable: 108408 kB
Slab: 208524 kB
SReclaimable: 108408 kB
SUnreclaim: 100116 kB
KernelStack: 3776 kB
PageTables: 9440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 675028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54464 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC007 at 2024-07-17 08:37:32