Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-S 2024-07-10 | SAT (TO) | 64 | 3600.08 | 3612.5 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb |
| MD5SUM | 01f07e427327757fda434ad4b1d2038d |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 64 |
| Best CPU time to get the best result obtained on this benchmark | 3558.01 |
| 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 | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 3 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 324 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 324 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.07 c Do: 140734089416888 140734089416896 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.55/1800.08 c SCIP timeout with lower and upper bounds: [48, 66] 1793.55/1800.08 o 66 2981.18/2991.54 o 64 3600.07/3612.50 3600.07/3612.50 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.07/3612.50 s SATISFIABLE
OK 64
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 (61049 MiB free)
memory of node 1: 64510 MiB (60096 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439062-1721207825/watcher-4439062-1721207825 -o /tmp/evaluation-result-4439062-1721207825/solver-4439062-1721207825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721207297-897988 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439062-1721207825.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=898381, runsolver pid=898378
[startup+0.100107 s]*
/proc/loadavg: 4.14 3.68 2.93 5/241 898382
/proc/meminfo: memFree=124023188/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=53404 memory=43824 CPUtime=0.1 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 9331 0 0 0 9 1 0 0 20 0 1 0 172940548 54685696 10956 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 13351 10956 2510 2594 0 10244 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53404 KiB
Current children cumulated memory: 43824 KiB
[startup+0.212774 s]*
/proc/loadavg: 4.14 3.68 2.93 5/241 898382
/proc/meminfo: memFree=124006388/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=67420 memory=57408 CPUtime=0.21 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 12679 0 0 0 20 1 0 0 20 0 1 0 172940548 69038080 14352 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 16855 14352 2542 2594 0 13748 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 67420 KiB
Current children cumulated memory: 57408 KiB
[startup+0.312602 s]*
/proc/loadavg: 4.14 3.68 2.93 5/241 898382
/proc/meminfo: memFree=123991316/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=90696 memory=78856 CPUtime=0.31 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 18092 0 0 0 29 2 0 0 20 0 1 0 172940548 92872704 19714 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 22674 19714 2574 2594 0 19567 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 90696 KiB
Current children cumulated memory: 78856 KiB
[startup+0.700328 s]
/proc/loadavg: 4.21 3.70 2.94 5/241 898382
/proc/meminfo: memFree=123976000/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=98492 memory=86800 CPUtime=0.68 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 20456 0 0 0 66 2 0 0 20 0 1 0 172940548 100855808 21700 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 24623 21700 2638 2594 0 21516 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98492 KiB
Current children cumulated memory: 86800 KiB
[startup+1.5003 s]
/proc/loadavg: 4.21 3.70 2.94 5/241 898382
/proc/meminfo: memFree=123975636/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=98492 memory=86800 CPUtime=1.48 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 20488 0 0 0 146 2 0 0 20 0 1 0 172940548 100855808 21700 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 24623 21700 2638 2594 0 21516 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 98492 KiB
Current children cumulated memory: 86800 KiB
[startup+3.11234 s]
/proc/loadavg: 4.21 3.70 2.94 5/241 898382
/proc/meminfo: memFree=123962728/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=120476 memory=101560 CPUtime=3.09 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 24206 0 0 0 306 3 0 0 20 0 1 0 172940548 123367424 25390 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 30119 25390 2654 2594 0 27012 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 120476 KiB
Current children cumulated memory: 101560 KiB
[startup+6.3003 s]
/proc/loadavg: 4.19 3.70 2.95 5/241 898382
/proc/meminfo: memFree=123929928/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=173140 memory=132184 CPUtime=6.26 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 31835 0 0 0 622 4 0 0 20 0 1 0 172940548 177295360 33046 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 43285 33046 2654 2594 0 40178 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 173140 KiB
Current children cumulated memory: 132184 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 3.71 2.95 5/241 898383
/proc/meminfo: memFree=123932388/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=173140 memory=132184 CPUtime=12.64 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 31835 0 0 0 1260 4 0 0 20 0 1 0 172940548 177295360 33046 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 43285 33046 2654 2594 0 40178 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 173140 KiB
Current children cumulated memory: 132184 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 3.72 2.97 5/241 898385
/proc/meminfo: memFree=123898636/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=203340 memory=162220 CPUtime=25.4 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 39380 0 0 0 2533 7 0 0 20 0 1 0 172940548 208220160 40555 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 50835 40555 2654 2594 0 47728 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 203340 KiB
Current children cumulated memory: 162220 KiB
[startup+51.1124 s]
/proc/loadavg: 4.14 3.76 3.01 5/241 898389
/proc/meminfo: memFree=123897556/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=203340 memory=162472 CPUtime=50.92 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 39417 0 0 0 5083 9 0 0 20 0 1 0 172940548 208220160 40618 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 50835 40618 2654 2594 0 47728 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 203340 KiB
Current children cumulated memory: 162472 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 3.82 3.06 5/241 898398
/proc/meminfo: memFree=123841600/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=263360 memory=214076 CPUtime=101.92 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 54018 0 0 0 10176 16 0 0 20 0 1 0 172940548 269680640 53519 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 65840 53519 2654 2594 0 62733 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 263360 KiB
Current children cumulated memory: 214076 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 3.88 3.14 5/241 898409
/proc/meminfo: memFree=123785512/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=273164 memory=222680 CPUtime=161.71 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 56961 0 0 0 16148 23 0 0 20 0 1 0 172940548 279719936 55670 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 68291 55670 2654 2594 0 65184 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 273164 KiB
Current children cumulated memory: 222680 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 3.94 3.20 5/243 898423
/proc/meminfo: memFree=123785708/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=290244 memory=224088 CPUtime=221.49 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 62464 0 0 0 22120 29 0 0 20 0 1 0 172940548 297209856 56022 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 72561 56022 2922 2594 0 69454 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 290244 KiB
Current children cumulated memory: 224088 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.97 3.26 5/245 898438
/proc/meminfo: memFree=124899492/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=312440 memory=246200 CPUtime=281.27 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 68337 0 0 0 28093 34 0 0 20 0 1 0 172940548 319938560 61550 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 78110 61550 2922 2594 0 75003 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 312440 KiB
Current children cumulated memory: 246200 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.01 3.32 5/245 898449
/proc/meminfo: memFree=124868812/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=349320 memory=276496 CPUtime=341.05 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 76357 0 0 0 34070 35 0 0 20 0 1 0 172940548 357703680 69124 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 87330 69124 2922 2594 0 84223 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 349320 KiB
Current children cumulated memory: 276496 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.05 3.38 5/246 898460
/proc/meminfo: memFree=124865516/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=349320 memory=276496 CPUtime=400.84 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 76387 0 0 0 40048 36 0 0 20 0 1 0 172940548 357703680 69124 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 87330 69124 2922 2594 0 84223 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 349320 KiB
Current children cumulated memory: 276496 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.07 3.43 5/246 898471
/proc/meminfo: memFree=124838216/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=365468 memory=291268 CPUtime=460.62 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 80034 0 0 0 46025 37 0 0 20 0 1 0 172940548 374239232 72817 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 91367 72817 2922 2594 0 88260 0
################
# More data... #
################
Current children cumulated memory: 419172 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.23 4.15 5/241 900101
/proc/meminfo: memFree=125583156/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=425196 memory=419172 CPUtime=2912.2 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 107820 0 0 0 291174 46 0 0 20 0 1 0 172940548 435400704 104793 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 106299 104793 2986 2594 0 103192 0
Current children cumulated CPU time: 2912.2 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 419172 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.20 4.14 5/241 900156
/proc/meminfo: memFree=126527284/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=425196 memory=419172 CPUtime=2972.01 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 107872 0 0 0 297155 46 0 0 20 0 1 0 172940548 435400704 104793 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 106299 104793 2986 2594 0 103192 0
Current children cumulated CPU time: 2972.01 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 419172 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.18 4.14 5/241 900167
/proc/meminfo: memFree=126480056/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=425196 memory=419172 CPUtime=3031.82 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 107935 0 0 0 303136 46 0 0 20 0 1 0 172940548 435400704 104793 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 106299 104793 2986 2594 0 103192 0
Current children cumulated CPU time: 3031.82 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 419172 KiB
[startup+3102.3 s]
/proc/loadavg: 3.99 4.13 4.12 5/241 900269
/proc/meminfo: memFree=127736520/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=425196 memory=419172 CPUtime=3091.6 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 108017 0 0 0 309114 46 0 0 20 0 1 0 172940548 435400704 104793 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 106299 104793 2986 2594 0 103192 0
Current children cumulated CPU time: 3091.6 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 419172 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/242 900282
/proc/meminfo: memFree=127608464/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=425196 memory=419172 CPUtime=3151.35 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 108066 0 0 0 315089 46 0 0 20 0 1 0 172940548 435400704 104793 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 106299 104793 2986 2594 0 103192 0
Current children cumulated CPU time: 3151.35 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 419172 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/245 900297
/proc/meminfo: memFree=127524848/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=425196 memory=419172 CPUtime=3211.13 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 108113 0 0 0 321067 46 0 0 20 0 1 0 172940548 435400704 104793 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 106299 104793 2986 2594 0 103192 0
Current children cumulated CPU time: 3211.13 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 419172 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/245 900307
/proc/meminfo: memFree=127494784/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=425196 memory=419172 CPUtime=3270.93 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 108180 0 0 0 327047 46 0 0 20 0 1 0 172940548 435400704 104793 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 106299 104793 2986 2594 0 103192 0
Current children cumulated CPU time: 3270.93 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 419172 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/245 900319
/proc/meminfo: memFree=127436788/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=425196 memory=419172 CPUtime=3330.74 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 108242 0 0 0 333028 46 0 0 20 0 1 0 172940548 435400704 104793 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 106299 104793 2986 2594 0 103192 0
Current children cumulated CPU time: 3330.74 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 419172 KiB
[startup+3402.3 s]
/proc/loadavg: 4.27 4.15 4.12 5/245 900330
/proc/meminfo: memFree=127384972/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=425196 memory=419172 CPUtime=3390.55 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 108327 0 0 0 339009 46 0 0 20 0 1 0 172940548 435400704 104793 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 106299 104793 2986 2594 0 103192 0
Current children cumulated CPU time: 3390.55 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 419172 KiB
[startup+3462.3 s]
/proc/loadavg: 4.70 4.31 4.18 5/245 900340
/proc/meminfo: memFree=127335564/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=425196 memory=419172 CPUtime=3450.35 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 108398 0 0 0 344989 46 0 0 20 0 1 0 172940548 435400704 104793 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 106299 104793 2986 2594 0 103192 0
Current children cumulated CPU time: 3450.35 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 419172 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.28 4.18 5/244 900353
/proc/meminfo: memFree=127313220/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=425196 memory=419172 CPUtime=3510.16 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 108473 0 0 0 350970 46 0 0 20 0 1 0 172940548 435400704 104793 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 106299 104793 2986 2594 0 103192 0
Current children cumulated CPU time: 3510.16 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 419172 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.26 4.18 5/241 900363
/proc/meminfo: memFree=127193700/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=425196 memory=419172 CPUtime=3569.96 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 108545 0 0 0 356950 46 0 0 20 0 1 0 172940548 435400704 104793 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 106299 104793 2986 2594 0 103192 0
Current children cumulated CPU time: 3569.96 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 419172 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.5 s]
/proc/loadavg: 4.21 4.25 4.18 7/242 900368
/proc/meminfo: memFree=127184880/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=425196 memory=419172 CPUtime=3600.07 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 108578 0 0 0 359961 46 0 0 20 0 1 0 172940548 435400704 104793 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 106299 104793 2986 2594 0 103192 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 419172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.5 s]
# the end of solver process 898381 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.61 s, system=0.470279 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.5 s]
/proc/loadavg: 4.21 4.25 4.18 7/242 900368
/proc/meminfo: memFree=127184880/131655788 swapFree=131071996/131071996
[pid=898381] ppid=898378 vsize=425196 memory=419172 CPUtime=3600.07 cores=0,2
/proc/898381/stat : 898381 (CASHWMaxSAT-Dis) R 898378 898381 897978 0 -1 4194304 108578 0 0 0 359961 46 0 0 20 0 1 0 172940548 435400704 104793 134679101440 4194304 14817773 140734089419296 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53661696 140734089425892 140734089426007 140734089426007 140734089433023 0
/proc/898381/statm: 106299 104793 2986 2594 0 103192 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 425196 KiB
Current children cumulated memory: 419172 KiB
Child status: 10
Real time (s): 3612.5
CPU time (s): 3600.08
CPU user time (s): 3599.61
CPU system time (s): 0.470279
CPU usage (%): 99.6562
Max. virtual memory (cumulated for all children) (KiB): 444200
Max. memory (cumulated for all children) (KiB): 435604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.61
system time used= 0.470279
maximum resident set size= 435604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108579
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= 46
involuntary context switches= 24660
# summary of solver processes directly reported to runsolver:
# pid: 898381
# total CPU time (s): 3600.08
# total CPU user time (s): 3599.61
# total CPU system time (s): 0.470279
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2609 second user time and 34.648 second system time
The end
Begin job on nodeC002 at 2024-07-17 11:17:17 IDJOB=4439062 IDBENCH=147020 IDSOLVER=3075 FILE ID=nodeC002/4439062-1721207825 RUNJOBID= nodeC002-1721207297-897988 SLURM_JOB_ID= 7508913 Free space on /tmp= 723740 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439062-1721207825/watcher-4439062-1721207825 -o /tmp/evaluation-result-4439062-1721207825/solver-4439062-1721207825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721207297-897988 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439062-1721207825.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d RANDOM SEED=1927217863 nodeC002.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 : 3603.035 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.38 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 : 3562.780 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.31 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.154 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.38 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.186 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.31 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 : 3653.372 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.38 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 : 3668.786 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.31 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.176 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.38 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.289 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124053100 kB MemAvailable: 126417372 kB Buffers: 465500 kB Cached: 2713500 kB SwapCached: 0 kB Active: 785292 kB Inactive: 6218856 kB Active(anon): 2708 kB Inactive(anon): 3860120 kB Active(file): 782584 kB Inactive(file): 2358736 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 14000 kB Writeback: 40 kB AnonPages: 3824764 kB Mapped: 131432 kB Shmem: 37704 kB KReclaimable: 125968 kB Slab: 228696 kB SReclaimable: 125968 kB SUnreclaim: 102728 kB KernelStack: 3828 kB PageTables: 16668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 4363232 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 56480 kB HardwareCorrupted: 0 kB AnonHugePages: 1744896 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: 205640 kB DirectMap2M: 21719040 kB DirectMap1G: 114294784 kB Free space on /tmp at the end= 723728 MiB End job on nodeC002 at 2024-07-17 12:17:30