Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-S 2024-07-10 | SAT (TO) | 84 | 3600.03 | 3611.9 |
| Name | PB24/normalized-PB11/OPT-LIN/ heinz/normalized-go19.opb |
| MD5SUM | 51fa3ae0158cc49e421df545accb4e20 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 84 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| 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 | 441 |
| Total number of constraints | 441 |
| Number of constraints which are clauses | 361 |
| Number of constraints which are cardinality constraints (but not clauses) | 80 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 361 |
| 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 | 361 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 361 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.00 o 361 0.00/0.00 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.00 c Starting SCIP solver (with time-limit = 1800s) ... 1793.92/1800.00 c SCIP timeout with lower and upper bounds: [81, 84] 1793.92/1800.00 o 84 1793.92/1800.00 c Restarting SCIP solver (with time-limit = 2400s) ... 2392.00/2400.00 c SCIP timeout with lower and upper bounds: [81, 84] 3600.01/3611.90 3600.01/3611.90 v -x1 -x2 x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 x15 -x16 x17 -x18 -x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 x75 -x76 x77 x78 -x79 -x80 -x81 x82 x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 x110 x111 x112 -x113 x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 x149 -x150 x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 x188 -x189 x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 x210 -x211 x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 x249 -x250 x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 x286 -x287 x288 -x289 x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 x322 x323 -x324 -x325 -x326 x327 -x328 -x329 x330 -x331 -x332 -x333 x334 x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 x344 x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 3600.01/3611.90 s SATISFIABLE
OK 84
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: 63931 MiB (58438 MiB free)
memory of node 1: 64510 MiB (60576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439275-1721231142/watcher-4439275-1721231142 -o /tmp/evaluation-result-4439275-1721231142/solver-4439275-1721231142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721230910-911352 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439275-1721231142.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=912931, runsolver pid=912928
[startup+0.10104 s]*
/proc/loadavg: 4.03 2.88 2.37 5/256 912932
/proc/meminfo: memFree=121852164/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=27288 memory=18796 CPUtime=0.09 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 2300 0 0 0 9 0 0 0 20 0 1 0 175274380 27942912 4699 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 6822 4699 2654 2594 0 3715 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27288 KiB
Current children cumulated memory: 18796 KiB
[startup+0.205546 s]*
/proc/loadavg: 4.03 2.88 2.37 5/256 912932
/proc/meminfo: memFree=121812404/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=56576 memory=47836 CPUtime=0.19 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 9567 0 0 0 18 1 0 0 20 0 1 0 175274380 57933824 11959 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 14144 11959 2654 2594 0 11037 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 56576 KiB
Current children cumulated memory: 47836 KiB
[startup+0.305603 s]*
/proc/loadavg: 4.03 2.88 2.37 5/256 912932
/proc/meminfo: memFree=121786924/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=72832 memory=63524 CPUtime=0.3 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 14906 0 0 0 28 2 0 0 20 0 1 0 175274380 74579968 15881 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 18208 15881 2654 2594 0 15101 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72832 KiB
Current children cumulated memory: 63524 KiB
[startup+0.700229 s]
/proc/loadavg: 4.03 2.88 2.37 5/256 912932
/proc/meminfo: memFree=121734704/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=115732 memory=105764 CPUtime=0.68 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 25427 0 0 0 65 3 0 0 20 0 1 0 175274380 118509568 26441 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 28933 26441 2654 2594 0 25826 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115732 KiB
Current children cumulated memory: 105764 KiB
[startup+1.50022 s]
/proc/loadavg: 4.03 2.88 2.37 5/256 912932
/proc/meminfo: memFree=121662940/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=123892 memory=112064 CPUtime=1.48 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 27073 0 0 0 145 3 0 0 20 0 1 0 175274380 126865408 28016 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 30973 28016 2654 2594 0 27866 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 123892 KiB
Current children cumulated memory: 112064 KiB
[startup+3.1057 s]
/proc/loadavg: 4.03 2.90 2.38 5/256 912932
/proc/meminfo: memFree=121453640/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=123892 memory=112064 CPUtime=3.08 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 27074 0 0 0 305 3 0 0 20 0 1 0 175274380 126865408 28016 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 30973 28016 2654 2594 0 27866 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 123892 KiB
Current children cumulated memory: 112064 KiB
[startup+6.30021 s]
/proc/loadavg: 4.03 2.90 2.38 5/256 912932
/proc/meminfo: memFree=121140296/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=136888 memory=125588 CPUtime=6.26 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 30472 0 0 0 622 4 0 0 20 0 1 0 175274380 140173312 31397 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 34222 31397 2670 2594 0 31115 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 136888 KiB
Current children cumulated memory: 125588 KiB
[startup+12.7002 s]
/proc/loadavg: 4.02 2.94 2.40 5/256 912934
/proc/meminfo: memFree=120488288/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=217672 memory=204524 CPUtime=12.64 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 50190 0 0 0 1257 7 0 0 20 0 1 0 175274380 222896128 51131 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 54418 51131 2670 2594 0 51311 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 217672 KiB
Current children cumulated memory: 204524 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 2.97 2.41 5/256 912981
/proc/meminfo: memFree=119677240/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=217100 memory=204144 CPUtime=25.4 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 50191 0 0 0 2532 8 0 0 20 0 1 0 175274380 222310400 51036 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 54275 51036 2670 2594 0 51168 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 217100 KiB
Current children cumulated memory: 204144 KiB
[startup+51.106 s]
/proc/loadavg: 4.09 3.07 2.46 5/256 912986
/proc/meminfo: memFree=117629772/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=218448 memory=204400 CPUtime=50.92 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 50360 0 0 0 5082 10 0 0 20 0 1 0 175274380 223690752 51100 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 54612 51100 2670 2594 0 51505 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 218448 KiB
Current children cumulated memory: 204400 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 3.25 2.56 5/255 912997
/proc/meminfo: memFree=116901064/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=247732 memory=236544 CPUtime=101.95 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 59463 0 0 0 10182 13 0 0 20 0 1 0 175274380 253677568 59136 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 61933 59136 2670 2594 0 58826 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 247732 KiB
Current children cumulated memory: 236544 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 3.42 2.66 5/255 913008
/proc/meminfo: memFree=116265624/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=250564 memory=238884 CPUtime=161.74 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 60104 0 0 0 16160 14 0 0 20 0 1 0 175274380 256577536 59721 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 62641 59721 2670 2594 0 59534 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 250564 KiB
Current children cumulated memory: 238884 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.54 2.75 5/255 913018
/proc/meminfo: memFree=116029180/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=252828 memory=241220 CPUtime=221.55 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 60640 0 0 0 22139 16 0 0 20 0 1 0 175274380 258895872 60305 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 63207 60305 2670 2594 0 60100 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 252828 KiB
Current children cumulated memory: 241220 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.64 2.84 5/257 913032
/proc/meminfo: memFree=115874052/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=255996 memory=244388 CPUtime=281.34 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 61438 0 0 0 28117 17 0 0 20 0 1 0 175274380 262139904 61097 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 63999 61097 2670 2594 0 60892 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 255996 KiB
Current children cumulated memory: 244388 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.72 2.92 5/257 913045
/proc/meminfo: memFree=115694432/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=257444 memory=245952 CPUtime=341.15 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 61817 0 0 0 34096 19 0 0 20 0 1 0 175274380 263622656 61488 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 64361 61488 2670 2594 0 61254 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 257444 KiB
Current children cumulated memory: 245952 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.81 3.00 5/257 913056
/proc/meminfo: memFree=114869780/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=259180 memory=246764 CPUtime=400.94 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 62532 0 0 0 40074 20 0 0 20 0 1 0 175274380 265400320 61691 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 64795 61691 2670 2594 0 61688 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 259180 KiB
Current children cumulated memory: 246764 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 3.85 3.07 5/258 913067
/proc/meminfo: memFree=114707644/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=259180 memory=247768 CPUtime=460.74 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 62767 0 0 0 46054 20 0 0 20 0 1 0 175274380 265400320 61942 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 64795 61942 2670 2594 0 61688 0
################
# More data... #
################
Current children cumulated memory: 294612 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.10 4.05 5/259 914707
/proc/meminfo: memFree=98977588/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=301472 memory=294612 CPUtime=2912.59 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 90976 0 0 0 291226 33 0 0 20 0 1 0 175274380 308707328 73653 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 75368 73653 2718 2594 0 72261 0
Current children cumulated CPU time: 2912.59 s
Current children cumulated vsize: 301472 KiB
Current children cumulated memory: 294612 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.11 4.05 5/256 914717
/proc/meminfo: memFree=101750400/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=301472 memory=294612 CPUtime=2972.4 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 91057 0 0 0 297207 33 0 0 20 0 1 0 175274380 308707328 73653 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 75368 73653 2718 2594 0 72261 0
Current children cumulated CPU time: 2972.4 s
Current children cumulated vsize: 301472 KiB
Current children cumulated memory: 294612 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.12 4.06 5/256 914728
/proc/meminfo: memFree=101749712/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=301472 memory=294612 CPUtime=3032.22 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 91129 0 0 0 303189 33 0 0 20 0 1 0 175274380 308707328 73653 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 75368 73653 2718 2594 0 72261 0
Current children cumulated CPU time: 3032.22 s
Current children cumulated vsize: 301472 KiB
Current children cumulated memory: 294612 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.09 4.05 5/255 914739
/proc/meminfo: memFree=101729672/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=320868 memory=313880 CPUtime=3092.03 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 91454 0 0 0 309169 34 0 0 20 0 1 0 175274380 328568832 78470 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 80217 78470 2718 2594 0 77110 0
Current children cumulated CPU time: 3092.03 s
Current children cumulated vsize: 320868 KiB
Current children cumulated memory: 313880 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.12 4.06 5/255 914749
/proc/meminfo: memFree=101710880/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=301472 memory=294612 CPUtime=3151.84 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 92531 0 0 0 315149 35 0 0 20 0 1 0 175274380 308707328 73653 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 75368 73653 2718 2594 0 72261 0
Current children cumulated CPU time: 3151.84 s
Current children cumulated vsize: 301472 KiB
Current children cumulated memory: 294612 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/255 914759
/proc/meminfo: memFree=101713792/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=301472 memory=294612 CPUtime=3211.65 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 93366 0 0 0 321129 36 0 0 20 0 1 0 175274380 308707328 73653 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 75368 73653 2718 2594 0 72261 0
Current children cumulated CPU time: 3211.65 s
Current children cumulated vsize: 301472 KiB
Current children cumulated memory: 294612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.06 5/257 914774
/proc/meminfo: memFree=101746772/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=301472 memory=294612 CPUtime=3271.47 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 94641 0 0 0 327109 38 0 0 20 0 1 0 175274380 308707328 73653 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 75368 73653 2718 2594 0 72261 0
Current children cumulated CPU time: 3271.47 s
Current children cumulated vsize: 301472 KiB
Current children cumulated memory: 294612 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/257 914787
/proc/meminfo: memFree=101746080/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=301472 memory=294612 CPUtime=3331.28 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 95430 0 0 0 333089 39 0 0 20 0 1 0 175274380 308707328 73653 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 75368 73653 2718 2594 0 72261 0
Current children cumulated CPU time: 3331.28 s
Current children cumulated vsize: 301472 KiB
Current children cumulated memory: 294612 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.06 5/257 914842
/proc/meminfo: memFree=99484172/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=301472 memory=294612 CPUtime=3391.09 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 96705 0 0 0 339069 40 0 0 20 0 1 0 175274380 308707328 73653 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 75368 73653 2718 2594 0 72261 0
Current children cumulated CPU time: 3391.09 s
Current children cumulated vsize: 301472 KiB
Current children cumulated memory: 294612 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/257 914852
/proc/meminfo: memFree=99481824/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=301472 memory=294612 CPUtime=3450.9 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 97441 0 0 0 345049 41 0 0 20 0 1 0 175274380 308707328 73653 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 75368 73653 2718 2594 0 72261 0
Current children cumulated CPU time: 3450.9 s
Current children cumulated vsize: 301472 KiB
Current children cumulated memory: 294612 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.08 4.06 5/257 914864
/proc/meminfo: memFree=99017284/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=328272 memory=321236 CPUtime=3510.7 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 98535 0 0 0 351028 42 0 0 20 0 1 0 175274380 336150528 80309 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 82068 80309 2718 2594 0 78961 0
Current children cumulated CPU time: 3510.7 s
Current children cumulated vsize: 328272 KiB
Current children cumulated memory: 321236 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.07 5/256 914876
/proc/meminfo: memFree=99434280/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=328896 memory=321960 CPUtime=3570.51 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 99386 0 0 0 357008 43 0 0 20 0 1 0 175274380 336789504 80490 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 82224 80490 2718 2594 0 79117 0
Current children cumulated CPU time: 3570.51 s
Current children cumulated vsize: 328896 KiB
Current children cumulated memory: 321960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.08 4.08 4.07 5/254 914895
/proc/meminfo: memFree=119119048/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=301472 memory=294612 CPUtime=3600.01 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 99449 0 0 0 359958 43 0 0 20 0 1 0 175274380 308707328 73653 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 75368 73653 2718 2594 0 72261 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 301472 KiB
Current children cumulated memory: 294612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.9 s]
# the end of solver process 912931 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.59 s, system=0.439788 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 4.08 4.08 4.07 5/254 914895
/proc/meminfo: memFree=119119048/131524600 swapFree=131071996/131071996
[pid=912931] ppid=912928 vsize=301472 memory=294612 CPUtime=3600.01 cores=0,2
/proc/912931/stat : 912931 (CASHWMaxSAT-Dis) R 912928 912931 911342 0 -1 4194304 99449 0 0 0 359958 43 0 0 20 0 1 0 175274380 308707328 73653 134679101440 4194304 14817773 140723885429920 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 53452800 140723885437924 140723885438039 140723885438039 140723885445055 0
/proc/912931/statm: 75368 73653 2718 2594 0 72261 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 301472 KiB
Current children cumulated memory: 294612 KiB
Child status: 10
Real time (s): 3611.9
CPU time (s): 3600.03
CPU user time (s): 3599.59
CPU system time (s): 0.439788
CPU usage (%): 99.6713
Max. virtual memory (cumulated for all children) (KiB): 355364
Max. memory (cumulated for all children) (KiB): 343932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.59
system time used= 0.439788
maximum resident set size= 343932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99450
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= 42
involuntary context switches= 24660
# summary of solver processes directly reported to runsolver:
# pid: 912931
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.59
# total CPU system time (s): 0.439788
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66708 second user time and 17.2151 second system time
The end
Begin job on nodeC015 at 2024-07-17 17:45:54 IDJOB=4439275 IDBENCH=155338 IDSOLVER=3075 FILE ID=nodeC015/4439275-1721231142 RUNJOBID= nodeC015-1721230910-911352 SLURM_JOB_ID= 7508976 Free space on /tmp= 889800 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10 BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-go19.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439275-1721231142/watcher-4439275-1721231142 -o /tmp/evaluation-result-4439275-1721231142/solver-4439275-1721231142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721230910-911352 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439275-1721231142.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20 RANDOM SEED=2114734553 nodeC015.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 : 3668.453 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 : 3677.474 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 : 7006.25 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 : 3657.081 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.202 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 : 7006.25 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 : 3671.051 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 : 3677.483 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 : 7006.25 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.597 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.833 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 : 7006.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 121873536 kB MemAvailable: 128367040 kB Buffers: 449648 kB Cached: 6859544 kB SwapCached: 0 kB Active: 1508600 kB Inactive: 7492272 kB Active(anon): 1548 kB Inactive(anon): 1727828 kB Active(file): 1507052 kB Inactive(file): 5764444 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 285092 kB Writeback: 0 kB AnonPages: 1690052 kB Mapped: 122992 kB Shmem: 37720 kB KReclaimable: 123312 kB Slab: 235424 kB SReclaimable: 123312 kB SUnreclaim: 112112 kB KernelStack: 4080 kB PageTables: 12608 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2180256 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 66560 kB HardwareCorrupted: 0 kB AnonHugePages: 395264 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: 258772 kB DirectMap2M: 37263360 kB DirectMap1G: 98566144 kB Free space on /tmp at the end= 889764 MiB End job on nodeC015 at 2024-07-17 18:46:06