Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| LS-MabS 2024-07-10 | SAT | -35 | 3558.01 | 3567.89 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb |
| MD5SUM | 13e3cfc76a003558f082ab5832d2ffa8 |
| 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 | -35 |
| Best CPU time to get the best result obtained on this benchmark | 5.63628 |
| 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 | 595 |
| Total number of constraints | 27856 |
| Number of constraints which are clauses | 27856 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 595 |
| 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 | 595 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 595 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.00 c Filename:instance-4428264-1722773148.opb, Cutoff_time:3558, memory_limit_gb:500000 0.00/0.00 c Not use presolve 1773.10/1779.22 c Use LS-small 1773.10/1779.23 o -34 1781.89/1788.06 o -35 3557.92/3567.87 s SATISFIABLE 3557.92/3567.87 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 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 3557.92/3567.87 c Done 1781.94s
OK -35
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 (62392 MiB free)
memory of node 1: 64510 MiB (60517 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428264-1722773148/watcher-4428264-1722773148 -o /tmp/evaluation-result-4428264-1722773148/solver-4428264-1722773148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722769581-238940 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428264-1722773148.opb -t 3558 -s 895189054
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=240944, runsolver pid=240940
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 4.15 4.14 4.07 4/237 240949
/proc/meminfo: memFree=125840844/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=36936 memory=24392 CPUtime=0.1 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 4219 0 0 0 9 1 0 0 20 0 1 0 43910410 37822464 6098 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 9234 6098 2077 2403 0 6344 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36936 KiB
Current children cumulated memory: 24392 KiB
[startup+0.213703 s]*
/proc/loadavg: 4.15 4.14 4.07 4/237 240949
/proc/meminfo: memFree=125783844/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=64740 memory=51148 CPUtime=0.21 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 10783 0 0 0 18 3 0 0 20 0 1 0 43910410 66293760 12787 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 16185 12787 2301 2403 0 13295 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 64740 KiB
Current children cumulated memory: 51148 KiB
[startup+0.313613 s]*
/proc/loadavg: 4.15 4.14 4.07 4/237 240949
/proc/meminfo: memFree=125749936/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=69744 memory=55492 CPUtime=0.31 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 11839 0 0 0 28 3 0 0 20 0 1 0 43910410 71417856 13873 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 17436 13873 2301 2403 0 14546 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 69744 KiB
Current children cumulated memory: 55492 KiB
[startup+0.700346 s]
/proc/loadavg: 4.15 4.14 4.07 4/237 240949
/proc/meminfo: memFree=125730816/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=81932 memory=66788 CPUtime=0.68 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 16199 0 0 0 63 5 0 0 20 0 1 0 43910410 83898368 16697 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 20483 16697 2349 2403 0 17593 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81932 KiB
Current children cumulated memory: 66788 KiB
[startup+1.50035 s]
/proc/loadavg: 4.15 4.14 4.07 4/237 240949
/proc/meminfo: memFree=125643948/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=169500 memory=145896 CPUtime=1.48 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 31574 0 0 0 138 10 0 0 20 0 1 0 43910410 173568000 36474 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 42375 36474 2461 2403 0 39485 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 169500 KiB
Current children cumulated memory: 145896 KiB
[startup+3.11304 s]
/proc/loadavg: 4.15 4.14 4.07 5/242 241033
/proc/meminfo: memFree=126371984/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=183188 memory=152232 CPUtime=3.09 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 33146 0 0 0 298 11 0 0 20 0 1 0 43910410 187584512 38058 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 45797 38058 2461 2403 0 42907 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 183188 KiB
Current children cumulated memory: 152232 KiB
[startup+6.30031 s]
/proc/loadavg: 4.13 4.14 4.07 5/242 241035
/proc/meminfo: memFree=125794304/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=201912 memory=154896 CPUtime=6.27 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 34099 0 0 0 616 11 0 0 20 0 1 0 43910410 206757888 38724 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 50478 38724 2461 2403 0 47588 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 201912 KiB
Current children cumulated memory: 154896 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.14 4.07 5/242 241035
/proc/meminfo: memFree=124687592/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=271632 memory=200136 CPUtime=12.64 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 45041 0 0 0 1251 13 0 0 20 0 1 0 43910410 278151168 50034 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 67908 50034 2461 2403 0 65018 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 271632 KiB
Current children cumulated memory: 200136 KiB
[startup+25.5004 s]
/proc/loadavg: 4.23 4.16 4.08 5/242 241037
/proc/meminfo: memFree=122356968/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=275464 memory=204616 CPUtime=25.39 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 46078 0 0 0 2526 13 0 0 20 0 1 0 43910410 282075136 51154 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 68866 51154 2461 2403 0 65976 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 275464 KiB
Current children cumulated memory: 204616 KiB
[startup+51.1131 s]
/proc/loadavg: 4.15 4.15 4.07 5/242 241042
/proc/meminfo: memFree=117848920/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=316400 memory=242492 CPUtime=50.92 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 52728 0 0 0 5077 15 0 0 20 0 1 0 43910410 323993600 60623 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 79100 60623 2461 2403 0 76210 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 316400 KiB
Current children cumulated memory: 242492 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.08 5/242 241050
/proc/meminfo: memFree=109223944/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=420120 memory=335824 CPUtime=101.94 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 65325 0 0 0 10177 17 0 0 20 0 1 0 43910410 430202880 83956 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 105030 83956 2717 2403 0 102140 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 420120 KiB
Current children cumulated memory: 335824 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.08 5/242 241062
/proc/meminfo: memFree=99889752/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=498852 memory=442752 CPUtime=161.77 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 83179 0 0 0 16157 20 0 0 20 0 1 0 43910410 510824448 110688 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 124713 110688 2717 2403 0 121823 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 498852 KiB
Current children cumulated memory: 442752 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.08 5/241 241073
/proc/meminfo: memFree=98476116/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=558848 memory=513732 CPUtime=221.61 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 93211 0 0 0 22139 22 0 0 20 0 1 0 43910410 572260352 128433 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 139712 128433 2717 2403 0 136822 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 558848 KiB
Current children cumulated memory: 513732 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.08 5/244 241088
/proc/meminfo: memFree=98314368/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=607072 memory=567444 CPUtime=281.44 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 103772 0 0 0 28119 25 0 0 20 0 1 0 43910410 621641728 141861 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 151768 141861 2717 2403 0 148878 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 607072 KiB
Current children cumulated memory: 567444 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/244 241099
/proc/meminfo: memFree=98266960/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=635404 memory=593664 CPUtime=341.24 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 108505 0 0 0 34098 26 0 0 20 0 1 0 43910410 650653696 148416 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 158851 148416 2717 2403 0 155961 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 635404 KiB
Current children cumulated memory: 593664 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/244 241110
/proc/meminfo: memFree=98185664/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=664924 memory=624524 CPUtime=401.03 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 112300 0 0 0 40076 27 0 0 20 0 1 0 43910410 680882176 156131 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 166231 156131 2717 2403 0 163341 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 664924 KiB
Current children cumulated memory: 624524 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.08 5/244 241122
/proc/meminfo: memFree=98092748/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=675428 memory=634940 CPUtime=460.82 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 117498 0 0 0 46054 28 0 0 20 0 1 0 43910410 691638272 158735 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
################
# More data... #
################
/proc/loadavg: 4.16 4.14 4.13 5/243 242616
/proc/meminfo: memFree=98201904/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3153.27 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164229 0 0 0 312028 3299 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.14 4.13 5/243 242796
/proc/meminfo: memFree=98201100/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3213.14 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164233 0 0 0 317874 3440 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3213.14 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/244 242810
/proc/meminfo: memFree=98200260/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3273.01 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164237 0 0 0 323712 3589 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3273.01 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/243 242832
/proc/meminfo: memFree=98199712/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3332.89 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164241 0 0 0 329560 3729 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3332.89 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/243 242843
/proc/meminfo: memFree=98198836/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3392.76 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164245 0 0 0 335413 3863 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3392.76 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/243 242858
/proc/meminfo: memFree=98198144/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3452.63 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164249 0 0 0 341257 4006 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
[startup+3522.3 s]
/proc/loadavg: 4.61 4.23 4.15 5/243 242868
/proc/meminfo: memFree=98197348/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3512.51 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164253 0 0 0 347100 4151 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3512.51 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
[startup+3567.89 s]
# the end of solver process 240944 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3515.4 s, system=42.6092 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.91 4.31 4.18 5/243 242870
/proc/meminfo: memFree=98197428/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3522.98 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164253 0 0 0 348122 4176 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3522.98 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
[startup+3545.6 s]
/proc/loadavg: 5.23 4.41 4.22 5/243 242871
/proc/meminfo: memFree=98197288/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3535.75 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164254 0 0 0 349368 4207 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3535.75 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
[startup+3558.4 s]
/proc/loadavg: 5.35 4.46 4.23 5/243 242875
/proc/meminfo: memFree=98197048/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3548.53 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164254 0 0 0 350613 4240 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3548.53 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
[startup+3564.8 s]
/proc/loadavg: 5.48 4.51 4.25 5/243 242875
/proc/meminfo: memFree=98197120/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3554.92 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164254 0 0 0 351239 4253 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3554.92 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
[startup+3566.4 s]
/proc/loadavg: 5.52 4.53 4.26 5/243 242877
/proc/meminfo: memFree=98197024/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3556.52 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164254 0 0 0 351395 4257 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3556.52 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
[startup+3567.2 s]
/proc/loadavg: 5.52 4.53 4.26 5/243 242923
/proc/meminfo: memFree=98806960/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3557.31 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164254 0 0 0 351473 4258 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3557.31 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
[startup+3567.6 s]
/proc/loadavg: 5.52 4.53 4.26 5/243 242923
/proc/meminfo: memFree=98806960/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3557.71 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164254 0 0 0 351512 4259 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3557.71 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
[startup+3567.8 s]
/proc/loadavg: 5.52 4.53 4.26 5/243 242923
/proc/meminfo: memFree=98806960/131655788 swapFree=131071996/131071996
[pid=240944] ppid=240940 vsize=539220 memory=513324 CPUtime=3557.92 cores=1,3
/proc/240944/stat : 240944 (LS-MabS) R 240940 240944 238928 0 -1 4194304 164254 0 0 0 351532 4260 0 0 20 0 1 0 43910410 552161280 128331 134679101440 4194304 14036057 140732221526160 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 15946000 16022736 41406464 140732221535265 140732221535366 140732221535366 140732221542382 0
/proc/240944/statm: 134805 128331 2748 2403 0 131915 0
Current children cumulated CPU time: 3557.92 s
Current children cumulated vsize: 539220 KiB
Current children cumulated memory: 513324 KiB
Child status: 0
Real time (s): 3567.89
CPU time (s): 3558.01
CPU user time (s): 3515.4
CPU system time (s): 42.6092
CPU usage (%): 99.7231
Max. virtual memory (cumulated for all children) (KiB): 1139124
Max. memory (cumulated for all children) (KiB): 1066072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3515.4
system time used= 42.6092
maximum resident set size= 1066072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164262
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= 58
involuntary context switches= 5081
# summary of solver processes directly reported to runsolver:
# pid: 240944
# total CPU time (s): 3558.01
# total CPU user time (s): 3515.4
# total CPU system time (s): 42.6092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4461 second user time and 34.1523 second system time
The end
Begin job on nodeC002 at 2024-08-04 14:05:48 IDJOB=4428264 IDBENCH=146690 IDSOLVER=3048 FILE ID=nodeC002/4428264-1722773148 RUNJOBID= nodeC002-1722769581-238940 SLURM_JOB_ID= 8257540 Free space on /tmp= 723752 MiB SOLVER NAME= LS-MabS 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb COMMAND LINE= ./LS-MabS -f BENCHNAME -t 3558 -s RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4428264-1722773148/watcher-4428264-1722773148 -o /tmp/evaluation-result-4428264-1722773148/solver-4428264-1722773148 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722769581-238940 --watchdog 3760 --use-pty ./LS-MabS -f HOME/instance-4428264-1722773148.opb -t 3558 -s 895189054 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 13e3cfc76a003558f082ab5832d2ffa8 RANDOM SEED=895189054 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 : 3678.599 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.65 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.226 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.23 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.416 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.65 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.206 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.23 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 : 3492.166 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.65 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 : 1197.224 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.23 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.415 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.65 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.205 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.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125860072 kB MemAvailable: 128959236 kB Buffers: 295900 kB Cached: 3623284 kB SwapCached: 0 kB Active: 496612 kB Inactive: 4779300 kB Active(anon): 1872 kB Inactive(anon): 1392580 kB Active(file): 494740 kB Inactive(file): 3386720 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 28248 kB Writeback: 0 kB AnonPages: 1356712 kB Mapped: 111436 kB Shmem: 37704 kB KReclaimable: 115472 kB Slab: 198064 kB SReclaimable: 115472 kB SUnreclaim: 82592 kB KernelStack: 3712 kB PageTables: 11572 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1949216 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 19008 kB HardwareCorrupted: 0 kB AnonHugePages: 1230848 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: 318280 kB DirectMap2M: 26849280 kB DirectMap1G: 109051904 kB Free space on /tmp at the end= 723720 MiB End job on nodeC002 at 2024-08-04 15:05:16