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) | 16 | 3600.07 | 3610.81 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=18-t=2.opb |
| MD5SUM | 5da417552da80e99ebaacbb86c541f7c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 16 |
| Best CPU time to get the best result obtained on this benchmark | 1.94433 |
| 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 | 531 |
| Total number of constraints | 47178 |
| Number of constraints which are clauses | 47160 |
| Number of constraints which are cardinality constraints (but not clauses) | 18 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 18 |
| 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 | 18 |
| Number of bits of the sum of numbers in the objective function | 5 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 20 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.79/0.83 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.79/0.83 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.79/0.83 o 17 0.79/0.83 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.79/0.90 c Starting SCIP solver (with time-limit = 1800s) ... 1795.57/1800.90 c SCIP timeout with lower and upper bounds: [0, 16] 1795.57/1800.90 o 16 3600.05/3610.80 3600.05/3610.80 v x154 x155 x156 x157 x158 x159 x160 x161 -x162 x163 x164 x165 x166 x167 x168 x169 x170 -x171 -x172 -x190 -x208 -x226 -x244 -x262 -x280 -x298 -x316 -x334 -x352 -x370 -x388 -x406 -x424 -x442 -x460 -x478 -x173 -x191 -x209 -x227 -x245 -x263 -x281 -x299 -x317 -x335 -x353 -x371 -x389 -x407 -x425 -x443 -x461 -x479 -x174 -x192 -x210 -x228 -x246 -x264 -x282 -x300 -x318 -x336 -x354 -x372 -x390 -x408 -x426 -x444 -x462 -x480 -x175 -x193 -x211 -x229 -x247 -x265 -x283 -x301 -x319 -x337 -x355 -x373 -x391 -x409 -x427 -x445 -x463 -x481 -x176 -x194 -x212 -x230 -x248 -x266 -x284 -x302 -x320 -x338 -x356 -x374 -x392 -x410 -x428 -x446 -x464 -x482 -x177 -x195 -x213 -x231 -x249 -x267 -x285 -x303 -x321 -x339 -x357 -x375 -x393 -x411 -x429 -x447 -x465 -x483 -x178 -x196 -x214 -x232 -x250 -x268 -x286 -x304 -x322 -x340 -x358 -x376 -x394 -x412 -x430 -x448 -x466 -x484 -x179 -x197 -x215 -x233 -x251 -x269 -x287 -x305 -x323 -x341 -x359 -x377 -x395 -x413 -x431 -x449 -x467 -x485 -x180 -x198 -x216 -x234 x252 -x270 -x288 -x306 -x324 -x342 -x360 -x378 -x396 -x414 -x432 -x450 -x468 -x486 -x181 -x199 -x217 -x235 -x253 -x271 -x289 -x307 -x325 -x343 -x361 -x379 -x397 -x415 -x433 -x451 -x469 -x487 -x182 -x200 -x218 -x236 -x254 -x272 -x290 -x308 -x326 -x344 -x362 -x380 -x398 -x416 -x434 -x452 -x470 -x488 -x183 -x201 -x219 -x237 -x255 -x273 -x291 -x309 -x327 -x345 -x363 -x381 -x399 -x417 -x435 -x453 -x471 -x489 -x184 -x202 -x220 -x238 -x256 -x274 -x292 -x310 -x328 -x346 -x364 -x382 -x400 -x418 -x436 -x454 -x472 -x490 -x185 -x203 -x221 -x239 -x257 -x275 -x293 -x311 -x329 -x347 -x365 -x383 -x401 -x419 -x437 -x455 -x473 -x491 -x186 -x204 -x222 -x240 -x258 -x276 -x294 -x312 -x330 -x348 -x366 -x384 -x402 -x420 -x438 -x456 -x474 -x492 -x187 -x205 -x223 -x241 -x259 -x277 -x295 -x313 -x331 -x349 -x367 -x385 -x403 -x421 -x439 -x457 -x475 -x493 -x188 -x206 -x224 -x242 -x260 -x278 -x296 -x314 -x332 -x350 -x368 -x386 -x404 -x422 -x440 -x458 -x476 -x494 -x189 -x207 -x225 -x243 -x261 -x279 -x297 -x315 -x333 -x351 -x369 -x387 -x405 -x423 -x441 x459 -x477 -x495 -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 -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 3600.05/3610.80 s SATISFIABLE
OK 16
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 (63187 MiB free)
memory of node 1: 64465 MiB (63641 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517512-1751534824/watcher-4517512-1751534824 -o /tmp/evaluation-result-4517512-1751534824/solver-4517512-1751534824 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751534823-78350 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4517512-1751534824.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
solver pid=78400, runsolver pid=78391
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 0.48 1.22 2.31 6/250 78409
/proc/meminfo: memFree=129861000/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=28320 memory=9984 CPUtime=0.1 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 1869 0 0 0 10 0 0 0 20 0 1 0 69161066 28999680 2496 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 7080 2496 736 2416 0 4182 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28320 KiB
Current children cumulated memory: 9984 KiB
[startup+0.212589 s]*
/proc/loadavg: 0.48 1.22 2.31 6/250 78409
/proc/meminfo: memFree=129805840/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=34920 memory=16512 CPUtime=0.21 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 3518 0 0 0 20 1 0 0 20 0 1 0 69161066 35758080 4128 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 8730 4128 736 2416 0 5832 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34920 KiB
Current children cumulated memory: 16512 KiB
[startup+0.312748 s]*
/proc/loadavg: 0.48 1.22 2.31 6/250 78409
/proc/meminfo: memFree=129765328/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=40780 memory=22400 CPUtime=0.31 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 4991 0 0 0 29 2 0 0 20 0 1 0 69161066 41758720 5600 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 10195 5600 736 2416 0 7297 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40780 KiB
Current children cumulated memory: 22400 KiB
[startup+0.700284 s]
/proc/loadavg: 0.48 1.22 2.31 6/250 78409
/proc/meminfo: memFree=129714300/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=62324 memory=45052 CPUtime=0.69 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 10714 0 0 0 64 5 0 0 20 0 1 0 69161066 63819776 11263 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 15581 11263 768 2416 0 12683 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62324 KiB
Current children cumulated memory: 45052 KiB
[startup+1.50028 s]
/proc/loadavg: 0.48 1.22 2.31 6/250 78409
/proc/meminfo: memFree=129593592/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=158636 memory=147464 CPUtime=1.48 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 35136 0 0 0 138 10 0 0 20 0 1 0 69161066 162443264 36866 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 39659 36866 2400 2416 0 36761 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158636 KiB
Current children cumulated memory: 147464 KiB
[startup+3.11196 s]
/proc/loadavg: 0.77 1.27 2.32 6/250 78409
/proc/meminfo: memFree=129373912/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=308532 memory=285472 CPUtime=3.09 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 55848 0 0 0 294 15 0 0 20 0 1 0 69161066 315936768 71368 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 77133 71368 2496 2416 0 74235 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 308532 KiB
Current children cumulated memory: 285472 KiB
[startup+6.30024 s]
/proc/loadavg: 0.77 1.27 2.32 6/250 78409
/proc/meminfo: memFree=129342164/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=327408 memory=292780 CPUtime=6.27 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 57210 0 0 0 612 15 0 0 20 0 1 0 69161066 335265792 73195 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 81852 73195 2496 2416 0 78954 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 327408 KiB
Current children cumulated memory: 292780 KiB
[startup+12.7002 s]
/proc/loadavg: 1.02 1.31 2.33 6/250 78409
/proc/meminfo: memFree=129294600/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=368112 memory=302764 CPUtime=12.66 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 59706 0 0 0 1250 16 0 0 20 0 1 0 69161066 376946688 75691 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 92028 75691 2496 2416 0 89130 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 368112 KiB
Current children cumulated memory: 302764 KiB
[startup+25.5003 s]
/proc/loadavg: 1.75 1.46 2.36 6/250 78409
/proc/meminfo: memFree=129199160/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=439120 memory=364464 CPUtime=25.42 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 82431 0 0 0 2522 20 0 0 20 0 1 0 69161066 449658880 91116 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 109780 91116 2528 2416 0 106882 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 439120 KiB
Current children cumulated memory: 364464 KiB
[startup+51.112 s]
/proc/loadavg: 2.52 1.67 2.41 6/250 78410
/proc/meminfo: memFree=129074732/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=493132 memory=418992 CPUtime=50.96 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 96125 0 0 0 5073 23 0 0 20 0 1 0 69161066 504967168 104748 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 123283 104748 2528 2416 0 120385 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 493132 KiB
Current children cumulated memory: 418992 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 2.06 2.50 6/251 78412
/proc/meminfo: memFree=128906552/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=540196 memory=465696 CPUtime=102.02 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 112035 0 0 0 10175 27 0 0 20 0 1 0 69161066 553160704 116424 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 135049 116424 2528 2416 0 132151 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 540196 KiB
Current children cumulated memory: 465696 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.44 2.61 6/251 78414
/proc/meminfo: memFree=128712868/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=558228 memory=484636 CPUtime=161.8 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 131568 0 0 0 16150 30 0 0 20 0 1 0 69161066 571625472 121159 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 139557 121159 2528 2416 0 136659 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 558228 KiB
Current children cumulated memory: 484636 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.75 2.70 6/251 78416
/proc/meminfo: memFree=128579664/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=615532 memory=531236 CPUtime=221.6 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 146154 0 0 0 22127 33 0 0 20 0 1 0 69161066 630304768 132809 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 153883 132809 2528 2416 0 150985 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 615532 KiB
Current children cumulated memory: 531236 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.01 2.80 6/251 78418
/proc/meminfo: memFree=128394716/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=668752 memory=579024 CPUtime=281.41 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 158736 0 0 0 28106 35 0 0 20 0 1 0 69161066 684802048 144756 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 167188 144756 2528 2416 0 164290 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 668752 KiB
Current children cumulated memory: 579024 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.21 2.88 6/250 78420
/proc/meminfo: memFree=128233716/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=738860 memory=624428 CPUtime=341.23 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 167932 0 0 0 34086 37 0 0 20 0 1 0 69161066 756592640 156107 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 184715 156107 2528 2416 0 181817 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 738860 KiB
Current children cumulated memory: 624428 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.38 2.97 6/250 78423
/proc/meminfo: memFree=128101620/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=818824 memory=644344 CPUtime=401.07 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 169008 0 0 0 40069 38 0 0 20 0 1 0 69161066 838475776 161086 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 204706 161086 2528 2416 0 201808 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 818824 KiB
Current children cumulated memory: 644344 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.51 3.04 6/251 78432
/proc/meminfo: memFree=127962564/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=832336 memory=664312 CPUtime=460.9 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 169011 0 0 0 46052 38 0 0 20 0 1 0 69161066 852312064 166078 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 208084 166078 2528 2416 0 205186 0
Current children cumulated CPU time: 460.9 s
################
# More data... #
################
Current children cumulated memory: 1012608 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/250 78644
/proc/meminfo: memFree=126526804/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=1096036 memory=1009888 CPUtime=2853.67 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 394433 0 0 0 285234 133 0 0 20 0 1 0 69161066 1122340864 252472 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 274009 252472 2528 2416 0 271111 0
Current children cumulated CPU time: 2853.67 s
Current children cumulated vsize: 1096036 KiB
Current children cumulated memory: 1009888 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/250 78646
/proc/meminfo: memFree=126399384/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=1096036 memory=1038560 CPUtime=2913.47 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 394544 0 0 0 291214 133 0 0 20 0 1 0 69161066 1122340864 259640 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 274009 259640 2528 2416 0 271111 0
Current children cumulated CPU time: 2913.47 s
Current children cumulated vsize: 1096036 KiB
Current children cumulated memory: 1038560 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 78648
/proc/meminfo: memFree=126292616/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=1096036 memory=1026944 CPUtime=2973.29 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 395045 0 0 0 297192 137 0 0 20 0 1 0 69161066 1122340864 256736 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 274009 256736 2528 2416 0 271111 0
Current children cumulated CPU time: 2973.29 s
Current children cumulated vsize: 1096036 KiB
Current children cumulated memory: 1026944 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 78650
/proc/meminfo: memFree=126115324/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=1096036 memory=1063168 CPUtime=3033.1 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 395170 0 0 0 303172 138 0 0 20 0 1 0 69161066 1122340864 265792 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 274009 265792 2528 2416 0 271111 0
Current children cumulated CPU time: 3033.1 s
Current children cumulated vsize: 1096036 KiB
Current children cumulated memory: 1063168 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 78652
/proc/meminfo: memFree=126014444/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=1096036 memory=1050208 CPUtime=3092.92 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 395633 0 0 0 309151 141 0 0 20 0 1 0 69161066 1122340864 262552 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 274009 262552 2528 2416 0 271111 0
Current children cumulated CPU time: 3092.92 s
Current children cumulated vsize: 1096036 KiB
Current children cumulated memory: 1050208 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 78654
/proc/meminfo: memFree=125893188/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=1096036 memory=1037920 CPUtime=3152.76 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 396590 0 0 0 315130 146 0 0 20 0 1 0 69161066 1122340864 259480 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 274009 259480 2528 2416 0 271111 0
Current children cumulated CPU time: 3152.76 s
Current children cumulated vsize: 1096036 KiB
Current children cumulated memory: 1037920 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 78656
/proc/meminfo: memFree=125782528/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=1096036 memory=1068640 CPUtime=3212.61 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 396687 0 0 0 321114 147 0 0 20 0 1 0 69161066 1122340864 267160 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 274009 267160 2528 2416 0 271111 0
Current children cumulated CPU time: 3212.61 s
Current children cumulated vsize: 1096036 KiB
Current children cumulated memory: 1068640 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 78658
/proc/meminfo: memFree=125674300/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=1096036 memory=1052256 CPUtime=3272.44 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 397558 0 0 0 327092 152 0 0 20 0 1 0 69161066 1122340864 263064 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 274009 263064 2528 2416 0 271111 0
Current children cumulated CPU time: 3272.44 s
Current children cumulated vsize: 1096036 KiB
Current children cumulated memory: 1052256 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 78660
/proc/meminfo: memFree=125557236/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=1228296 memory=1080740 CPUtime=3332.29 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 398183 0 0 0 333076 153 0 0 20 0 1 0 69161066 1257775104 270185 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 307074 270185 2528 2416 0 304176 0
Current children cumulated CPU time: 3332.29 s
Current children cumulated vsize: 1228296 KiB
Current children cumulated memory: 1080740 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 78662
/proc/meminfo: memFree=125461964/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=1096036 memory=1060448 CPUtime=3392.12 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 398670 0 0 0 339055 157 0 0 20 0 1 0 69161066 1122340864 265112 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 274009 265112 2528 2416 0 271111 0
Current children cumulated CPU time: 3392.12 s
Current children cumulated vsize: 1096036 KiB
Current children cumulated memory: 1060448 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/251 78671
/proc/meminfo: memFree=125352332/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=1228296 memory=1084836 CPUtime=3451.96 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 399211 0 0 0 345038 158 0 0 20 0 1 0 69161066 1257775104 271209 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 307074 271209 2528 2416 0 304176 0
Current children cumulated CPU time: 3451.96 s
Current children cumulated vsize: 1228296 KiB
Current children cumulated memory: 1084836 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 78673
/proc/meminfo: memFree=125228324/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=1228296 memory=1105316 CPUtime=3511.79 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 399334 0 0 0 351021 158 0 0 20 0 1 0 69161066 1257775104 276329 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 307074 276329 2528 2416 0 304176 0
Current children cumulated CPU time: 3511.79 s
Current children cumulated vsize: 1228296 KiB
Current children cumulated memory: 1105316 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 78676
/proc/meminfo: memFree=125121872/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=1228296 memory=1076644 CPUtime=3571.63 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 400298 0 0 0 356999 164 0 0 20 0 1 0 69161066 1257775104 269161 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 307074 269161 2528 2416 0 304176 0
Current children cumulated CPU time: 3571.63 s
Current children cumulated vsize: 1228296 KiB
Current children cumulated memory: 1076644 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/251 78677
/proc/meminfo: memFree=125074752/131382120 swapFree=33010416/33010684
[pid=78400] ppid=78391 vsize=1228296 memory=1088932 CPUtime=3600.05 cores=4,6
/proc/78400/stat : 78400 (CASHWMaxSAT-Dis) R 78391 78400 78339 0 -1 4194304 400311 0 0 0 359840 165 0 0 20 0 1 0 69161066 1257775104 272233 18446744073709551615 4198400 14093885 140736228962960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 49876992 140736228964714 140736228964829 140736228964829 140736228970431 0
/proc/78400/statm: 307074 272233 2528 2416 0 304176 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1228296 KiB
Current children cumulated memory: 1088932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 78400 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.41 s, system=1.65687 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.81
CPU time (s): 3600.07
CPU user time (s): 3598.41
CPU system time (s): 1.65687
CPU usage (%): 99.7026
Max. virtual memory (cumulated for all children) (KiB): 1439912
Max. memory (cumulated for all children) (KiB): 1315120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.41
system time used= 1.65686
maximum resident set size= 1315120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400312
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= 126
involuntary context switches= 3311
# summary of solver processes directly reported to runsolver:
# pid: 78400
# total CPU time (s): 3600.07
# total CPU user time (s): 3598.41
# total CPU system time (s): 1.65687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.754 second user time and 32.9049 second system time
The end
Begin job on nodeC003 at 2025-07-03 11:27:04 IDJOB=4517512 IDBENCH=176113 IDSOLVER=3323 FILE ID=nodeC003/4517512-1751534824 RUNJOBID= nodeC003-1751534823-78350 SLURM_JOB_ID= 9598683 Free space on /tmp= 432016 MiB SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=18-t=2.opb COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517512-1751534824/watcher-4517512-1751534824 -o /tmp/evaluation-result-4517512-1751534824/solver-4517512-1751534824 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751534823-78350 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4517512-1751534824.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5da417552da80e99ebaacbb86c541f7c RANDOM SEED=294466445 nodeC003 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 : 1197.511 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.338 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.44 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.175 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.44 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.154 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.44 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.167 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.44 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 : 3700.000 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.44 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 : 3700.000 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.44 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.164 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.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129865388 kB MemAvailable: 129914932 kB Buffers: 2736 kB Cached: 846412 kB SwapCached: 36 kB Active: 562444 kB Inactive: 354396 kB Active(anon): 78008 kB Inactive(anon): 7608 kB Active(file): 484436 kB Inactive(file): 346788 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 52812 kB Writeback: 0 kB AnonPages: 70736 kB Mapped: 102804 kB Shmem: 17924 kB KReclaimable: 115896 kB Slab: 201124 kB SReclaimable: 115896 kB SUnreclaim: 85228 kB KernelStack: 3784 kB PageTables: 2700 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 330400 kB VmallocTotal: 34359738367 kB VmallocUsed: 149224 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 191304 kB DirectMap2M: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 431968 MiB End job on nodeC003 at 2025-07-03 12:27:15