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) | -349 | 3600.09 | 3610.8 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/ profit_ceiling/normalized-knapPI_15_50_1000_5_-1047.opb |
| MD5SUM | 0ca7653980f86b2f84ce865c198a6840 |
| 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 | -354 |
| Best CPU time to get the best result obtained on this benchmark | 0.00714 |
| 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 | 250 |
| Total number of constraints | 1 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 250 |
| Maximum length of a constraint | 250 |
| Number of terms in the objective function | 250 |
| Biggest coefficient in the objective function | 333 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 42465 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 1037 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 128168 |
| Number of bits of the biggest sum of numbers | 17 |
| 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 cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.08 c Do: 140732326841016 140732326841024 0.00/0.08 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.09/0.17 c Starting SCIP solver (with time-limit = 1800s) ... 1794.23/1800.20 c SCIP timeout with lower and upper bounds: [-14126, -1] 1794.23/1800.20 o -1 1794.23/1800.20 c Restarting SCIP solver (with time-limit = 2400s) ... 2392.33/2400.17 c SCIP timeout with lower and upper bounds: [-13477, -332] 2392.33/2400.18 o -332 2392.33/2400.18 c Restarting SCIP solver (with time-limit = 3000s) ... 2999.22/3008.58 c SCIP timeout with lower and upper bounds: [-13477, -332] 3000.11/3009.44 o -342 3000.21/3009.52 o -344 3001.01/3010.38 o -346 3001.91/3011.27 o -347 3005.90/3015.28 o -348 3043.62/3053.07 o -349 3600.07/3610.80 3600.07/3610.80 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 3600.07/3610.80 s SATISFIABLE
OK -349
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 (53502 MiB free)
memory of node 1: 64473 MiB (54624 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457496-1721875910/watcher-4457496-1721875910 -o /tmp/evaluation-result-4457496-1721875910/solver-4457496-1721875910 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721875910-264526 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4457496-1721875910.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=264587, runsolver pid=264573
[startup+0.100946 s]*
/proc/loadavg: 3.50 4.05 4.14 8/257 264590
/proc/meminfo: memFree=110645484/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=55492 memory=43864 CPUtime=0.09 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 9723 0 0 0 8 1 0 0 20 0 1 0 24119286 56823808 10966 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 13873 10966 2286 2594 0 10766 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55492 KiB
Current children cumulated memory: 43864 KiB
[startup+0.205202 s]*
/proc/loadavg: 3.50 4.05 4.14 5/257 264590
/proc/meminfo: memFree=110559408/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=135684 memory=123868 CPUtime=0.2 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 29612 0 0 0 16 4 0 0 20 0 1 0 24119286 138940416 30967 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 33921 30967 2430 2594 0 30814 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 135684 KiB
Current children cumulated memory: 123868 KiB
[startup+0.306214 s]*
/proc/loadavg: 3.50 4.05 4.14 8/257 264590
/proc/meminfo: memFree=110501964/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=188172 memory=174856 CPUtime=0.3 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 42266 0 0 0 24 6 0 0 20 0 1 0 24119286 192688128 43714 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 47043 43714 2510 2594 0 43936 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 188172 KiB
Current children cumulated memory: 174856 KiB
[startup+0.700228 s]
/proc/loadavg: 3.54 4.05 4.14 9/257 264590
/proc/meminfo: memFree=110449180/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=244888 memory=231464 CPUtime=0.68 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 56459 0 0 0 60 8 0 0 20 0 1 0 24119286 250765312 57866 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 61222 57866 2510 2594 0 58115 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 244888 KiB
Current children cumulated memory: 231464 KiB
[startup+1.50024 s]
/proc/loadavg: 3.54 4.05 4.14 9/257 264590
/proc/meminfo: memFree=110426568/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=246620 memory=233916 CPUtime=1.49 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 57094 0 0 0 140 9 0 0 20 0 1 0 24119286 252538880 58479 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 61655 58479 2542 2594 0 58548 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 246620 KiB
Current children cumulated memory: 233916 KiB
[startup+3.10627 s]
/proc/loadavg: 3.54 4.05 4.14 9/257 264590
/proc/meminfo: memFree=109850472/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=248992 memory=236292 CPUtime=3.09 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 57686 0 0 0 300 9 0 0 20 0 1 0 24119286 254967808 59073 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 62248 59073 2542 2594 0 59141 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 248992 KiB
Current children cumulated memory: 236292 KiB
[startup+6.30022 s]
/proc/loadavg: 3.58 4.05 4.14 9/257 264592
/proc/meminfo: memFree=108635848/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=537296 memory=507096 CPUtime=6.27 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 95683 0 0 0 610 17 0 0 20 0 1 0 24119286 550191104 126774 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 134324 126774 2622 2594 0 131217 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 537296 KiB
Current children cumulated memory: 507096 KiB
[startup+12.7002 s]
/proc/loadavg: 3.61 4.04 4.14 7/257 264638
/proc/meminfo: memFree=107077252/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=540408 memory=509736 CPUtime=12.65 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 96372 0 0 0 1248 17 0 0 20 0 1 0 24119286 553377792 127434 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 135102 127434 2622 2594 0 131995 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 540408 KiB
Current children cumulated memory: 509736 KiB
[startup+25.5002 s]
/proc/loadavg: 3.75 4.06 4.14 7/257 264641
/proc/meminfo: memFree=107063068/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=543504 memory=513648 CPUtime=25.41 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 97358 0 0 0 2523 18 0 0 20 0 1 0 24119286 556548096 128412 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 135876 128412 2622 2594 0 132769 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 543504 KiB
Current children cumulated memory: 513648 KiB
[startup+51.1063 s]
/proc/loadavg: 3.91 4.07 4.14 7/257 264644
/proc/meminfo: memFree=107049560/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=544420 memory=514944 CPUtime=50.94 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 97665 0 0 0 5075 19 0 0 20 0 1 0 24119286 557486080 128736 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 136105 128736 2622 2594 0 132998 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 544420 KiB
Current children cumulated memory: 514944 KiB
[startup+102.3 s]
/proc/loadavg: 4.00 4.07 4.14 7/257 264653
/proc/meminfo: memFree=107034036/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=547296 memory=517972 CPUtime=101.98 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 97908 0 0 0 10178 20 0 0 20 0 1 0 24119286 560431104 129493 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 136824 129493 2622 2594 0 133717 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 547296 KiB
Current children cumulated memory: 517972 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.14 7/257 264665
/proc/meminfo: memFree=106922688/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=661348 memory=621656 CPUtime=161.79 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 104443 0 0 0 16155 24 0 0 20 0 1 0 24119286 677220352 155414 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 165337 155414 2654 2594 0 162230 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 661348 KiB
Current children cumulated memory: 621656 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.10 4.14 7/256 265058
/proc/meminfo: memFree=106838576/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=666120 memory=624700 CPUtime=221.58 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 104680 0 0 0 22133 25 0 0 20 0 1 0 24119286 682106880 156175 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 166530 156175 2654 2594 0 163423 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 666120 KiB
Current children cumulated memory: 624700 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.11 4.14 7/256 265068
/proc/meminfo: memFree=106790600/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=670608 memory=624776 CPUtime=281.39 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 104733 0 0 0 28113 26 0 0 20 0 1 0 24119286 686702592 156194 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 167652 156194 2654 2594 0 164545 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 670608 KiB
Current children cumulated memory: 624776 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.13 7/252 265078
/proc/meminfo: memFree=106738620/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=679108 memory=629104 CPUtime=341.19 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 105343 0 0 0 34092 27 0 0 20 0 1 0 24119286 695406592 157276 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 169777 157276 2654 2594 0 166670 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 679108 KiB
Current children cumulated memory: 629104 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.13 7/253 265258
/proc/meminfo: memFree=106675720/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=679108 memory=629104 CPUtime=400.99 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 105355 0 0 0 40071 28 0 0 20 0 1 0 24119286 695406592 157276 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 169777 157276 2654 2594 0 166670 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 679108 KiB
Current children cumulated memory: 629104 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.11 4.13 7/253 265268
/proc/meminfo: memFree=106610080/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=679676 memory=625868 CPUtime=460.78 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 105487 0 0 0 46050 28 0 0 20 0 1 0 24119286 695988224 156467 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 169919 156467 2654 2594 0 166812 0
################
# More data... #
################
Current children cumulated memory: 735016 KiB
[startup+2862.3 s]
/proc/loadavg: 4.27 4.21 4.13 7/251 266334
/proc/meminfo: memFree=105250052/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=866720 memory=735992 CPUtime=2853.39 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 117354 0 0 0 285291 48 0 0 20 0 1 0 24119286 887521280 183998 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 216680 183998 2654 2594 0 213573 0
Current children cumulated CPU time: 2853.39 s
Current children cumulated vsize: 866720 KiB
Current children cumulated memory: 735992 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.19 4.13 7/253 266348
/proc/meminfo: memFree=105219044/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=871800 memory=738640 CPUtime=2913.24 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 118168 0 0 0 291276 48 0 0 20 0 1 0 24119286 892723200 184660 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 217950 184660 2654 2594 0 214843 0
Current children cumulated CPU time: 2913.24 s
Current children cumulated vsize: 871800 KiB
Current children cumulated memory: 738640 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.18 4.13 7/253 266359
/proc/meminfo: memFree=105218060/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=871800 memory=739008 CPUtime=2973.08 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 118308 0 0 0 297260 48 0 0 20 0 1 0 24119286 892723200 184752 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 217950 184752 2654 2594 0 214843 0
Current children cumulated CPU time: 2973.08 s
Current children cumulated vsize: 871800 KiB
Current children cumulated memory: 739008 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.18 4.13 7/253 266370
/proc/meminfo: memFree=105476016/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=567632 memory=475664 CPUtime=3032.94 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 118619 0 0 0 303240 54 0 0 20 0 1 0 24119286 581255168 118916 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 141908 118916 2702 2594 0 138801 0
Current children cumulated CPU time: 3032.94 s
Current children cumulated vsize: 567632 KiB
Current children cumulated memory: 475664 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.16 4.12 7/253 266380
/proc/meminfo: memFree=105462412/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=567632 memory=475728 CPUtime=3092.8 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 118685 0 0 0 309225 55 0 0 20 0 1 0 24119286 581255168 118932 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 141908 118932 2718 2594 0 138801 0
Current children cumulated CPU time: 3092.8 s
Current children cumulated vsize: 567632 KiB
Current children cumulated memory: 475728 KiB
[startup+3162.3 s]
/proc/loadavg: 4.24 4.19 4.13 7/253 266390
/proc/meminfo: memFree=105420624/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=567632 memory=475728 CPUtime=3152.65 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 118752 0 0 0 315210 55 0 0 20 0 1 0 24119286 581255168 118932 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 141908 118932 2718 2594 0 138801 0
Current children cumulated CPU time: 3152.65 s
Current children cumulated vsize: 567632 KiB
Current children cumulated memory: 475728 KiB
[startup+3222.3 s]
/proc/loadavg: 5.23 4.43 4.21 7/251 266401
/proc/meminfo: memFree=105400236/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=567632 memory=475728 CPUtime=3212.51 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 118775 0 0 0 321196 55 0 0 20 0 1 0 24119286 581255168 118932 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 141908 118932 2718 2594 0 138801 0
Current children cumulated CPU time: 3212.51 s
Current children cumulated vsize: 567632 KiB
Current children cumulated memory: 475728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.56 4.39 4.21 7/251 266412
/proc/meminfo: memFree=105377940/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=567632 memory=475728 CPUtime=3272.36 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 118853 0 0 0 327181 55 0 0 20 0 1 0 24119286 581255168 118932 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 141908 118932 2718 2594 0 138801 0
Current children cumulated CPU time: 3272.36 s
Current children cumulated vsize: 567632 KiB
Current children cumulated memory: 475728 KiB
[startup+3342.3 s]
/proc/loadavg: 4.30 4.35 4.21 7/251 266422
/proc/meminfo: memFree=105318636/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=567632 memory=475728 CPUtime=3332.22 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 118914 0 0 0 333166 56 0 0 20 0 1 0 24119286 581255168 118932 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 141908 118932 2718 2594 0 138801 0
Current children cumulated CPU time: 3332.22 s
Current children cumulated vsize: 567632 KiB
Current children cumulated memory: 475728 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.31 4.20 7/251 266432
/proc/meminfo: memFree=105327832/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=567632 memory=475728 CPUtime=3392.08 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 118940 0 0 0 339152 56 0 0 20 0 1 0 24119286 581255168 118932 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 141908 118932 2718 2594 0 138801 0
Current children cumulated CPU time: 3392.08 s
Current children cumulated vsize: 567632 KiB
Current children cumulated memory: 475728 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.27 4.19 7/251 266442
/proc/meminfo: memFree=105320216/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=567632 memory=475728 CPUtime=3451.94 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 119030 0 0 0 345138 56 0 0 20 0 1 0 24119286 581255168 118932 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 141908 118932 2718 2594 0 138801 0
Current children cumulated CPU time: 3451.94 s
Current children cumulated vsize: 567632 KiB
Current children cumulated memory: 475728 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.25 4.18 7/254 266458
/proc/meminfo: memFree=105275596/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=567632 memory=475728 CPUtime=3511.79 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 119103 0 0 0 351123 56 0 0 20 0 1 0 24119286 581255168 118932 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 141908 118932 2718 2594 0 138801 0
Current children cumulated CPU time: 3511.79 s
Current children cumulated vsize: 567632 KiB
Current children cumulated memory: 475728 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.23 4.18 7/254 266469
/proc/meminfo: memFree=105282084/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=567632 memory=475728 CPUtime=3571.64 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 119132 0 0 0 357108 56 0 0 20 0 1 0 24119286 581255168 118932 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 141908 118932 2718 2594 0 138801 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 567632 KiB
Current children cumulated memory: 475728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.15 4.23 4.18 5/249 266556
/proc/meminfo: memFree=108418984/131524600 swapFree=131063756/131071996
[pid=264587] ppid=264573 vsize=567632 memory=475728 CPUtime=3600.07 cores=5,7
/proc/264587/stat : 264587 (CASHWMaxSAT-Dis) R 264573 264587 264513 0 -1 4194304 119199 0 0 0 359951 56 0 0 20 0 1 0 24119286 581255168 118932 134679101440 4194304 14817773 140732326843424 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 34377728 140732326847465 140732326847580 140732326847580 140732326854591 0
/proc/264587/statm: 141908 118932 2718 2594 0 138801 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 567632 KiB
Current children cumulated memory: 475728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.8 s]
# the end of solver process 264587 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.52 s, system=0.56643 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.8
CPU time (s): 3600.09
CPU user time (s): 3599.52
CPU system time (s): 0.56643
CPU usage (%): 99.7032
Max. virtual memory (cumulated for all children) (KiB): 871800
Max. memory (cumulated for all children) (KiB): 739012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.52
system time used= 0.56643
maximum resident set size= 739012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119200
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= 24
involuntary context switches= 1373
# summary of solver processes directly reported to runsolver:
# pid: 264587
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.52
# total CPU system time (s): 0.56643
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41655 second user time and 19.2521 second system time
The end
Begin job on nodeC027 at 2024-07-25 04:51:50 IDJOB=4457496 IDBENCH=176371 IDSOLVER=3075 FILE ID=nodeC027/4457496-1721875910 RUNJOBID= nodeC027-1721875910-264526 SLURM_JOB_ID= 8089224 Free space on /tmp= 890084 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/normalized-knapPI_15_50_1000_5_-1047.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-4457496-1721875910/watcher-4457496-1721875910 -o /tmp/evaluation-result-4457496-1721875910/solver-4457496-1721875910 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721875910-264526 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4457496-1721875910.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0ca7653980f86b2f84ce865c198a6840 RANDOM SEED=972139419 nodeC027.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 : 3710.768 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.74 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 : 3719.265 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.65 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 : 3795.374 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.74 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 : 3750.640 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.65 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 : 3776.427 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.74 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 : 3705.355 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.65 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 : 3613.592 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.74 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 : 3867.781 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.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 110723524 kB MemAvailable: 129681956 kB Buffers: 279604 kB Cached: 19359732 kB SwapCached: 472 kB Active: 2493400 kB Inactive: 17409696 kB Active(anon): 1604 kB Inactive(anon): 315696 kB Active(file): 2491796 kB Inactive(file): 17094000 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131063756 kB Dirty: 55980 kB Writeback: 0 kB AnonPages: 263340 kB Mapped: 115472 kB Shmem: 53416 kB KReclaimable: 424916 kB Slab: 548416 kB SReclaimable: 424916 kB SUnreclaim: 123500 kB KernelStack: 3888 kB PageTables: 9692 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 610188 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 149504 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: 359124 kB DirectMap2M: 40308736 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890028 MiB End job on nodeC027 at 2024-07-25 05:52:01