Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCom-SP 2024-07-10 | SAT (TO) | 6 | 3600.06 | 3613.6 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=11-t=5.opb |
| MD5SUM | 8d06570fa4bf547e139dcdd4309b0d0f |
| 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 | 6 |
| Best CPU time to get the best result obtained on this benchmark | 30.1142 |
| 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 | 242 |
| Total number of constraints | 6358 |
| Number of constraints which are clauses | 6347 |
| Number of constraints which are cardinality constraints (but not clauses) | 11 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 12 |
| Number of terms in the objective function | 11 |
| 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 | 11 |
| 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 | 13 |
| 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.04 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.00/0.04 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.00/0.04 o 10 0.00/0.04 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.05 c Starting SCIP solver (with time-limit = 1800s) ... 22.31/22.40 WARNING: logicor constraint <cf1_18> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 22.31/22.40 WARNING: logicor constraint <cf1_19> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 22.31/22.40 WARNING: logicor constraint <cf1_22> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 22.31/22.40 WARNING: logicor constraint <cf1_23> has a multi-aggregated variable, which was not resolved and therefore could lead to aborts 1792.52/1800.05 c SCIP timeout with lower and upper bounds: [0, 6] 1792.91/1800.48 o 6 3600.05/3613.60 3600.05/3613.60 v x56 x57 x58 x59 x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x78 -x89 -x100 -x111 -x122 -x133 -x144 -x155 -x166 -x177 -x68 -x79 -x90 -x101 -x112 -x123 -x134 -x145 -x156 -x167 -x178 -x69 -x80 -x91 -x102 -x113 -x124 -x135 -x146 -x157 -x168 -x179 -x70 -x81 -x92 -x103 -x114 -x125 -x136 -x147 -x158 -x169 -x180 -x71 -x82 -x93 -x104 -x115 -x126 -x137 -x148 -x159 -x170 -x181 -x72 -x83 -x94 -x105 -x116 -x127 -x138 x149 -x160 -x171 -x182 -x73 x84 -x95 -x106 -x117 -x128 -x139 -x150 -x161 -x172 -x183 x74 -x85 -x96 -x107 -x118 -x129 -x140 -x151 -x162 -x173 -x184 -x75 -x86 -x97 -x108 -x119 -x130 -x141 -x152 -x163 x174 -x185 -x76 -x87 x98 -x109 -x120 -x131 -x142 -x153 -x164 -x175 -x186 -x77 -x88 -x99 -x110 -x121 -x132 -x143 -x154 -x165 -x176 -x187 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 -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 3600.05/3613.60 s SATISFIABLE
OK 6
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: 63968 MiB (62492 MiB free)
memory of node 1: 64473 MiB (61190 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449775-1721399507/watcher-4449775-1721399507 -o /tmp/evaluation-result-4449775-1721399507/solver-4449775-1721399507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721399516-1014763 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4449775-1721399507.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1014871, runsolver pid=1014868
[startup+0.100771 s]*
/proc/loadavg: 0.41 0.16 0.11 5/258 1014872
/proc/meminfo: memFree=126625472/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=44400 memory=34972 CPUtime=0.1 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 6740 0 0 0 9 1 0 0 20 0 1 0 192115619 45465600 8743 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 11100 8743 2538 2550 0 8055 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44400 KiB
Current children cumulated memory: 34972 KiB
[startup+0.205256 s]*
/proc/loadavg: 0.41 0.16 0.11 6/258 1014872
/proc/meminfo: memFree=126588828/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=85556 memory=71476 CPUtime=0.19 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 12226 0 0 0 18 1 0 0 20 0 1 0 192115619 87609344 17869 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 21389 17869 2634 2550 0 18344 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 85556 KiB
Current children cumulated memory: 71476 KiB
[startup+0.305293 s]*
/proc/loadavg: 0.41 0.16 0.11 5/258 1014872
/proc/meminfo: memFree=126571552/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=104708 memory=88696 CPUtime=0.29 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 16500 0 0 0 27 2 0 0 20 0 1 0 192115619 107220992 22174 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 26177 22174 2650 2550 0 23132 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 104708 KiB
Current children cumulated memory: 88696 KiB
[startup+0.700225 s]
/proc/loadavg: 0.41 0.16 0.11 7/258 1014872
/proc/meminfo: memFree=126570404/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=104996 memory=89224 CPUtime=0.68 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 16615 0 0 0 66 2 0 0 20 0 1 0 192115619 107515904 22306 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 26249 22306 2650 2550 0 23204 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 104996 KiB
Current children cumulated memory: 89224 KiB
[startup+1.50022 s]
/proc/loadavg: 0.41 0.16 0.11 5/258 1014872
/proc/meminfo: memFree=126463480/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=105316 memory=89488 CPUtime=1.48 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 16711 0 0 0 146 2 0 0 20 0 1 0 192115619 107843584 22372 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 26329 22372 2650 2550 0 23284 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 105316 KiB
Current children cumulated memory: 89488 KiB
[startup+3.10518 s]
/proc/loadavg: 0.70 0.23 0.13 5/258 1014872
/proc/meminfo: memFree=126263820/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=127976 memory=112432 CPUtime=3.08 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 22419 0 0 0 305 3 0 0 20 0 1 0 192115619 131047424 28108 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 31994 28108 2650 2550 0 28949 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127976 KiB
Current children cumulated memory: 112432 KiB
[startup+6.30017 s]
/proc/loadavg: 0.70 0.23 0.13 5/258 1014872
/proc/meminfo: memFree=126241784/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=144352 memory=129040 CPUtime=6.26 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 26597 0 0 0 623 3 0 0 20 0 1 0 192115619 147816448 32260 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 36088 32260 2650 2550 0 33043 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 144352 KiB
Current children cumulated memory: 129040 KiB
[startup+12.7002 s]
/proc/loadavg: 1.05 0.31 0.16 5/258 1014874
/proc/meminfo: memFree=126199460/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=160660 memory=145416 CPUtime=12.64 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 30737 0 0 0 1260 4 0 0 20 0 1 0 192115619 164515840 36354 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 40165 36354 2650 2550 0 37120 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 160660 KiB
Current children cumulated memory: 145416 KiB
[startup+25.5002 s]
/proc/loadavg: 1.77 0.50 0.23 5/258 1014875
/proc/meminfo: memFree=126055048/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=181280 memory=165204 CPUtime=25.4 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 35219 0 0 0 2535 5 0 0 20 0 1 0 192115619 185630720 41301 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 45320 41301 2650 2550 0 42275 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 181280 KiB
Current children cumulated memory: 165204 KiB
[startup+51.1052 s]
/proc/loadavg: 2.53 0.78 0.33 5/258 1014880
/proc/meminfo: memFree=125977152/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=219620 memory=202472 CPUtime=50.92 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 42092 0 0 0 5086 6 0 0 20 0 1 0 192115619 224890880 50618 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 54905 50618 2650 2550 0 51860 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 219620 KiB
Current children cumulated memory: 202472 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.30 0.53 5/256 1014889
/proc/meminfo: memFree=125652508/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=270976 memory=251644 CPUtime=101.94 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 50336 0 0 0 10186 8 0 0 20 0 1 0 192115619 277479424 62911 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 67744 62911 2650 2550 0 64699 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 270976 KiB
Current children cumulated memory: 251644 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 1.82 0.76 5/256 1014900
/proc/meminfo: memFree=125418736/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=350400 memory=321788 CPUtime=161.72 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 61781 0 0 0 16161 11 0 0 20 0 1 0 192115619 358809600 80447 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 87600 80447 2650 2550 0 84555 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 350400 KiB
Current children cumulated memory: 321788 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.24 0.97 5/254 1014911
/proc/meminfo: memFree=125267880/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=402504 memory=380128 CPUtime=221.46 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 74122 0 0 0 22133 13 0 0 20 0 1 0 192115619 412164096 95032 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 100626 95032 2920 2550 0 97581 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 402504 KiB
Current children cumulated memory: 380128 KiB
[startup+282.3 s]
/proc/loadavg: 4.31 2.66 1.20 5/254 1014921
/proc/meminfo: memFree=125127124/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=463356 memory=434464 CPUtime=281.21 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 83153 0 0 0 28106 15 0 0 20 0 1 0 192115619 474476544 108616 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 115839 108616 2920 2550 0 112794 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 463356 KiB
Current children cumulated memory: 434464 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 2.92 1.38 5/254 1014932
/proc/meminfo: memFree=124840904/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=511848 memory=486536 CPUtime=340.95 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 101200 0 0 0 34077 18 0 0 20 0 1 0 192115619 524132352 121634 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 127962 121634 2920 2550 0 124917 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 511848 KiB
Current children cumulated memory: 486536 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 3.15 1.56 5/254 1014943
/proc/meminfo: memFree=124681216/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=562472 memory=536812 CPUtime=400.7 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 116110 0 0 0 40048 22 0 0 20 0 1 0 192115619 575971328 134203 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 140618 134203 2920 2550 0 137573 0
Current children cumulated CPU time: 400.7 s
Current children cumulated vsize: 562472 KiB
Current children cumulated memory: 536812 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.33 1.72 5/255 1014954
/proc/meminfo: memFree=124490656/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=635376 memory=594840 CPUtime=460.45 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 128069 0 0 0 46021 24 0 0 20 0 1 0 192115619 650625024 148710 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 158844 148710 2920 2550 0 155799 0
################
# More data... #
################
Current children cumulated memory: 795852 KiB
[startup+2862.3 s]
/proc/loadavg: 4.24 4.12 3.98 5/254 1016008
/proc/meminfo: memFree=122697536/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=806972 memory=796464 CPUtime=2851.14 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 284473 0 0 0 285026 88 0 0 20 0 1 0 192115619 826339328 199116 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 201743 199116 2920 2550 0 198698 0
Current children cumulated CPU time: 2851.14 s
Current children cumulated vsize: 806972 KiB
Current children cumulated memory: 796464 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.13 4.00 5/257 1016023
/proc/meminfo: memFree=122734776/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=806972 memory=796464 CPUtime=2910.95 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 284586 0 0 0 291007 88 0 0 20 0 1 0 192115619 826339328 199116 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 201743 199116 2920 2550 0 198698 0
Current children cumulated CPU time: 2910.95 s
Current children cumulated vsize: 806972 KiB
Current children cumulated memory: 796464 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.01 5/257 1016034
/proc/meminfo: memFree=122680872/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=806972 memory=796464 CPUtime=2970.76 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 284719 0 0 0 296988 88 0 0 20 0 1 0 192115619 826339328 199116 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 201743 199116 2920 2550 0 198698 0
Current children cumulated CPU time: 2970.76 s
Current children cumulated vsize: 806972 KiB
Current children cumulated memory: 796464 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.01 5/257 1016044
/proc/meminfo: memFree=122578372/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=806972 memory=796468 CPUtime=3030.57 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 284864 0 0 0 302969 88 0 0 20 0 1 0 192115619 826339328 199117 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 201743 199117 2920 2550 0 198698 0
Current children cumulated CPU time: 3030.57 s
Current children cumulated vsize: 806972 KiB
Current children cumulated memory: 796468 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.01 5/257 1016055
/proc/meminfo: memFree=122569128/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=806972 memory=800836 CPUtime=3090.38 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 285037 0 0 0 308950 88 0 0 20 0 1 0 192115619 826339328 200209 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 201743 200209 2920 2550 0 198698 0
Current children cumulated CPU time: 3090.38 s
Current children cumulated vsize: 806972 KiB
Current children cumulated memory: 800836 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.01 5/257 1016066
/proc/meminfo: memFree=122558388/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=806972 memory=800836 CPUtime=3150.19 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 285212 0 0 0 314931 88 0 0 20 0 1 0 192115619 826339328 200209 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 201743 200209 2920 2550 0 198698 0
Current children cumulated CPU time: 3150.19 s
Current children cumulated vsize: 806972 KiB
Current children cumulated memory: 800836 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.01 5/255 1016459
/proc/meminfo: memFree=122527188/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=806972 memory=800836 CPUtime=3209.99 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 285388 0 0 0 320911 88 0 0 20 0 1 0 192115619 826339328 200209 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 201743 200209 2920 2550 0 198698 0
Current children cumulated CPU time: 3209.99 s
Current children cumulated vsize: 806972 KiB
Current children cumulated memory: 800836 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.01 5/255 1016469
/proc/meminfo: memFree=122522108/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=806972 memory=800836 CPUtime=3269.8 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 285564 0 0 0 326891 89 0 0 20 0 1 0 192115619 826339328 200209 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 201743 200209 2920 2550 0 198698 0
Current children cumulated CPU time: 3269.8 s
Current children cumulated vsize: 806972 KiB
Current children cumulated memory: 800836 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.02 5/255 1016480
/proc/meminfo: memFree=122417216/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=806972 memory=800836 CPUtime=3329.61 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 285740 0 0 0 332872 89 0 0 20 0 1 0 192115619 826339328 200209 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 201743 200209 2920 2550 0 198698 0
Current children cumulated CPU time: 3329.61 s
Current children cumulated vsize: 806972 KiB
Current children cumulated memory: 800836 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/257 1016660
/proc/meminfo: memFree=122472188/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=806972 memory=800836 CPUtime=3389.42 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 285916 0 0 0 338853 89 0 0 20 0 1 0 192115619 826339328 200209 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 201743 200209 2920 2550 0 198698 0
Current children cumulated CPU time: 3389.42 s
Current children cumulated vsize: 806972 KiB
Current children cumulated memory: 800836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.02 5/257 1016670
/proc/meminfo: memFree=122425752/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=806972 memory=800836 CPUtime=3449.23 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 286091 0 0 0 344834 89 0 0 20 0 1 0 192115619 826339328 200209 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 201743 200209 2920 2550 0 198698 0
Current children cumulated CPU time: 3449.23 s
Current children cumulated vsize: 806972 KiB
Current children cumulated memory: 800836 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/258 1016738
/proc/meminfo: memFree=122352420/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=806972 memory=800836 CPUtime=3509.04 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 286267 0 0 0 350814 90 0 0 20 0 1 0 192115619 826339328 200209 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 201743 200209 2920 2550 0 198698 0
Current children cumulated CPU time: 3509.04 s
Current children cumulated vsize: 806972 KiB
Current children cumulated memory: 800836 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.02 5/258 1016749
/proc/meminfo: memFree=122322792/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=806972 memory=800836 CPUtime=3568.85 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 286443 0 0 0 356795 90 0 0 20 0 1 0 192115619 826339328 200209 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 201743 200209 2920 2550 0 198698 0
Current children cumulated CPU time: 3568.85 s
Current children cumulated vsize: 806972 KiB
Current children cumulated memory: 800836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.6 s]
/proc/loadavg: 4.11 4.11 4.03 5/258 1016846
/proc/meminfo: memFree=125302192/131524600 swapFree=131070704/131071996
[pid=1014871] ppid=1014868 vsize=806972 memory=800836 CPUtime=3600.05 cores=0,2
/proc/1014871/stat : 1014871 (CASHWMaxSAT-Dis) R 1014868 1014871 1014753 0 -1 4194304 286572 0 0 0 359915 90 0 0 20 0 1 0 192115619 826339328 200209 134679101440 4194304 14636349 140724646099072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 22052864 140724646106081 140724646106197 140724646106197 140724646113214 0
/proc/1014871/statm: 201743 200209 2920 2550 0 198698 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 806972 KiB
Current children cumulated memory: 800836 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.6 s]
# the end of solver process 1014871 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.15 s, system=0.907214 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3613.6
CPU time (s): 3600.06
CPU user time (s): 3599.15
CPU system time (s): 0.907214
CPU usage (%): 99.6251
Max. virtual memory (cumulated for all children) (KiB): 2028756
Max. memory (cumulated for all children) (KiB): 1966024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.15
system time used= 0.907214
maximum resident set size= 1966024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286572
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= 69
involuntary context switches= 25450
# summary of solver processes directly reported to runsolver:
# pid: 1014871
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.15
# total CPU system time (s): 0.907214
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6761 second user time and 15.9313 second system time
The end
Begin job on nodeC023 at 2024-07-19 16:31:59 IDJOB=4449775 IDBENCH=176105 IDSOLVER=3076 FILE ID=nodeC023/4449775-1721399507 RUNJOBID= nodeC023-1721399516-1014763 SLURM_JOB_ID= 7545446 Free space on /tmp= 890036 MiB SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-t=5.opb COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449775-1721399507/watcher-4449775-1721399507 -o /tmp/evaluation-result-4449775-1721399507/solver-4449775-1721399507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721399516-1014763 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4449775-1721399507.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8d06570fa4bf547e139dcdd4309b0d0f RANDOM SEED=1864976542 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3664.139 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3683.869 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3659.621 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3600.140 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3665.466 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3683.993 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3600.228 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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.875 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126651264 kB MemAvailable: 128775372 kB Buffers: 548820 kB Cached: 2411856 kB SwapCached: 80 kB Active: 1167848 kB Inactive: 3136276 kB Active(anon): 1580 kB Inactive(anon): 1387616 kB Active(file): 1166268 kB Inactive(file): 1748660 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070704 kB Dirty: 61340 kB Writeback: 8 kB AnonPages: 1343188 kB Mapped: 137068 kB Shmem: 45728 kB KReclaimable: 98008 kB Slab: 191308 kB SReclaimable: 98008 kB SUnreclaim: 93300 kB KernelStack: 4128 kB PageTables: 11676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1835240 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 33760 kB HardwareCorrupted: 0 kB AnonHugePages: 370688 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 316116 kB DirectMap2M: 38254592 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890028 MiB End job on nodeC023 at 2024-07-19 17:32:13