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) | 190 | 3600.09 | 3610.11 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb |
| MD5SUM | 79a11fcf881101c51e0b67ee01609c80 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 179 |
| Best CPU time to get the best result obtained on this benchmark | 3558 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 470 |
| Total number of constraints | 470 |
| 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 | 470 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 470 |
| 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 | 470 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 470 |
| 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.01 o 224 0.00/0.01 o 223 0.10/0.11 o 222 0.21/0.26 o 221 0.51/0.53 o 220 0.69/0.78 o 219 0.69/0.79 o 218 0.79/0.81 o 217 0.79/0.82 o 216 0.79/0.83 o 215 4.67/4.75 o 214 7.36/7.42 o 213 7.36/7.43 o 212 7.56/7.63 o 211 12.25/12.38 o 210 12.35/12.43 o 209 12.55/12.66 o 208 16.24/16.30 o 207 16.53/16.63 o 206 16.83/16.92 o 205 21.33/21.41 o 204 41.17/41.36 o 203 45.16/45.39 o 202 48.15/48.35 o 201 58.94/59.14 o 200 123.37/123.78 o 199 149.20/149.66 o 198 174.14/174.64 o 197 200.97/201.51 o 196 377.52/378.50 o 195 382.30/383.31 o 194 406.54/407.64 o 193 413.82/414.95 o 192 936.36/938.84 o 191 2175.48/2181.28 o 190 3600.08/3610.11 c Program interrupted by user. 3600.08/3610.11 s SATISFIABLE 3600.08/3610.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 x451 -x452 x453 x454 -x455 x456 x457 x458 -x459 -x460 -x461 -x462 -x463 x464 x465 x466 -x467 x468 -x469 -x470
OK 190
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: 64059 MiB (62941 MiB free)
memory of node 1: 64510 MiB (62364 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433441-1721088461/watcher-4433441-1721088461 -o /tmp/evaluation-result-4433441-1721088461/solver-4433441-1721088461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721084863-826595 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=752853348 HOME/instance-4433441-1721088461.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
Current StackSize limit: 8192 KiB
solver pid=828613, runsolver pid=828610
[startup+0.100919 s]*
/proc/loadavg: 4.14 4.12 4.09 4/239 828628
/proc/meminfo: memFree=128309836/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=26576 memory=7264 CPUtime=0.1 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 574 0 0 0 10 0 0 0 20 0 1 0 161004134 27213824 1816 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 6644 1816 835 746 0 5708 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26576 KiB
Current children cumulated memory: 7264 KiB
[startup+0.212537 s]*
/proc/loadavg: 4.14 4.12 4.09 5/238 828634
/proc/meminfo: memFree=128305580/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=28280 memory=8908 CPUtime=0.21 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 1004 0 0 0 20 1 0 0 20 0 1 0 161004134 28958720 2227 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 7070 2227 851 746 0 6134 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28280 KiB
Current children cumulated memory: 8908 KiB
[startup+0.31248 s]*
/proc/loadavg: 4.14 4.12 4.09 4/236 828647
/proc/meminfo: memFree=128310804/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=28812 memory=9436 CPUtime=0.31 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 1132 0 0 0 30 1 0 0 20 0 1 0 161004134 29503488 2359 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 7203 2359 851 746 0 6267 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 9436 KiB
[startup+0.700255 s]
/proc/loadavg: 4.14 4.12 4.09 5/242 828660
/proc/meminfo: memFree=128295604/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=29884 memory=12536 CPUtime=0.69 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 1406 0 0 0 68 1 0 0 20 0 1 0 161004134 30601216 3134 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 7471 3134 851 746 0 6535 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29884 KiB
Current children cumulated memory: 12536 KiB
[startup+1.50028 s]
/proc/loadavg: 4.29 4.15 4.10 5/242 828660
/proc/meminfo: memFree=128286188/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=32716 memory=19268 CPUtime=1.48 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 2083 0 0 0 147 1 0 0 20 0 1 0 161004134 33501184 4817 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 8179 4817 851 746 0 7243 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32716 KiB
Current children cumulated memory: 19268 KiB
[startup+3.11267 s]
/proc/loadavg: 4.29 4.15 4.10 5/242 828708
/proc/meminfo: memFree=128506680/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=36768 memory=24792 CPUtime=3.08 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 2963 0 0 0 307 1 0 0 20 0 1 0 161004134 37650432 6198 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 9192 6198 851 746 0 8256 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 36768 KiB
Current children cumulated memory: 24792 KiB
[startup+6.30026 s]
/proc/loadavg: 4.26 4.15 4.10 5/242 828708
/proc/meminfo: memFree=128478364/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=37328 memory=28236 CPUtime=6.26 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 3146 0 0 0 624 2 0 0 20 0 1 0 161004134 38223872 7059 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 9332 7059 851 746 0 8396 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 37328 KiB
Current children cumulated memory: 28236 KiB
[startup+12.7002 s]
/proc/loadavg: 4.32 4.16 4.11 5/242 828710
/proc/meminfo: memFree=128453052/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=40860 memory=35228 CPUtime=12.64 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 3940 0 0 0 1262 2 0 0 20 0 1 0 161004134 41840640 8807 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 10215 8807 851 746 0 9279 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 40860 KiB
Current children cumulated memory: 35228 KiB
[startup+25.5003 s]
/proc/loadavg: 4.35 4.17 4.11 5/241 828711
/proc/meminfo: memFree=128435684/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=57112 memory=39692 CPUtime=25.41 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 5377 0 0 0 2538 3 0 0 20 0 1 0 161004134 58482688 9923 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 14278 9923 851 746 0 13342 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 57112 KiB
Current children cumulated memory: 39692 KiB
[startup+51.1125 s]
/proc/loadavg: 4.21 4.16 4.11 5/241 828714
/proc/meminfo: memFree=128412152/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=62104 memory=44072 CPUtime=50.96 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 6492 0 0 0 5093 3 0 0 20 0 1 0 161004134 63594496 11018 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 15526 11018 851 746 0 14590 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 62104 KiB
Current children cumulated memory: 44072 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/241 828725
/proc/meminfo: memFree=128378772/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=68540 memory=50992 CPUtime=102.01 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 7760 0 0 0 10198 3 0 0 20 0 1 0 161004134 70184960 12748 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 17135 12748 851 746 0 16199 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 68540 KiB
Current children cumulated memory: 50992 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.16 4.11 5/241 828735
/proc/meminfo: memFree=128357720/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=70872 memory=55068 CPUtime=161.87 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 8288 0 0 0 16183 4 0 0 20 0 1 0 161004134 72572928 13767 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 17718 13767 851 746 0 16782 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 70872 KiB
Current children cumulated memory: 55068 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/243 828750
/proc/meminfo: memFree=128344652/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=74688 memory=58384 CPUtime=221.72 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 9133 0 0 0 22168 4 0 0 20 0 1 0 161004134 76480512 14596 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 18672 14596 851 746 0 17736 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 74688 KiB
Current children cumulated memory: 58384 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/243 828761
/proc/meminfo: memFree=128334032/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=75804 memory=59380 CPUtime=281.57 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 9408 0 0 0 28152 5 0 0 20 0 1 0 161004134 77623296 14845 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 18951 14845 851 746 0 18015 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 75804 KiB
Current children cumulated memory: 59380 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/243 828771
/proc/meminfo: memFree=128323092/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=78908 memory=61956 CPUtime=341.42 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 10068 0 0 0 34137 5 0 0 20 0 1 0 161004134 80801792 15489 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 19727 15489 851 746 0 18791 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 78908 KiB
Current children cumulated memory: 61956 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/243 828781
/proc/meminfo: memFree=128309192/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=80700 memory=68136 CPUtime=401.26 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 10495 0 0 0 40121 5 0 0 20 0 1 0 161004134 82636800 17034 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 20175 17034 851 746 0 19239 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 80700 KiB
Current children cumulated memory: 68136 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/244 828794
/proc/meminfo: memFree=128294464/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=83132 memory=70392 CPUtime=461.11 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 11040 0 0 0 46105 6 0 0 20 0 1 0 161004134 85127168 17598 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 20783 17598 851 746 0 19847 0
################
# More data... #
################
Current children cumulated memory: 98132 KiB
[startup+2922.3 s]
/proc/loadavg: 4.50 4.21 4.13 6/244 830243
/proc/meminfo: memFree=128162156/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=106308 memory=98260 CPUtime=2914.33 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 18375 0 0 0 291417 16 0 0 20 0 1 0 161004134 108859392 24565 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 26577 24565 851 746 0 25641 0
Current children cumulated CPU time: 2914.33 s
Current children cumulated vsize: 106308 KiB
Current children cumulated memory: 98260 KiB
[startup+2982.3 s]
/proc/loadavg: 4.47 4.27 4.16 5/244 830253
/proc/meminfo: memFree=128161520/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=106500 memory=98300 CPUtime=2974.15 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 18434 0 0 0 297398 17 0 0 20 0 1 0 161004134 109056000 24575 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 26625 24575 851 746 0 25689 0
Current children cumulated CPU time: 2974.15 s
Current children cumulated vsize: 106500 KiB
Current children cumulated memory: 98300 KiB
[startup+3042.3 s]
/proc/loadavg: 4.28 4.25 4.16 5/244 830263
/proc/meminfo: memFree=128157056/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=106692 memory=100564 CPUtime=3033.97 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 18527 0 0 0 303380 17 0 0 20 0 1 0 161004134 109252608 25141 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 26673 25141 851 746 0 25737 0
Current children cumulated CPU time: 3033.97 s
Current children cumulated vsize: 106692 KiB
Current children cumulated memory: 100564 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.22 4.16 5/246 830444
/proc/meminfo: memFree=128153740/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=106692 memory=100688 CPUtime=3093.82 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 18605 0 0 0 309365 17 0 0 20 0 1 0 161004134 109252608 25172 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 26673 25172 851 746 0 25737 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 106692 KiB
Current children cumulated memory: 100688 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.21 4.16 5/246 830455
/proc/meminfo: memFree=128152148/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=106884 memory=100692 CPUtime=3153.67 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 18666 0 0 0 315349 18 0 0 20 0 1 0 161004134 109449216 25173 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 26721 25173 851 746 0 25785 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 106884 KiB
Current children cumulated memory: 100692 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.20 4.16 5/245 830482
/proc/meminfo: memFree=128150200/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=106884 memory=100860 CPUtime=3213.48 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 18741 0 0 0 321330 18 0 0 20 0 1 0 161004134 109449216 25215 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 26721 25215 851 746 0 25785 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 106884 KiB
Current children cumulated memory: 100860 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/245 830493
/proc/meminfo: memFree=128149232/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=107140 memory=100884 CPUtime=3273.3 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 18821 0 0 0 327311 19 0 0 20 0 1 0 161004134 109711360 25221 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 26785 25221 851 746 0 25849 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 107140 KiB
Current children cumulated memory: 100884 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/245 830503
/proc/meminfo: memFree=128147400/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=107140 memory=101112 CPUtime=3333.11 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 18897 0 0 0 333292 19 0 0 20 0 1 0 161004134 109711360 25278 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 26785 25278 851 746 0 25849 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 107140 KiB
Current children cumulated memory: 101112 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/243 830513
/proc/meminfo: memFree=128145936/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=107332 memory=101204 CPUtime=3392.92 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 18958 0 0 0 339273 19 0 0 20 0 1 0 161004134 109907968 25301 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 26833 25301 851 746 0 25897 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 107332 KiB
Current children cumulated memory: 101204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/243 830524
/proc/meminfo: memFree=128143528/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=107780 memory=101652 CPUtime=3452.73 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 19115 0 0 0 345254 19 0 0 20 0 1 0 161004134 110366720 25413 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 26945 25413 851 746 0 26009 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 107780 KiB
Current children cumulated memory: 101652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.16 4.14 5/242 830536
/proc/meminfo: memFree=128142052/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=107972 memory=101908 CPUtime=3512.54 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 19223 0 0 0 351235 19 0 0 20 0 1 0 161004134 110563328 25477 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 26993 25477 851 746 0 26057 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 107972 KiB
Current children cumulated memory: 101908 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/242 830547
/proc/meminfo: memFree=128140912/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=108164 memory=101972 CPUtime=3572.36 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 19302 0 0 0 357216 20 0 0 20 0 1 0 161004134 110759936 25493 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 27041 25493 851 746 0 26105 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 108164 KiB
Current children cumulated memory: 101972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.21 4.16 4.15 4/235 830600
/proc/meminfo: memFree=128335132/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=108164 memory=101972 CPUtime=3600.08 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 19302 0 0 0 359988 20 0 0 20 0 1 0 161004134 110759936 25493 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 27041 25493 851 746 0 26105 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 108164 KiB
Current children cumulated memory: 101972 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 828613 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.89 s, system=0.205288 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.21 4.16 4.15 4/235 830600
/proc/meminfo: memFree=128335132/131655788 swapFree=131071996/131071996
[pid=828613] ppid=828610 vsize=108164 memory=101972 CPUtime=3600.08 cores=5,7
/proc/828613/stat : 828613 (Exact_nosoplex) R 828610 828613 826582 0 -1 4194304 19302 0 0 0 359988 20 0 0 20 0 1 0 161004134 110759936 25493 134679101440 4194304 7248369 140731174478432 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 12165120 140731174482861 140731174483039 140731174483039 140731174490054 0
/proc/828613/statm: 27041 25493 851 746 0 26105 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 108164 KiB
Current children cumulated memory: 101972 KiB
Child status: 10
Real time (s): 3610.11
CPU time (s): 3600.09
CPU user time (s): 3599.89
CPU system time (s): 0.205288
CPU usage (%): 99.7224
Max. virtual memory (cumulated for all children) (KiB): 108164
Max. memory (cumulated for all children) (KiB): 101972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.89
system time used= 0.205288
maximum resident set size= 101972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19304
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= 35
involuntary context switches= 1854
# summary of solver processes directly reported to runsolver:
# pid: 828613
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.89
# total CPU system time (s): 0.205288
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7484 second user time and 33.2153 second system time
The end
Begin job on nodeC002 at 2024-07-16 02:07:53 IDJOB=4433441 IDBENCH=147543 IDSOLVER=3061 FILE ID=nodeC002/4433441-1721088461 RUNJOBID= nodeC002-1721084863-826595 SLURM_JOB_ID= 7505577 Free space on /tmp= 723768 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.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-4433441-1721088461/watcher-4433441-1721088461 -o /tmp/evaluation-result-4433441-1721088461/solver-4433441-1721088461 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721084863-826595 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=752853348 HOME/instance-4433441-1721088461.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80 RANDOM SEED=752853348 nodeC002.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 : 3675.288 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.38 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 : 1210.553 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.31 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.318 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.38 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.152 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.31 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 : 3647.579 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.38 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 : 3495.898 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.31 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.283 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.38 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.158 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.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128314076 kB MemAvailable: 129647504 kB Buffers: 405252 kB Cached: 1756500 kB SwapCached: 0 kB Active: 642336 kB Inactive: 2143532 kB Active(anon): 2708 kB Inactive(anon): 659108 kB Active(file): 639628 kB Inactive(file): 1484424 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 9672 kB Writeback: 0 kB AnonPages: 623528 kB Mapped: 110600 kB Shmem: 37704 kB KReclaimable: 98816 kB Slab: 197040 kB SReclaimable: 98816 kB SUnreclaim: 98224 kB KernelStack: 3868 kB PageTables: 10444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1138976 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 53088 kB HardwareCorrupted: 0 kB AnonHugePages: 542720 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: 201544 kB DirectMap2M: 20674560 kB DirectMap1G: 115343360 kB Free space on /tmp at the end= 723740 MiB End job on nodeC002 at 2024-07-16 03:08:04