Skip to content

Instantly share code, notes, and snippets.

@leodemoura

leodemoura/gist:ccac555105352970b7a68eed1ea4eea4

Created June 27, 2024 00:23
Show Gist options
  • Save leodemoura/ccac555105352970b7a68eed1ea4eea4 to your computer and use it in GitHub Desktop.
Save leodemoura/ccac555105352970b7a68eed1ea4eea4 to your computer and use it in GitHub Desktop.
Download ZIP
Lean server processes
Raw
gistfile1.txt
leomoura@bcd074b16892 lean4 % ps aux | grep lean
leomoura 4379 23.7 6.8 473465344 2288928 ?? Us 3:16PM 26:10.71 /Users/leomoura/.elan/toolchains/leanprover--lean4---nightly-2024-06-26/bin/lean --worker file:///Users/leomoura/projects/LNSym/Arm/MemoryProofs.lean
leomoura 8645 8.0 4.2 419422032 1424720 ?? Us 3:35PM 4:02.30 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file:///Users/leomoura/projects/lean4/build/release/ome.lean
leomoura 6446 5.8 1.8 445861872 598112 ?? Us 3:25PM 14:30.48 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file:///Users/leomoura/projects/lean4/build/release/bvdecide.lean
leomoura 17438 0.0 0.2 412706864 81424 ?? Ss 4:56PM 0:06.18 /Users/leomoura/projects/lean4/build/release/stage0/bin/lean --worker file:///Users/leomoura/projects/lean4/src/Lean/Elab/MutualDef.lean
leomoura 11167 0.0 0.0 412277792 2368 ?? Ss 3:48PM 0:00.51 /Users/leomoura/projects/lean4/build/release/stage0/bin/lean --worker file:///Users/leomoura/projects/lean4/src/Init/Data/Fin/Basic.lean
leomoura 11160 0.0 0.0 412346736 1104 ?? S 3:48PM 0:01.66 /Users/leomoura/projects/lean4/build/release/stage0/bin/lean --server
leomoura 11157 0.0 0.0 410819104 704 ?? Ss 3:48PM 0:00.03 /Users/leomoura/.elan/toolchains/lean4-stage0/bin/lake serve
leomoura 8206 0.0 0.0 411602528 304 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 8205 0.0 0.0 411909968 304 ?? S 4Jun24 0:01.15 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 6739 0.0 0.0 411462256 304 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 6738 0.0 0.0 411760464 304 ?? S 4Jun24 0:01.18 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 91371 0.0 0.0 411756144 304 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 91368 0.0 0.0 411891536 304 ?? S 4Jun24 0:01.15 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 89667 0.0 0.0 411733600 304 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 89666 0.0 0.0 412041040 304 ?? S 4Jun24 0:01.22 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 62738 0.0 0.0 411733600 304 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 62737 0.0 0.0 412041040 304 ?? S 4Jun24 0:01.21 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 31335 0.0 0.0 411444832 304 ?? Ss 4Jun24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 31334 0.0 0.0 411900752 304 ?? S 4Jun24 0:01.14 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 30764 0.0 0.0 411724384 304 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 30763 0.0 0.0 412041040 304 ?? S 4Jun24 0:01.22 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 29137 0.0 0.0 411584096 304 ?? Ss 4Jun24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 29136 0.0 0.0 411900752 304 ?? S 4Jun24 0:01.18 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 27638 0.0 0.0 411583072 304 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 27637 0.0 0.0 411899728 304 ?? S 4Jun24 0:01.18 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 27197 0.0 0.0 411566624 304 ?? Ss 4Jun24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 27196 0.0 0.0 412041040 304 ?? S 4Jun24 0:01.21 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 72279 0.0 0.0 411864576 304 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 72272 0.0 0.0 412321520 304 ?? S 4Jun24 0:01.43 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 38563 0.0 0.0 411619808 304 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 38560 0.0 0.0 412321488 304 ?? S 4Jun24 0:01.41 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 62637 0.0 0.0 411473472 304 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 62636 0.0 0.0 412321584 304 ?? S 4Jun24 0:01.35 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 42199 0.0 0.0 411586864 304 ?? Ss 6May24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 42197 0.0 0.0 411877888 304 ?? S 6May24 0:01.11 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 39610 0.0 0.0 411307296 304 ?? Ss 6May24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 39609 0.0 0.0 411746816 304 ?? S 6May24 0:01.13 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 39273 0.0 0.0 411446560 304 ?? Ss 6May24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 39272 0.0 0.0 411746816 304 ?? S 6May24 0:01.11 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 36084 0.0 0.0 411577616 304 ?? Ss 6May24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 36083 0.0 0.0 411886064 304 ?? S 6May24 0:01.11 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 35654 0.0 0.0 411310352 304 ?? Ss 6May24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 35653 0.0 0.0 412027376 304 ?? S 6May24 0:01.13 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 35021 0.0 0.0 411438352 304 ?? Ss 6May24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 35020 0.0 0.0 411737584 304 ?? S 6May24 0:01.12 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 34202 0.0 0.0 411448592 304 ?? Ss 6May24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 34201 0.0 0.0 411606512 304 ?? S 6May24 0:01.11 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 33202 0.0 0.0 411291856 304 ?? Ss 6May24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 33201 0.0 0.0 411754992 304 ?? S 6May24 0:01.12 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 21792 0.0 0.0 411737312 304 ?? Ss 6May24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 21786 0.0 0.0 412307952 304 ?? S 6May24 0:01.33 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 16325 0.0 0.0 411455760 304 ?? Ss 6May24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 16324 0.0 0.0 411465200 304 ?? S 6May24 0:01.16 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 3443 0.0 0.0 411877648 304 ?? Ss 6May24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 3438 0.0 0.0 412307952 304 ?? S 6May24 0:01.35 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 80445 0.0 0.0 411727120 304 ?? Ss 6May24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 80439 0.0 0.0 412307952 304 ?? S 6May24 0:01.34 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 20781 0.0 0.0 411603296 304 ?? Ss 6May24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 20779 0.0 0.0 412308032 304 ?? S 6May24 0:01.37 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 73571 0.0 0.0 410750672 1616 s003 S+ 5:17PM 0:00.00 grep lean
leomoura 73310 0.0 0.3 412326880 92720 ?? Ss 5:15PM 0:00.60 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file:///Users/leomoura/projects/lean4/tests/lean/run/4540.lean
leomoura 73303 0.0 0.0 412322224 16592 ?? S 5:15PM 0:01.45 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 73299 0.0 0.1 410950320 18928 ?? Ss 5:15PM 0:00.03 /Users/leomoura/.elan/toolchains/lean4/bin/lake serve
leomoura@bcd074b16892 lean4 % ps aux | grep lean
leomoura 4379 20.8 4.8 473465344 1594320 ?? Us 3:16PM 26:12.61 /Users/leomoura/.elan/toolchains/leanprover--lean4---nightly-2024-06-26/bin/lean --worker file:///Users/leomoura/projects/LNSym/Arm/MemoryProofs.lean
leomoura 8645 7.5 3.2 419422032 1085888 ?? Us 3:35PM 4:02.94 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file:///Users/leomoura/projects/lean4/build/release/ome.lean
leomoura 6446 5.2 1.3 445861872 422560 ?? Us 3:25PM 14:30.95 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file:///Users/leomoura/projects/lean4/build/release/bvdecide.lean
leomoura 73586 0.1 0.0 410063424 192 s003 R+ 5:17PM 0:00.00 grep lean
leomoura 8206 0.0 0.0 411602528 320 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 8205 0.0 0.0 411909968 320 ?? S 4Jun24 0:01.15 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 6739 0.0 0.0 411462256 320 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 6738 0.0 0.0 411760464 320 ?? S 4Jun24 0:01.18 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 91371 0.0 0.0 411756144 320 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 91368 0.0 0.0 411891536 320 ?? S 4Jun24 0:01.15 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 89667 0.0 0.0 411733600 320 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 89666 0.0 0.0 412041040 320 ?? S 4Jun24 0:01.22 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 62738 0.0 0.0 411733600 320 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 62737 0.0 0.0 412041040 320 ?? S 4Jun24 0:01.21 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 31335 0.0 0.0 411444832 320 ?? Ss 4Jun24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 31334 0.0 0.0 411900752 320 ?? S 4Jun24 0:01.14 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 30764 0.0 0.0 411724384 320 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 30763 0.0 0.0 412041040 320 ?? S 4Jun24 0:01.22 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 29137 0.0 0.0 411584096 320 ?? Ss 4Jun24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 29136 0.0 0.0 411900752 320 ?? S 4Jun24 0:01.18 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 27638 0.0 0.0 411583072 320 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 27637 0.0 0.0 411899728 320 ?? S 4Jun24 0:01.18 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 27197 0.0 0.0 411566624 320 ?? Ss 4Jun24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 27196 0.0 0.0 412041040 320 ?? S 4Jun24 0:01.21 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 72279 0.0 0.0 411864576 320 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 72272 0.0 0.0 412321520 320 ?? S 4Jun24 0:01.43 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 38563 0.0 0.0 411619808 320 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 38560 0.0 0.0 412321488 320 ?? S 4Jun24 0:01.41 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 62637 0.0 0.0 411473472 320 ?? Ss 4Jun24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 62636 0.0 0.0 412321584 320 ?? S 4Jun24 0:01.35 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 42199 0.0 0.0 411586864 320 ?? Ss 6May24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 42197 0.0 0.0 411877888 320 ?? S 6May24 0:01.11 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 39610 0.0 0.0 411307296 320 ?? Ss 6May24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 39609 0.0 0.0 411746816 320 ?? S 6May24 0:01.13 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 39273 0.0 0.0 411446560 320 ?? Ss 6May24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 39272 0.0 0.0 411746816 320 ?? S 6May24 0:01.11 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 36084 0.0 0.0 411577616 320 ?? Ss 6May24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 36083 0.0 0.0 411886064 320 ?? S 6May24 0:01.11 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 35654 0.0 0.0 411310352 320 ?? Ss 6May24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 35653 0.0 0.0 412027376 320 ?? S 6May24 0:01.13 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 35021 0.0 0.0 411438352 320 ?? Ss 6May24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 35020 0.0 0.0 411737584 320 ?? S 6May24 0:01.12 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 34202 0.0 0.0 411448592 320 ?? Ss 6May24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 34201 0.0 0.0 411606512 320 ?? S 6May24 0:01.11 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 33202 0.0 0.0 411291856 320 ?? Ss 6May24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 33201 0.0 0.0 411754992 320 ?? S 6May24 0:01.12 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 21792 0.0 0.0 411737312 320 ?? Ss 6May24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 21786 0.0 0.0 412307952 320 ?? S 6May24 0:01.33 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 16325 0.0 0.0 411455760 320 ?? Ss 6May24 0:00.02 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 16324 0.0 0.0 411465200 320 ?? S 6May24 0:01.16 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 3443 0.0 0.0 411877648 320 ?? Ss 6May24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 3438 0.0 0.0 412307952 320 ?? S 6May24 0:01.35 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 80445 0.0 0.0 411727120 320 ?? Ss 6May24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 80439 0.0 0.0 412307952 320 ?? S 6May24 0:01.34 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
leomoura 20781 0.0 0.0 411603296 320 ?? Ss 6May24 0:00.03 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --worker file://Test.lean
leomoura 20779 0.0 0.0 412308032 320 ?? S 6May24 0:01.37 /Users/leomoura/projects/lean4/build/release/stage1/bin/lean --server
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment