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 | OPT | 7 | 1967.91 | 1974.12 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=10-t=3.opb |
| MD5SUM | 3e50d3b7c5b20854de6ffc628b5756bc |
| 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 | 7 |
| Best CPU time to get the best result obtained on this benchmark | 0.177486 |
| 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 | 185 |
| Total number of constraints | 4215 |
| Number of constraints which are clauses | 4205 |
| Number of constraints which are cardinality constraints (but not clauses) | 10 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 11 |
| Number of terms in the objective function | 10 |
| 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 | 10 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 12 |
| Number of bits of the biggest sum of numbers | 4 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.08 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.00/0.08 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.00/0.08 o 9 0.00/0.08 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.09 c Starting SCIP solver (with time-limit = 1800s) ... 1794.28/1800.09 c SCIP timeout with lower and upper bounds: [0, 7] 1794.28/1800.09 o 7 1967.80/1974.10 s OPTIMUM FOUND 1967.80/1974.10 v x46 -x47 x48 x49 -x50 x51 x52 x53 -x54 x55 -x56 -x66 -x76 -x86 -x96 -x106 -x116 -x126 -x136 -x146 -x57 -x67 -x77 -x87 -x97 -x107 -x117 -x127 x137 -x147 -x58 -x68 -x78 -x88 -x98 -x108 -x118 -x128 -x138 -x148 -x59 -x69 -x79 -x89 -x99 -x109 -x119 -x129 -x139 -x149 -x60 -x70 -x80 -x90 -x100 x110 -x120 -x130 -x140 -x150 -x61 -x71 -x81 -x91 -x101 -x111 -x121 -x131 -x141 -x151 -x62 -x72 -x82 -x92 -x102 -x112 -x122 -x132 -x142 -x152 -x63 -x73 -x83 -x93 -x103 -x113 -x123 -x133 -x143 -x153 -x64 -x74 -x84 -x94 -x104 -x114 -x124 -x134 -x144 x154 -x65 -x75 -x85 -x95 -x105 -x115 -x125 -x135 -x145 -x155 -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 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
OK 7
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 (63183 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-4517650-1751534824/watcher-4517650-1751534824 -o /tmp/evaluation-result-4517650-1751534824/solver-4517650-1751534824 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751534823-78352 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4517650-1751534824.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=78404, runsolver pid=78392
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 0.48 1.22 2.31 7/250 78409
/proc/meminfo: memFree=129855456/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=29820 memory=20992 CPUtime=0.11 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 3168 0 0 0 10 1 0 0 20 0 1 0 69161067 30535680 5248 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 7455 5248 2336 2416 0 4557 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 29820 KiB
Current children cumulated memory: 20992 KiB
[startup+0.213857 s]*
/proc/loadavg: 0.48 1.22 2.31 7/250 78409
/proc/meminfo: memFree=129805840/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=36344 memory=27648 CPUtime=0.21 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 4770 0 0 0 20 1 0 0 20 0 1 0 69161067 37216256 6912 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 9086 6912 2400 2416 0 6188 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36344 KiB
Current children cumulated memory: 27648 KiB
[startup+0.313879 s]*
/proc/loadavg: 0.48 1.22 2.31 7/250 78409
/proc/meminfo: memFree=129760224/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=54548 memory=44064 CPUtime=0.32 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 8460 0 0 0 29 3 0 0 20 0 1 0 69161067 55857152 11016 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 13637 11016 2496 2416 0 10739 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 54548 KiB
Current children cumulated memory: 44064 KiB
[startup+0.700326 s]
/proc/loadavg: 0.48 1.22 2.31 7/250 78409
/proc/meminfo: memFree=129698172/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=71140 memory=58912 CPUtime=0.68 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 12182 0 0 0 64 4 0 0 20 0 1 0 69161067 72847360 14728 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 17785 14728 2496 2416 0 14887 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 71140 KiB
Current children cumulated memory: 58912 KiB
[startup+1.50025 s]
/proc/loadavg: 0.48 1.22 2.31 7/250 78409
/proc/meminfo: memFree=129593592/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=71140 memory=59040 CPUtime=1.48 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 12225 0 0 0 144 4 0 0 20 0 1 0 69161067 72847360 14760 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 17785 14760 2496 2416 0 14887 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71140 KiB
Current children cumulated memory: 59040 KiB
[startup+3.11285 s]
/proc/loadavg: 0.77 1.27 2.32 7/250 78409
/proc/meminfo: memFree=129373912/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=100324 memory=85024 CPUtime=3.09 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 18701 0 0 0 303 6 0 0 20 0 1 0 69161067 102731776 21256 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 25081 21256 2528 2416 0 22183 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 100324 KiB
Current children cumulated memory: 85024 KiB
[startup+6.30026 s]
/proc/loadavg: 0.77 1.27 2.32 7/250 78409
/proc/meminfo: memFree=129342164/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=109564 memory=94112 CPUtime=6.27 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 20945 0 0 0 621 6 0 0 20 0 1 0 69161067 112193536 23528 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 27391 23528 2528 2416 0 24493 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 109564 KiB
Current children cumulated memory: 94112 KiB
[startup+12.7003 s]
/proc/loadavg: 1.02 1.31 2.33 7/250 78409
/proc/meminfo: memFree=129294600/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=125568 memory=109984 CPUtime=12.65 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 24942 0 0 0 1258 7 0 0 20 0 1 0 69161067 128581632 27496 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 31392 27496 2528 2416 0 28494 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 125568 KiB
Current children cumulated memory: 109984 KiB
[startup+25.5003 s]
/proc/loadavg: 1.75 1.46 2.36 7/250 78409
/proc/meminfo: memFree=129199160/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=136064 memory=120224 CPUtime=25.4 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 27121 0 0 0 2533 7 0 0 20 0 1 0 69161067 139329536 30056 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 34016 30056 2528 2416 0 31118 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 136064 KiB
Current children cumulated memory: 120224 KiB
[startup+51.1127 s]
/proc/loadavg: 2.52 1.67 2.41 7/250 78410
/proc/meminfo: memFree=129074732/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=168372 memory=151792 CPUtime=50.93 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 32067 0 0 0 5085 8 0 0 20 0 1 0 69161067 172412928 37948 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 42093 37948 2528 2416 0 39195 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 168372 KiB
Current children cumulated memory: 151792 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 2.06 2.50 7/251 78412
/proc/meminfo: memFree=128906552/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=228696 memory=204844 CPUtime=101.95 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 41735 0 0 0 10184 11 0 0 20 0 1 0 69161067 234184704 51211 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 57174 51211 2528 2416 0 54276 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 228696 KiB
Current children cumulated memory: 204844 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.44 2.61 7/251 78414
/proc/meminfo: memFree=128712868/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=306756 memory=277224 CPUtime=161.77 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 52687 0 0 0 16162 15 0 0 20 0 1 0 69161067 314118144 69306 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 76689 69306 2528 2416 0 73791 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 306756 KiB
Current children cumulated memory: 277224 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.75 2.70 7/251 78416
/proc/meminfo: memFree=128579664/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=362004 memory=338152 CPUtime=221.56 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 60766 0 0 0 22139 17 0 0 20 0 1 0 69161067 370692096 84538 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 90501 84538 2528 2416 0 87603 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 362004 KiB
Current children cumulated memory: 338152 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.01 2.80 7/251 78418
/proc/meminfo: memFree=128394716/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=441400 memory=406764 CPUtime=281.36 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 68742 0 0 0 28117 19 0 0 20 0 1 0 69161067 451993600 101691 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 110350 101691 2528 2416 0 107452 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 441400 KiB
Current children cumulated memory: 406764 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.21 2.88 7/250 78420
/proc/meminfo: memFree=128233716/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=498260 memory=475940 CPUtime=341.18 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 73801 0 0 0 34096 22 0 0 20 0 1 0 69161067 510218240 118985 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 124565 118985 2528 2416 0 121667 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 498260 KiB
Current children cumulated memory: 475940 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.38 2.97 7/250 78423
/proc/meminfo: memFree=128101620/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=572624 memory=538860 CPUtime=400.98 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 80365 0 0 0 40073 25 0 0 20 0 1 0 69161067 586366976 134715 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 143156 134715 2528 2416 0 140258 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 572624 KiB
Current children cumulated memory: 538860 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.51 3.04 7/251 78432
/proc/meminfo: memFree=127962564/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=656756 memory=603508 CPUtime=460.8 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 86834 0 0 0 46052 28 0 0 20 0 1 0 69161067 672518144 150877 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 164189 150877 2528 2416 0 161291 0
################
# More data... #
################
/proc/loadavg: 4.19 4.09 3.79 7/249 78478
/proc/meminfo: memFree=125299520/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=1962092 memory=1764732 CPUtime=1477.56 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 166256 0 0 0 147687 69 0 0 20 0 1 0 69161067 2009182208 441183 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 490523 441183 2784 2416 0 487625 0
Current children cumulated CPU time: 1477.56 s
Current children cumulated vsize: 1962092 KiB
Current children cumulated memory: 1764732 KiB
[startup+1542.3 s]
/proc/loadavg: 5.55 4.48 3.94 7/249 78480
/proc/meminfo: memFree=125188240/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=1968880 memory=1823624 CPUtime=1537.37 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 168428 0 0 0 153666 71 0 0 20 0 1 0 69161067 2016133120 455906 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 492220 455906 2784 2416 0 489322 0
Current children cumulated CPU time: 1537.37 s
Current children cumulated vsize: 1968880 KiB
Current children cumulated memory: 1823624 KiB
[startup+1602.3 s]
/proc/loadavg: 5.66 4.73 4.06 7/249 78482
/proc/meminfo: memFree=125012388/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=1985700 memory=1883604 CPUtime=1597.19 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 172333 0 0 0 159646 73 0 0 20 0 1 0 69161067 2033356800 470901 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 496425 470901 2784 2416 0 493527 0
Current children cumulated CPU time: 1597.19 s
Current children cumulated vsize: 1985700 KiB
Current children cumulated memory: 1883604 KiB
[startup+1662.3 s]
/proc/loadavg: 4.75 4.65 4.08 7/250 78491
/proc/meminfo: memFree=124890652/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=1992420 memory=1941592 CPUtime=1657 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 174752 0 0 0 165624 76 0 0 20 0 1 0 69161067 2040238080 485398 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 498105 485398 2784 2416 0 495207 0
Current children cumulated CPU time: 1657 s
Current children cumulated vsize: 1992420 KiB
Current children cumulated memory: 1941592 KiB
[startup+1722.3 s]
/proc/loadavg: 4.32 4.54 4.08 7/250 78493
/proc/meminfo: memFree=124787068/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=2096396 memory=2001020 CPUtime=1716.81 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 178050 0 0 0 171603 78 0 0 20 0 1 0 69161067 2146709504 500255 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 524099 500255 2784 2416 0 521201 0
Current children cumulated CPU time: 1716.81 s
Current children cumulated vsize: 2096396 KiB
Current children cumulated memory: 2001020 KiB
[startup+1782.3 s]
/proc/loadavg: 4.23 4.47 4.09 7/250 78495
/proc/meminfo: memFree=124626776/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=2308956 memory=2071784 CPUtime=1776.63 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 183788 0 0 0 177582 81 0 0 20 0 1 0 69161067 2364370944 517946 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 577239 517946 2784 2416 0 574341 0
Current children cumulated CPU time: 1776.63 s
Current children cumulated vsize: 2308956 KiB
Current children cumulated memory: 2071784 KiB
[startup+1842.3 s]
/proc/loadavg: 4.15 4.40 4.09 7/250 78497
/proc/meminfo: memFree=128001076/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=550696 memory=540720 CPUtime=1836.45 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 185609 0 0 0 183562 83 0 0 20 0 1 0 69161067 563912704 135180 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 137674 135180 2784 2416 0 134776 0
Current children cumulated CPU time: 1836.45 s
Current children cumulated vsize: 550696 KiB
Current children cumulated memory: 540720 KiB
[startup+1902.3 s]
/proc/loadavg: 4.05 4.32 4.08 7/251 78500
/proc/meminfo: memFree=127935008/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=568360 memory=559536 CPUtime=1896.29 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 187550 0 0 0 189540 89 0 0 20 0 1 0 69161067 582000640 139884 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 142090 139884 2784 2416 0 139192 0
Current children cumulated CPU time: 1896.29 s
Current children cumulated vsize: 568360 KiB
Current children cumulated memory: 559536 KiB
[startup+1962.3 s]
/proc/loadavg: 4.12 4.29 4.09 7/251 78502
/proc/meminfo: memFree=127845140/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=617680 memory=597080 CPUtime=1956.12 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 189502 0 0 0 195513 99 0 0 20 0 1 0 69161067 632504320 149270 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 154420 149270 2784 2416 0 151522 0
Current children cumulated CPU time: 1956.12 s
Current children cumulated vsize: 617680 KiB
Current children cumulated memory: 597080 KiB
[startup+1974.12 s]
# the end of solver process 78404 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1966.9 s, system=1.01874 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1964.8 s]
/proc/loadavg: 4.11 4.29 4.09 7/251 78502
/proc/meminfo: memFree=127845148/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=617680 memory=601176 CPUtime=1958.61 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 189504 0 0 0 195762 99 0 0 20 0 1 0 69161067 632504320 150294 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 154420 150294 2784 2416 0 151522 0
Current children cumulated CPU time: 1958.61 s
Current children cumulated vsize: 617680 KiB
Current children cumulated memory: 601176 KiB
[startup+1968 s]*
/proc/loadavg: 4.11 4.29 4.09 7/251 78502
/proc/meminfo: memFree=127845928/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=617680 memory=596912 CPUtime=1961.81 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 189651 0 0 0 196082 99 0 0 20 0 1 0 69161067 632504320 149228 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 154420 149228 2784 2416 0 151522 0
Current children cumulated CPU time: 1961.81 s
Current children cumulated vsize: 617680 KiB
Current children cumulated memory: 596912 KiB
[startup+1971.2 s]
/proc/loadavg: 4.10 4.28 4.09 7/251 78502
/proc/meminfo: memFree=127845924/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=617680 memory=601008 CPUtime=1964.99 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 189653 0 0 0 196400 99 0 0 20 0 1 0 69161067 632504320 150252 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 154420 150252 2784 2416 0 151522 0
Current children cumulated CPU time: 1964.99 s
Current children cumulated vsize: 617680 KiB
Current children cumulated memory: 601008 KiB
[startup+1972.8 s]
/proc/loadavg: 4.10 4.28 4.09 7/251 78502
/proc/meminfo: memFree=127846200/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=617680 memory=603056 CPUtime=1966.59 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 189654 0 0 0 196559 100 0 0 20 0 1 0 69161067 632504320 150764 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 154420 150764 2784 2416 0 151522 0
Current children cumulated CPU time: 1966.59 s
Current children cumulated vsize: 617680 KiB
Current children cumulated memory: 603056 KiB
[startup+1973.6 s]
/proc/loadavg: 4.10 4.28 4.09 7/251 78502
/proc/meminfo: memFree=127845444/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=617680 memory=595032 CPUtime=1967.39 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 189841 0 0 0 196639 100 0 0 20 0 1 0 69161067 632504320 148758 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 154420 148758 2784 2416 0 151522 0
Current children cumulated CPU time: 1967.39 s
Current children cumulated vsize: 617680 KiB
Current children cumulated memory: 595032 KiB
[startup+1974 s]*
/proc/loadavg: 4.09 4.28 4.09 7/251 78502
/proc/meminfo: memFree=127843796/131382120 swapFree=33010416/33010684
[pid=78404] ppid=78392 vsize=617680 memory=595032 CPUtime=1967.8 cores=5,7
/proc/78404/stat : 78404 (CASHWMaxSAT-Dis) R 78392 78404 78339 0 -1 4194304 189841 0 0 0 196680 100 0 0 20 0 1 0 69161067 632504320 148758 18446744073709551615 4198400 14093885 140733763993488 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 27115520 140733763996010 140733763996125 140733763996125 140733764001727 0
/proc/78404/statm: 154420 148758 2784 2416 0 151522 0
Current children cumulated CPU time: 1967.8 s
Current children cumulated vsize: 617680 KiB
Current children cumulated memory: 595032 KiB
Child status: 30
Real time (s): 1974.12
CPU time (s): 1967.91
CPU user time (s): 1966.9
CPU system time (s): 1.01874
CPU usage (%): 99.6857
Max. virtual memory (cumulated for all children) (KiB): 2312736
Max. memory (cumulated for all children) (KiB): 2087832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1966.9
system time used= 1.01874
maximum resident set size= 2087832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189842
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= 81
involuntary context switches= 2228
# summary of solver processes directly reported to runsolver:
# pid: 78404
# total CPU time (s): 1967.91
# total CPU user time (s): 1966.9
# total CPU system time (s): 1.01874
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.94384 second user time and 18.4079 second system time
The end
Begin job on nodeC003 at 2025-07-03 11:27:04 IDJOB=4517650 IDBENCH=176157 IDSOLVER=3323 FILE ID=nodeC003/4517650-1751534824 RUNJOBID= nodeC003-1751534823-78352 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=10-t=3.opb COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517650-1751534824/watcher-4517650-1751534824 -o /tmp/evaluation-result-4517650-1751534824/solver-4517650-1751534824 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751534823-78352 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4517650-1751534824.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3e50d3b7c5b20854de6ffc628b5756bc RANDOM SEED=2137829937 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 11:59:58