Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCom-S 2024-07-10 | SAT (TO) | 11647 | 3600.02 | 3608.7 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
| MD5SUM | 0aad002c81e214aa0b66948d5567e1f0 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 8691 |
| Best CPU time to get the best result obtained on this benchmark | 0.113538 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 548 |
| Total number of constraints | 166 |
| Number of constraints which are clauses | 40 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 126 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 143 |
| Number of terms in the objective function | 416 |
| Biggest coefficient in the objective function | 11000 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 96797 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 11000 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 96797 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.12 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.09/0.12 c Do: 140723732536616 140723732536624 0.09/0.17 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.09/0.17 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.20/0.21 c Starting SCIP solver (with time-limit = 1800s) ... 1795.65/1800.21 c SCIP timeout with lower and upper bounds: [365, 27464] 1795.65/1800.21 o 27464 1795.95/1800.55 o 15056 1812.91/1817.57 o 14882 1814.51/1819.16 o 13243 1826.97/1831.68 o 13236 1831.37/1836.06 c Do: 140723732536616 140723732536624 1887.55/1892.34 o 12925 1887.55/1892.34 c Do: 140723732536616 140723732536624 1887.55/1892.34 c Do: 140723732536616 140723732536624 1904.22/1909.01 o 12456 1904.22/1909.01 c Do: 140723732536616 140723732536624 1994.12/1999.11 o 12284 1994.12/1999.11 c Do: 140723732536616 140723732536624 2028.24/2033.36 o 11903 2028.24/2033.36 c Do: 140723732536616 140723732536624 2028.24/2033.36 c Do: 140723732536616 140723732536624 2172.72/2178.13 o 11647 3600.01/3608.70 3600.01/3608.70 v -x1 -x2 -x3 -x4 -x5 -x8 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x19 -x21 -x22 -x23 x24 x25 -x26 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x38 -x40 -x41 -x42 -x43 x44 x45 -x46 -x49 -x51 -x52 -x53 -x54 -x55 -x58 -x60 -x61 x62 x63 -x64 -x66 -x67 -x68 -x69 -x70 -x72 -x73 -x74 -x75 -x76 -x77 -x79 -x80 -x81 x82 x83 -x84 -x87 -x89 -x90 -x91 -x92 x93 x94 -x95 -x98 -x100 -x101 -x102 -x103 -x104 -x105 -x108 -x109 -x110 -x111 -x112 x113 x114 -x117 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x128 x130 -x131 -x132 -x133 -x134 -x137 -x139 -x140 x141 x142 -x143 -x145 -x146 -x147 -x148 -x149 -x151 -x152 -x153 -x154 -x155 -x156 -x158 -x159 -x160 -x161 x162 x163 -x164 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 x176 x179 -x180 -x181 x182 x183 -x184 -x185 -x186 -x187 -x188 -x191 x192 -x193 x194 x195 -x196 -x197 -x198 -x199 -x200 x201 x202 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 x213 -x214 x215 -x216 -x217 x218 -x219 x220 x221 -x224 -x225 x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 -x259 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 x272 -x273 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 x298 x299 -x300 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 x313 -x314 -x316 x317 -x318 -x319 x320 -x321 x322 x323 x324 x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x351 -x352 x353 x354 -x355 -x356 -x357 -x358 x359 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 x370 -x371 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 -x387 -x388 x389 x390 x391 -x392 -x393 -x394 -x395 -x396 -x399 -x400 -x401 x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 x420 x421 -x422 -x425 -x426 -x427 x428 x429 -x430 x431 x432 x433 x434 x435 -x436 -x437 x438 -x439 -x441 -x442 -x443 -x444 x445 -x446 x447 -x449 -x450 x451 x452 x453 -x454 -x455 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x474 -x475 x476 -x477 x478 -x479 -x480 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x490 -x491 x492 -x493 -x494 x495 x496 -x497 -x498 -x499 -x6 x7 -x9 -x500 -x17 x18 -x20 x501 x27 -x28 -x502 -x36 x37 -x39 -x503 -x47 x48 -x50 x504 x56 -x57 -x59 -x505 -x65 -x506 -x71 -x507 -x78 -x508 -x85 -x86 -x88 x509 -x96 x97 x99 x510 x106 -x107 x511 x115 -x116 -x118 x512 -x126 x127 -x129 x513 -x135 -x136 -x138 -x514 -x144 -x515 -x150 x516 -x157 -x517 -x165 x166 x518 -x177 x178 x519 -x189 x190 x520 -x203 x204 -x521 x522 -x222 x223 x523 -x234 x235 x524 x247 -x248 -x525 x260 -x261 x526 -x274 x275 x527 -x287 x288 x528 -x301 x302 x529 x315 x530 x531 -x532 x341 x533 x350 x534 x360 -x535 -x372 x373 -x536 -x385 x386 x537 -x397 x398 x538 x410 -x411 x539 -x423 x424 x540 x541 x440 x542 x448 x543 x456 -x544 -x464 -x545 x473 x546 x481 -x547 x489 x548 3600.01/3608.70 s SATISFIABLE
OK 11647
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: 63968 MiB (61457 MiB free)
memory of node 1: 64473 MiB (62243 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439818-1721206107/watcher-4439818-1721206107 -o /tmp/evaluation-result-4439818-1721206107/solver-4439818-1721206107 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721206118-898709 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439818-1721206107.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=898910, runsolver pid=898907
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 1.31 1.50 2.61 5/256 898913
/proc/meminfo: memFree=126658024/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=29636 memory=10628 CPUtime=0.09 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 2317 0 0 0 9 0 0 0 20 0 1 0 172779666 30347264 2657 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 7409 2657 782 2417 0 4511 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 29636 KiB
Current children cumulated memory: 10628 KiB
[startup+0.205605 s]*
/proc/loadavg: 1.31 1.50 2.61 5/256 898913
/proc/meminfo: memFree=126609136/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=62180 memory=51132 CPUtime=0.2 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 12126 0 0 0 19 1 0 0 20 0 1 0 172779666 63672320 12783 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 15545 12783 2142 2417 0 12647 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62180 KiB
Current children cumulated memory: 51132 KiB
[startup+0.305565 s]*
/proc/loadavg: 1.31 1.50 2.61 5/256 898913
/proc/meminfo: memFree=126546440/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=108916 memory=96264 CPUtime=0.3 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 23217 0 0 0 28 2 0 0 20 0 1 0 172779666 111529984 24066 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 27229 24066 2350 2417 0 24331 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 108916 KiB
Current children cumulated memory: 96264 KiB
[startup+0.700238 s]
/proc/loadavg: 1.31 1.50 2.61 5/256 898913
/proc/meminfo: memFree=126454492/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=138152 memory=126044 CPUtime=0.68 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 30605 0 0 0 66 2 0 0 20 0 1 0 172779666 141467648 31511 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 34538 31511 2414 2417 0 31640 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 138152 KiB
Current children cumulated memory: 126044 KiB
[startup+1.50024 s]
/proc/loadavg: 1.31 1.50 2.61 5/256 898913
/proc/meminfo: memFree=126405824/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=141932 memory=129740 CPUtime=1.49 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 31545 0 0 0 146 3 0 0 20 0 1 0 172779666 145338368 32435 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 35483 32435 2414 2417 0 32585 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 141932 KiB
Current children cumulated memory: 129740 KiB
[startup+3.1054 s]
/proc/loadavg: 1.31 1.50 2.61 5/256 898913
/proc/meminfo: memFree=125966104/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=147748 memory=135736 CPUtime=3.09 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 33084 0 0 0 306 3 0 0 20 0 1 0 172779666 151293952 33934 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 36937 33934 2414 2417 0 34039 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 147748 KiB
Current children cumulated memory: 135736 KiB
[startup+6.30022 s]
/proc/loadavg: 1.60 1.56 2.63 5/256 898913
/proc/meminfo: memFree=125405052/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=152372 memory=141008 CPUtime=6.27 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 34425 0 0 0 624 3 0 0 20 0 1 0 172779666 156028928 35252 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 38093 35252 2414 2417 0 35195 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 152372 KiB
Current children cumulated memory: 141008 KiB
[startup+12.7002 s]
/proc/loadavg: 1.80 1.60 2.63 5/256 898914
/proc/meminfo: memFree=124778524/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=210300 memory=197396 CPUtime=12.66 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 49151 0 0 0 1260 6 0 0 20 0 1 0 172779666 215347200 49349 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 52575 49349 2526 2417 0 49677 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 210300 KiB
Current children cumulated memory: 197396 KiB
[startup+25.5002 s]
/proc/loadavg: 2.28 1.72 2.66 5/256 898916
/proc/meminfo: memFree=124825852/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=211164 memory=198716 CPUtime=25.43 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 49529 0 0 0 2536 7 0 0 20 0 1 0 172779666 216231936 49679 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 52791 49679 2526 2417 0 49893 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 211164 KiB
Current children cumulated memory: 198716 KiB
[startup+51.1057 s]
/proc/loadavg: 3.03 1.93 2.70 5/256 898920
/proc/meminfo: memFree=124763076/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=211776 memory=199508 CPUtime=50.97 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 49672 0 0 0 5089 8 0 0 20 0 1 0 172779666 216858624 49877 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 52944 49877 2526 2417 0 50046 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 211776 KiB
Current children cumulated memory: 199508 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 2.25 2.77 5/256 898974
/proc/meminfo: memFree=124645276/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=402340 memory=324492 CPUtime=102.04 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 80831 0 0 0 10191 13 0 0 20 0 1 0 172779666 411996160 81123 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 100585 81123 2542 2417 0 97687 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 402340 KiB
Current children cumulated memory: 324492 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.59 2.86 5/258 898989
/proc/meminfo: memFree=124597544/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=402340 memory=324692 CPUtime=161.89 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 81232 0 0 0 16176 13 0 0 20 0 1 0 172779666 411996160 81173 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 100585 81173 2542 2417 0 97687 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 402340 KiB
Current children cumulated memory: 324692 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.88 2.94 5/258 898999
/proc/meminfo: memFree=124567620/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=402340 memory=324692 CPUtime=221.76 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 81232 0 0 0 22162 14 0 0 20 0 1 0 172779666 411996160 81173 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 100585 81173 2542 2417 0 97687 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 402340 KiB
Current children cumulated memory: 324692 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.10 3.02 5/258 899010
/proc/meminfo: memFree=124483064/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=456196 memory=378116 CPUtime=281.61 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 94635 0 0 0 28145 16 0 0 20 0 1 0 172779666 467144704 94529 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 114049 94529 2542 2417 0 111151 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 456196 KiB
Current children cumulated memory: 378116 KiB
[startup+342.3 s]
/proc/loadavg: 4.31 3.36 3.11 5/256 899021
/proc/meminfo: memFree=124451596/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=456196 memory=378116 CPUtime=341.46 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 94637 0 0 0 34130 16 0 0 20 0 1 0 172779666 467144704 94529 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 114049 94529 2542 2417 0 111151 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 456196 KiB
Current children cumulated memory: 378116 KiB
[startup+402.3 s]
/proc/loadavg: 4.21 3.51 3.18 5/256 899031
/proc/meminfo: memFree=124406872/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=456196 memory=378636 CPUtime=401.33 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 94737 0 0 0 40116 17 0 0 20 0 1 0 172779666 467144704 94659 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 114049 94659 2542 2417 0 111151 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 456196 KiB
Current children cumulated memory: 378636 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.62 3.24 5/255 899468
/proc/meminfo: memFree=122511204/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=493476 memory=378636 CPUtime=461.18 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 94778 0 0 0 46101 17 0 0 20 0 1 0 172779666 505319424 94659 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 123369 94659 2542 2417 0 120471 0
################
# More data... #
################
Current children cumulated memory: 659252 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.16 4.09 5/254 900710
/proc/meminfo: memFree=123504424/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=766032 memory=659252 CPUtime=2915.21 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 156276 0 0 0 291490 31 0 0 20 0 1 0 172779666 784416768 164813 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 191508 164813 2542 2417 0 188610 0
Current children cumulated CPU time: 2915.21 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 659252 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/254 900721
/proc/meminfo: memFree=123558124/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=766032 memory=659252 CPUtime=2975.07 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 156367 0 0 0 297476 31 0 0 20 0 1 0 172779666 784416768 164813 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 191508 164813 2542 2417 0 188610 0
Current children cumulated CPU time: 2975.07 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 659252 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/255 900733
/proc/meminfo: memFree=123505064/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=766032 memory=659252 CPUtime=3034.92 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 156459 0 0 0 303461 31 0 0 20 0 1 0 172779666 784416768 164813 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 191508 164813 2542 2417 0 188610 0
Current children cumulated CPU time: 3034.92 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 659252 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/255 900743
/proc/meminfo: memFree=123523160/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=766032 memory=659252 CPUtime=3094.79 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 156578 0 0 0 309448 31 0 0 20 0 1 0 172779666 784416768 164813 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 191508 164813 2542 2417 0 188610 0
Current children cumulated CPU time: 3094.79 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 659252 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/257 900758
/proc/meminfo: memFree=123517372/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=766032 memory=659252 CPUtime=3154.65 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 156669 0 0 0 315434 31 0 0 20 0 1 0 172779666 784416768 164813 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 191508 164813 2542 2417 0 188610 0
Current children cumulated CPU time: 3154.65 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 659252 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/257 900769
/proc/meminfo: memFree=123538076/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=766032 memory=659252 CPUtime=3214.5 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 156759 0 0 0 321419 31 0 0 20 0 1 0 172779666 784416768 164813 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 191508 164813 2542 2417 0 188610 0
Current children cumulated CPU time: 3214.5 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 659252 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 900781
/proc/meminfo: memFree=123540536/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=766032 memory=659252 CPUtime=3274.36 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 156864 0 0 0 327405 31 0 0 20 0 1 0 172779666 784416768 164813 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 191508 164813 2542 2417 0 188610 0
Current children cumulated CPU time: 3274.36 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 659252 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 900794
/proc/meminfo: memFree=123514932/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=766032 memory=659252 CPUtime=3334.22 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 156955 0 0 0 333391 31 0 0 20 0 1 0 172779666 784416768 164813 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 191508 164813 2542 2417 0 188610 0
Current children cumulated CPU time: 3334.22 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 659252 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 900804
/proc/meminfo: memFree=123492096/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=766032 memory=659252 CPUtime=3394.08 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 157047 0 0 0 339377 31 0 0 20 0 1 0 172779666 784416768 164813 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 191508 164813 2542 2417 0 188610 0
Current children cumulated CPU time: 3394.08 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 659252 KiB
[startup+3462.3 s]
/proc/loadavg: 4.26 4.14 4.10 5/255 900816
/proc/meminfo: memFree=123501472/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=766032 memory=659252 CPUtime=3453.94 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 157153 0 0 0 345363 31 0 0 20 0 1 0 172779666 784416768 164813 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 191508 164813 2542 2417 0 188610 0
Current children cumulated CPU time: 3453.94 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 659252 KiB
[startup+3522.3 s]
/proc/loadavg: 4.29 4.19 4.12 5/255 900826
/proc/meminfo: memFree=123528992/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=766032 memory=659252 CPUtime=3513.8 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 157245 0 0 0 351349 31 0 0 20 0 1 0 172779666 784416768 164813 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 191508 164813 2542 2417 0 188610 0
Current children cumulated CPU time: 3513.8 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 659252 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/255 900837
/proc/meminfo: memFree=123493480/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=766032 memory=659252 CPUtime=3573.67 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 157337 0 0 0 357336 31 0 0 20 0 1 0 172779666 784416768 164813 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 191508 164813 2542 2417 0 188610 0
Current children cumulated CPU time: 3573.67 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 659252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.09 4.15 4.11 5/255 900841
/proc/meminfo: memFree=123491584/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=766032 memory=659252 CPUtime=3600.01 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 157386 0 0 0 359970 31 0 0 20 0 1 0 172779666 784416768 164813 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 191508 164813 2542 2417 0 188610 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 659252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.7 s]
# the end of solver process 898910 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.7 s, system=0.320914 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.09 4.15 4.11 5/255 900841
/proc/meminfo: memFree=123491584/131524600 swapFree=131071996/131071996
[pid=898910] ppid=898907 vsize=766032 memory=659252 CPUtime=3600.01 cores=4,6
/proc/898910/stat : 898910 (CASHWMaxSAT-Dis) R 898907 898910 898698 0 -1 4194304 157386 0 0 0 359970 31 0 0 20 0 1 0 172779666 784416768 164813 134679101440 4194304 14093885 140723732538976 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 29765632 140723732546532 140723732546647 140723732546647 140723732553663 0
/proc/898910/statm: 191508 164813 2542 2417 0 188610 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 659252 KiB
Child status: 10
Real time (s): 3608.7
CPU time (s): 3600.02
CPU user time (s): 3599.7
CPU system time (s): 0.320914
CPU usage (%): 99.7595
Max. virtual memory (cumulated for all children) (KiB): 876064
Max. memory (cumulated for all children) (KiB): 659252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.7
system time used= 0.320914
maximum resident set size= 659256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157387
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= 38
involuntary context switches= 1434
# summary of solver processes directly reported to runsolver:
# pid: 898910
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.7
# total CPU system time (s): 0.320914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10895 second user time and 16.8492 second system time
The end
Begin job on nodeC032 at 2024-07-17 10:48:40 IDJOB=4439818 IDBENCH=146905 IDSOLVER=3077 FILE ID=nodeC032/4439818-1721206107 RUNJOBID= nodeC032-1721206118-898709 SLURM_JOB_ID= 7508906 Free space on /tmp= 890040 MiB SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.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-4439818-1721206107/watcher-4439818-1721206107 -o /tmp/evaluation-result-4439818-1721206107/solver-4439818-1721206107 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721206118-898709 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439818-1721206107.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0 RANDOM SEED=195565718 nodeC032.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.191 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.33 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.115 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 : 7005.03 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 : 3604.958 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.33 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.094 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 : 7005.03 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 : 3656.032 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.33 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.130 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 : 7005.03 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 : 3664.946 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.33 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 : 3600.004 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 : 7005.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126680840 kB MemAvailable: 129403608 kB Buffers: 445592 kB Cached: 3085812 kB SwapCached: 0 kB Active: 792192 kB Inactive: 3390704 kB Active(anon): 1564 kB Inactive(anon): 687328 kB Active(file): 790628 kB Inactive(file): 2703376 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 57244 kB Writeback: 8 kB AnonPages: 651032 kB Mapped: 121356 kB Shmem: 37720 kB KReclaimable: 137172 kB Slab: 249544 kB SReclaimable: 137172 kB SUnreclaim: 112372 kB KernelStack: 4144 kB PageTables: 10440 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1026528 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 66176 kB HardwareCorrupted: 0 kB AnonHugePages: 233472 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: 226004 kB DirectMap2M: 21567488 kB DirectMap1G: 114294784 kB Free space on /tmp at the end= 890044 MiB End job on nodeC032 at 2024-07-17 11:48:49