Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | SAT (TO) | -28 | 3600.1 | 3612.12 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb |
| MD5SUM | 6f27158fc75cdb45f11467b416377039 |
| 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 | -30 |
| Best CPU time to get the best result obtained on this benchmark | 2.23031 |
| 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 | 450 |
| Total number of constraints | 17794 |
| Number of constraints which are clauses | 17794 |
| 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 | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 450 |
| 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 | 450 |
| 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 | 450 |
| 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.09 o -2 0.00/0.09 o -3 0.00/0.10 o -4 0.00/0.11 o -5 0.00/0.11 o -6 0.10/0.11 o -7 0.10/0.11 o -8 0.10/0.11 o -9 0.10/0.14 o -10 0.10/0.21 o -11 0.22/0.24 o -12 0.22/0.24 o -13 0.22/0.24 o -14 0.22/0.28 o -15 0.31/0.32 o -16 0.31/0.33 o -17 0.31/0.37 o -18 0.31/0.41 o -19 0.68/0.75 o -20 0.88/0.99 o -21 4.37/4.43 o -22 5.76/5.88 o -23 7.76/7.89 o -24 14.74/14.89 o -25 74.13/74.41 o -26 416.08/417.50 o -27 725.21/727.62 o -28 3600.09/3612.11 c Program interrupted by user. 3600.09/3612.11 s SATISFIABLE 3600.09/3612.11 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 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450
OK -28
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: 64096 MiB (63342 MiB free)
memory of node 1: 64473 MiB (62191 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433502-1721061087/watcher-4433502-1721061087 -o /tmp/evaluation-result-4433502-1721061087/solver-4433502-1721061087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721061099-809825 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=899044778 HOME/instance-4433502-1721061087.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=809875, runsolver pid=809872
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 1.10 1.09 1.50 5/243 809888
/proc/meminfo: memFree=128525304/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=27144 memory=7672 CPUtime=0.1 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 720 0 0 0 10 0 0 0 20 0 1 0 158267504 27795456 1918 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 6786 1918 803 746 0 5850 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27144 KiB
Current children cumulated memory: 7672 KiB
[startup+0.213446 s]*
/proc/loadavg: 1.10 1.09 1.50 5/243 809888
/proc/meminfo: memFree=128514536/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=27636 memory=8056 CPUtime=0.22 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 825 0 0 0 22 0 0 0 20 0 1 0 158267504 28299264 2014 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 6909 2014 835 746 0 5973 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 27636 KiB
Current children cumulated memory: 8056 KiB
[startup+0.312541 s]*
/proc/loadavg: 1.10 1.09 1.50 5/243 809888
/proc/meminfo: memFree=128508344/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=28308 memory=8848 CPUtime=0.31 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 1003 0 0 0 31 0 0 0 20 0 1 0 158267504 28987392 2212 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 7077 2212 835 746 0 6141 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28308 KiB
Current children cumulated memory: 8848 KiB
[startup+0.70026 s]
/proc/loadavg: 1.10 1.09 1.50 5/243 809888
/proc/meminfo: memFree=128500240/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=28584 memory=11160 CPUtime=0.68 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 1068 0 0 0 68 0 0 0 20 0 1 0 158267504 29270016 2790 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 7146 2790 835 746 0 6210 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 28584 KiB
Current children cumulated memory: 11160 KiB
[startup+1.50027 s]
/proc/loadavg: 1.10 1.09 1.50 5/243 809888
/proc/meminfo: memFree=128490312/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=29388 memory=13992 CPUtime=1.48 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 1254 0 0 0 148 0 0 0 20 0 1 0 158267504 30093312 3498 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 7347 3498 835 746 0 6411 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29388 KiB
Current children cumulated memory: 13992 KiB
[startup+3.11268 s]
/proc/loadavg: 1.33 1.14 1.52 5/243 809890
/proc/meminfo: memFree=128427192/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=30336 memory=21120 CPUtime=3.09 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 1622 0 0 0 308 1 0 0 20 0 1 0 158267504 31064064 5280 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 7584 5280 835 746 0 6648 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 30336 KiB
Current children cumulated memory: 21120 KiB
[startup+6.30023 s]
/proc/loadavg: 1.33 1.14 1.52 5/243 809890
/proc/meminfo: memFree=128409372/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=32388 memory=23088 CPUtime=6.26 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 2608 0 0 0 625 1 0 0 20 0 1 0 158267504 33165312 5772 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 8097 5772 835 746 0 7161 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 32388 KiB
Current children cumulated memory: 23088 KiB
[startup+12.7002 s]
/proc/loadavg: 1.74 1.23 1.54 5/243 809891
/proc/meminfo: memFree=128359224/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=34124 memory=29184 CPUtime=12.65 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 4037 0 0 0 1263 2 0 0 20 0 1 0 158267504 34942976 7296 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 8531 7296 835 746 0 7595 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 34124 KiB
Current children cumulated memory: 29184 KiB
[startup+25.5003 s]
/proc/loadavg: 2.09 1.33 1.57 5/243 809893
/proc/meminfo: memFree=128333212/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=49892 memory=34964 CPUtime=25.4 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 5724 0 0 0 2538 2 0 0 20 0 1 0 158267504 51089408 8741 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 12473 8741 835 746 0 11537 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 49892 KiB
Current children cumulated memory: 34964 KiB
[startup+51.1125 s]
/proc/loadavg: 2.74 1.54 1.64 5/243 809896
/proc/meminfo: memFree=128286420/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=52692 memory=39840 CPUtime=50.92 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 6435 0 0 0 5090 2 0 0 20 0 1 0 158267504 53956608 9960 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 13173 9960 835 746 0 12237 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 52692 KiB
Current children cumulated memory: 39840 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 1.99 1.79 5/243 809906
/proc/meminfo: memFree=128255984/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=56536 memory=43680 CPUtime=101.94 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 7435 0 0 0 10192 2 0 0 20 0 1 0 158267504 57892864 10920 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 14134 10920 835 746 0 13198 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 56536 KiB
Current children cumulated memory: 43680 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.37 1.93 5/243 809917
/proc/meminfo: memFree=128228676/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=59992 memory=51392 CPUtime=161.75 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 8333 0 0 0 16172 3 0 0 20 0 1 0 158267504 61431808 12848 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 14998 12848 835 746 0 14062 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 59992 KiB
Current children cumulated memory: 51392 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.69 2.07 5/243 809928
/proc/meminfo: memFree=128207792/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=62088 memory=53448 CPUtime=221.55 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 8885 0 0 0 22152 3 0 0 20 0 1 0 158267504 63578112 13362 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 15522 13362 835 746 0 14586 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 62088 KiB
Current children cumulated memory: 53448 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 2.96 2.20 5/241 809940
/proc/meminfo: memFree=128187312/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=63612 memory=54988 CPUtime=281.35 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 9280 0 0 0 28132 3 0 0 20 0 1 0 158267504 65138688 13747 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 15903 13747 835 746 0 14967 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 63612 KiB
Current children cumulated memory: 54988 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.17 2.32 5/241 809950
/proc/meminfo: memFree=128178164/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=65404 memory=56792 CPUtime=341.15 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 9743 0 0 0 34112 3 0 0 20 0 1 0 158267504 66973696 14198 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 16351 14198 835 746 0 15415 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 65404 KiB
Current children cumulated memory: 56792 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.35 2.44 5/241 809960
/proc/meminfo: memFree=128165616/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=67156 memory=60916 CPUtime=400.94 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 10211 0 0 0 40091 3 0 0 20 0 1 0 158267504 68767744 15229 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 16789 15229 835 746 0 15853 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 67156 KiB
Current children cumulated memory: 60916 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.49 2.55 5/241 809971
/proc/meminfo: memFree=128155820/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=68500 memory=62160 CPUtime=460.74 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 10558 0 0 0 46071 3 0 0 20 0 1 0 158267504 70144000 15540 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 17125 15540 835 746 0 16189 0
################
# More data... #
################
Current children cumulated memory: 95392 KiB
[startup+2922.3 s]
/proc/loadavg: 4.97 4.49 4.18 5/241 810979
/proc/meminfo: memFree=127952972/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=114408 memory=95392 CPUtime=2912.74 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 18590 0 0 0 291268 6 0 0 20 0 1 0 158267504 117153792 23848 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 28602 23848 835 746 0 27666 0
Current children cumulated CPU time: 2912.74 s
Current children cumulated vsize: 114408 KiB
Current children cumulated memory: 95392 KiB
[startup+2982.3 s]
/proc/loadavg: 4.98 4.57 4.22 5/243 810993
/proc/meminfo: memFree=127951240/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=114408 memory=95456 CPUtime=2972.55 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 18628 0 0 0 297249 6 0 0 20 0 1 0 158267504 117153792 23864 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 28602 23864 835 746 0 27666 0
Current children cumulated CPU time: 2972.55 s
Current children cumulated vsize: 114408 KiB
Current children cumulated memory: 95456 KiB
[startup+3042.3 s]
/proc/loadavg: 5.09 4.68 4.29 5/243 811003
/proc/meminfo: memFree=127939456/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=114792 memory=95672 CPUtime=3032.36 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 18771 0 0 0 303230 6 0 0 20 0 1 0 158267504 117547008 23918 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 28698 23918 835 746 0 27762 0
Current children cumulated CPU time: 3032.36 s
Current children cumulated vsize: 114792 KiB
Current children cumulated memory: 95672 KiB
[startup+3102.3 s]
/proc/loadavg: 4.75 4.67 4.31 5/243 811014
/proc/meminfo: memFree=127937076/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=114792 memory=95840 CPUtime=3092.16 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 18827 0 0 0 309210 6 0 0 20 0 1 0 158267504 117547008 23960 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 28698 23960 835 746 0 27762 0
Current children cumulated CPU time: 3092.16 s
Current children cumulated vsize: 114792 KiB
Current children cumulated memory: 95840 KiB
[startup+3162.3 s]
/proc/loadavg: 4.42 4.59 4.30 5/243 811024
/proc/meminfo: memFree=127935928/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=114792 memory=95904 CPUtime=3151.94 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 18867 0 0 0 315188 6 0 0 20 0 1 0 158267504 117547008 23976 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 28698 23976 835 746 0 27762 0
Current children cumulated CPU time: 3151.94 s
Current children cumulated vsize: 114792 KiB
Current children cumulated memory: 95904 KiB
[startup+3222.3 s]
/proc/loadavg: 4.26 4.51 4.29 5/243 811035
/proc/meminfo: memFree=127935220/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=114792 memory=95904 CPUtime=3211.72 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 18910 0 0 0 321166 6 0 0 20 0 1 0 158267504 117547008 23976 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 28698 23976 835 746 0 27762 0
Current children cumulated CPU time: 3211.72 s
Current children cumulated vsize: 114792 KiB
Current children cumulated memory: 95904 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.43 4.27 5/242 811429
/proc/meminfo: memFree=127933864/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=115144 memory=96068 CPUtime=3271.5 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 19024 0 0 0 327144 6 0 0 20 0 1 0 158267504 117907456 24017 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 28786 24017 835 746 0 27850 0
Current children cumulated CPU time: 3271.5 s
Current children cumulated vsize: 115144 KiB
Current children cumulated memory: 96068 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.39 4.27 5/242 811439
/proc/meminfo: memFree=127931972/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=115336 memory=96432 CPUtime=3331.27 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 19129 0 0 0 333121 6 0 0 20 0 1 0 158267504 118104064 24108 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 28834 24108 835 746 0 27898 0
Current children cumulated CPU time: 3331.27 s
Current children cumulated vsize: 115336 KiB
Current children cumulated memory: 96432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.34 4.26 5/242 811449
/proc/meminfo: memFree=127931208/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=115528 memory=96576 CPUtime=3391.05 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 19195 0 0 0 339099 6 0 0 20 0 1 0 158267504 118300672 24144 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 28882 24144 835 746 0 27946 0
Current children cumulated CPU time: 3391.05 s
Current children cumulated vsize: 115528 KiB
Current children cumulated memory: 96576 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.31 4.26 5/243 811629
/proc/meminfo: memFree=127929568/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=116104 memory=97052 CPUtime=3450.83 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 19379 0 0 0 345077 6 0 0 20 0 1 0 158267504 118890496 24263 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 29026 24263 835 746 0 28090 0
Current children cumulated CPU time: 3450.83 s
Current children cumulated vsize: 116104 KiB
Current children cumulated memory: 97052 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.25 4.24 5/243 811639
/proc/meminfo: memFree=127928020/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=116104 memory=97152 CPUtime=3510.61 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 19431 0 0 0 351055 6 0 0 20 0 1 0 158267504 118890496 24288 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 29026 24288 835 746 0 28090 0
Current children cumulated CPU time: 3510.61 s
Current children cumulated vsize: 116104 KiB
Current children cumulated memory: 97152 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.22 4.23 5/246 811708
/proc/meminfo: memFree=127926408/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=116104 memory=97152 CPUtime=3570.39 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 19471 0 0 0 357033 6 0 0 20 0 1 0 158267504 118890496 24288 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 29026 24288 835 746 0 28090 0
Current children cumulated CPU time: 3570.39 s
Current children cumulated vsize: 116104 KiB
Current children cumulated memory: 97152 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.09 4.21 4.22 5/246 811852
/proc/meminfo: memFree=128264920/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=116296 memory=97340 CPUtime=3600.09 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 19521 0 0 0 360003 6 0 0 20 0 1 0 158267504 119087104 24335 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 29074 24335 835 746 0 28138 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 116296 KiB
Current children cumulated memory: 97340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.12 s]
# the end of solver process 809875 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3600.03 s, system=0.062762 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.09 4.21 4.22 5/246 811852
/proc/meminfo: memFree=128264920/131655788 swapFree=131071996/131071996
[pid=809875] ppid=809872 vsize=116296 memory=97340 CPUtime=3600.09 cores=0,2
/proc/809875/stat : 809875 (Exact_nosoplex) R 809872 809875 809815 0 -1 4194304 19521 0 0 0 360003 6 0 0 20 0 1 0 158267504 119087104 24335 134679101440 4194304 7248369 140733233482352 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7946728 8011032 32747520 140733233488813 140733233488991 140733233488991 140733233496006 0
/proc/809875/statm: 29074 24335 835 746 0 28138 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 116296 KiB
Current children cumulated memory: 97340 KiB
Child status: 10
Real time (s): 3612.12
CPU time (s): 3600.1
CPU user time (s): 3600.03
CPU system time (s): 0.062762
CPU usage (%): 99.6673
Max. virtual memory (cumulated for all children) (KiB): 116296
Max. memory (cumulated for all children) (KiB): 97340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.03
system time used= 0.062762
maximum resident set size= 98844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19522
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= 25
involuntary context switches= 25193
# summary of solver processes directly reported to runsolver:
# pid: 809875
# total CPU time (s): 3600.1
# total CPU user time (s): 3600.03
# total CPU system time (s): 0.062762
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6189 second user time and 33.4434 second system time
The end
Begin job on nodeC005 at 2024-07-15 18:31:39 IDJOB=4433502 IDBENCH=146688 IDSOLVER=3061 FILE ID=nodeC005/4433502-1721061087 RUNJOBID= nodeC005-1721061099-809825 SLURM_JOB_ID= 7505509 Free space on /tmp= 723780 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433502-1721061087/watcher-4433502-1721061087 -o /tmp/evaluation-result-4433502-1721061087/solver-4433502-1721061087 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721061099-809825 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=899044778 HOME/instance-4433502-1721061087.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6f27158fc75cdb45f11467b416377039 RANDOM SEED=899044778 nodeC005.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 : 0xb00001f cpu MHz : 1197.190 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.183 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.182 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.187 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.193 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2591.618 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.180 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.177 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128553512 kB MemAvailable: 129970428 kB Buffers: 352184 kB Cached: 1892384 kB SwapCached: 0 kB Active: 580468 kB Inactive: 1961020 kB Active(anon): 3356 kB Inactive(anon): 331584 kB Active(file): 577112 kB Inactive(file): 1629436 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 22200 kB Writeback: 0 kB AnonPages: 296472 kB Mapped: 104496 kB Shmem: 37704 kB KReclaimable: 101136 kB Slab: 201688 kB SReclaimable: 101136 kB SUnreclaim: 100552 kB KernelStack: 3696 kB PageTables: 9660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 649212 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 52032 kB HardwareCorrupted: 0 kB AnonHugePages: 174080 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: 203592 kB DirectMap2M: 11235328 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 723756 MiB End job on nodeC005 at 2024-07-15 19:31:51