Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCom-S 2025-06-01 | SAT (TO) | 211 | 3600.07 | 3609.6 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb |
| MD5SUM | d9affe619068a6673989e4355ed78893 |
| 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 | 182 |
| Best CPU time to get the best result obtained on this benchmark | 3586.07 |
| 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 | 470 |
| Total number of constraints | 469 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 469 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 470 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 470 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 470 |
| 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.09/0.17 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.09/0.17 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.09/0.17 o 283 0.09/0.17 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.09/0.19 c Starting SCIP solver (with time-limit = 1800s) ... 1795.28/1800.19 c SCIP timeout with lower and upper bounds: [151, 211] 1795.28/1800.19 o 211 3600.06/3609.60 3600.06/3609.60 v x1 -x2 x3 x4 x5 x6 -x7 x8 x9 -x10 -x11 -x12 x13 x14 x15 x16 x17 -x18 x19 x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 x30 -x31 x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 x42 x43 x44 x45 -x46 -x47 x48 x49 -x50 x51 x52 x53 -x54 x55 x56 -x57 -x58 -x59 x60 x61 x62 x63 -x64 x65 -x66 x67 x68 -x69 x70 x71 x72 -x73 -x74 -x75 x76 x77 -x78 -x79 x80 x81 x82 -x83 -x84 -x85 x86 -x87 x88 x89 x90 x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 x105 x106 x107 x108 -x109 x110 x111 x112 -x113 x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 x125 x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 x145 x146 x147 x148 x149 -x150 x151 x152 -x153 -x154 x155 x156 x157 -x158 x159 x160 x161 -x162 x163 -x164 x165 -x166 x167 x168 -x169 -x170 x171 -x172 -x173 x174 x175 x176 -x177 -x178 x179 -x180 x181 x182 x183 -x184 -x185 x186 x187 x188 x189 x190 x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 x201 x202 -x203 -x204 x205 -x206 -x207 x208 x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 x220 x221 x222 x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 x258 -x259 x260 -x261 -x262 x263 x264 -x265 -x266 x267 x268 x269 x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 x286 -x287 -x288 x289 -x290 x291 x292 x293 x294 -x295 -x296 x297 -x298 x299 x300 x301 x302 x303 -x304 -x305 -x306 x307 -x308 x309 x310 -x311 -x312 -x313 -x314 -x315 -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 -x341 -x342 -x343 x344 x345 -x346 -x347 -x348 x349 -x350 x351 x352 -x353 x354 x355 x356 -x357 -x358 -x359 -x360 -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 3600.06/3609.60 s SATISFIABLE
OK 211
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: 63665 MiB (62541 MiB free)
memory of node 1: 64507 MiB (63904 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489344-1751352787/watcher-4489344-1751352787 -o /tmp/evaluation-result-4489344-1751352787/solver-4489344-1751352787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751349176-54356 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4489344-1751352787.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=54728, runsolver pid=54725
[startup+0.100042 s]*
/proc/loadavg: 4.07 4.08 4.01 5/261 54733
/proc/meminfo: memFree=129480108/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=25696 memory=7400 CPUtime=0.09 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 1340 0 0 0 9 0 0 0 20 0 1 0 50958984 26312704 1850 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 6424 1850 768 2416 0 3526 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25696 KiB
Current children cumulated memory: 7400 KiB
[startup+0.204357 s]*
/proc/loadavg: 4.07 4.08 4.01 4/259 54737
/proc/meminfo: memFree=129456376/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=52792 memory=43508 CPUtime=0.19 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 9606 0 0 0 18 1 0 0 20 0 1 0 50958984 54059008 10877 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 13198 10877 2272 2416 0 10300 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 52792 KiB
Current children cumulated memory: 43508 KiB
[startup+0.305323 s]*
/proc/loadavg: 4.07 4.08 4.01 4/259 54737
/proc/meminfo: memFree=129395576/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=86076 memory=75508 CPUtime=0.28 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 17558 0 0 0 26 2 0 0 20 0 1 0 50958984 88141824 18877 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 21519 18877 2336 2416 0 18621 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 86076 KiB
Current children cumulated memory: 75508 KiB
[startup+0.700127 s]
/proc/loadavg: 4.07 4.08 4.01 4/259 54739
/proc/meminfo: memFree=129294704/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=89160 memory=78708 CPUtime=0.67 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 18332 0 0 0 65 2 0 0 20 0 1 0 50958984 91299840 19677 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 22290 19677 2400 2416 0 19392 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 89160 KiB
Current children cumulated memory: 78708 KiB
[startup+1.50018 s]
/proc/loadavg: 4.07 4.08 4.01 5/258 54765
/proc/meminfo: memFree=129150304/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=211248 memory=191812 CPUtime=1.47 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 39630 0 0 0 141 6 0 0 20 0 1 0 50958984 216317952 47953 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 52812 47953 2496 2416 0 49914 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 211248 KiB
Current children cumulated memory: 191812 KiB
[startup+3.10507 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 54774
/proc/meminfo: memFree=128966020/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=211248 memory=191812 CPUtime=3.07 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 39638 0 0 0 301 6 0 0 20 0 1 0 50958984 216317952 47953 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 52812 47953 2496 2416 0 49914 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 211248 KiB
Current children cumulated memory: 191812 KiB
[startup+6.30016 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 54774
/proc/meminfo: memFree=128958064/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=211248 memory=191812 CPUtime=6.25 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 39641 0 0 0 619 6 0 0 20 0 1 0 50958984 216317952 47953 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 52812 47953 2496 2416 0 49914 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 211248 KiB
Current children cumulated memory: 191812 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.01 5/263 54774
/proc/meminfo: memFree=128769000/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=269688 memory=239684 CPUtime=12.63 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 51598 0 0 0 1255 8 0 0 20 0 1 0 50958984 276160512 59921 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 67422 59921 2528 2416 0 64524 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 269688 KiB
Current children cumulated memory: 239684 KiB
[startup+25.5001 s]
/proc/loadavg: 4.11 4.09 4.02 5/262 54775
/proc/meminfo: memFree=128551144/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=335300 memory=279620 CPUtime=25.4 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 61574 0 0 0 2530 10 0 0 20 0 1 0 50958984 343347200 69905 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 83825 69905 2528 2416 0 80927 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 335300 KiB
Current children cumulated memory: 279620 KiB
[startup+51.1051 s]
/proc/loadavg: 4.07 4.08 4.02 5/262 54775
/proc/meminfo: memFree=128288688/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=394604 memory=337348 CPUtime=50.93 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 76022 0 0 0 5080 13 0 0 20 0 1 0 50958984 404074496 84337 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 98651 84337 2528 2416 0 95753 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 394604 KiB
Current children cumulated memory: 337348 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/263 54780
/proc/meminfo: memFree=128267200/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=398820 memory=340164 CPUtime=101.97 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 76738 0 0 0 10184 13 0 0 20 0 1 0 50958984 408391680 85041 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 99705 85041 2528 2416 0 96807 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 398820 KiB
Current children cumulated memory: 340164 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/263 54782
/proc/meminfo: memFree=128252940/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=400184 memory=343492 CPUtime=161.78 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 77571 0 0 0 16165 13 0 0 20 0 1 0 50958984 409788416 85873 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 100046 85873 2528 2416 0 97148 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 400184 KiB
Current children cumulated memory: 343492 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/263 54784
/proc/meminfo: memFree=128227444/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=400184 memory=343620 CPUtime=221.6 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 77618 0 0 0 22147 13 0 0 20 0 1 0 50958984 409788416 85905 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 100046 85905 2528 2416 0 97148 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 400184 KiB
Current children cumulated memory: 343620 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.09 4.02 5/263 54790
/proc/meminfo: memFree=128226180/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=400184 memory=343620 CPUtime=281.42 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 77619 0 0 0 28128 14 0 0 20 0 1 0 50958984 409788416 85905 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 100046 85905 2528 2416 0 97148 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 400184 KiB
Current children cumulated memory: 343620 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/263 54792
/proc/meminfo: memFree=128205632/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=400184 memory=344388 CPUtime=341.23 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 77827 0 0 0 34109 14 0 0 20 0 1 0 50958984 409788416 86097 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 100046 86097 2528 2416 0 97148 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 400184 KiB
Current children cumulated memory: 344388 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.10 4.03 5/263 54794
/proc/meminfo: memFree=128096024/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=452380 memory=388676 CPUtime=401.04 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 88913 0 0 0 40089 15 0 0 20 0 1 0 50958984 463237120 97169 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 113095 97169 2528 2416 0 110197 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 452380 KiB
Current children cumulated memory: 388676 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/263 54796
/proc/meminfo: memFree=127986148/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=452380 memory=388932 CPUtime=460.86 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 88956 0 0 0 46071 15 0 0 20 0 1 0 50958984 463237120 97233 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 113095 97233 2528 2416 0 110197 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
Current children cumulated memory: 732304 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 54917
/proc/meminfo: memFree=126919892/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=765260 memory=757264 CPUtime=2854.76 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 148385 0 0 0 285451 25 0 0 20 0 1 0 50958984 783626240 189316 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 191315 189316 2528 2416 0 188417 0
Current children cumulated CPU time: 2854.76 s
Current children cumulated vsize: 765260 KiB
Current children cumulated memory: 757264 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 54919
/proc/meminfo: memFree=126946936/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=765260 memory=757264 CPUtime=2914.6 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 148455 0 0 0 291435 25 0 0 20 0 1 0 50958984 783626240 189316 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 191315 189316 2528 2416 0 188417 0
Current children cumulated CPU time: 2914.6 s
Current children cumulated vsize: 765260 KiB
Current children cumulated memory: 757264 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 54921
/proc/meminfo: memFree=126947072/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=765260 memory=757264 CPUtime=2974.44 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 148486 0 0 0 297419 25 0 0 20 0 1 0 50958984 783626240 189316 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 191315 189316 2528 2416 0 188417 0
Current children cumulated CPU time: 2974.44 s
Current children cumulated vsize: 765260 KiB
Current children cumulated memory: 757264 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 54923
/proc/meminfo: memFree=126946952/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=765260 memory=757264 CPUtime=3034.28 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 148552 0 0 0 303403 25 0 0 20 0 1 0 50958984 783626240 189316 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 191315 189316 2528 2416 0 188417 0
Current children cumulated CPU time: 3034.28 s
Current children cumulated vsize: 765260 KiB
Current children cumulated memory: 757264 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 54930
/proc/meminfo: memFree=126946392/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=765260 memory=757264 CPUtime=3094.12 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 148583 0 0 0 309387 25 0 0 20 0 1 0 50958984 783626240 189316 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 191315 189316 2528 2416 0 188417 0
Current children cumulated CPU time: 3094.12 s
Current children cumulated vsize: 765260 KiB
Current children cumulated memory: 757264 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 54932
/proc/meminfo: memFree=126946288/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=765260 memory=757264 CPUtime=3153.96 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 148649 0 0 0 315371 25 0 0 20 0 1 0 50958984 783626240 189316 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 191315 189316 2528 2416 0 188417 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 765260 KiB
Current children cumulated memory: 757264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 54934
/proc/meminfo: memFree=126911676/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=765260 memory=757264 CPUtime=3213.8 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 148681 0 0 0 321355 25 0 0 20 0 1 0 50958984 783626240 189316 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 191315 189316 2528 2416 0 188417 0
Current children cumulated CPU time: 3213.8 s
Current children cumulated vsize: 765260 KiB
Current children cumulated memory: 757264 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 54941
/proc/meminfo: memFree=126911868/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=765260 memory=757264 CPUtime=3273.64 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 148749 0 0 0 327339 25 0 0 20 0 1 0 50958984 783626240 189316 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 191315 189316 2528 2416 0 188417 0
Current children cumulated CPU time: 3273.64 s
Current children cumulated vsize: 765260 KiB
Current children cumulated memory: 757264 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 54943
/proc/meminfo: memFree=126911780/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=765260 memory=757264 CPUtime=3333.48 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 148779 0 0 0 333323 25 0 0 20 0 1 0 50958984 783626240 189316 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 191315 189316 2528 2416 0 188417 0
Current children cumulated CPU time: 3333.48 s
Current children cumulated vsize: 765260 KiB
Current children cumulated memory: 757264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 54945
/proc/meminfo: memFree=126912840/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=765260 memory=757264 CPUtime=3393.32 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 148847 0 0 0 339307 25 0 0 20 0 1 0 50958984 783626240 189316 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 191315 189316 2528 2416 0 188417 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 765260 KiB
Current children cumulated memory: 757264 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 54947
/proc/meminfo: memFree=126911712/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=765260 memory=757264 CPUtime=3453.16 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 148877 0 0 0 345291 25 0 0 20 0 1 0 50958984 783626240 189316 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 191315 189316 2528 2416 0 188417 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 765260 KiB
Current children cumulated memory: 757264 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 54949
/proc/meminfo: memFree=126912760/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=765260 memory=757264 CPUtime=3513 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 148945 0 0 0 351275 25 0 0 20 0 1 0 50958984 783626240 189316 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 191315 189316 2528 2416 0 188417 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 765260 KiB
Current children cumulated memory: 757264 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 54950
/proc/meminfo: memFree=126912884/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=765260 memory=757264 CPUtime=3572.83 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 148984 0 0 0 357258 25 0 0 20 0 1 0 50958984 783626240 189316 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 191315 189316 2528 2416 0 188417 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 765260 KiB
Current children cumulated memory: 757264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.10 4.09 4.09 4/260 54952
/proc/meminfo: memFree=127643696/131250000 swapFree=33010684/33010684
[pid=54728] ppid=54725 vsize=765260 memory=757264 CPUtime=3600.06 cores=5,7
/proc/54728/stat : 54728 (CASHWMaxSAT-Dis) R 54725 54728 54343 0 -1 4194304 148984 0 0 0 359981 25 0 0 20 0 1 0 50958984 783626240 189316 18446744073709551615 4198400 14093885 140723213176640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 30474240 140723213183338 140723213183453 140723213183453 140723213189055 0
/proc/54728/statm: 191315 189316 2528 2416 0 188417 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 765260 KiB
Current children cumulated memory: 757264 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 54728 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.81 s, system=0.258146 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.6
CPU time (s): 3600.07
CPU user time (s): 3599.81
CPU system time (s): 0.258146
CPU usage (%): 99.7359
Max. virtual memory (cumulated for all children) (KiB): 804784
Max. memory (cumulated for all children) (KiB): 757264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.81
system time used= 0.258146
maximum resident set size= 757264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148985
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= 45
involuntary context switches= 1362
# summary of solver processes directly reported to runsolver:
# pid: 54728
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.81
# total CPU system time (s): 0.258146
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20038 second user time and 15.3789 second system time
The end
Begin job on nodeC013 at 2025-07-01 08:53:07 IDJOB=4489344 IDBENCH=147546 IDSOLVER=3323 FILE ID=nodeC013/4489344-1751352787 RUNJOBID= nodeC013-1751349176-54356 SLURM_JOB_ID= 9598125 Free space on /tmp= 433020 MiB SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489344-1751352787/watcher-4489344-1751352787 -o /tmp/evaluation-result-4489344-1751352787/solver-4489344-1751352787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751349176-54356 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4489344-1751352787.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d9affe619068a6673989e4355ed78893 RANDOM SEED=559167791 nodeC013 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 : 0xb00002a cpu MHz : 3599.837 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 pti ibrs ibpb stibp 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 : 6999.67 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 : 3599.832 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 pti ibrs ibpb stibp 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 : 6999.67 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 : 3600.073 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 pti ibrs ibpb stibp 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 : 6999.67 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 : 3609.166 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 pti ibrs ibpb stibp 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 : 6999.67 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 : 3599.836 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 pti ibrs ibpb stibp 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 : 6999.67 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 : 3594.418 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 pti ibrs ibpb stibp 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 : 6999.67 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 : 3599.837 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 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.836 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 pti ibrs ibpb stibp 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 : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 128990692 kB MemAvailable: 129127368 kB Buffers: 3280 kB Cached: 937340 kB SwapCached: 0 kB Active: 955336 kB Inactive: 693704 kB Active(anon): 721704 kB Inactive(anon): 0 kB Active(file): 233632 kB Inactive(file): 693704 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 38564 kB Writeback: 0 kB AnonPages: 709720 kB Mapped: 127860 kB Shmem: 13284 kB KReclaimable: 96760 kB Slab: 185008 kB SReclaimable: 96760 kB SUnreclaim: 88248 kB KernelStack: 4208 kB PageTables: 4020 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1052676 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 503808 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: 215764 kB DirectMap2M: 8992768 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433008 MiB End job on nodeC013 at 2025-07-01 09:53:17