true nodes: 87 cpu: 529 1-Mon-9 CA-0 SEFS-0 CP-0 CS-0 CSC1-0 MMSA-0 AP-0 SN-0 1-Mon-10 ALG3-0 SEFS-1 CS-1 EC-0 AP-1 1-Mon-11 JOOSE1-0 ALG3-1 SEFS-2 EC-1 1-Mon-12 PSD1-0 SN-1 1-Mon-13 ALG3-2 HCS-0 1-Mon-14 PSD1-1 SPM-0 1-Mon-15 PSD1-2 SPM-1 1-Mon-16 ALG4-0 BD-0 1-Tue-9 DB-0 CS-2 AP-2 ISD-0 1-Tue-10 DB-1 PROG-0 1-Tue-11 CS-0 ANC-0 PROG-1 1-Tue-12 1Q1-0 DB-2 1-Tue-13 SEFS-3 FP-0 MMSA-1 1-Tue-14 IS-0 FP-1 1-Tue-15 IS-1 FP-2 1-Tue-16 IS-2 DAS-0 CP-1 1-Wed-9 NS-0 CP-2 MMSA-2 SPM-2 1-Wed-10 OS-0 AI-0 SN-2 1-Wed-11 AF-0 BD-1 EC-2 1-Wed-12 1CT-0 1P1-0 OS-1 ML-0 SN-3 1-Wed-13 1CT-1 JOOSE1-1 OS-2 ML-1 1-Wed-14 NS-1 ALG4-1 HCS-1 1-Wed-15 NS-2 HCS-2 1-Wed-16 ANC-1 1-Thu-9 ALG4-2 BD-2 ISD-1 1-Thu-10 ES-0 ANC-2 ML-2 PROG-2 1-Thu-11 CS-1 ES-1 CA-1 ISD-2 1-Thu-12 1Q1-1 ES-2 DAS-1 AI-1 1-Thu-13 1-Thu-14 PROG-3 1-Thu-15 1-Thu-16 1-Fri-9 CA-2 1-Fri-10 DAS-2 AI-2 1-Fri-11 AF-1 1-Fri-12 1CT-2 1P1-1 1-Fri-13 1CT-3 AF-2 CS-2 1-Fri-14 JOOSE1-2 1-Fri-15 1-Fri-16 2-Mon-9 PSD2-0 PSI-0 CSC2-0 ITA-0 MRS-0 HCIDE-0 2-Mon-10 PSD2-1 ITA-1 2-Mon-11 JOOSE2-0 AP-0 ITA-2 2-Mon-12 PSD2-2 2-Mon-13 PL-0 CVMA-0 ADS-0 2-Mon-14 PL-1 MHCI-0 2-Mon-15 AP-1 2-Mon-16 PL-2 HCI-0 2-Tue-9 PSI-1 AOS-0 IR-0 MRS-1 2-Tue-10 IR-1 2-Tue-11 ADS2-0 HCI-1 SE-0 2-Tue-12 1Q2-0 CVMA-1 2-Tue-13 MHCI-1 RMT-0 SE-1 2-Tue-14 MHCI-2 ITECH-0 2-Tue-15 ITECH-1 2-Tue-16 ITECH-2 2-Wed-9 AOS-1 CVMA-2 MRS-2 2-Wed-10 HCI-2 RMT-1 2-Wed-11 WAD-0 ADS-1 2-Wed-12 1P2-0 ADS-2 2-Wed-13 JOOSE2-1 SCS-0 2-Wed-14 2-Wed-15 AP-2 2-Wed-16 2-Thu-9 AOS-2 2-Thu-10 2-Thu-11 ADS2-1 SE-2 2-Thu-12 1Q2-1 SCS-1 2-Thu-13 IR-2 2-Thu-14 2-Thu-15 2-Thu-16 2-Fri-9 HCIDE-1 2-Fri-10 HCIDE-2 2-Fri-11 WAD-1 2-Fri-12 1P2-1 2-Fri-13 ADS2-2 WAD-2 SCS-2 2-Fri-14 JOOSE2-2 2-Fri-15 2-Fri-16