Updating run scripts and general clean-up
This commit is contained in:
parent
78901dac13
commit
6b2cc6c664
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
2736
build/DOTFILE.dot
2736
build/DOTFILE.dot
File diff suppressed because it is too large
Load Diff
20217
build/ag.svg
20217
build/ag.svg
File diff suppressed because it is too large
Load Diff
|
Before Width: | Height: | Size: 744 KiB After Width: | Height: | Size: 785 KiB |
BIN
build/ag_gen
BIN
build/ag_gen
Binary file not shown.
22
build/run.sh
22
build/run.sh
@ -4,12 +4,10 @@
|
||||
NUM_SERV=${1:-1}
|
||||
TYPE=${2:-sync}
|
||||
CARS=${3:-2}
|
||||
DBNAME=${4:-tmp}
|
||||
DBNAME=${4:-ag}
|
||||
NUM_THREADS=${5:-1}
|
||||
NODES=${6:-2}
|
||||
MPI_TYPE=${7-subgraphing}
|
||||
#MPI_TYPE=${7:-serial}
|
||||
#MPI_TYPE=${7:-testing}
|
||||
MPI_TYPE=${7-serial}
|
||||
ESIZE=${8:-6}
|
||||
|
||||
ITFC="eth0"
|
||||
@ -17,6 +15,10 @@ ITFC="eth0"
|
||||
strval1="sync"
|
||||
strval2="non-sync"
|
||||
|
||||
#Change these to match your desired network model and exploit file paths
|
||||
NM=../Oct_2021/nm_files/"$CARS"_car_timeline_maintenance.nm
|
||||
XP=../Oct_2021/Sync/4_Exploits/"$NUM_SERV"_Serv/sync_timeline_maintenance.xp
|
||||
|
||||
#Hammer
|
||||
if [ "$(dnsdomainname)" = "hammer.esg.utulsa.edu" ]; then
|
||||
#Database stored on node with port
|
||||
@ -47,8 +49,6 @@ else
|
||||
psql postgres -c "CREATE DATABASE "$DBNAME" WITH OWNER = ag_gen"
|
||||
psql -q "$DBNAME" < schema.sql
|
||||
fi
|
||||
|
||||
ITFC="wlp2s0"
|
||||
fi
|
||||
|
||||
if [[ "$NUM_SERV" -eq 1 ]]; then
|
||||
@ -90,7 +90,7 @@ if [ "$TYPE" == "$strval1" ]; then
|
||||
else
|
||||
#Serial/OMP
|
||||
#4 Exploit Option
|
||||
mpiexec --mca btl_openib_allow_ib 1 --mca opal_warn_on_missing_libcuda 0 --bind-to numa --map-by numa -np "$NODES" --timeout 129600 ./ag_gen -n ../Oct_2021/nm_files/"$CARS"_car_timeline_maintenance.nm -x ../Oct_2021/Sync/4_Exploits/"$NUM_SERV"_Serv/sync_timeline_maintenance.xp -t "$NUM_THREADS" -q 1 -p -a 0.6 -z "$DBNAME" -l 200
|
||||
mpiexec --mca btl_openib_allow_ib 1 --mca opal_warn_on_missing_libcuda 0 --bind-to numa --map-by numa -np "$NODES" --timeout 129600 ./ag_gen -n "$NM" -x "$XP" -t "$NUM_THREADS" -q 1 -p -a 0.6 -z "$DBNAME" -g DOTFILE.dot
|
||||
fi #END Non-Hammer
|
||||
fi #END Sync
|
||||
|
||||
@ -106,7 +106,7 @@ elif [ "$TYPE" == "$strval2" ]; then
|
||||
else
|
||||
#OMP/Serial
|
||||
#4 Exploit Option
|
||||
mpiexec --mca btl_openib_allow_ib 1 --mca btl openib,self,vader --mca opal_warn_on_missing_libcuda 0 --bind-to numa --map-by numa -np "$NODES" --timeout 129600 ./ag_gen -n ../Oct_2021/nm_files/"$CARS"_car_timeline_maintenance.nm -x ../Oct_2021/Non_Sync/4_Exploits/"$NUM_SERV"_Serv/generic_timeline_maintenance.xp -t "$NUM_THREADS" -q 1 -p -a 0.6 -z "$DBNAME" -l 200
|
||||
mpiexec --mca btl_openib_allow_ib 1 --mca btl openib,self,vader --mca opal_warn_on_missing_libcuda 0 --bind-to numa --map-by numa -np "$NODES" --timeout 129600 ./ag_gen -n ../Oct_2021/nm_files/"$CARS"_car_timeline_maintenance.nm -x ../Oct_2021/Non_Sync/4_Exploits/"$NUM_SERV"_Serv/generic_timeline_maintenance.xp -t "$NUM_THREADS" -q 1 -p -a 0.6 -z "$DBNAME" -g DOTFILE.dot
|
||||
fi #END Hammer
|
||||
|
||||
#Local
|
||||
@ -120,7 +120,7 @@ elif [ "$TYPE" == "$strval2" ]; then
|
||||
else
|
||||
#OMP/Serial
|
||||
#4 Exploit Option
|
||||
mpiexec --mca btl_openib_allow_ib 1 --mca opal_warn_on_missing_libcuda 0 --bind-to numa --map-by numa -np "$NODES" --timeout 129600 ./ag_gen -n ../Oct_2021/nm_files/"$CARS"_car_timeline_maintenance.nm -x ../Oct_2021/Non_Sync/4_Exploits/"$NUM_SERV"_Serv/generic_timeline_maintenance.xp -t "$NUM_THREADS" -q 1 -p -a 0.6 -z "$DBNAME" -l 200
|
||||
mpiexec --mca btl_openib_allow_ib 1 --mca opal_warn_on_missing_libcuda 0 --bind-to numa --map-by numa -np "$NODES" --timeout 129600 ./ag_gen -n "$NM" -x "$XP" -t "$NUM_THREADS" -q 1 -p -a 0.6 -z "$DBNAME" -l 200
|
||||
fi #END Non-Hammer
|
||||
fi #END Non-Sync
|
||||
|
||||
@ -132,8 +132,8 @@ fi #END Sync/Non-Sync/Default
|
||||
|
||||
|
||||
#Graphviz Strict graphing to avoid duplicate nodes and edges
|
||||
#echo -n 'strict ' | cat - DOTFILE.dot > temp && mv temp DOTFILE.dot
|
||||
echo -n 'strict ' | cat - DOTFILE.dot > temp && mv temp DOTFILE.dot
|
||||
|
||||
#dot -Tsvg new.dot > ag.svg
|
||||
|
||||
#dot -Tsvg DOTFILE.dot > ag.svg
|
||||
dot -Tsvg DOTFILE.dot > ag.svg
|
||||
|
||||
@ -1,2 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/144615": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/144615"
|
||||
@ -1,37 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/144841": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/144841"
|
||||
terminate called after throwing an instance of 'std::bad_alloc'
|
||||
what(): std::bad_alloc
|
||||
[compute05:01855] *** Process received signal ***
|
||||
[compute05:01855] Signal: Aborted (6)
|
||||
[compute05:01855] Signal code: (-6)
|
||||
[compute05:01855] [ 0] /lib64/libpthread.so.0(+0xf7e0)[0x7fa3545527e0]
|
||||
[compute05:01855] [ 1] /lib64/libc.so.6(gsignal+0x35)[0x7fa3541e1495]
|
||||
[compute05:01855] [ 2] /lib64/libc.so.6(abort+0x175)[0x7fa3541e2c75]
|
||||
[compute05:01855] [ 3] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x915c2)[0x7fa354eb95c2]
|
||||
[compute05:01855] [ 4] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x8f4a6)[0x7fa354eb74a6]
|
||||
[compute05:01855] [ 5] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x8e469)[0x7fa354eb6469]
|
||||
[compute05:01855] [ 6] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(__gxx_personality_v0+0x2c5)[0x7fa354eb6e25]
|
||||
[compute05:01855] [ 7] /opt/apps/gcc/8.2.0/lib64/libgcc_s.so.1(+0x104c3)[0x7fa3547704c3]
|
||||
[compute05:01855] [ 8] /opt/apps/gcc/8.2.0/lib64/libgcc_s.so.1(_Unwind_RaiseException+0x2b1)[0x7fa354770a21]
|
||||
[compute05:01855] [ 9] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(__cxa_throw+0x36)[0x7fa354eb7716]
|
||||
[compute05:01855] [10] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x8fbec)[0x7fa354eb7bec]
|
||||
[compute05:01855] [11] ./ag_gen(_ZN9__gnu_cxx13new_allocatorI4EdgeE8allocateEmPKv+0x4a)[0x5e1616]
|
||||
[compute05:01855] [12] ./ag_gen(_ZNSt16allocator_traitsISaI4EdgeEE8allocateERS1_m+0x28)[0x5db6f3]
|
||||
[compute05:01855] [13] ./ag_gen(_ZNSt12_Vector_baseI4EdgeSaIS0_EE11_M_allocateEm+0x2a)[0x5d5858]
|
||||
[compute05:01855] [14] ./ag_gen(_ZNSt6vectorI4EdgeSaIS0_EE17_M_realloc_insertIJRKS0_EEEvN9__gnu_cxx17__normal_iteratorIPS0_S2_EEDpOT_+0x80)[0x621bb4]
|
||||
[compute05:01855] [15] ./ag_gen(_ZNSt6vectorI4EdgeSaIS0_EE9push_backERKS0_+0x7b)[0x61d891]
|
||||
[compute05:01855] [16] ./ag_gen[0x61833a]
|
||||
[compute05:01855] [17] /opt/apps/gcc/8.2.0/lib64/libgomp.so.1(GOMP_parallel+0x3f)[0x7fa354984c5f]
|
||||
[compute05:01855] [18] ./ag_gen(_ZN5AGGen8generateEbiiidRN5boost3mpi12communicatorE+0x54b)[0x6177b9]
|
||||
[compute05:01855] [19] ./ag_gen(main+0x11f7)[0x5c3b4d]
|
||||
[compute05:01855] [20] /lib64/libc.so.6(__libc_start_main+0xfd)[0x7fa3541cdd1d]
|
||||
[compute05:01855] [21] ./ag_gen[0x5c0ff9]
|
||||
[compute05:01855] *** End of error message ***
|
||||
--------------------------------------------------------------------------
|
||||
Primary job terminated normally, but 1 process returned
|
||||
a non-zero exit code. Per user-direction, the job has been aborted.
|
||||
--------------------------------------------------------------------------
|
||||
--------------------------------------------------------------------------
|
||||
mpirun noticed that process rank 0 with PID 1855 on node compute05 exited on signal 6 (Aborted).
|
||||
--------------------------------------------------------------------------
|
||||
@ -1,33 +0,0 @@
|
||||
terminate called after throwing an instance of 'std::bad_alloc'
|
||||
what(): std::bad_alloc
|
||||
[compute04:02500] *** Process received signal ***
|
||||
[compute04:02500] Signal: Aborted (6)
|
||||
[compute04:02500] Signal code: (-6)
|
||||
[compute04:02500] [ 0] /lib64/libpthread.so.0(+0xf7e0)[0x7f0c1f7c87e0]
|
||||
[compute04:02500] [ 1] /lib64/libc.so.6(gsignal+0x35)[0x7f0c1f457495]
|
||||
[compute04:02500] [ 2] /lib64/libc.so.6(abort+0x175)[0x7f0c1f458c75]
|
||||
[compute04:02500] [ 3] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x915c2)[0x7f0c2012f5c2]
|
||||
[compute04:02500] [ 4] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x8f4a6)[0x7f0c2012d4a6]
|
||||
[compute04:02500] [ 5] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x8e469)[0x7f0c2012c469]
|
||||
[compute04:02500] [ 6] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(__gxx_personality_v0+0x2c5)[0x7f0c2012ce25]
|
||||
[compute04:02500] [ 7] /opt/apps/gcc/8.2.0/lib64/libgcc_s.so.1(+0x104c3)[0x7f0c1f9e64c3]
|
||||
[compute04:02500] [ 8] /opt/apps/gcc/8.2.0/lib64/libgcc_s.so.1(_Unwind_RaiseException+0x2b1)[0x7f0c1f9e6a21]
|
||||
[compute04:02500] [ 9] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(__cxa_throw+0x36)[0x7f0c2012d716]
|
||||
[compute04:02500] [10] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x8fbec)[0x7f0c2012dbec]
|
||||
[compute04:02500] [11] ./ag_gen(_ZN9__gnu_cxx13new_allocatorI4EdgeE8allocateEmPKv+0x4a)[0x5e1616]
|
||||
[compute04:02500] [12] ./ag_gen(_ZNSt16allocator_traitsISaI4EdgeEE8allocateERS1_m+0x28)[0x5db6f3]
|
||||
[compute04:02500] [13] ./ag_gen(_ZNSt12_Vector_baseI4EdgeSaIS0_EE11_M_allocateEm+0x2a)[0x5d5858]
|
||||
[compute04:02500] [14] ./ag_gen(_ZNSt6vectorI4EdgeSaIS0_EE17_M_realloc_insertIJRKS0_EEEvN9__gnu_cxx17__normal_iteratorIPS0_S2_EEDpOT_+0x80)[0x621bb4]
|
||||
[compute04:02500] [15] ./ag_gen(_ZNSt6vectorI4EdgeSaIS0_EE9push_backERKS0_+0x7b)[0x61d891]
|
||||
[compute04:02500] [16] ./ag_gen[0x61833a]
|
||||
[compute04:02500] [17] /opt/apps/gcc/8.2.0/lib64/libgomp.so.1(+0x1658e)[0x7f0c1fc0358e]
|
||||
[compute04:02500] [18] /lib64/libpthread.so.0(+0x7aa1)[0x7f0c1f7c0aa1]
|
||||
[compute04:02500] [19] /lib64/libc.so.6(clone+0x6d)[0x7f0c1f50dbcd]
|
||||
[compute04:02500] *** End of error message ***
|
||||
--------------------------------------------------------------------------
|
||||
Primary job terminated normally, but 1 process returned
|
||||
a non-zero exit code. Per user-direction, the job has been aborted.
|
||||
--------------------------------------------------------------------------
|
||||
--------------------------------------------------------------------------
|
||||
mpirun noticed that process rank 0 with PID 2500 on node compute04 exited on signal 6 (Aborted).
|
||||
--------------------------------------------------------------------------
|
||||
@ -1,35 +0,0 @@
|
||||
terminate called after throwing an instance of 'std::bad_alloc'
|
||||
what(): std::bad_alloc
|
||||
[compute05:15509] *** Process received signal ***
|
||||
[compute05:15509] Signal: Aborted (6)
|
||||
[compute05:15509] Signal code: (-6)
|
||||
[compute05:15509] [ 0] /lib64/libpthread.so.0(+0xf7e0)[0x7fe4174a77e0]
|
||||
[compute05:15509] [ 1] /lib64/libc.so.6(gsignal+0x35)[0x7fe417136495]
|
||||
[compute05:15509] [ 2] /lib64/libc.so.6(abort+0x175)[0x7fe417137c75]
|
||||
[compute05:15509] [ 3] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x915c2)[0x7fe417e0e5c2]
|
||||
[compute05:15509] [ 4] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x8f4a6)[0x7fe417e0c4a6]
|
||||
[compute05:15509] [ 5] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x8e469)[0x7fe417e0b469]
|
||||
[compute05:15509] [ 6] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(__gxx_personality_v0+0x2c5)[0x7fe417e0be25]
|
||||
[compute05:15509] [ 7] /opt/apps/gcc/8.2.0/lib64/libgcc_s.so.1(+0x104c3)[0x7fe4176c54c3]
|
||||
[compute05:15509] [ 8] /opt/apps/gcc/8.2.0/lib64/libgcc_s.so.1(_Unwind_RaiseException+0x2b1)[0x7fe4176c5a21]
|
||||
[compute05:15509] [ 9] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(__cxa_throw+0x36)[0x7fe417e0c716]
|
||||
[compute05:15509] [10] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x8fbec)[0x7fe417e0cbec]
|
||||
[compute05:15509] [11] ./ag_gen(_ZN9__gnu_cxx13new_allocatorI4EdgeE8allocateEmPKv+0x4a)[0x5e1616]
|
||||
[compute05:15509] [12] ./ag_gen(_ZNSt16allocator_traitsISaI4EdgeEE8allocateERS1_m+0x28)[0x5db6f3]
|
||||
[compute05:15509] [13] ./ag_gen(_ZNSt12_Vector_baseI4EdgeSaIS0_EE11_M_allocateEm+0x2a)[0x5d5858]
|
||||
[compute05:15509] [14] ./ag_gen(_ZNSt6vectorI4EdgeSaIS0_EE17_M_realloc_insertIJRKS0_EEEvN9__gnu_cxx17__normal_iteratorIPS0_S2_EEDpOT_+0x80)[0x621bb4]
|
||||
[compute05:15509] [15] ./ag_gen(_ZNSt6vectorI4EdgeSaIS0_EE9push_backERKS0_+0x7b)[0x61d891]
|
||||
[compute05:15509] [16] ./ag_gen[0x61833a]
|
||||
[compute05:15509] [17] /opt/apps/gcc/8.2.0/lib64/libgomp.so.1(GOMP_parallel+0x3f)[0x7fe4178d9c5f]
|
||||
[compute05:15509] [18] ./ag_gen(_ZN5AGGen8generateEbiiidRN5boost3mpi12communicatorE+0x54b)[0x6177b9]
|
||||
[compute05:15509] [19] ./ag_gen(main+0x11f7)[0x5c3b4d]
|
||||
[compute05:15509] [20] /lib64/libc.so.6(__libc_start_main+0xfd)[0x7fe417122d1d]
|
||||
[compute05:15509] [21] ./ag_gen[0x5c0ff9]
|
||||
[compute05:15509] *** End of error message ***
|
||||
--------------------------------------------------------------------------
|
||||
Primary job terminated normally, but 1 process returned
|
||||
a non-zero exit code. Per user-direction, the job has been aborted.
|
||||
--------------------------------------------------------------------------
|
||||
--------------------------------------------------------------------------
|
||||
mpirun noticed that process rank 0 with PID 15509 on node compute05 exited on signal 6 (Aborted).
|
||||
--------------------------------------------------------------------------
|
||||
@ -1,33 +0,0 @@
|
||||
terminate called after throwing an instance of 'std::bad_alloc'
|
||||
what(): std::bad_alloc
|
||||
[compute04:31612] *** Process received signal ***
|
||||
[compute04:31612] Signal: Aborted (6)
|
||||
[compute04:31612] Signal code: (-6)
|
||||
[compute04:31612] [ 0] /lib64/libpthread.so.0(+0xf7e0)[0x7f6ef45907e0]
|
||||
[compute04:31612] [ 1] /lib64/libc.so.6(gsignal+0x35)[0x7f6ef421f495]
|
||||
[compute04:31612] [ 2] /lib64/libc.so.6(abort+0x175)[0x7f6ef4220c75]
|
||||
[compute04:31612] [ 3] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x915c2)[0x7f6ef4ef75c2]
|
||||
[compute04:31612] [ 4] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x8f4a6)[0x7f6ef4ef54a6]
|
||||
[compute04:31612] [ 5] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x8e469)[0x7f6ef4ef4469]
|
||||
[compute04:31612] [ 6] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(__gxx_personality_v0+0x2c5)[0x7f6ef4ef4e25]
|
||||
[compute04:31612] [ 7] /opt/apps/gcc/8.2.0/lib64/libgcc_s.so.1(+0x104c3)[0x7f6ef47ae4c3]
|
||||
[compute04:31612] [ 8] /opt/apps/gcc/8.2.0/lib64/libgcc_s.so.1(_Unwind_RaiseException+0x2b1)[0x7f6ef47aea21]
|
||||
[compute04:31612] [ 9] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(__cxa_throw+0x36)[0x7f6ef4ef5716]
|
||||
[compute04:31612] [10] /opt/apps/gcc/8.2.0/lib64/libstdc++.so.6(+0x8fbec)[0x7f6ef4ef5bec]
|
||||
[compute04:31612] [11] ./ag_gen(_ZN9__gnu_cxx13new_allocatorI4EdgeE8allocateEmPKv+0x4a)[0x5e1616]
|
||||
[compute04:31612] [12] ./ag_gen(_ZNSt16allocator_traitsISaI4EdgeEE8allocateERS1_m+0x28)[0x5db6f3]
|
||||
[compute04:31612] [13] ./ag_gen(_ZNSt12_Vector_baseI4EdgeSaIS0_EE11_M_allocateEm+0x2a)[0x5d5858]
|
||||
[compute04:31612] [14] ./ag_gen(_ZNSt6vectorI4EdgeSaIS0_EE17_M_realloc_insertIJRKS0_EEEvN9__gnu_cxx17__normal_iteratorIPS0_S2_EEDpOT_+0x80)[0x621bb4]
|
||||
[compute04:31612] [15] ./ag_gen(_ZNSt6vectorI4EdgeSaIS0_EE9push_backERKS0_+0x7b)[0x61d891]
|
||||
[compute04:31612] [16] ./ag_gen[0x61833a]
|
||||
[compute04:31612] [17] /opt/apps/gcc/8.2.0/lib64/libgomp.so.1(+0x1658e)[0x7f6ef49cb58e]
|
||||
[compute04:31612] [18] /lib64/libpthread.so.0(+0x7aa1)[0x7f6ef4588aa1]
|
||||
[compute04:31612] [19] /lib64/libc.so.6(clone+0x6d)[0x7f6ef42d5bcd]
|
||||
[compute04:31612] *** End of error message ***
|
||||
--------------------------------------------------------------------------
|
||||
Primary job terminated normally, but 1 process returned
|
||||
a non-zero exit code. Per user-direction, the job has been aborted.
|
||||
--------------------------------------------------------------------------
|
||||
--------------------------------------------------------------------------
|
||||
mpirun noticed that process rank 0 with PID 31612 on node compute04 exited on signal 6 (Aborted).
|
||||
--------------------------------------------------------------------------
|
||||
@ -1,2 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/146121": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/146121"
|
||||
@ -1,2 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/147302": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/147302"
|
||||
@ -1,2 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/147641": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/147641"
|
||||
@ -1,2 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/147809": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/147809"
|
||||
@ -1,2 +0,0 @@
|
||||
mpirun: Forwarding signal 18 to job
|
||||
slurmstepd: *** JOB 29928 ON compute05 CANCELLED AT 2022-01-28T22:29:28 ***
|
||||
@ -1,2 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/148330": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/148330"
|
||||
@ -1,2 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/148498": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/148498"
|
||||
@ -1,2 +0,0 @@
|
||||
mpirun: Forwarding signal 18 to job
|
||||
slurmstepd: *** JOB 29931 ON compute07 CANCELLED AT 2022-01-10T13:42:28 ***
|
||||
@ -1,4 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/149054": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/149054"
|
||||
mpirun: Forwarding signal 18 to job
|
||||
slurmstepd: *** JOB 29932 ON compute08 CANCELLED AT 2022-01-10T13:42:33 ***
|
||||
@ -1,2 +0,0 @@
|
||||
mpirun: Forwarding signal 18 to job
|
||||
slurmstepd: *** JOB 29933 ON compute04 CANCELLED AT 2022-01-28T22:29:25 ***
|
||||
@ -1,2 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/151930": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/151930"
|
||||
@ -1,2 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/152099": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/152099"
|
||||
@ -1,2 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/152301": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/152301"
|
||||
@ -1,2 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/152470": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/152470"
|
||||
@ -1,2 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/152849": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/152849"
|
||||
@ -1,2 +0,0 @@
|
||||
mpirun: Forwarding signal 18 to job
|
||||
slurmstepd: *** JOB 29954 ON compute08 CANCELLED AT 2022-01-28T22:29:20 ***
|
||||
@ -1,4 +0,0 @@
|
||||
WARNING: could not remove file or directory "base/153302": Directory not empty
|
||||
WARNING: some useless files may be left behind in old database directory "base/153302"
|
||||
mpirun: Forwarding signal 18 to job
|
||||
slurmstepd: *** JOB 29955 ON compute07 CANCELLED AT 2022-01-28T22:29:15 ***
|
||||
@ -1,10 +0,0 @@
|
||||
1,394,4417.392000
|
||||
2,730,10775.825000
|
||||
3,1584,32164.559000
|
||||
4,2311,71212.538000
|
||||
1,26682,932675.522000
|
||||
2,46730,1761398.360000
|
||||
3,183707,7201005.822000
|
||||
4,238751,9630528.289000
|
||||
1,1871618,123942944.247000
|
||||
2,3489506,257746281.880000
|
||||
|
@ -1,41 +0,0 @@
|
||||
----------------------------------- 2 cars -----------------------------------
|
||||
Synchronous test with 1 services 4 omp threads 4 Qsize and 2 cars dispatched at 23:12 with jobid 29829
|
||||
1 Services Synchronized: 394 states and 4417.392000 runtime
|
||||
|
||||
Synchronous test with 2 services 4 omp threads 4 Qsize and 2 cars dispatched at 23:13 with jobid 29830
|
||||
2 Services Synchronized: 730 states and 10775.825000 runtime
|
||||
|
||||
Synchronous test with 3 services 4 omp threads 4 Qsize and 2 cars dispatched at 23:13 with jobid 29832
|
||||
3 Services Synchronized: 1584 states and 32164.559000 runtime
|
||||
|
||||
Synchronous test with 4 services 4 omp threads 4 Qsize and 2 cars dispatched at 23:13 with jobid 29834
|
||||
4 Services Synchronized: 2311 states and 71212.538000 runtime
|
||||
|
||||
----------------------------------- 3 cars -----------------------------------
|
||||
Synchronous test with 1 services 4 omp threads 4 Qsize and 3 cars dispatched at 23:15 with jobid 29837
|
||||
1 Services Synchronized: 26682 states and 932675.522000 runtime
|
||||
|
||||
Synchronous test with 2 services 4 omp threads 4 Qsize and 3 cars dispatched at 23:30 with jobid 29839
|
||||
2 Services Synchronized: 46730 states and 1761398.360000 runtime
|
||||
|
||||
Synchronous test with 3 services 4 omp threads 4 Qsize and 3 cars dispatched at 00:00 with jobid 29841
|
||||
3 Services Synchronized: 183707 states and 7201005.822000 runtime
|
||||
|
||||
Synchronous test with 4 services 4 omp threads 4 Qsize and 3 cars dispatched at 02:00 with jobid 29843
|
||||
4 Services Synchronized: 238751 states and 9630528.289000 runtime
|
||||
|
||||
----------------------------------- 4 cars -----------------------------------
|
||||
Synchronous test with 1 services 4 omp threads 4 Qsize and 4 cars dispatched at 04:41 with jobid 29845
|
||||
1 Services Synchronized: 1871618 states and 123942944.247000 runtime
|
||||
|
||||
Synchronous test with 2 services 4 omp threads 4 Qsize and 4 cars dispatched at 15:07 with jobid 29870
|
||||
2 Services Synchronized: 3489506 states and 257746281.880000 runtime
|
||||
|
||||
Synchronous test with 3 services 4 omp threads 4 Qsize and 4 cars dispatched at 14:43 with jobid 29893
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
Synchronous test with 4 services 4 omp threads 4 Qsize and 4 cars dispatched at 22:33 with jobid 29912
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
----------------------------------- 5 cars -----------------------------------
|
||||
Synchronous test with 1 services 4 omp threads 4 Qsize and 5 cars dispatched at 14:59 with jobid 29933
|
||||
@ -1,14 +0,0 @@
|
||||
1,394,11428.938000
|
||||
2,730,26339.545000
|
||||
3,1584,79134.852000
|
||||
4,2311,124322.380000
|
||||
1,26682,1520013.151000
|
||||
3,183707,10121049.017000
|
||||
1,2436,70129.371000
|
||||
2,3036,94299.053000
|
||||
3,4704,148472.962000
|
||||
4,6050,205933.806000
|
||||
1,102312,4279538.454000
|
||||
2,139656,7662714.529000
|
||||
3,263424,19137908.664000
|
||||
2,9217296,836896967.841000
|
||||
|
@ -1,62 +0,0 @@
|
||||
----------------------------------- 2 cars -----------------------------------
|
||||
Non-Synchronous test with 1 services 4 threads 4 Qsize and 2 cars dispatched at 14:18 with jobid 29916
|
||||
1 Services Non-Synchronized: 394 states and 11428.938000 runtime
|
||||
|
||||
Non-Synchronous test with 2 services 4 threads 4 Qsize and 2 cars dispatched at 14:19 with jobid 29918
|
||||
2 Services Non-Synchronized: 730 states and 26339.545000 runtime
|
||||
|
||||
Non-Synchronous test with 3 services 4 threads 4 Qsize and 2 cars dispatched at 14:19 with jobid 29919
|
||||
3 Services Non-Synchronized: 1584 states and 79134.852000 runtime
|
||||
|
||||
Non-Synchronous test with 4 services 4 threads 4 Qsize and 2 cars dispatched at 14:21 with jobid 29921
|
||||
4 Services Non-Synchronized: 2311 states and 124322.380000 runtime
|
||||
|
||||
----------------------------------- 3 cars -----------------------------------
|
||||
Non-Synchronous test with 1 services 4 threads 4 Qsize and 3 cars dispatched at 14:23 with jobid 29923
|
||||
1 Services Non-Synchronized: 26682 states and 1520013.151000 runtime
|
||||
|
||||
Non-Synchronous test with 2 services 4 threads 4 Qsize and 3 cars dispatched at 14:49 with jobid 29925
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
Non-Synchronous test with 3 services 4 threads 4 Qsize and 3 cars dispatched at 15:36 with jobid 29927
|
||||
3 Services Non-Synchronized: 183707 states and 10121049.017000 runtime
|
||||
|
||||
Non-Synchronous test with 4 services 4 threads 4 Qsize and 3 cars dispatched at 18:25 with jobid 29930
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
----------------------------------- 4 cars -----------------------------------
|
||||
Non-Synchronous test with 1 services 4 threads 4 Qsize and 4 cars dispatched at 21:52 with jobid 29932
|
||||
----------------------------------- 2 cars -----------------------------------
|
||||
Non-Synchronous test with 1 services 4 threads 4 Qsize and 2 cars dispatched at 15:50 with jobid 29934
|
||||
1 Services Non-Synchronized: 2436 states and 70129.371000 runtime
|
||||
|
||||
Non-Synchronous test with 2 services 4 threads 4 Qsize and 2 cars dispatched at 15:51 with jobid 29936
|
||||
2 Services Non-Synchronized: 3036 states and 94299.053000 runtime
|
||||
|
||||
Non-Synchronous test with 3 services 4 threads 4 Qsize and 2 cars dispatched at 15:53 with jobid 29938
|
||||
3 Services Non-Synchronized: 4704 states and 148472.962000 runtime
|
||||
|
||||
Non-Synchronous test with 4 services 4 threads 4 Qsize and 2 cars dispatched at 15:55 with jobid 29940
|
||||
4 Services Non-Synchronized: 6050 states and 205933.806000 runtime
|
||||
|
||||
----------------------------------- 3 cars -----------------------------------
|
||||
Non-Synchronous test with 1 services 4 threads 4 Qsize and 3 cars dispatched at 15:59 with jobid 29942
|
||||
1 Services Non-Synchronized: 102312 states and 4279538.454000 runtime
|
||||
|
||||
Non-Synchronous test with 2 services 4 threads 4 Qsize and 3 cars dispatched at 17:10 with jobid 29944
|
||||
2 Services Non-Synchronized: 139656 states and 7662714.529000 runtime
|
||||
|
||||
Non-Synchronous test with 3 services 4 threads 4 Qsize and 3 cars dispatched at 19:18 with jobid 29946
|
||||
3 Services Non-Synchronized: 263424 states and 19137908.664000 runtime
|
||||
|
||||
Non-Synchronous test with 4 services 4 threads 4 Qsize and 3 cars dispatched at 00:37 with jobid 29948
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
----------------------------------- 4 cars -----------------------------------
|
||||
Non-Synchronous test with 1 services 4 threads 4 Qsize and 4 cars dispatched at 07:47 with jobid 29950
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
Non-Synchronous test with 2 services 4 threads 4 Qsize and 4 cars dispatched at 00:20 with jobid 29952
|
||||
2 Services Non-Synchronized: 9217296 states and 836896967.841000 runtime
|
||||
|
||||
Non-Synchronous test with 3 services 4 threads 4 Qsize and 4 cars dispatched at 16:48 with jobid 29954
|
||||
@ -1,9 +0,0 @@
|
||||
1,394,6625.154000
|
||||
2,730,14864.590000
|
||||
3,1584,48995.768000
|
||||
4,2311,53336.317000
|
||||
1,26682,927564.195000
|
||||
2,46730,1759571.276000
|
||||
3,183707,7206902.688000
|
||||
4,238751,9638925.660000
|
||||
1,1871618,123766808.613000
|
||||
|
@ -1,42 +0,0 @@
|
||||
----------------------------------- 2 cars -----------------------------------
|
||||
Synchronous test with 1 services 1 omp threads 1 Qsize and 2 cars dispatched at 23:13 with jobid 29831
|
||||
1 Services Synchronized: 394 states and 6625.154000 runtime
|
||||
|
||||
Synchronous test with 2 services 1 omp threads 1 Qsize and 2 cars dispatched at 23:13 with jobid 29833
|
||||
2 Services Synchronized: 730 states and 14864.590000 runtime
|
||||
|
||||
Synchronous test with 3 services 1 omp threads 1 Qsize and 2 cars dispatched at 23:14 with jobid 29835
|
||||
3 Services Synchronized: 1584 states and 48995.768000 runtime
|
||||
|
||||
Synchronous test with 4 services 1 omp threads 1 Qsize and 2 cars dispatched at 23:15 with jobid 29836
|
||||
4 Services Synchronized: 2311 states and 53336.317000 runtime
|
||||
|
||||
----------------------------------- 3 cars -----------------------------------
|
||||
Synchronous test with 1 services 1 omp threads 1 Qsize and 3 cars dispatched at 23:16 with jobid 29838
|
||||
1 Services Synchronized: 26682 states and 927564.195000 runtime
|
||||
|
||||
Synchronous test with 2 services 1 omp threads 1 Qsize and 3 cars dispatched at 23:31 with jobid 29840
|
||||
2 Services Synchronized: 46730 states and 1759571.276000 runtime
|
||||
|
||||
Synchronous test with 3 services 1 omp threads 1 Qsize and 3 cars dispatched at 00:00 with jobid 29842
|
||||
3 Services Synchronized: 183707 states and 7206902.688000 runtime
|
||||
|
||||
Synchronous test with 4 services 1 omp threads 1 Qsize and 3 cars dispatched at 02:01 with jobid 29844
|
||||
4 Services Synchronized: 238751 states and 9638925.660000 runtime
|
||||
|
||||
----------------------------------- 4 cars -----------------------------------
|
||||
Synchronous test with 1 services 1 omp threads 1 Qsize and 4 cars dispatched at 04:41 with jobid 29846
|
||||
Job done, but slurm hung.
|
||||
1 Services Synchronized: 1871618 states and 123766808.613000 runtime
|
||||
|
||||
Synchronous test with 2 services 1 omp threads 1 Qsize and 4 cars dispatched at 15:05 with jobid 29869
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
Synchronous test with 3 services 1 omp threads 1 Qsize and 4 cars dispatched at 14:40 with jobid 29892
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
Synchronous test with 4 services 1 omp threads 1 Qsize and 4 cars dispatched at 16:56 with jobid 29911
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
----------------------------------- 5 cars -----------------------------------
|
||||
Synchronous test with 1 services 1 omp threads 1 Qsize and 5 cars dispatched at 17:13 with jobid 29928
|
||||
@ -1,11 +0,0 @@
|
||||
2,730,31515.185000
|
||||
3,1584,81479.978000
|
||||
4,2311,122948.097000
|
||||
3,183707,10076802.103000
|
||||
1,2436,72918.176000
|
||||
2,3036,94880.743000
|
||||
3,4704,145770.934000
|
||||
4,6050,204454.082000
|
||||
1,102312,4282833.629000
|
||||
2,139656,7678905.072000
|
||||
3,263424,19156201.784000
|
||||
|
@ -1,64 +0,0 @@
|
||||
----------------------------------- 2 cars -----------------------------------
|
||||
Non-Synchronous test with 1 services 1 threads 1 Qsize and 2 cars dispatched at 14:16 with jobid 29913
|
||||
----------------------------------- 2 cars -----------------------------------
|
||||
Non-Synchronous test with 1 services 1 threads 1 Qsize and 2 cars dispatched at 14:18 with jobid 29914
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
Non-Synchronous test with 2 services 1 threads 1 Qsize and 2 cars dispatched at 14:18 with jobid 29915
|
||||
2 Services Non-Synchronized: 730 states and 31515.185000 runtime
|
||||
|
||||
Non-Synchronous test with 3 services 1 threads 1 Qsize and 2 cars dispatched at 14:19 with jobid 29917
|
||||
3 Services Non-Synchronized: 1584 states and 81479.978000 runtime
|
||||
|
||||
Non-Synchronous test with 4 services 1 threads 1 Qsize and 2 cars dispatched at 14:20 with jobid 29920
|
||||
4 Services Non-Synchronized: 2311 states and 122948.097000 runtime
|
||||
|
||||
----------------------------------- 3 cars -----------------------------------
|
||||
Non-Synchronous test with 1 services 1 threads 1 Qsize and 3 cars dispatched at 14:22 with jobid 29922
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
Non-Synchronous test with 2 services 1 threads 1 Qsize and 3 cars dispatched at 14:48 with jobid 29924
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
Non-Synchronous test with 3 services 1 threads 1 Qsize and 3 cars dispatched at 15:35 with jobid 29926
|
||||
3 Services Non-Synchronized: 183707 states and 10076802.103000 runtime
|
||||
|
||||
Non-Synchronous test with 4 services 1 threads 1 Qsize and 3 cars dispatched at 18:23 with jobid 29929
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
----------------------------------- 4 cars -----------------------------------
|
||||
Non-Synchronous test with 1 services 1 threads 1 Qsize and 4 cars dispatched at 21:51 with jobid 29931
|
||||
----------------------------------- 2 cars -----------------------------------
|
||||
Non-Synchronous test with 1 services 1 threads 1 Qsize and 2 cars dispatched at 15:51 with jobid 29935
|
||||
1 Services Non-Synchronized: 2436 states and 72918.176000 runtime
|
||||
|
||||
Non-Synchronous test with 2 services 1 threads 1 Qsize and 2 cars dispatched at 15:52 with jobid 29937
|
||||
2 Services Non-Synchronized: 3036 states and 94880.743000 runtime
|
||||
|
||||
Non-Synchronous test with 3 services 1 threads 1 Qsize and 2 cars dispatched at 15:54 with jobid 29939
|
||||
3 Services Non-Synchronized: 4704 states and 145770.934000 runtime
|
||||
|
||||
Non-Synchronous test with 4 services 1 threads 1 Qsize and 2 cars dispatched at 15:56 with jobid 29941
|
||||
4 Services Non-Synchronized: 6050 states and 204454.082000 runtime
|
||||
|
||||
----------------------------------- 3 cars -----------------------------------
|
||||
Non-Synchronous test with 1 services 1 threads 1 Qsize and 3 cars dispatched at 16:00 with jobid 29943
|
||||
1 Services Non-Synchronized: 102312 states and 4282833.629000 runtime
|
||||
|
||||
Non-Synchronous test with 2 services 1 threads 1 Qsize and 3 cars dispatched at 17:11 with jobid 29945
|
||||
2 Services Non-Synchronized: 139656 states and 7678905.072000 runtime
|
||||
|
||||
Non-Synchronous test with 3 services 1 threads 1 Qsize and 3 cars dispatched at 19:19 with jobid 29947
|
||||
3 Services Non-Synchronized: 263424 states and 19156201.784000 runtime
|
||||
|
||||
Non-Synchronous test with 4 services 1 threads 1 Qsize and 3 cars dispatched at 00:39 with jobid 29949
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
----------------------------------- 4 cars -----------------------------------
|
||||
Non-Synchronous test with 1 services 1 threads 1 Qsize and 4 cars dispatched at 07:48 with jobid 29951
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
Non-Synchronous test with 2 services 1 threads 1 Qsize and 4 cars dispatched at 00:27 with jobid 29953
|
||||
Errors occurred. Please see err file for more details.
|
||||
|
||||
Non-Synchronous test with 3 services 1 threads 1 Qsize and 4 cars dispatched at 17:21 with jobid 29955
|
||||
@ -1,13 +0,0 @@
|
||||
mpirun: Forwarding signal 18 to job
|
||||
--------------------------------------------------------------------------
|
||||
ORTE has lost communication with a remote daemon.
|
||||
|
||||
HNP daemon : [[44229,0],0] on node compute03
|
||||
Remote daemon: [[44229,0],3] on node compute06
|
||||
|
||||
This is usually due to either a failure of the TCP network
|
||||
connection to the node, or possibly an internal failure of
|
||||
the daemon itself. We cannot recover from this failure, and
|
||||
therefore will terminate the job.
|
||||
--------------------------------------------------------------------------
|
||||
slurmstepd: *** JOB 29973 ON compute03 CANCELLED AT 2022-01-29T14:55:37 ***
|
||||
25340
build/states.txt
25340
build/states.txt
File diff suppressed because it is too large
Load Diff
@ -907,21 +907,6 @@ int initQSize, double mem_threshold, mpi::communicator &world)
|
||||
break;
|
||||
case UPDATE_T:
|
||||
new_state.update_quality(fact);
|
||||
/*
|
||||
//TODO: if fact!= "="" call new_state function, passing fact and instance.facts. Update the quality, and insert it into the hash_table instead of this convoluted mess
|
||||
if(fact.get_op()=="+="){
|
||||
std::unordered_map<std::string,int>::const_iterator got = instance.facts.hash_table.find(new_state.compound_assign(fact));
|
||||
|
||||
//If the value is not already in the hash_table, insert it.
|
||||
//Since the compound operators include a value that is not in the original Keyvalue object, the unordered map does not include it
|
||||
//As a result, you have to manually add it.
|
||||
if(got==instance.facts.hash_table.end()){
|
||||
instance.facts.hash_table[new_state.compound_assign(fact)]=instance.facts.size();
|
||||
instance.facts.length++;
|
||||
instance.facts.str_vector.push_back(new_state.compound_assign(fact));
|
||||
}
|
||||
}
|
||||
*/
|
||||
break;
|
||||
case DELETE_T:
|
||||
new_state.delete_quality(fact);
|
||||
|
||||
@ -136,12 +136,6 @@ void graph_ag(Graph &g, std::string &filename) {
|
||||
boost::write_graphviz(gout, g, boost::default_writer(), boost::make_label_writer(boost::get(boost::edge_name, g)));
|
||||
}
|
||||
|
||||
/* Try and color code the severe violations
|
||||
void color_code(Graph &g) {
|
||||
if
|
||||
}
|
||||
*/
|
||||
|
||||
extern "C" {
|
||||
extern FILE *nmin;
|
||||
extern int nmparse(networkmodel *nm);
|
||||
|
||||
@ -1,64 +0,0 @@
|
||||
#!/usr/bin/env python3
|
||||
|
||||
from sys import argv, exit
|
||||
|
||||
if len(argv) != 4:
|
||||
print("Usage: %s [node ID to path walk from] [input DOT file] [output DOT file]" %argv[0])
|
||||
exit(1)
|
||||
if argv[1] == "0":
|
||||
print("This is the root!")
|
||||
exit(1)
|
||||
|
||||
nextnodes = []
|
||||
parsednodes = []
|
||||
removenodes = []
|
||||
|
||||
with open(argv[2], 'r') as infile:
|
||||
text=infile.read()
|
||||
infile.close()
|
||||
|
||||
splits = text.split(";")
|
||||
total = len(splits)
|
||||
nodeinfo=text.split("->")[0][:-2]
|
||||
numstates=len((nodeinfo.split(";")))-1
|
||||
|
||||
curr_node=argv[1]
|
||||
|
||||
with open("temp.dot", 'w') as tmpDOT:
|
||||
tmpDOT.write(nodeinfo)
|
||||
while True:
|
||||
for i in range(total):
|
||||
if ("->"+curr_node) in splits[i]:
|
||||
from_node=(splits[i].split("->")[0].strip('\n'))
|
||||
if from_node not in nextnodes:
|
||||
nextnodes.append(from_node)
|
||||
tmpDOT.write(splits[i]+";")
|
||||
if len(nextnodes)>0:
|
||||
nextnodes.sort()
|
||||
parsednodes.append(curr_node)
|
||||
curr_node=nextnodes.pop()
|
||||
else:
|
||||
break
|
||||
tmpDOT.write("\n}")
|
||||
parsednodes.append('0')
|
||||
tmpDOT.close()
|
||||
|
||||
for i in range(numstates):
|
||||
if repr(i) not in parsednodes:
|
||||
removenodes.append(i)
|
||||
|
||||
count=-1
|
||||
|
||||
with open(argv[3], 'w') as outDOT:
|
||||
lines_seen = set()
|
||||
for line in open("temp.dot", 'r'):
|
||||
if count not in removenodes:
|
||||
if line not in lines_seen:
|
||||
outDOT.write(line)
|
||||
lines_seen.add(line)
|
||||
count+=1
|
||||
|
||||
outDOT.close()
|
||||
|
||||
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user