Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact_no_SoPlex 2024-07-05 | MSAT (TO) | 3600.08 | 3608.86 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo |
| MD5SUM | d7d01ec0794d07991a9972239b49c230 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MSAT |
| Best cost obtained on this benchmark | 263041 |
| Best CPU time to get the best result obtained on this benchmark | 3600.2 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 444 |
| Total number of constraints | 80644 |
| Number of soft constraints | 80622 |
| Number of constraints which are clauses | 80622 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 22 |
| Top cost | 54058235 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 6107276475 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 23 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.59/0.69 o 12762943 0.69/0.75 o 733751 1.58/1.68 o 723853 2.39/2.46 o 723753 2.59/2.66 o 713753 15.45/15.50 o 703751 29.12/29.27 o 693752 32.41/32.50 o 653552 41.49/41.67 o 653551 41.59/41.77 o 643351 41.89/42.01 o 623550 41.89/42.10 o 623353 47.88/48.04 o 613253 62.04/62.27 o 603456 62.54/62.70 o 593654 63.44/63.63 o 583654 63.73/63.97 o 583653 66.53/66.70 o 583652 66.63/66.85 o 573652 68.22/68.40 o 543654 87.89/88.13 o 533655 112.52/112.84 o 523653 117.71/118.01 o 513652 118.01/118.37 o 493755 118.11/118.41 o 483757 118.21/118.56 o 483755 123.20/123.58 o 473854 164.80/165.25 o 463855 246.40/247.03 o 443958 278.22/278.91 o 434155 317.52/318.39 o 434055 332.98/333.82 o 404058 344.75/345.64 o 394159 378.08/379.04 o 354160 440.82/441.94 o 324165 971.43/973.85 o 324163 992.78/995.22 o 324058 3600.02/3608.80 c Program interrupted by user. 3600.02/3608.80 s SATISFIABLE 3600.02/3608.80 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -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
OK 324058
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 (42527 MiB free)
memory of node 1: 64473 MiB (62720 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425459-1720882892/watcher-4425459-1720882892 -o /tmp/evaluation-result-4425459-1720882892/solver-4425459-1720882892 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1720881294-711887 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1732070833 HOME/instance-4425459-1720882892.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=714182, runsolver pid=714179
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.33 4.15 3.65 5/256 714183
/proc/meminfo: memFree=107727968/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=77820 memory=54912 CPUtime=0.1 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 15408 0 0 0 8 2 0 0 20 0 1 0 140455348 79687680 13728 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 19455 13728 755 746 0 18519 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 77820 KiB
Current children cumulated memory: 54912 KiB
[startup+0.205724 s]*
/proc/loadavg: 4.33 4.15 3.65 5/256 714183
/proc/meminfo: memFree=107678800/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=124296 memory=101856 CPUtime=0.19 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 25402 0 0 0 16 3 0 0 20 0 1 0 140455348 127279104 25464 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 31074 25464 755 746 0 30138 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 124296 KiB
Current children cumulated memory: 101856 KiB
[startup+0.305768 s]*
/proc/loadavg: 4.33 4.15 3.65 5/256 714183
/proc/meminfo: memFree=107641016/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=161112 memory=135468 CPUtime=0.3 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 31539 0 0 0 25 5 0 0 20 0 1 0 140455348 164978688 33867 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 40278 33867 787 746 0 39342 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 161112 KiB
Current children cumulated memory: 135468 KiB
[startup+0.700233 s]
/proc/loadavg: 4.33 4.15 3.65 5/256 714183
/proc/meminfo: memFree=107598984/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=201680 memory=190312 CPUtime=0.69 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 44690 0 0 0 62 7 0 0 20 0 1 0 140455348 206520320 47578 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 50420 47578 851 746 0 49484 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 201680 KiB
Current children cumulated memory: 190312 KiB
[startup+1.50024 s]
/proc/loadavg: 4.33 4.15 3.65 5/256 714183
/proc/meminfo: memFree=107575092/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=217520 memory=203444 CPUtime=1.48 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 47481 0 0 0 141 7 0 0 20 0 1 0 140455348 222740480 50861 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 54380 50861 851 746 0 53444 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 217520 KiB
Current children cumulated memory: 203444 KiB
[startup+3.10574 s]
/proc/loadavg: 4.39 4.16 3.65 5/256 714185
/proc/meminfo: memFree=107557216/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=241472 memory=219544 CPUtime=3.09 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 49663 0 0 0 301 8 0 0 20 0 1 0 140455348 247267328 54886 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 60368 54886 851 746 0 59432 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 241472 KiB
Current children cumulated memory: 219544 KiB
[startup+6.30022 s]
/proc/loadavg: 4.39 4.16 3.65 5/256 714185
/proc/meminfo: memFree=107556848/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=241472 memory=219544 CPUtime=6.28 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 49687 0 0 0 620 8 0 0 20 0 1 0 140455348 247267328 54886 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 60368 54886 851 746 0 59432 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 241472 KiB
Current children cumulated memory: 219544 KiB
[startup+12.7002 s]
/proc/loadavg: 4.35 4.16 3.66 6/256 714185
/proc/meminfo: memFree=107556152/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=242132 memory=220060 CPUtime=12.66 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 49886 0 0 0 1258 8 0 0 20 0 1 0 140455348 247943168 55015 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 60533 55015 851 746 0 59597 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 242132 KiB
Current children cumulated memory: 220060 KiB
[startup+25.5002 s]
/proc/loadavg: 4.42 4.18 3.67 5/256 714188
/proc/meminfo: memFree=107520584/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=279944 memory=255384 CPUtime=25.43 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 53513 0 0 0 2534 9 0 0 20 0 1 0 140455348 286662656 63846 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 69986 63846 851 746 0 69050 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 279944 KiB
Current children cumulated memory: 255384 KiB
[startup+51.1056 s]
/proc/loadavg: 4.56 4.23 3.70 5/256 714191
/proc/meminfo: memFree=107485112/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=337456 memory=289884 CPUtime=50.97 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 58056 0 0 0 5087 10 0 0 20 0 1 0 140455348 345554944 72471 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 84364 72471 851 746 0 83428 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 337456 KiB
Current children cumulated memory: 289884 KiB
[startup+102.3 s]
/proc/loadavg: 4.57 4.29 3.75 5/255 714201
/proc/meminfo: memFree=107417568/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=377560 memory=356552 CPUtime=102.04 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 67673 0 0 0 10192 12 0 0 20 0 1 0 140455348 386621440 89138 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 94390 89138 851 746 0 93454 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 377560 KiB
Current children cumulated memory: 356552 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 4.26 3.78 5/255 714212
/proc/meminfo: memFree=107299108/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=498096 memory=424160 CPUtime=161.91 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 80665 0 0 0 16175 16 0 0 20 0 1 0 140455348 510050304 106040 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 124524 106040 851 746 0 123588 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 498096 KiB
Current children cumulated memory: 424160 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.23 3.80 5/254 714222
/proc/meminfo: memFree=107267292/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=505796 memory=431796 CPUtime=221.76 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 82182 0 0 0 22160 16 0 0 20 0 1 0 140455348 517935104 107949 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 126449 107949 851 746 0 125513 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 505796 KiB
Current children cumulated memory: 431796 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.20 3.82 5/254 714232
/proc/meminfo: memFree=107214560/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=511200 memory=437248 CPUtime=281.61 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 83093 0 0 0 28145 16 0 0 20 0 1 0 140455348 523468800 109312 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 127800 109312 851 746 0 126864 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 511200 KiB
Current children cumulated memory: 437248 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.18 3.84 5/254 714244
/proc/meminfo: memFree=107107252/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=526552 memory=452628 CPUtime=341.46 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 86464 0 0 0 34130 16 0 0 20 0 1 0 140455348 539189248 113157 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 131638 113157 851 746 0 130702 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 526552 KiB
Current children cumulated memory: 452628 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.19 3.87 6/254 714254
/proc/meminfo: memFree=107056676/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=527068 memory=453152 CPUtime=401.32 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 86659 0 0 0 40116 16 0 0 20 0 1 0 140455348 539717632 113288 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 131767 113288 851 746 0 130831 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 527068 KiB
Current children cumulated memory: 453152 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.15 3.88 5/254 714265
/proc/meminfo: memFree=106981932/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=544332 memory=480620 CPUtime=461.18 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 90549 0 0 0 46101 17 0 0 20 0 1 0 140455348 557395968 120155 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 136083 120155 851 746 0 135147 0
Current children cumulated CPU time: 461.18 s
################
# More data... #
################
Current children cumulated memory: 680812 KiB
[startup+2862.3 s]
/proc/loadavg: 2.13 2.24 2.93 3/241 715387
/proc/meminfo: memFree=127533168/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=721152 memory=680812 CPUtime=2855.26 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 130332 0 0 0 285503 23 0 0 20 0 1 0 140455348 738459648 170203 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 180288 170203 851 746 0 179352 0
Current children cumulated CPU time: 2855.26 s
Current children cumulated vsize: 721152 KiB
Current children cumulated memory: 680812 KiB
[startup+2922.3 s]
/proc/loadavg: 2.09 2.21 2.88 3/243 715402
/proc/meminfo: memFree=127531944/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=721540 memory=681200 CPUtime=2915.1 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 130506 0 0 0 291487 23 0 0 20 0 1 0 140455348 738856960 170300 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 180385 170300 851 746 0 179449 0
Current children cumulated CPU time: 2915.1 s
Current children cumulated vsize: 721540 KiB
Current children cumulated memory: 681200 KiB
[startup+2982.3 s]
/proc/loadavg: 2.13 2.20 2.83 3/243 715413
/proc/meminfo: memFree=127531336/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=721540 memory=681324 CPUtime=2974.94 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 130618 0 0 0 297471 23 0 0 20 0 1 0 140455348 738856960 170331 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 180385 170331 851 746 0 179449 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 721540 KiB
Current children cumulated memory: 681324 KiB
[startup+3042.3 s]
/proc/loadavg: 2.10 2.18 2.78 3/243 715424
/proc/meminfo: memFree=127530412/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=721712 memory=681960 CPUtime=3034.78 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 130875 0 0 0 303455 23 0 0 20 0 1 0 140455348 739033088 170490 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 180428 170490 851 746 0 179492 0
Current children cumulated CPU time: 3034.78 s
Current children cumulated vsize: 721712 KiB
Current children cumulated memory: 681960 KiB
[startup+3102.3 s]
/proc/loadavg: 2.11 2.16 2.74 3/243 715435
/proc/meminfo: memFree=127520684/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=729972 memory=690456 CPUtime=3094.63 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 132042 0 0 0 309439 24 0 0 20 0 1 0 140455348 747491328 172614 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 182493 172614 851 746 0 181557 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 729972 KiB
Current children cumulated memory: 690456 KiB
[startup+3162.3 s]
/proc/loadavg: 2.44 2.23 2.72 3/243 715447
/proc/meminfo: memFree=127519720/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=730292 memory=690660 CPUtime=3154.48 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 132223 0 0 0 315424 24 0 0 20 0 1 0 140455348 747819008 172665 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 182573 172665 851 746 0 181637 0
Current children cumulated CPU time: 3154.48 s
Current children cumulated vsize: 730292 KiB
Current children cumulated memory: 690660 KiB
[startup+3222.3 s]
/proc/loadavg: 2.20 2.20 2.68 3/244 715842
/proc/meminfo: memFree=127516404/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=730292 memory=691792 CPUtime=3214.33 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 132329 0 0 0 321409 24 0 0 20 0 1 0 140455348 747819008 172948 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 182573 172948 851 746 0 181637 0
Current children cumulated CPU time: 3214.33 s
Current children cumulated vsize: 730292 KiB
Current children cumulated memory: 691792 KiB
[startup+3282.3 s]
/proc/loadavg: 2.11 2.17 2.64 3/242 715852
/proc/meminfo: memFree=127512008/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=730292 memory=695108 CPUtime=3274.2 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 132448 0 0 0 327396 24 0 0 20 0 1 0 140455348 747819008 173777 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 182573 173777 851 746 0 181637 0
Current children cumulated CPU time: 3274.2 s
Current children cumulated vsize: 730292 KiB
Current children cumulated memory: 695108 KiB
[startup+3342.3 s]
/proc/loadavg: 2.09 2.15 2.60 3/242 715864
/proc/meminfo: memFree=127498476/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=730292 memory=699504 CPUtime=3334.07 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 132626 0 0 0 333383 24 0 0 20 0 1 0 140455348 747819008 174876 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 182573 174876 851 746 0 181637 0
Current children cumulated CPU time: 3334.07 s
Current children cumulated vsize: 730292 KiB
Current children cumulated memory: 699504 KiB
[startup+3402.3 s]
/proc/loadavg: 2.46 2.25 2.61 3/245 716045
/proc/meminfo: memFree=127496664/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=731444 memory=700596 CPUtime=3393.94 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 133100 0 0 0 339370 24 0 0 20 0 1 0 140455348 748998656 175149 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 182861 175149 851 746 0 181925 0
Current children cumulated CPU time: 3393.94 s
Current children cumulated vsize: 731444 KiB
Current children cumulated memory: 700596 KiB
[startup+3462.3 s]
/proc/loadavg: 2.23 2.22 2.58 3/245 716056
/proc/meminfo: memFree=127479176/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=731444 memory=715444 CPUtime=3453.81 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 133381 0 0 0 345357 24 0 0 20 0 1 0 140455348 748998656 178861 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 182861 178861 851 746 0 181925 0
Current children cumulated CPU time: 3453.81 s
Current children cumulated vsize: 731444 KiB
Current children cumulated memory: 715444 KiB
[startup+3522.3 s]
/proc/loadavg: 1.69 2.08 2.50 2/240 716100
/proc/meminfo: memFree=129114444/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=731804 memory=715732 CPUtime=3513.68 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 133743 0 0 0 351344 24 0 0 20 0 1 0 140455348 749367296 178933 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 182951 178933 851 746 0 182015 0
Current children cumulated CPU time: 3513.68 s
Current children cumulated vsize: 731804 KiB
Current children cumulated memory: 715732 KiB
[startup+3582.3 s]
/proc/loadavg: 1.35 1.91 2.42 2/238 716123
/proc/meminfo: memFree=129113252/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=732496 memory=716424 CPUtime=3573.57 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 134238 0 0 0 357333 24 0 0 20 0 1 0 140455348 750075904 179106 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 183124 179106 851 746 0 182188 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 732496 KiB
Current children cumulated memory: 716424 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 1.23 1.84 2.38 2/238 716128
/proc/meminfo: memFree=129112972/131524600 swapFree=131071996/131071996
[pid=714182] ppid=714179 vsize=732496 memory=716424 CPUtime=3600.02 cores=5,7
/proc/714182/stat : 714182 (Exact_nosoplex) R 714179 714182 707233 0 -1 4194304 134363 0 0 0 359978 24 0 0 20 0 1 0 140455348 750075904 179106 134679101440 4194304 7248369 140732499432720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7946728 8011032 42135552 140732499436434 140732499436613 140732499436613 140732499443654 0
/proc/714182/statm: 183124 179106 851 746 0 182188 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 732496 KiB
Current children cumulated memory: 716424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.86 s]
# the end of solver process 714182 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.84 s, system=0.246359 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3608.86
CPU time (s): 3600.08
CPU user time (s): 3599.84
CPU system time (s): 0.246359
CPU usage (%): 99.7568
Max. virtual memory (cumulated for all children) (KiB): 732496
Max. memory (cumulated for all children) (KiB): 716424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.84
system time used= 0.246359
maximum resident set size= 716424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134367
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= 28
involuntary context switches= 1360
# summary of solver processes directly reported to runsolver:
# pid: 714182
# total CPU time (s): 3600.08
# total CPU user time (s): 3599.84
# total CPU system time (s): 0.246359
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.72117 second user time and 17.474 second system time
The end
Begin job on nodeC026 at 2024-07-13 17:01:44 IDJOB=4425459 IDBENCH=143881 IDSOLVER=3039 FILE ID=nodeC026/4425459-1720882892 RUNJOBID= nodeC026-1720881294-711887 SLURM_JOB_ID= 7483767 Free space on /tmp= 890044 MiB SOLVER NAME= Exact_no_SoPlex 2024-07-05 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub4-22_wcsp.wbo COMMAND LINE= HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425459-1720882892/watcher-4425459-1720882892 -o /tmp/evaluation-result-4425459-1720882892/solver-4425459-1720882892 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1720881294-711887 --watchdog 3760 HOME/Exact_nosoplex --print-uniform=0 --verbosity=0 --print-sol --seed=1732070833 HOME/instance-4425459-1720882892.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d7d01ec0794d07991a9972239b49c230 RANDOM SEED=1732070833 nodeC026.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 : 3678.103 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3682.871 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.45 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 : 3600.047 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3613.636 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.45 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 : 3678.177 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.901 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.45 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 : 3600.210 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3665.924 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.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 107774352 kB MemAvailable: 107745900 kB Buffers: 322376 kB Cached: 496888 kB SwapCached: 0 kB Active: 503804 kB Inactive: 22644592 kB Active(anon): 1572 kB Inactive(anon): 22365296 kB Active(file): 502232 kB Inactive(file): 279296 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6940 kB Writeback: 0 kB AnonPages: 22328108 kB Mapped: 112036 kB Shmem: 37720 kB KReclaimable: 59684 kB Slab: 157000 kB SReclaimable: 59684 kB SUnreclaim: 97316 kB KernelStack: 4128 kB PageTables: 58008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 25461160 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 55072 kB HardwareCorrupted: 0 kB AnonHugePages: 11814912 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: 180948 kB DirectMap2M: 9029632 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 890076 MiB End job on nodeC026 at 2024-07-13 18:01:53