Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact 2024-07-05 | SAT (TO) | -117 | 3600.11 | 3612.01 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-sporttournament22.opb |
| MD5SUM | 3dbd6cb1337568dea4a1eae85a2a7ca5 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -117 |
| Best CPU time to get the best result obtained on this benchmark | 11.8625 |
| 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 | 0 |
| Total number of constraints | 0 |
| 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 | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 602 |
| Biggest coefficient in the objective function | 2 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 652 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 652 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 440 |
| Sum of products size (including duplicates) | 880 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 o -2 0.00/0.01 o -3 0.00/0.01 o -4 0.00/0.01 o -5 0.00/0.01 o -6 0.00/0.01 o -8 0.00/0.01 o -9 0.00/0.02 o -10 0.00/0.02 o -11 0.00/0.02 o -13 0.00/0.02 o -14 0.00/0.02 o -16 0.00/0.02 o -17 0.00/0.02 o -18 0.00/0.02 o -19 0.00/0.02 o -20 0.00/0.02 o -21 0.00/0.02 o -22 0.00/0.03 o -23 0.00/0.03 o -24 0.00/0.03 o -25 0.00/0.03 o -27 0.00/0.03 o -28 0.00/0.03 o -29 0.00/0.03 o -30 0.00/0.03 o -31 0.00/0.03 o -32 0.00/0.08 o -33 0.00/0.08 o -34 0.00/0.10 o -35 0.09/0.10 o -36 0.09/0.13 o -37 0.09/0.15 o -38 0.69/0.72 o -39 0.69/0.72 o -40 0.69/0.73 o -41 0.69/0.74 o -42 0.69/0.75 o -43 0.69/0.76 o -44 0.78/0.80 o -45 0.78/0.83 o -46 0.78/0.84 o -47 0.78/0.85 o -48 0.78/0.88 o -49 0.88/0.92 o -50 0.88/0.93 o -51 0.88/0.95 o -52 0.88/0.97 o -53 0.88/0.98 o -54 0.88/0.99 o -55 0.99/1.02 o -56 0.99/1.06 o -57 0.99/1.09 o -58 1.09/1.12 o -59 1.09/1.15 o -60 1.09/1.18 o -61 1.19/1.25 o -62 1.29/1.30 o -63 1.29/1.35 o -64 1.38/1.43 o -65 1.88/1.93 o -66 1.88/1.97 o -67 1.99/2.01 o -68 1.99/2.04 o -69 1.99/2.09 o -70 2.09/2.13 o -71 2.18/2.21 o -72 2.18/2.26 o -73 2.28/2.31 o -74 2.38/2.40 o -75 2.48/2.52 o -76 2.68/2.77 o -77 3.28/3.31 o -78 3.28/3.33 o -79 3.28/3.37 o -80 3.48/3.52 o -81 3.67/3.74 o -82 4.08/4.16 o -83 4.08/4.18 o -84 4.27/4.30 o -85 4.37/4.47 o -86 4.57/4.61 o -87 5.08/5.17 o -88 5.87/5.98 o -89 5.98/6.01 o -90 12.15/12.23 o -91 12.15/12.24 o -92 12.25/12.33 o -93 12.35/12.49 o -94 24.31/24.47 o -95 31.59/31.79 o -96 31.68/31.81 o -97 40.86/41.05 o -98 40.86/41.08 o -99 40.97/41.13 o -100 40.97/41.18 o -101 42.55/42.79 o -102 42.65/42.87 o -103 42.85/43.03 o -104 42.85/43.09 o -105 43.05/43.23 o -106 43.54/43.75 o -107 43.54/43.79 o -108 52.52/52.78 o -109 55.21/55.47 o -110 55.41/55.66 o -111 66.88/67.14 o -112 71.86/72.18 o -113 84.61/84.91 o -114 84.82/85.13 o -115 85.71/86.03 o -116 154.79/155.36 o -117 3600.09/3612.00 c Program interrupted by user. 3600.09/3612.00 s SATISFIABLE 3600.09/3612.00 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
OK -117
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 (61674 MiB free)
memory of node 1: 64473 MiB (61665 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460065-1721946616/watcher-4460065-1721946616 -o /tmp/evaluation-result-4460065-1721946616/solver-4460065-1721946616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721946616-312923 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1171722055 HOME/instance-4460065-1721946616.opb
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
solver pid=312982, runsolver pid=312973
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 1.11 1.10 1.18 6/259 312989
/proc/meminfo: memFree=126255332/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=30764 memory=11056 CPUtime=0.09 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 1305 0 0 0 9 0 0 0 20 0 1 0 31184560 31502336 2764 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 7691 2764 1124 1005 0 6454 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30764 KiB
Current children cumulated memory: 11056 KiB
[startup+0.206509 s]*
/proc/loadavg: 1.11 1.10 1.18 9/259 312989
/proc/meminfo: memFree=126242680/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=31868 memory=14156 CPUtime=0.2 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 1572 0 0 0 20 0 0 0 20 0 1 0 31184560 32632832 3539 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 7967 3539 1124 1005 0 6730 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31868 KiB
Current children cumulated memory: 14156 KiB
[startup+0.306139 s]*
/proc/loadavg: 1.11 1.10 1.18 7/259 312989
/proc/meminfo: memFree=126240564/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=32300 memory=14684 CPUtime=0.3 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 1700 0 0 0 29 1 0 0 20 0 1 0 31184560 33075200 3671 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 8075 3671 1124 1005 0 6838 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 32300 KiB
Current children cumulated memory: 14684 KiB
[startup+0.700161 s]
/proc/loadavg: 1.11 1.10 1.18 8/259 312989
/proc/meminfo: memFree=126238988/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=33016 memory=15212 CPUtime=0.69 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 1888 0 0 0 68 1 0 0 20 0 1 0 31184560 33808384 3803 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 8254 3803 1124 1005 0 7017 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33016 KiB
Current children cumulated memory: 15212 KiB
[startup+1.5002 s]
/proc/loadavg: 1.11 1.10 1.18 6/259 312989
/proc/meminfo: memFree=126205532/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=39080 memory=27120 CPUtime=1.48 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 3313 0 0 0 146 2 0 0 20 0 1 0 31184560 40017920 6780 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 9770 6780 1124 1005 0 8533 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39080 KiB
Current children cumulated memory: 27120 KiB
[startup+3.10631 s]
/proc/loadavg: 1.34 1.15 1.19 6/259 312989
/proc/meminfo: memFree=126118792/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=46912 memory=39800 CPUtime=3.09 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 4957 0 0 0 305 4 0 0 20 0 1 0 31184560 48037888 9950 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 11728 9950 1124 1005 0 10491 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46912 KiB
Current children cumulated memory: 39800 KiB
[startup+6.30021 s]
/proc/loadavg: 1.34 1.15 1.19 6/259 312989
/proc/meminfo: memFree=126029360/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=64212 memory=47092 CPUtime=6.27 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 6535 0 0 0 620 7 0 0 20 0 1 0 31184560 65753088 11773 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 16053 11773 1124 1005 0 14816 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 64212 KiB
Current children cumulated memory: 47092 KiB
[startup+12.7002 s]
/proc/loadavg: 1.75 1.24 1.22 6/259 312991
/proc/meminfo: memFree=125957132/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=67156 memory=53756 CPUtime=12.65 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 7167 0 0 0 1251 14 0 0 20 0 1 0 31184560 68767744 13439 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 16789 13439 1124 1005 0 15552 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 67156 KiB
Current children cumulated memory: 53756 KiB
[startup+25.5002 s]
/proc/loadavg: 2.18 1.35 1.26 6/259 312993
/proc/meminfo: memFree=125943144/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=68784 memory=55796 CPUtime=25.41 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 7684 0 0 0 2518 23 0 0 20 0 1 0 31184560 70434816 13949 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 17196 13949 1124 1005 0 15959 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 68784 KiB
Current children cumulated memory: 55796 KiB
[startup+51.1067 s]
/proc/loadavg: 2.86 1.58 1.34 7/261 313055
/proc/meminfo: memFree=125925720/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=70784 memory=58084 CPUtime=50.93 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 8276 0 0 0 5051 42 0 0 20 0 1 0 31184560 72482816 14521 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 17696 14521 1124 1005 0 16459 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 70784 KiB
Current children cumulated memory: 58084 KiB
[startup+102.3 s]
/proc/loadavg: 3.74 2.05 1.51 6/261 313064
/proc/meminfo: memFree=125899468/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=76316 memory=63800 CPUtime=101.96 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 9733 0 0 0 10115 81 0 0 20 0 1 0 31184560 78147584 15950 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 19079 15950 1124 1005 0 17842 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 76316 KiB
Current children cumulated memory: 63800 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.42 1.68 6/261 313075
/proc/meminfo: memFree=125884616/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=81480 memory=67688 CPUtime=161.76 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 10774 0 0 0 16048 128 0 0 20 0 1 0 31184560 83435520 16922 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 20370 16922 1124 1005 0 19133 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 81480 KiB
Current children cumulated memory: 67688 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.73 1.83 6/261 313087
/proc/meminfo: memFree=125872028/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=84672 memory=70820 CPUtime=221.57 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 11544 0 0 0 21984 173 0 0 20 0 1 0 31184560 86704128 17705 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 21168 17705 1124 1005 0 19931 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 84672 KiB
Current children cumulated memory: 70820 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.99 1.98 6/259 313098
/proc/meminfo: memFree=125862304/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=88768 memory=74740 CPUtime=281.37 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 12516 0 0 0 27918 219 0 0 20 0 1 0 31184560 90898432 18685 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 22192 18685 1124 1005 0 20955 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 88768 KiB
Current children cumulated memory: 74740 KiB
[startup+342.3 s]
/proc/loadavg: 3.75 3.11 2.09 5/247 313139
/proc/meminfo: memFree=125900936/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=91264 memory=77072 CPUtime=341.18 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 13142 0 0 0 33849 269 0 0 20 0 1 0 31184560 93454336 19268 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 22816 19268 1124 1005 0 21579 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 91264 KiB
Current children cumulated memory: 77072 KiB
[startup+402.3 s]
/proc/loadavg: 3.35 3.12 2.16 6/247 313150
/proc/meminfo: memFree=125861788/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=93440 memory=82972 CPUtime=400.96 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 13718 0 0 0 39783 313 0 0 20 0 1 0 31184560 95682560 20743 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 23360 20743 1124 1005 0 22123 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 93440 KiB
Current children cumulated memory: 82972 KiB
[startup+462.3 s]
/proc/loadavg: 3.23 3.12 2.22 6/248 313161
/proc/meminfo: memFree=125853956/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=94080 memory=83644 CPUtime=460.74 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 13890 0 0 0 45717 357 0 0 20 0 1 0 31184560 96337920 20911 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 23520 20911 1124 1005 0 22283 0
################
# More data... #
################
Current children cumulated memory: 124900 KiB
[startup+2862.3 s]
/proc/loadavg: 2.07 2.32 2.67 3/240 314200
/proc/meminfo: memFree=125754808/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=150744 memory=125540 CPUtime=2852.49 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 23894 0 0 0 283157 2092 0 0 20 0 1 0 31184560 154361856 31385 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 37686 31385 1124 1005 0 36449 0
Current children cumulated CPU time: 2852.49 s
Current children cumulated vsize: 150744 KiB
Current children cumulated memory: 125540 KiB
[startup+2922.3 s]
/proc/loadavg: 2.08 2.27 2.63 4/240 314210
/proc/meminfo: memFree=125752968/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=150936 memory=125696 CPUtime=2912.32 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 23995 0 0 0 289099 2133 0 0 20 0 1 0 31184560 154558464 31424 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 37734 31424 1124 1005 0 36497 0
Current children cumulated CPU time: 2912.32 s
Current children cumulated vsize: 150936 KiB
Current children cumulated memory: 125696 KiB
[startup+2982.3 s]
/proc/loadavg: 2.07 2.24 2.59 3/240 314220
/proc/meminfo: memFree=125750280/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=151256 memory=126116 CPUtime=2972.16 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 24161 0 0 0 295046 2170 0 0 20 0 1 0 31184560 154886144 31529 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 37814 31529 1124 1005 0 36577 0
Current children cumulated CPU time: 2972.16 s
Current children cumulated vsize: 151256 KiB
Current children cumulated memory: 126116 KiB
[startup+3042.3 s]
/proc/loadavg: 2.13 2.22 2.56 4/243 314237
/proc/meminfo: memFree=125748984/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=151704 memory=126500 CPUtime=3031.99 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 24297 0 0 0 300991 2208 0 0 20 0 1 0 31184560 155344896 31625 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 37926 31625 1124 1005 0 36689 0
Current children cumulated CPU time: 3031.99 s
Current children cumulated vsize: 151704 KiB
Current children cumulated memory: 126500 KiB
[startup+3102.3 s]
/proc/loadavg: 2.05 2.18 2.53 3/243 314247
/proc/meminfo: memFree=125748176/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=151892 memory=126628 CPUtime=3091.81 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 24395 0 0 0 306929 2252 0 0 20 0 1 0 31184560 155537408 31657 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 37973 31657 1124 1005 0 36736 0
Current children cumulated CPU time: 3091.81 s
Current children cumulated vsize: 151892 KiB
Current children cumulated memory: 126628 KiB
[startup+3162.3 s]
/proc/loadavg: 2.13 2.18 2.50 3/243 314258
/proc/meminfo: memFree=125745472/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=151892 memory=126688 CPUtime=3151.64 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 24453 0 0 0 312863 2301 0 0 20 0 1 0 31184560 155537408 31672 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 37973 31672 1124 1005 0 36736 0
Current children cumulated CPU time: 3151.64 s
Current children cumulated vsize: 151892 KiB
Current children cumulated memory: 126688 KiB
[startup+3222.3 s]
/proc/loadavg: 2.15 2.17 2.48 3/243 314269
/proc/meminfo: memFree=125744508/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=152088 memory=126884 CPUtime=3211.48 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 24555 0 0 0 318799 2349 0 0 20 0 1 0 31184560 155738112 31721 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 38022 31721 1124 1005 0 36785 0
Current children cumulated CPU time: 3211.48 s
Current children cumulated vsize: 152088 KiB
Current children cumulated memory: 126884 KiB
[startup+3282.3 s]
/proc/loadavg: 2.10 2.16 2.45 3/243 314279
/proc/meminfo: memFree=125743100/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=152344 memory=127140 CPUtime=3271.31 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 24674 0 0 0 324744 2387 0 0 20 0 1 0 31184560 156000256 31785 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 38086 31785 1124 1005 0 36849 0
Current children cumulated CPU time: 3271.31 s
Current children cumulated vsize: 152344 KiB
Current children cumulated memory: 127140 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.14 2.43 3/246 314674
/proc/meminfo: memFree=125741292/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=152600 memory=127524 CPUtime=3331.15 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 24825 0 0 0 330686 2429 0 0 20 0 1 0 31184560 156262400 31881 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 38150 31881 1124 1005 0 36913 0
Current children cumulated CPU time: 3331.15 s
Current children cumulated vsize: 152600 KiB
Current children cumulated memory: 127524 KiB
[startup+3402.3 s]
/proc/loadavg: 2.13 2.14 2.41 3/243 314685
/proc/meminfo: memFree=125740940/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=152792 memory=127696 CPUtime=3390.97 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 24928 0 0 0 336629 2468 0 0 20 0 1 0 31184560 156459008 31924 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 38198 31924 1124 1005 0 36961 0
Current children cumulated CPU time: 3390.97 s
Current children cumulated vsize: 152792 KiB
Current children cumulated memory: 127696 KiB
[startup+3462.3 s]
/proc/loadavg: 2.09 2.13 2.39 3/244 314698
/proc/meminfo: memFree=125739448/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=152792 memory=127696 CPUtime=3450.8 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 24986 0 0 0 342567 2513 0 0 20 0 1 0 31184560 156459008 31924 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 38198 31924 1124 1005 0 36961 0
Current children cumulated CPU time: 3450.8 s
Current children cumulated vsize: 152792 KiB
Current children cumulated memory: 127696 KiB
[startup+3522.3 s]
/proc/loadavg: 2.13 2.14 2.37 3/246 314878
/proc/meminfo: memFree=125738348/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=152792 memory=127716 CPUtime=3510.64 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 25042 0 0 0 348509 2555 0 0 20 0 1 0 31184560 156459008 31929 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 38198 31929 1124 1005 0 36961 0
Current children cumulated CPU time: 3510.64 s
Current children cumulated vsize: 152792 KiB
Current children cumulated memory: 127716 KiB
[startup+3582.3 s]
/proc/loadavg: 2.09 2.12 2.35 3/246 314888
/proc/meminfo: memFree=125735948/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=153048 memory=127844 CPUtime=3570.47 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 25127 0 0 0 354456 2591 0 0 20 0 1 0 31184560 156721152 31961 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 38262 31961 1124 1005 0 37025 0
Current children cumulated CPU time: 3570.47 s
Current children cumulated vsize: 153048 KiB
Current children cumulated memory: 127844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 2.11 2.13 2.34 2/239 314925
/proc/meminfo: memFree=126152056/131524600 swapFree=131057784/131071996
[pid=312982] ppid=312973 vsize=153240 memory=127844 CPUtime=3600.09 cores=0,2
/proc/312982/stat : 312982 (Exact) R 312973 312982 308122 0 -1 4194304 25177 0 0 0 357396 2613 0 0 20 0 1 0 31184560 156917760 31961 134679101440 4194304 8309489 140733569083552 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9165528 9243992 15114240 140733569090493 140733569090663 140733569090663 140733569097679 0
/proc/312982/statm: 38310 31961 1124 1005 0 37073 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 153240 KiB
Current children cumulated memory: 127844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.01 s]
# the end of solver process 312982 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3573.97 s, system=26.138 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3612.01
CPU time (s): 3600.11
CPU user time (s): 3573.97
CPU system time (s): 26.138
CPU usage (%): 99.6705
Max. virtual memory (cumulated for all children) (KiB): 153240
Max. memory (cumulated for all children) (KiB): 127844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.97
system time used= 26.138
maximum resident set size= 143972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25179
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= 25229
# summary of solver processes directly reported to runsolver:
# pid: 312982
# total CPU time (s): 3600.11
# total CPU user time (s): 3573.97
# total CPU system time (s): 26.138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.48126 second user time and 18.6535 second system time
The end
Begin job on nodeC024 at 2024-07-26 00:30:16 IDJOB=4460065 IDBENCH=160622 IDSOLVER=3060 FILE ID=nodeC024/4460065-1721946616 RUNJOBID= nodeC024-1721946616-312923 SLURM_JOB_ID= 8247245 Free space on /tmp= 890084 MiB SOLVER NAME= Exact 2024-07-05 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-sporttournament22.opb COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460065-1721946616/watcher-4460065-1721946616 -o /tmp/evaluation-result-4460065-1721946616/solver-4460065-1721946616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721946616-312923 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1171722055 HOME/instance-4460065-1721946616.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3dbd6cb1337568dea4a1eae85a2a7ca5 RANDOM SEED=1171722055 nodeC024.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 : 3854.727 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.87 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 : 3790.621 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.58 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.253 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.87 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 : 3915.677 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.58 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 : 3631.735 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.87 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 : 3797.806 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.58 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 : 3747.303 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.87 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 : 3616.106 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.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126301792 kB MemAvailable: 129708660 kB Buffers: 338184 kB Cached: 3875492 kB SwapCached: 228 kB Active: 2632320 kB Inactive: 1940424 kB Active(anon): 4024 kB Inactive(anon): 409192 kB Active(file): 2628296 kB Inactive(file): 1531232 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057784 kB Dirty: 23640 kB Writeback: 0 kB AnonPages: 358956 kB Mapped: 104384 kB Shmem: 53464 kB KReclaimable: 174328 kB Slab: 291684 kB SReclaimable: 174328 kB SUnreclaim: 117356 kB KernelStack: 3924 kB PageTables: 9416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 770744 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20032 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: 408276 kB DirectMap2M: 48648192 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890076 MiB End job on nodeC024 at 2024-07-26 01:30:28