Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCad-S 2025-06-01 | SAT (TO) | 64 | 3600.03 | 3610.3 |
| 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 | 3584.69 |
| 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.19/0.22 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.19/0.22 c Do: 140728820530600 140728820530608 0.19/0.22 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.19/0.26 c Starting SCIP solver (with time-limit = 1800s) ... 1794.79/1800.26 c SCIP timeout with lower and upper bounds: [48, 66] 1794.79/1800.26 o 66 3554.25/3564.42 o 64 3600.02/3610.30 3600.02/3610.30 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.02/3610.30 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: 63837 MiB (58774 MiB free)
memory of node 1: 64465 MiB (61659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486399-1751323254/watcher-4486399-1751323254 -o /tmp/evaluation-result-4486399-1751323254/solver-4486399-1751323254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751315935-46553 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4486399-1751323254.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=47684, runsolver pid=47681
[startup+0.10007 s]*
/proc/loadavg: 4.21 4.15 4.15 5/250 47685
/proc/meminfo: memFree=123324640/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=23300 memory=8960 CPUtime=0.09 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 1511 0 0 0 9 0 0 0 20 0 1 0 48004630 23859200 2240 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 5825 2240 864 2593 0 2718 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23300 KiB
Current children cumulated memory: 8960 KiB
[startup+0.213276 s]*
/proc/loadavg: 4.21 4.15 4.15 5/250 47685
/proc/meminfo: memFree=123324640/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=29184 memory=14576 CPUtime=0.19 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 3509 0 0 0 18 1 0 0 20 0 1 0 48004630 29884416 3644 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 7296 3644 896 2593 0 4189 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 29184 KiB
Current children cumulated memory: 14576 KiB
[startup+0.312593 s]*
/proc/loadavg: 4.21 4.15 4.15 5/250 47685
/proc/meminfo: memFree=123308764/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=53224 memory=43632 CPUtime=0.28 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 9295 0 0 0 25 3 0 0 20 0 1 0 48004630 54501376 10908 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 6 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 13306 10908 2496 2593 0 10199 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 53224 KiB
Current children cumulated memory: 43632 KiB
[startup+0.700286 s]
/proc/loadavg: 4.21 4.15 4.15 5/250 47685
/proc/meminfo: memFree=123298936/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=68396 memory=57712 CPUtime=0.64 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 12830 0 0 0 60 4 0 0 20 0 1 0 48004630 70037504 14428 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 17099 14428 2496 2593 0 13992 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 68396 KiB
Current children cumulated memory: 57712 KiB
[startup+1.5003 s]
/proc/loadavg: 4.21 4.15 4.15 5/250 47685
/proc/meminfo: memFree=123268144/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=98500 memory=86504 CPUtime=1.44 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 20469 0 0 0 137 7 0 0 20 0 1 0 48004630 100864000 21626 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 24625 21626 2592 2593 0 21518 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 98500 KiB
Current children cumulated memory: 86504 KiB
[startup+3.11278 s]
/proc/loadavg: 4.21 4.15 4.15 5/250 47685
/proc/meminfo: memFree=123268212/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=98684 memory=86632 CPUtime=3.04 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 20503 0 0 0 297 7 0 0 20 0 1 0 48004630 101052416 21658 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 24671 21658 2592 2593 0 21564 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 98684 KiB
Current children cumulated memory: 86632 KiB
[startup+6.30031 s]
/proc/loadavg: 4.28 4.17 4.16 5/250 47685
/proc/meminfo: memFree=123220476/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=162952 memory=129896 CPUtime=6.22 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 31289 0 0 0 613 9 0 0 20 0 1 0 48004630 166862848 32474 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 40738 32474 2624 2593 0 37631 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 162952 KiB
Current children cumulated memory: 129896 KiB
[startup+12.7003 s]
/proc/loadavg: 4.25 4.16 4.16 5/250 47685
/proc/meminfo: memFree=123206148/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=172264 memory=131304 CPUtime=12.6 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 31653 0 0 0 1251 9 0 0 20 0 1 0 48004630 176398336 32826 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 43066 32826 2624 2593 0 39959 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 172264 KiB
Current children cumulated memory: 131304 KiB
[startup+25.5004 s]
/proc/loadavg: 4.20 4.16 4.15 5/250 47685
/proc/meminfo: memFree=123172472/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=203260 memory=161896 CPUtime=25.37 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 39297 0 0 0 2527 10 0 0 20 0 1 0 48004630 208138240 40474 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 50815 40474 2624 2593 0 47708 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 203260 KiB
Current children cumulated memory: 161896 KiB
[startup+51.113 s]
/proc/loadavg: 4.21 4.16 4.15 5/250 47685
/proc/meminfo: memFree=123172984/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=203260 memory=162024 CPUtime=50.9 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 39368 0 0 0 5080 10 0 0 20 0 1 0 48004630 208138240 40506 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 50815 40506 2624 2593 0 47708 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 203260 KiB
Current children cumulated memory: 162024 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.15 5/251 47688
/proc/meminfo: memFree=123126624/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=263268 memory=213100 CPUtime=101.94 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 54108 0 0 0 10180 14 0 0 20 0 1 0 48004630 269586432 53275 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 65817 53275 2624 2593 0 62710 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 263268 KiB
Current children cumulated memory: 213100 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/252 47691
/proc/meminfo: memFree=123111744/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=271944 memory=221640 CPUtime=161.76 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 57484 0 0 0 16160 16 0 0 20 0 1 0 48004630 278470656 55410 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 67986 55410 2624 2593 0 64879 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 271944 KiB
Current children cumulated memory: 221640 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/253 47694
/proc/meminfo: memFree=122975648/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=288416 memory=223592 CPUtime=221.58 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 60766 0 0 0 22141 17 0 0 20 0 1 0 48004630 295337984 55898 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 72104 55898 2880 2593 0 68997 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 288416 KiB
Current children cumulated memory: 223592 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/252 47696
/proc/meminfo: memFree=122960828/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=312572 memory=247708 CPUtime=281.39 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 70803 0 0 0 28120 19 0 0 20 0 1 0 48004630 320073728 61927 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 78143 61927 2880 2593 0 75036 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 312572 KiB
Current children cumulated memory: 247708 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.10 4.13 5/252 47698
/proc/meminfo: memFree=122930348/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=344592 memory=273384 CPUtime=341.23 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 78462 0 0 0 34102 21 0 0 20 0 1 0 48004630 352862208 68346 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 86148 68346 2880 2593 0 83041 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 344592 KiB
Current children cumulated memory: 273384 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/251 47700
/proc/meminfo: memFree=122931104/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=348412 memory=276200 CPUtime=401.06 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 79161 0 0 0 40084 22 0 0 20 0 1 0 48004630 356773888 69050 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 87103 69050 2880 2593 0 83996 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 348412 KiB
Current children cumulated memory: 276200 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/250 47702
/proc/meminfo: memFree=122924064/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=365472 memory=291304 CPUtime=460.89 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 82942 0 0 0 46065 24 0 0 20 0 1 0 48004630 374243328 72826 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 91368 72826 2880 2593 0 88261 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
Current children cumulated memory: 424968 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/250 47922
/proc/meminfo: memFree=123358868/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=431476 memory=424968 CPUtime=2913.89 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 113647 0 0 0 291334 55 0 0 20 0 1 0 48004630 441831424 106242 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 107869 106242 2944 2593 0 104762 0
Current children cumulated CPU time: 2913.89 s
Current children cumulated vsize: 431476 KiB
Current children cumulated memory: 424968 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/249 47924
/proc/meminfo: memFree=123361224/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=431476 memory=424968 CPUtime=2973.72 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 113673 0 0 0 297317 55 0 0 20 0 1 0 48004630 441831424 106242 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 107869 106242 2944 2593 0 104762 0
Current children cumulated CPU time: 2973.72 s
Current children cumulated vsize: 431476 KiB
Current children cumulated memory: 424968 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 47931
/proc/meminfo: memFree=123364004/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=431476 memory=424968 CPUtime=3033.56 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 113673 0 0 0 303300 56 0 0 20 0 1 0 48004630 441831424 106242 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 107869 106242 2944 2593 0 104762 0
Current children cumulated CPU time: 3033.56 s
Current children cumulated vsize: 431476 KiB
Current children cumulated memory: 424968 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 47933
/proc/meminfo: memFree=123365432/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=431476 memory=424968 CPUtime=3093.4 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 113737 0 0 0 309284 56 0 0 20 0 1 0 48004630 441831424 106242 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 107869 106242 2944 2593 0 104762 0
Current children cumulated CPU time: 3093.4 s
Current children cumulated vsize: 431476 KiB
Current children cumulated memory: 424968 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/250 47935
/proc/meminfo: memFree=123367472/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=431476 memory=424968 CPUtime=3153.24 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 113740 0 0 0 315267 57 0 0 20 0 1 0 48004630 441831424 106242 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 107869 106242 2944 2593 0 104762 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 431476 KiB
Current children cumulated memory: 424968 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 47937
/proc/meminfo: memFree=123368984/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=431476 memory=424968 CPUtime=3213.08 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 113766 0 0 0 321251 57 0 0 20 0 1 0 48004630 441831424 106242 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 107869 106242 2944 2593 0 104762 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 431476 KiB
Current children cumulated memory: 424968 KiB
[startup+3282.3 s]
/proc/loadavg: 4.80 4.30 4.16 5/251 47940
/proc/meminfo: memFree=123369976/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=431476 memory=424968 CPUtime=3272.92 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 113803 0 0 0 327234 58 0 0 20 0 1 0 48004630 441831424 106242 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 107869 106242 2944 2593 0 104762 0
Current children cumulated CPU time: 3272.92 s
Current children cumulated vsize: 431476 KiB
Current children cumulated memory: 424968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.35 4.25 4.16 5/250 47942
/proc/meminfo: memFree=123370748/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=431476 memory=424968 CPUtime=3332.76 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 113806 0 0 0 333217 59 0 0 20 0 1 0 48004630 441831424 106242 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 107869 106242 2944 2593 0 104762 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 431476 KiB
Current children cumulated memory: 424968 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.22 4.15 5/250 47944
/proc/meminfo: memFree=123371504/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=431476 memory=424968 CPUtime=3392.6 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 113860 0 0 0 339201 59 0 0 20 0 1 0 48004630 441831424 106242 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 107869 106242 2944 2593 0 104762 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 431476 KiB
Current children cumulated memory: 424968 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.20 4.14 5/250 47946
/proc/meminfo: memFree=123372764/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=431476 memory=424968 CPUtime=3452.44 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 113873 0 0 0 345184 60 0 0 20 0 1 0 48004630 441831424 106242 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 107869 106242 2944 2593 0 104762 0
Current children cumulated CPU time: 3452.44 s
Current children cumulated vsize: 431476 KiB
Current children cumulated memory: 424968 KiB
[startup+3522.3 s]
/proc/loadavg: 4.02 4.16 4.13 4/244 47996
/proc/meminfo: memFree=125252052/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=431476 memory=424968 CPUtime=3512.27 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 113906 0 0 0 351167 60 0 0 20 0 1 0 48004630 441831424 106242 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 107869 106242 2944 2593 0 104762 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 431476 KiB
Current children cumulated memory: 424968 KiB
[startup+3582.3 s]
/proc/loadavg: 2.78 3.77 4.00 3/238 48014
/proc/meminfo: memFree=125276816/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=431476 memory=424968 CPUtime=3572.09 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 113952 0 0 0 357148 61 0 0 20 0 1 0 48004630 441831424 106242 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 107869 106242 2944 2593 0 104762 0
Current children cumulated CPU time: 3572.09 s
Current children cumulated vsize: 431476 KiB
Current children cumulated memory: 424968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 2.51 3.63 3.95 3/238 48015
/proc/meminfo: memFree=125276828/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=431476 memory=424968 CPUtime=3600.02 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 113960 0 0 0 359940 62 0 0 20 0 1 0 48004630 441831424 106242 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 107869 106242 2944 2593 0 104762 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 431476 KiB
Current children cumulated memory: 424968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 47684 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.41 s, system=0.624454 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 2.51 3.63 3.95 3/238 48015
/proc/meminfo: memFree=125276828/131382116 swapFree=33010160/33010684
[pid=47684] ppid=47681 vsize=431476 memory=424968 CPUtime=3600.02 cores=4,6
/proc/47684/stat : 47684 (CASHWMaxSAT-Dis) R 47681 47684 46542 0 -1 4194304 113960 0 0 0 359940 62 0 0 20 0 1 0 48004630 441831424 106242 18446744073709551615 4198400 14817773 140728820533008 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 25354240 140728820541802 140728820541917 140728820541917 140728820547519 0
/proc/47684/statm: 107869 106242 2944 2593 0 104762 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 431476 KiB
Current children cumulated memory: 424968 KiB
Child status: 10
Real time (s): 3610.3
CPU time (s): 3600.03
CPU user time (s): 3599.41
CPU system time (s): 0.624454
CPU usage (%): 99.7155
Max. virtual memory (cumulated for all children) (KiB): 443820
Max. memory (cumulated for all children) (KiB): 424968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.41
system time used= 0.624454
maximum resident set size= 424968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113961
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= 29
involuntary context switches= 2492
# summary of solver processes directly reported to runsolver:
# pid: 47684
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.41
# total CPU system time (s): 0.624454
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0656 second user time and 34.4133 second system time
The end
Begin job on nodeC004 at 2025-07-01 00:40:54 IDJOB=4486399 IDBENCH=147020 IDSOLVER=3322 FILE ID=nodeC004/4486399-1751323254 RUNJOBID= nodeC004-1751315935-46553 SLURM_JOB_ID= 9594334 Free space on /tmp= 433016 MiB SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01 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 -w /tmp/evaluation-result-4486399-1751323254/watcher-4486399-1751323254 -o /tmp/evaluation-result-4486399-1751323254/solver-4486399-1751323254 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751315935-46553 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4486399-1751323254.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d RANDOM SEED=1138794685 nodeC004 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 3662.119 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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 : 3591.622 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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.323 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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 : 3700.000 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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.573 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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 : 3691.427 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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.217 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 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.459 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 pti tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 123324512 kB MemAvailable: 127036132 kB Buffers: 2720 kB Cached: 4462964 kB SwapCached: 20 kB Active: 3192276 kB Inactive: 4137924 kB Active(anon): 2876288 kB Inactive(anon): 6188 kB Active(file): 315988 kB Inactive(file): 4131736 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 14008 kB Writeback: 28 kB AnonPages: 2865988 kB Mapped: 134736 kB Shmem: 17956 kB KReclaimable: 207044 kB Slab: 292676 kB SReclaimable: 207044 kB SUnreclaim: 85632 kB KernelStack: 4032 kB PageTables: 8828 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 3572100 kB VmallocTotal: 34359738367 kB VmallocUsed: 149384 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 1103872 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197448 kB DirectMap2M: 10190848 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 433032 MiB End job on nodeC004 at 2025-07-01 01:41:05