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) | 8691 | 3600.05 | 3611.91 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
| MD5SUM | 0aad002c81e214aa0b66948d5567e1f0 |
| 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 | 8691 |
| Best CPU time to get the best result obtained on this benchmark | 0.113538 |
| 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 | 548 |
| Total number of constraints | 166 |
| Number of constraints which are clauses | 40 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 126 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 143 |
| Number of terms in the objective function | 416 |
| Biggest coefficient in the objective function | 11000 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 96797 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 11000 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 96797 |
| 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.01 o 44199 0.20/0.29 o 43268 0.20/0.29 o 42798 0.20/0.29 o 42764 0.20/0.29 o 42738 0.20/0.29 o 42714 0.20/0.29 o 42679 0.20/0.29 o 42637 0.20/0.30 o 42617 0.20/0.30 o 42542 0.20/0.30 o 42453 0.20/0.30 o 42435 0.20/0.30 o 42369 0.20/0.30 o 40369 0.20/0.30 o 39562 0.20/0.30 o 39521 0.30/0.30 o 39286 0.30/0.30 o 39023 0.30/0.30 o 38993 0.30/0.31 o 38988 0.30/0.31 o 38978 0.30/0.31 o 32098 0.30/0.31 o 32057 0.30/0.31 o 32044 0.30/0.32 o 31984 0.30/0.32 o 31941 0.30/0.32 o 31734 0.30/0.32 o 31581 0.30/0.32 o 31548 0.30/0.33 o 31542 0.30/0.33 o 31122 0.30/0.34 o 31115 0.30/0.35 o 30888 0.30/0.36 o 30857 0.30/0.36 o 30848 0.30/0.39 o 30817 0.30/0.40 o 30809 0.30/0.40 o 30799 0.50/0.55 o 30574 0.50/0.56 o 15942 0.50/0.56 o 15832 0.50/0.56 o 15385 0.50/0.56 o 15335 0.50/0.56 o 15260 0.50/0.56 o 14844 0.50/0.57 o 14778 0.50/0.57 o 14771 0.50/0.57 o 14762 0.50/0.57 o 14751 0.50/0.57 o 14745 0.50/0.57 o 14705 0.50/0.57 o 14694 0.50/0.57 o 14493 0.50/0.58 o 14424 0.50/0.58 o 14418 0.50/0.58 o 14394 0.50/0.58 o 14383 0.50/0.58 o 14337 0.50/0.58 o 14327 0.50/0.59 o 14321 0.50/0.59 o 14318 0.50/0.59 o 14308 0.50/0.59 o 14275 0.50/0.60 o 14030 0.60/0.64 o 14012 0.60/0.64 o 14002 0.60/0.64 o 13999 0.60/0.65 o 13913 0.60/0.66 o 13863 0.60/0.67 o 13859 0.60/0.68 o 13823 0.60/0.69 o 13767 0.60/0.69 o 13752 0.69/0.70 o 13739 0.69/0.71 o 13730 0.69/0.72 o 13387 0.69/0.77 o 13383 0.69/0.78 o 13176 0.79/0.82 o 13163 0.79/0.86 o 13160 0.79/0.87 o 12960 0.79/0.88 o 12949 0.79/0.89 o 12936 0.89/0.97 o 12796 1.39/1.41 o 12786 1.39/1.44 o 12736 1.79/1.83 o 12690 1.89/1.92 o 12689 1.89/1.94 o 12676 2.68/2.73 o 12668 2.68/2.74 o 12618 2.68/2.75 o 12605 2.99/3.05 o 12603 3.28/3.32 o 12600 3.38/3.46 o 12596 4.38/4.42 o 12594 4.38/4.43 o 12581 4.38/4.46 o 12531 4.98/5.05 o 12526 4.98/5.08 o 12511 5.08/5.17 o 12497 7.86/7.96 o 12485 7.86/7.97 o 12478 7.86/7.98 o 12471 7.86/7.99 o 12462 9.46/9.56 o 12453 9.46/9.57 o 12440 9.86/9.92 o 12310 9.96/10.08 o 12271 10.25/10.30 o 12149 10.55/10.68 o 11895 10.65/10.79 o 11794 12.65/12.70 o 11755 12.65/12.79 o 11723 12.65/12.79 o 11713 12.75/12.80 o 11707 12.75/12.82 o 10793 12.75/12.83 o 10783 12.75/12.84 o 10707 12.75/12.87 o 10647 12.75/12.88 o 10637 12.75/12.89 o 10615 12.85/12.90 o 10604 12.85/12.91 o 10601 12.85/12.92 o 10591 12.85/12.93 o 10582 13.15/13.24 o 10568 13.15/13.25 o 10555 13.15/13.28 o 10340 13.15/13.28 o 10334 13.15/13.29 o 10321 13.25/13.30 o 10288 13.25/13.31 o 10279 13.25/13.36 o 10205 17.83/17.91 o 9710 17.83/17.94 o 9648 17.93/18.01 o 9631 20.93/21.03 o 9583 20.93/21.09 o 9575 21.42/21.52 o 9531 22.82/22.94 o 9449 22.82/22.94 o 9439 24.41/24.57 o 9338 26.80/26.97 o 9318 26.80/26.97 o 9312 36.18/36.37 o 9281 52.03/52.23 o 9277 52.03/52.23 o 9260 52.03/52.24 o 9259 56.32/56.54 o 9249 69.79/70.00 o 9224 112.25/112.67 o 9210 112.25/112.67 o 9192 212.11/212.85 o 9188 212.11/212.86 o 9183 220.29/221.06 o 9173 508.03/509.75 o 9088 508.03/509.75 o 9082 508.13/509.81 o 9072 522.18/523.98 o 9013 522.18/523.98 o 9003 620.84/622.95 o 8809 1016.83/1020.29 o 8751 1016.93/1020.38 o 8725 1282.05/1286.31 o 8719 1282.05/1286.32 o 8714 1282.05/1286.32 o 8705 1286.74/1291.06 o 8691 3600.04/3611.90 c Program interrupted by user. 3600.04/3611.90 s SATISFIABLE 3600.04/3611.90 v -x1 -x2 x3 x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 x24 x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 x94 -x95 -x96 x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 x193 x194 x195 -x196 -x197 -x198 -x199 x200 x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 x215 x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 x380 x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 x389 x390 x391 -x392 -x393 x394 x395 -x396 -x397 x398 -x399 -x400 -x401 x402 x403 -x404 -x405 -x406 x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 x420 x421 -x422 -x423 x424 -x425 -x426 -x427 x428 x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 x440 -x441 -x442 -x443 -x444 x445 -x446 x447 x448 -x449 -x450 x451 x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 x509 x510 x511 x512 x513 -x514 -x515 x516 -x517 x518 x519 x520 -x521 x522 x523 x524 -x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 -x535 -x536 x537 x538 x539 x540 -x541 x542 x543 -x544 -x545 x546 -x547 x548
OK 8691
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 (62865 MiB free)
memory of node 1: 64473 MiB (62621 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433370-1721071591/watcher-4433370-1721071591 -o /tmp/evaluation-result-4433370-1721071591/solver-4433370-1721071591 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721071603-818146 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1805901186 HOME/instance-4433370-1721071591.opb
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
solver pid=818202, runsolver pid=818188
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 1.14 1.12 1.58 2/252 818207
/proc/meminfo: memFree=128495116/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=26772 memory=5524 CPUtime=0.1 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 686 0 0 0 10 0 0 0 20 0 1 0 159327987 27414528 1381 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 6693 1381 851 746 0 5757 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26772 KiB
Current children cumulated memory: 5524 KiB
[startup+0.206448 s]*
/proc/loadavg: 1.14 1.12 1.58 2/249 818249
/proc/meminfo: memFree=128494524/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=27196 memory=6052 CPUtime=0.2 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 830 0 0 0 20 0 0 0 20 0 1 0 159327987 27848704 1513 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 6799 1513 851 746 0 5863 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27196 KiB
Current children cumulated memory: 6052 KiB
[startup+0.305145 s]*
/proc/loadavg: 1.14 1.12 1.58 5/243 818279
/proc/meminfo: memFree=128493016/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=27640 memory=8624 CPUtime=0.3 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 935 0 0 0 30 0 0 0 20 0 1 0 159327987 28303360 2156 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 6910 2156 851 746 0 5974 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27640 KiB
Current children cumulated memory: 8624 KiB
[startup+0.700206 s]
/proc/loadavg: 1.14 1.12 1.58 6/258 818345
/proc/meminfo: memFree=128438504/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=29552 memory=12516 CPUtime=0.69 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 1388 0 0 0 69 0 0 0 20 0 1 0 159327987 30261248 3129 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 7388 3129 851 746 0 6452 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29552 KiB
Current children cumulated memory: 12516 KiB
[startup+1.50017 s]
/proc/loadavg: 1.14 1.12 1.58 6/258 818345
/proc/meminfo: memFree=128303888/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=32044 memory=16672 CPUtime=1.49 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 1935 0 0 0 149 0 0 0 20 0 1 0 159327987 32813056 4168 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 8011 4168 851 746 0 7075 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32044 KiB
Current children cumulated memory: 16672 KiB
[startup+3.10533 s]
/proc/loadavg: 1.14 1.12 1.58 5/258 818437
/proc/meminfo: memFree=128215460/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=35244 memory=21508 CPUtime=3.09 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 2682 0 0 0 309 0 0 0 20 0 1 0 159327987 36089856 5377 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 8811 5377 851 746 0 7875 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 35244 KiB
Current children cumulated memory: 21508 KiB
[startup+6.30015 s]
/proc/loadavg: 1.37 1.17 1.59 5/258 818437
/proc/meminfo: memFree=128117372/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=39052 memory=26964 CPUtime=6.27 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 3543 0 0 0 627 0 0 0 20 0 1 0 159327987 39989248 6741 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 9763 6741 851 746 0 8827 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 39052 KiB
Current children cumulated memory: 26964 KiB
[startup+12.7002 s]
/proc/loadavg: 1.58 1.21 1.60 6/258 818439
/proc/meminfo: memFree=128030352/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=42320 memory=31412 CPUtime=12.65 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 4246 0 0 0 1265 0 0 0 20 0 1 0 159327987 43335680 7853 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 10580 7853 851 746 0 9644 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 42320 KiB
Current children cumulated memory: 31412 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.35 1.64 5/258 818486
/proc/meminfo: memFree=127930252/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=43152 memory=34700 CPUtime=25.41 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 4665 0 0 0 2541 0 0 0 20 0 1 0 159327987 44187648 8675 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 10788 8675 851 746 0 9852 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 43152 KiB
Current children cumulated memory: 34700 KiB
[startup+51.1053 s]
/proc/loadavg: 2.83 1.58 1.71 5/258 818491
/proc/meminfo: memFree=127749820/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=43984 memory=35224 CPUtime=50.94 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 5444 0 0 0 5094 0 0 0 20 0 1 0 159327987 45039616 8806 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 10996 8806 851 746 0 10060 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 43984 KiB
Current children cumulated memory: 35224 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 1.97 1.84 5/258 818499
/proc/meminfo: memFree=127141816/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=48168 memory=38460 CPUtime=101.98 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 7169 0 0 0 10197 1 0 0 20 0 1 0 159327987 49324032 9615 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 12042 9615 851 746 0 11106 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 48168 KiB
Current children cumulated memory: 38460 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.36 1.98 5/260 818681
/proc/meminfo: memFree=126515192/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=48464 memory=38984 CPUtime=161.78 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 8176 0 0 0 16177 1 0 0 20 0 1 0 159327987 49627136 9746 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 12116 9746 851 746 0 11180 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 48464 KiB
Current children cumulated memory: 38984 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.70 2.13 5/260 818692
/proc/meminfo: memFree=126203612/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=49832 memory=40020 CPUtime=221.58 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 9080 0 0 0 22157 1 0 0 20 0 1 0 159327987 51027968 10005 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 12458 10005 851 746 0 11522 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 49832 KiB
Current children cumulated memory: 40020 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.96 2.25 5/261 818761
/proc/meminfo: memFree=125884032/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=49936 memory=40260 CPUtime=281.38 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 9742 0 0 0 28136 2 0 0 20 0 1 0 159327987 51134464 10065 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 12484 10065 851 746 0 11548 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 49936 KiB
Current children cumulated memory: 40260 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.16 2.37 5/260 818772
/proc/meminfo: memFree=125500868/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=50600 memory=42696 CPUtime=341.19 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 9990 0 0 0 34117 2 0 0 20 0 1 0 159327987 51814400 10674 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 12650 10674 851 746 0 11714 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 50600 KiB
Current children cumulated memory: 42696 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.35 2.48 5/260 818783
/proc/meminfo: memFree=125124360/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=50448 memory=42896 CPUtime=400.99 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 10440 0 0 0 40097 2 0 0 20 0 1 0 159327987 51658752 10724 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 12612 10724 851 746 0 11676 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 50448 KiB
Current children cumulated memory: 42896 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.48 2.59 5/259 818793
/proc/meminfo: memFree=124841112/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=50768 memory=43228 CPUtime=460.79 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 11320 0 0 0 46077 2 0 0 20 0 1 0 159327987 51986432 10807 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 12692 10807 851 746 0 11756 0
################
# More data... #
################
Current children cumulated memory: 58044 KiB
[startup+2922.3 s]
/proc/loadavg: 4.36 4.17 4.05 5/256 819822
/proc/meminfo: memFree=118743744/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=75316 memory=58152 CPUtime=2912.68 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 17724 0 0 0 291264 4 0 0 20 0 1 0 159327987 77123584 14538 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 18829 14538 851 746 0 17893 0
Current children cumulated CPU time: 2912.68 s
Current children cumulated vsize: 75316 KiB
Current children cumulated memory: 58152 KiB
[startup+2982.3 s]
/proc/loadavg: 4.23 4.17 4.05 5/254 819832
/proc/meminfo: memFree=118694888/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=75572 memory=58332 CPUtime=2972.48 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 17804 0 0 0 297244 4 0 0 20 0 1 0 159327987 77385728 14583 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 18893 14583 851 746 0 17957 0
Current children cumulated CPU time: 2972.48 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 58332 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.15 4.05 5/254 819845
/proc/meminfo: memFree=118682664/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=75572 memory=58540 CPUtime=3032.29 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 17851 0 0 0 303225 4 0 0 20 0 1 0 159327987 77385728 14635 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 18893 14635 851 746 0 17957 0
Current children cumulated CPU time: 3032.29 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 58540 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.15 4.06 5/254 819855
/proc/meminfo: memFree=118681944/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=75572 memory=58540 CPUtime=3092.09 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 17866 0 0 0 309205 4 0 0 20 0 1 0 159327987 77385728 14635 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 18893 14635 851 746 0 17957 0
Current children cumulated CPU time: 3092.09 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 58540 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.06 5/254 819865
/proc/meminfo: memFree=118680860/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=75572 memory=58540 CPUtime=3151.9 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 17881 0 0 0 315186 4 0 0 20 0 1 0 159327987 77385728 14635 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 18893 14635 851 746 0 17957 0
Current children cumulated CPU time: 3151.9 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 58540 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.07 5/255 819877
/proc/meminfo: memFree=118679832/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=75572 memory=58540 CPUtime=3211.7 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 17896 0 0 0 321166 4 0 0 20 0 1 0 159327987 77385728 14635 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 18893 14635 851 746 0 17957 0
Current children cumulated CPU time: 3211.7 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 58540 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.07 5/257 819893
/proc/meminfo: memFree=118678412/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=75572 memory=58540 CPUtime=3271.51 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 17911 0 0 0 327147 4 0 0 20 0 1 0 159327987 77385728 14635 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 18893 14635 851 746 0 17957 0
Current children cumulated CPU time: 3271.51 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 58540 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.07 5/257 819903
/proc/meminfo: memFree=118677324/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=75572 memory=58540 CPUtime=3331.32 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 17926 0 0 0 333128 4 0 0 20 0 1 0 159327987 77385728 14635 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 18893 14635 851 746 0 17957 0
Current children cumulated CPU time: 3331.32 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 58540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.08 5/257 819914
/proc/meminfo: memFree=118675768/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=75572 memory=58540 CPUtime=3391.12 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 17941 0 0 0 339108 4 0 0 20 0 1 0 159327987 77385728 14635 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 18893 14635 851 746 0 17957 0
Current children cumulated CPU time: 3391.12 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 58540 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.08 5/257 819925
/proc/meminfo: memFree=118675128/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=75572 memory=58540 CPUtime=3450.93 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 17956 0 0 0 345089 4 0 0 20 0 1 0 159327987 77385728 14635 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 18893 14635 851 746 0 17957 0
Current children cumulated CPU time: 3450.93 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 58540 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.08 5/257 819935
/proc/meminfo: memFree=118674140/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=75572 memory=58540 CPUtime=3510.73 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 17971 0 0 0 351069 4 0 0 20 0 1 0 159327987 77385728 14635 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 18893 14635 851 746 0 17957 0
Current children cumulated CPU time: 3510.73 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 58540 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/256 820329
/proc/meminfo: memFree=118672712/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=75572 memory=58540 CPUtime=3570.54 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 17988 0 0 0 357050 4 0 0 20 0 1 0 159327987 77385728 14635 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 18893 14635 851 746 0 17957 0
Current children cumulated CPU time: 3570.54 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 58540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 4.08 4.11 4.08 6/253 820397
/proc/meminfo: memFree=128231700/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=75572 memory=58540 CPUtime=3600.04 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 17988 0 0 0 360000 4 0 0 20 0 1 0 159327987 77385728 14635 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 18893 14635 851 746 0 17957 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 58540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.91 s]
# the end of solver process 818202 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3600.01 s, system=0.043867 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 4.08 4.11 4.08 6/253 820397
/proc/meminfo: memFree=128231700/131524600 swapFree=131071996/131071996
[pid=818202] ppid=818188 vsize=75572 memory=58540 CPUtime=3600.04 cores=5,7
/proc/818202/stat : 818202 (Exact_nosoplex) R 818188 818202 818133 0 -1 4194304 17988 0 0 0 360000 4 0 0 20 0 1 0 159327987 77385728 14635 134679101440 4194304 7248369 140722032341024 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 25747456 140722032346028 140722032346207 140722032346207 140722032353222 0
/proc/818202/statm: 18893 14635 851 746 0 17957 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 58540 KiB
Child status: 10
Real time (s): 3611.91
CPU time (s): 3600.05
CPU user time (s): 3600.01
CPU system time (s): 0.043867
CPU usage (%): 99.6719
Max. virtual memory (cumulated for all children) (KiB): 75572
Max. memory (cumulated for all children) (KiB): 58540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.01
system time used= 0.043867
maximum resident set size= 72284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17989
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= 10
involuntary context switches= 1800
# summary of solver processes directly reported to runsolver:
# pid: 818202
# total CPU time (s): 3600.05
# total CPU user time (s): 3600.01
# total CPU system time (s): 0.043867
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72808 second user time and 15.7017 second system time
The end
Begin job on nodeC032 at 2024-07-15 21:26:43 IDJOB=4433370 IDBENCH=146905 IDSOLVER=3061 FILE ID=nodeC032/4433370-1721071591 RUNJOBID= nodeC032-1721071603-818146 SLURM_JOB_ID= 7505534 Free space on /tmp= 890076 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.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-4433370-1721071591/watcher-4433370-1721071591 -o /tmp/evaluation-result-4433370-1721071591/solver-4433370-1721071591 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721071603-818146 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1805901186 HOME/instance-4433370-1721071591.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0 RANDOM SEED=1805901186 nodeC032.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 : 3611.496 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.33 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 : 3520.772 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.03 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 : 3615.266 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.33 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 : 3583.046 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.03 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 : 3587.052 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.33 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 : 3659.668 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.03 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 : 3621.568 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.33 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 : 3506.732 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.03 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128500404 kB MemAvailable: 129721048 kB Buffers: 377532 kB Cached: 1672496 kB SwapCached: 0 kB Active: 635648 kB Inactive: 1779556 kB Active(anon): 1452 kB Inactive(anon): 401764 kB Active(file): 634196 kB Inactive(file): 1377792 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 18408 kB Writeback: 0 kB AnonPages: 365332 kB Mapped: 103688 kB Shmem: 37720 kB KReclaimable: 96960 kB Slab: 203148 kB SReclaimable: 96960 kB SUnreclaim: 106188 kB KernelStack: 3904 kB PageTables: 9920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 657380 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62016 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 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: 223956 kB DirectMap2M: 20520960 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 890064 MiB End job on nodeC032 at 2024-07-15 22:26:55